Copyright	(c) 2008 Benedikt Huber
License	BSD-style
Maintainer	benedikt.huber@gmail.com
Stability	experimental
Portability	ghc
Safe Haskell	None
Language	Haskell98

Language.C.Data

Contents

Input stream
Identifiers
Unqiue names
Source code positions
Syntax tree nodes
Extensible errors

Description

Common data types for Language.C: Identifiers, unique names, source code locations, ast node attributes and extensible errors.

Synopsis

module Language.C.Data.InputStream
data SUERef
- = AnonymousRef Name
- | NamedRef Ident
isAnonymousRef :: SUERef -> Bool
sueRefToString :: SUERef -> String
data Ident
mkIdent :: Position -> String -> Name -> Ident
identToString :: Ident -> String
internalIdent :: String -> Ident
isInternalIdent :: Ident -> Bool
builtinIdent :: String -> Ident
newtype Name = Name {
- nameId :: Int
}
newNameSupply :: [Name]
data Position
posFile :: Position -> String
posParent :: Position -> Maybe Position
class Pos a where
- posOf :: a -> Position
initPos :: FilePath -> Position
nopos :: Position
builtinPos :: Position
internalPos :: Position
isSourcePos :: Position -> Bool
isBuiltinPos :: Position -> Bool
isInternalPos :: Position -> Bool
data NodeInfo
- = OnlyPos Position !PosLength
- | NodeInfo Position !PosLength !Name
class CNode a where
- nodeInfo :: a -> NodeInfo
fileOfNode :: CNode a => a -> Maybe FilePath
posOfNode :: NodeInfo -> Position
nameOfNode :: NodeInfo -> Maybe Name
undefNode :: NodeInfo
mkNodeInfoOnlyPos :: Position -> NodeInfo
mkNodeInfo :: Position -> Name -> NodeInfo
internalNode :: NodeInfo
module Language.C.Data.Error

Input stream

module Language.C.Data.InputStream

Identifiers

data SUERef #

References uniquely determining a struct, union or enum type. Those are either identified by an string identifier, or by a unique name (anonymous types).

Constructors

AnonymousRef Name
NamedRef Ident

Instances

Eq SUERef #
Instance details Defined in Language.C.Data.Ident Methods (==) :: SUERef -> SUERef -> Bool # (/=) :: SUERef -> SUERef -> Bool #
Data SUERef #
Instance details Defined in Language.C.Data.Ident Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SUERef -> c SUERef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SUERef # toConstr :: SUERef -> Constr # dataTypeOf :: SUERef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SUERef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SUERef) # gmapT :: (forall b. Data b => b -> b) -> SUERef -> SUERef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SUERef -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SUERef -> r # gmapQ :: (forall d. Data d => d -> u) -> SUERef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SUERef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SUERef -> m SUERef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SUERef -> m SUERef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SUERef -> m SUERef #
Ord SUERef #
Instance details Defined in Language.C.Data.Ident Methods compare :: SUERef -> SUERef -> Ordering # (<) :: SUERef -> SUERef -> Bool # (<=) :: SUERef -> SUERef -> Bool # (>) :: SUERef -> SUERef -> Bool # (>=) :: SUERef -> SUERef -> Bool # max :: SUERef -> SUERef -> SUERef # min :: SUERef -> SUERef -> SUERef #
Show SUERef #
Instance details Defined in Language.C.Data.Ident Methods showsPrec :: Int -> SUERef -> ShowS # show :: SUERef -> String # showList :: [SUERef] -> ShowS #
Generic SUERef #
Instance details Defined in Language.C.Data.Ident Associated Types type Rep SUERef :: Type -> Type # Methods from :: SUERef -> Rep SUERef x # to :: Rep SUERef x -> SUERef #
NFData SUERef #
Instance details Defined in Language.C.Data.Ident Methods rnf :: SUERef -> () #
Pretty SUERef #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: SUERef -> Doc # prettyPrec :: Int -> SUERef -> Doc #
type Rep SUERef #
Instance details Defined in Language.C.Data.Ident type Rep SUERef = D1 (MetaData "SUERef" "Language.C.Data.Ident" "language-c-0.8.2-KO6GGy0fbH5KZxtBHfA7kD" False) (C1 (MetaCons "AnonymousRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)) :+: C1 (MetaCons "NamedRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident)))

isAnonymousRef :: SUERef -> Bool #

Return true if the struct/union/enum reference is anonymous.

sueRefToString :: SUERef -> String #

string of a SUE ref (empty if anonymous)

data Ident #

C identifiers

Instances

Eq Ident #
Instance details Defined in Language.C.Data.Ident Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Data Ident #
Instance details Defined in Language.C.Data.Ident Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ident -> c Ident # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ident # toConstr :: Ident -> Constr # dataTypeOf :: Ident -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ident) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ident) # gmapT :: (forall b. Data b => b -> b) -> Ident -> Ident # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r # gmapQ :: (forall d. Data d => d -> u) -> Ident -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ident -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ident -> m Ident # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident #
Ord Ident #
Instance details Defined in Language.C.Data.Ident Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #
Show Ident #
Instance details Defined in Language.C.Data.Ident Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Generic Ident #
Instance details Defined in Language.C.Data.Ident Associated Types type Rep Ident :: Type -> Type # Methods from :: Ident -> Rep Ident x # to :: Rep Ident x -> Ident #
NFData Ident #
Instance details Defined in Language.C.Data.Ident Methods rnf :: Ident -> () #
Pos Ident #
Instance details Defined in Language.C.Data.Ident Methods posOf :: Ident -> Position #
CNode Ident #
Instance details Defined in Language.C.Data.Ident Methods nodeInfo :: Ident -> NodeInfo #
Pretty Ident #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Ident -> Doc # prettyPrec :: Int -> Ident -> Doc #
type Rep Ident #
Instance details Defined in Language.C.Data.Ident type Rep Ident = D1 (MetaData "Ident" "Language.C.Data.Ident" "language-c-0.8.2-KO6GGy0fbH5KZxtBHfA7kD" False) (C1 (MetaCons "Ident" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :: (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NodeInfo))))

mkIdent :: Position -> String -> Name -> Ident #

build an identifier from a string.

only minimal error checking, e.g., the characters of the identifier are not checked for being alphanumerical only; the correct lexis of the identifier should be ensured by the caller, e.g., the scanner.
for reasons of simplicity the complete lexeme is hashed.

identToString :: Ident -> String #

string of an identifier

internalIdent :: String -> Ident #

returns an internal identifier (has internal position and no unique name)

isInternalIdent :: Ident -> Bool #

return True if the given identifier is internal

builtinIdent :: String -> Ident #

returns a builtin identifier (has builtin position and no unique name)

Unqiue names

newtype Name #

Name is a unique identifier

Constructors

Name
Fields nameId :: Int

Instances

Enum Name #
Instance details Defined in Language.C.Data.Name Methods succ :: Name -> Name # pred :: Name -> Name # toEnum :: Int -> Name # fromEnum :: Name -> Int # enumFrom :: Name -> [Name] # enumFromThen :: Name -> Name -> [Name] # enumFromTo :: Name -> Name -> [Name] # enumFromThenTo :: Name -> Name -> Name -> [Name] #
Eq Name #
Instance details Defined in Language.C.Data.Name Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Data Name #
Instance details Defined in Language.C.Data.Name Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name # toConstr :: Name -> Constr # dataTypeOf :: Name -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name) # gmapT :: (forall b. Data b => b -> b) -> Name -> Name # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r # gmapQ :: (forall d. Data d => d -> u) -> Name -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name #
Ord Name #
Instance details Defined in Language.C.Data.Name Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #
Read Name #
Instance details Defined in Language.C.Data.Name Methods readsPrec :: Int -> ReadS Name # readList :: ReadS [Name] # readPrec :: ReadPrec Name # readListPrec :: ReadPrec [Name] #
Show Name #
Instance details Defined in Language.C.Data.Name Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Ix Name #
Instance details Defined in Language.C.Data.Name Methods range :: (Name, Name) -> [Name] # index :: (Name, Name) -> Name -> Int # unsafeIndex :: (Name, Name) -> Name -> Int inRange :: (Name, Name) -> Name -> Bool # rangeSize :: (Name, Name) -> Int # unsafeRangeSize :: (Name, Name) -> Int
Generic Name #
Instance details Defined in Language.C.Data.Name Associated Types type Rep Name :: Type -> Type # Methods from :: Name -> Rep Name x # to :: Rep Name x -> Name #
NFData Name #
Instance details Defined in Language.C.Data.Name Methods rnf :: Name -> () #
type Rep Name #
Instance details Defined in Language.C.Data.Name type Rep Name = D1 (MetaData "Name" "Language.C.Data.Name" "language-c-0.8.2-KO6GGy0fbH5KZxtBHfA7kD" True) (C1 (MetaCons "Name" PrefixI True) (S1 (MetaSel (Just "nameId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newNameSupply :: [Name] #

return an infinite stream of Names starting with nameId 0

Source code positions

data Position #

uniform representation of source file positions

Instances

Eq Position #
Instance details Defined in Language.C.Data.Position Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Data Position #
Instance details Defined in Language.C.Data.Position Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Position -> c Position # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Position # toConstr :: Position -> Constr # dataTypeOf :: Position -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Position) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Position) # gmapT :: (forall b. Data b => b -> b) -> Position -> Position # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQ :: (forall d. Data d => d -> u) -> Position -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Position -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position #
Ord Position #
Instance details Defined in Language.C.Data.Position Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Show Position #
Instance details Defined in Language.C.Data.Position Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Generic Position #
Instance details Defined in Language.C.Data.Position Associated Types type Rep Position :: Type -> Type # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
NFData Position #
Instance details Defined in Language.C.Data.Position Methods rnf :: Position -> () #
type Rep Position #
Instance details Defined in Language.C.Data.Position type Rep Position

posFile :: Position -> String #

posParent :: Position -> Maybe Position #

class Pos a where #

class of type which aggregate a source code location

Methods

posOf :: a -> Position #

Instances

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

initPos :: FilePath -> Position #

initialize a Position to the start of the translation unit starting in the given file

nopos :: Position #

no position (for unknown position information)

builtinPos :: Position #

position attached to built-in objects

internalPos :: Position #

position used for internal errors

isSourcePos :: Position -> Bool #

returns True if the given position refers to an actual source file

isBuiltinPos :: Position -> Bool #

returns True if the given position refers to a builtin definition

isInternalPos :: Position -> Bool #

returns True if the given position is internal

Syntax tree nodes

data NodeInfo #

Parsed entity attribute

Constructors

OnlyPos Position !PosLength
NodeInfo Position !PosLength !Name

Instances

Eq NodeInfo #
Instance details Defined in Language.C.Data.Node Methods (==) :: NodeInfo -> NodeInfo -> Bool # (/=) :: NodeInfo -> NodeInfo -> Bool #
Data NodeInfo #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NodeInfo # toConstr :: NodeInfo -> Constr # dataTypeOf :: NodeInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NodeInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NodeInfo) # gmapT :: (forall b. Data b => b -> b) -> NodeInfo -> NodeInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NodeInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NodeInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> NodeInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NodeInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo #
Ord NodeInfo #
Instance details Defined in Language.C.Data.Node Methods compare :: NodeInfo -> NodeInfo -> Ordering # (<) :: NodeInfo -> NodeInfo -> Bool # (<=) :: NodeInfo -> NodeInfo -> Bool # (>) :: NodeInfo -> NodeInfo -> Bool # (>=) :: NodeInfo -> NodeInfo -> Bool # max :: NodeInfo -> NodeInfo -> NodeInfo # min :: NodeInfo -> NodeInfo -> NodeInfo #
Show NodeInfo #
Instance details Defined in Language.C.Data.Node Methods showsPrec :: Int -> NodeInfo -> ShowS # show :: NodeInfo -> String # showList :: [NodeInfo] -> ShowS #
Generic NodeInfo #
Instance details Defined in Language.C.Data.Node Associated Types type Rep NodeInfo :: Type -> Type # Methods from :: NodeInfo -> Rep NodeInfo x # to :: Rep NodeInfo x -> NodeInfo #
NFData NodeInfo #
Instance details Defined in Language.C.Data.Node Methods rnf :: NodeInfo -> () #
Pos NodeInfo #
Instance details Defined in Language.C.Data.Node Methods posOf :: NodeInfo -> Position #
CNode NodeInfo #
Instance details Defined in Language.C.Data.Node Methods nodeInfo :: NodeInfo -> NodeInfo #
Pretty CStrLit #
Instance details Defined in Language.C.Pretty Methods pretty :: CStrLit -> Doc # prettyPrec :: Int -> CStrLit -> Doc #
Pretty CConst #
Instance details Defined in Language.C.Pretty Methods pretty :: CConst -> Doc # prettyPrec :: Int -> CConst -> Doc #
Pretty CBuiltin #
Instance details Defined in Language.C.Pretty Methods pretty :: CBuiltin -> Doc # prettyPrec :: Int -> CBuiltin -> Doc #
Pretty CExpr #
Instance details Defined in Language.C.Pretty Methods pretty :: CExpr -> Doc # prettyPrec :: Int -> CExpr -> Doc #
Pretty CAttr #
Instance details Defined in Language.C.Pretty Methods pretty :: CAttr -> Doc # prettyPrec :: Int -> CAttr -> Doc #
Pretty CDesignator #
Instance details Defined in Language.C.Pretty Methods pretty :: CDesignator -> Doc # prettyPrec :: Int -> CDesignator -> Doc #
Pretty CInit #
Instance details Defined in Language.C.Pretty Methods pretty :: CInit -> Doc # prettyPrec :: Int -> CInit -> Doc #
Pretty CEnum #
Instance details Defined in Language.C.Pretty Methods pretty :: CEnum -> Doc # prettyPrec :: Int -> CEnum -> Doc #
Pretty CStructUnion #
Instance details Defined in Language.C.Pretty Methods pretty :: CStructUnion -> Doc # prettyPrec :: Int -> CStructUnion -> Doc #
Pretty CAlignSpec #
Instance details Defined in Language.C.Pretty Methods pretty :: CAlignSpec -> Doc # prettyPrec :: Int -> CAlignSpec -> Doc #
Pretty CFunSpec #
Instance details Defined in Language.C.Pretty Methods pretty :: CFunSpec -> Doc # prettyPrec :: Int -> CFunSpec -> Doc #
Pretty CTypeQual #
Instance details Defined in Language.C.Pretty Methods pretty :: CTypeQual -> Doc # prettyPrec :: Int -> CTypeQual -> Doc #
Pretty CTypeSpec #
Instance details Defined in Language.C.Pretty Methods pretty :: CTypeSpec -> Doc # prettyPrec :: Int -> CTypeSpec -> Doc #
Pretty CStorageSpec #
Instance details Defined in Language.C.Pretty Methods pretty :: CStorageSpec -> Doc # prettyPrec :: Int -> CStorageSpec -> Doc #
Pretty CDeclSpec #
Instance details Defined in Language.C.Pretty Methods pretty :: CDeclSpec -> Doc # prettyPrec :: Int -> CDeclSpec -> Doc #
Pretty CBlockItem #
Instance details Defined in Language.C.Pretty Methods pretty :: CBlockItem -> Doc # prettyPrec :: Int -> CBlockItem -> Doc #
Pretty CAsmOperand #
Instance details Defined in Language.C.Pretty Methods pretty :: CAsmOperand -> Doc # prettyPrec :: Int -> CAsmOperand -> Doc #
Pretty CAsmStmt #
Instance details Defined in Language.C.Pretty Methods pretty :: CAsmStmt -> Doc # prettyPrec :: Int -> CAsmStmt -> Doc #
Pretty CStat #
Instance details Defined in Language.C.Pretty Methods pretty :: CStat -> Doc # prettyPrec :: Int -> CStat -> Doc #
Pretty CArrSize #
Instance details Defined in Language.C.Pretty Methods pretty :: CArrSize -> Doc # prettyPrec :: Int -> CArrSize -> Doc #
Pretty CDeclr #
Instance details Defined in Language.C.Pretty Methods pretty :: CDeclr -> Doc # prettyPrec :: Int -> CDeclr -> Doc #
Pretty CDecl #
Instance details Defined in Language.C.Pretty Methods pretty :: CDecl -> Doc # prettyPrec :: Int -> CDecl -> Doc #
Pretty CFunDef #
Instance details Defined in Language.C.Pretty Methods pretty :: CFunDef -> Doc # prettyPrec :: Int -> CFunDef -> Doc #
Pretty CExtDecl #
Instance details Defined in Language.C.Pretty Methods pretty :: CExtDecl -> Doc # prettyPrec :: Int -> CExtDecl -> Doc #
Pretty CTranslUnit #
Instance details Defined in Language.C.Pretty Methods pretty :: CTranslUnit -> Doc # prettyPrec :: Int -> CTranslUnit -> Doc #
type Rep NodeInfo #
Instance details Defined in Language.C.Data.Node type Rep NodeInfo = D1 (MetaData "NodeInfo" "Language.C.Data.Node" "language-c-0.8.2-KO6GGy0fbH5KZxtBHfA7kD" 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))))

class CNode a where #

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

Methods

nodeInfo :: a -> NodeInfo #

Instances

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

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

posOfNode :: NodeInfo -> Position #

nameOfNode :: NodeInfo -> Maybe Name #

undefNode :: NodeInfo #

create a node with neither name nor positional information

mkNodeInfoOnlyPos :: Position -> NodeInfo #

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

mkNodeInfo :: Position -> Name -> NodeInfo #

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

internalNode :: NodeInfo #

Deprecated: use undefNode instead

Extensible errors

module Language.C.Data.Error