language-c-0.10.1: Analysis and generation of C code

Copyright | (c) [1995..1999] Manuel M. T. Chakravarty (c) 2008 Benedikt Huber (stripped radically)
License | BSD-style
Maintainer | benedikt.huber@gmail.com
Stability | experimental
Portability | ghc
Safe Haskell | None
Language | Haskell2010

Language.C.Data.Node

Description

source position and unqiue name

Synopsis

- data NodeInfo
  - = OnlyPos Position !PosLength
  - | NodeInfo Position !PosLength !Name
- undefNode :: NodeInfo
- isUndefNode :: NodeInfo -> Bool
- mkNodeInfoOnlyPos :: Position -> NodeInfo
- mkNodeInfoPosLen :: Position -> PosLength -> NodeInfo
- mkNodeInfo :: Position -> Name -> NodeInfo
- mkNodeInfo' :: Position -> PosLength -> Name -> NodeInfo
- internalNode :: NodeInfo
- class CNode a where
  - nodeInfo :: a -> NodeInfo
- fileOfNode :: CNode a => a -> Maybe FilePath
- posOfNode :: NodeInfo -> Position
- nameOfNode :: NodeInfo -> Maybe Name
- getLastTokenPos :: NodeInfo -> PosLength
- lengthOfNode :: NodeInfo -> Maybe Int
- eqByName :: CNode a => a -> a -> Bool

# Documentation

data NodeInfo Source #

Parsed entity attribute

Constructors

OnlyPos Position !PosLength |
NodeInfo Position !PosLength !Name |

#### Instances

Instances details

NFData NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods rnf :: NodeInfo -> () Source #
Data NodeInfo Source # |

Instance details

Defined in Language.C.Data.Node

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NodeInfo -> c NodeInfo Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NodeInfo Source #

toConstr :: NodeInfo -> Constr Source #

dataTypeOf :: NodeInfo -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NodeInfo) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NodeInfo) Source #

gmapT :: (forall b. Data b => b -> b) -> NodeInfo -> NodeInfo Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NodeInfo -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NodeInfo -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> NodeInfo -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NodeInfo -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo Source #

Generic NodeInfo Source # |

Instance details

Defined in Language.C.Data.Node

Associated Types

type Rep NodeInfo |

Instance details

Defined in Language.C.Data.Node

type Rep NodeInfo = D1 ('MetaData "NodeInfo" "Language.C.Data.Node" "language-c-0.10.1-IbTB6TwjqRkHrdbw3CJkeG" 'False) (C1 ('MetaCons "OnlyPos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 PosLength)) :+: C1 ('MetaCons "NodeInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 PosLength) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))))

Methods

from :: NodeInfo -> Rep NodeInfo x Source #

to :: Rep NodeInfo x -> NodeInfo Source #

Show NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods showsPrec :: Int -> NodeInfo -> ShowS Source # show :: NodeInfo -> String Source # showList :: [NodeInfo] -> ShowS Source #
Eq NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods (==) :: NodeInfo -> NodeInfo -> Bool Source # (/=) :: NodeInfo -> NodeInfo -> Bool Source #
Ord NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods compare :: NodeInfo -> NodeInfo -> Ordering Source # (<) :: NodeInfo -> NodeInfo -> Bool Source # (<=) :: NodeInfo -> NodeInfo -> Bool Source # (>) :: NodeInfo -> NodeInfo -> Bool Source # (>=) :: NodeInfo -> NodeInfo -> Bool Source # max :: NodeInfo -> NodeInfo -> NodeInfo Source # min :: NodeInfo -> NodeInfo -> NodeInfo Source #
CNode NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods nodeInfo :: NodeInfo -> NodeInfo Source #
Pos NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods posOf :: NodeInfo -> Position Source #
Pretty CAlignSpec Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CAlignSpec -> Doc Source # prettyPrec :: Int -> CAlignSpec -> Doc Source #
Pretty CArrSize Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CArrSize -> Doc Source # prettyPrec :: Int -> CArrSize -> Doc Source #
Pretty CAsmOperand Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CAsmOperand -> Doc Source # prettyPrec :: Int -> CAsmOperand -> Doc Source #
Pretty CAsmStmt Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CAsmStmt -> Doc Source # prettyPrec :: Int -> CAsmStmt -> Doc Source #
Pretty CAttr Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CAttr -> Doc Source # prettyPrec :: Int -> CAttr -> Doc Source #
Pretty CBlockItem Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CBlockItem -> Doc Source # prettyPrec :: Int -> CBlockItem -> Doc Source #
Pretty CBuiltin Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CBuiltin -> Doc Source # prettyPrec :: Int -> CBuiltin -> Doc Source #
Pretty CConst Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CConst -> Doc Source # prettyPrec :: Int -> CConst -> Doc Source #
Pretty CDecl Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CDecl -> Doc Source # prettyPrec :: Int -> CDecl -> Doc Source #
Pretty CDeclSpec Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CDeclSpec -> Doc Source # prettyPrec :: Int -> CDeclSpec -> Doc Source #
Pretty CDeclr Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CDeclr -> Doc Source # prettyPrec :: Int -> CDeclr -> Doc Source #
Pretty CDesignator Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CDesignator -> Doc Source # prettyPrec :: Int -> CDesignator -> Doc Source #
Pretty CEnum Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CEnum -> Doc Source # prettyPrec :: Int -> CEnum -> Doc Source #
Pretty CExpr Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CExpr -> Doc Source # prettyPrec :: Int -> CExpr -> Doc Source #
Pretty CExtDecl Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CExtDecl -> Doc Source # prettyPrec :: Int -> CExtDecl -> Doc Source #
Pretty CFunDef Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CFunDef -> Doc Source # prettyPrec :: Int -> CFunDef -> Doc Source #
Pretty CFunSpec Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CFunSpec -> Doc Source # prettyPrec :: Int -> CFunSpec -> Doc Source #
Pretty CInit Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CInit -> Doc Source # prettyPrec :: Int -> CInit -> Doc Source #
Pretty CStat Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CStat -> Doc Source # prettyPrec :: Int -> CStat -> Doc Source #
Pretty CStorageSpec Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CStorageSpec -> Doc Source # prettyPrec :: Int -> CStorageSpec -> Doc Source #
Pretty CStrLit Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CStrLit -> Doc Source # prettyPrec :: Int -> CStrLit -> Doc Source #
Pretty CStructUnion Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CStructUnion -> Doc Source # prettyPrec :: Int -> CStructUnion -> Doc Source #
Pretty CTranslUnit Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CTranslUnit -> Doc Source # prettyPrec :: Int -> CTranslUnit -> Doc Source #
Pretty CTypeQual Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CTypeQual -> Doc Source # prettyPrec :: Int -> CTypeQual -> Doc Source #
Pretty CTypeSpec Source # |
Instance details Defined in Language.C.Pretty Methods pretty :: CTypeSpec -> Doc Source # prettyPrec :: Int -> CTypeSpec -> Doc Source #
type Rep NodeInfo Source # |

Instance details

Defined in Language.C.Data.Node

type Rep NodeInfo = D1 ('MetaData "NodeInfo" "Language.C.Data.Node" "language-c-0.10.1-IbTB6TwjqRkHrdbw3CJkeG" 'False) (C1 ('MetaCons "OnlyPos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 PosLength)) :+: C1 ('MetaCons "NodeInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 PosLength) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))))

undefNode :: NodeInfo Source #

create a node with neither name nor positional information

isUndefNode :: NodeInfo -> Bool Source #

return True if the node carries neither name nor positional information

mkNodeInfoOnlyPos :: Position -> NodeInfo Source #

| Given only a source position, create a new node attribute

mkNodeInfoPosLen :: Position -> PosLength -> NodeInfo Source #

Given a source position and the position and length of the last token, create a new node attribute

mkNodeInfo :: Position -> Name -> NodeInfo Source #

Given a source position and a unique name, create a new attribute identifier

mkNodeInfo' :: Position -> PosLength -> Name -> NodeInfo Source #

Given a source position, the position and length of the last token and a unique name, create a new attribute identifier. Strict in

internalNode :: NodeInfo Source #

Deprecated: use undefNode instead

class CNode a where Source #

a class for convenient access to the attributes of an attributed object

Methods

nodeInfo :: a -> NodeInfo Source #

#### Instances

Instances details

CNode TagFwdDecl Source # |
Instance details Defined in Language.C.Analysis.DefTable Methods nodeInfo :: TagFwdDecl -> NodeInfo Source #
CNode Attr Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: Attr -> NodeInfo Source #
CNode CompType Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: CompType -> NodeInfo Source #
CNode CompTypeRef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: CompTypeRef -> NodeInfo Source #
CNode Decl Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: Decl -> NodeInfo Source #
CNode DeclEvent Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: DeclEvent -> NodeInfo Source #
CNode EnumType Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: EnumType -> NodeInfo Source #
CNode EnumTypeRef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: EnumTypeRef -> NodeInfo Source #
CNode Enumerator Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: Enumerator -> NodeInfo Source #
CNode FunDef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: FunDef -> NodeInfo Source #
CNode IdentDecl Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: IdentDecl -> NodeInfo Source #
CNode MemberDecl Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: MemberDecl -> NodeInfo Source #
CNode ObjDef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: ObjDef -> NodeInfo Source #
CNode ParamDecl Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: ParamDecl -> NodeInfo Source #
CNode TagDef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: TagDef -> NodeInfo Source #
CNode TypeDef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: TypeDef -> NodeInfo Source #
CNode TypeDefRef Source # |
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: TypeDefRef -> NodeInfo Source #
CNode Ident Source # |
Instance details Defined in Language.C.Data.Ident Methods nodeInfo :: Ident -> NodeInfo Source #
CNode NodeInfo Source # |
Instance details Defined in Language.C.Data.Node Methods nodeInfo :: NodeInfo -> NodeInfo Source #
CNode t1 => CNode (CAlignmentSpecifier t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CAlignmentSpecifier t1 -> NodeInfo Source #
CNode t1 => CNode (CAssemblyOperand t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CAssemblyOperand t1 -> NodeInfo Source #
CNode t1 => CNode (CAssemblyStatement t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CAssemblyStatement t1 -> NodeInfo Source #
CNode t1 => CNode (CAttribute t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CAttribute t1 -> NodeInfo Source #
CNode t1 => CNode (CBuiltinThing t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CBuiltinThing t1 -> NodeInfo Source #
CNode t1 => CNode (CCompoundBlockItem t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CCompoundBlockItem t1 -> NodeInfo Source #
CNode t1 => CNode (CConstant t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CConstant t1 -> NodeInfo Source #
CNode t1 => CNode (CDeclaration t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CDeclaration t1 -> NodeInfo Source #
CNode t1 => CNode (CDeclarationSpecifier t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CDeclarationSpecifier t1 -> NodeInfo Source #
CNode t1 => CNode (CDeclarator t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CDeclarator t1 -> NodeInfo Source #
CNode t1 => CNode (CDerivedDeclarator t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CDerivedDeclarator t1 -> NodeInfo Source #
CNode t1 => CNode (CEnumeration t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CEnumeration t1 -> NodeInfo Source #
CNode t1 => CNode (CExpression t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CExpression t1 -> NodeInfo Source #
CNode t1 => CNode (CExternalDeclaration t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CExternalDeclaration t1 -> NodeInfo Source #
CNode t1 => CNode (CFunctionDef t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CFunctionDef t1 -> NodeInfo Source #
CNode t1 => CNode (CFunctionSpecifier t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CFunctionSpecifier t1 -> NodeInfo Source #
CNode t1 => CNode (CInitializer t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CInitializer t1 -> NodeInfo Source #
CNode t1 => CNode (CPartDesignator t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CPartDesignator t1 -> NodeInfo Source #
CNode t1 => CNode (CStatement t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CStatement t1 -> NodeInfo Source #
CNode t1 => CNode (CStorageSpecifier t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CStorageSpecifier t1 -> NodeInfo Source #
CNode t1 => CNode (CStringLiteral t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CStringLiteral t1 -> NodeInfo Source #
CNode t1 => CNode (CStructureUnion t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CStructureUnion t1 -> NodeInfo Source #
CNode t1 => CNode (CTranslationUnit t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CTranslationUnit t1 -> NodeInfo Source #
CNode t1 => CNode (CTypeQualifier t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CTypeQualifier t1 -> NodeInfo Source #
CNode t1 => CNode (CTypeSpecifier t1) Source # |
Instance details Defined in Language.C.Syntax.AST Methods nodeInfo :: CTypeSpecifier t1 -> NodeInfo Source #
(CNode a, CNode b) => CNode (Either a b) Source # |
Instance details Defined in Language.C.Data.Node Methods nodeInfo :: Either a b -> NodeInfo Source #

fileOfNode :: CNode a => a -> Maybe FilePath Source #

posOfNode :: NodeInfo -> Position Source #

nameOfNode :: NodeInfo -> Maybe Name Source #

getLastTokenPos :: NodeInfo -> PosLength Source #

get the position and length of the last token

lengthOfNode :: NodeInfo -> Maybe Int Source #

get the number of characters an AST node spans

eqByName :: CNode a => a -> a -> Bool Source #

equality by name