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

Language.C.Analysis.SemRep

Contents

Sums of tags and identifiers
Global definitions
Events for visitors
Declarations and definitions
Declaration attributes
Types
Variable names
Attributes (STUB, not yet analyzed)
Statements and Expressions (STUB, aliases to Syntax)

Description

This module contains definitions for representing C translation units. In contrast to AST, the representation tries to express the semantics of of a translation unit.

Synopsis

data TagDef
- = CompDef CompType
- | EnumDef EnumType
typeOfTagDef :: TagDef -> TypeName
class Declaration n where
- getVarDecl :: n -> VarDecl
declIdent :: Declaration n => n -> Ident
declName :: Declaration n => n -> VarName
declType :: Declaration n => n -> Type
declAttrs :: Declaration n => n -> DeclAttrs
data IdentDecl
- = Declaration Decl
- | ObjectDef ObjDef
- | FunctionDef FunDef
- | EnumeratorDef Enumerator
objKindDescr :: IdentDecl -> String
splitIdentDecls :: Bool -> Map Ident IdentDecl -> (Map Ident Decl, (Map Ident Enumerator, Map Ident ObjDef, Map Ident FunDef))
data GlobalDecls = GlobalDecls {
- gObjs :: Map Ident IdentDecl
- gTags :: Map SUERef TagDef
- gTypeDefs :: Map Ident TypeDef
}
emptyGlobalDecls :: GlobalDecls
filterGlobalDecls :: (DeclEvent -> Bool) -> GlobalDecls -> GlobalDecls
mergeGlobalDecls :: GlobalDecls -> GlobalDecls -> GlobalDecls
data DeclEvent
- = TagEvent TagDef
- | DeclEvent IdentDecl
- | ParamEvent ParamDecl
- | LocalEvent IdentDecl
- | TypeDefEvent TypeDef
- | AsmEvent AsmBlock
data Decl = Decl VarDecl NodeInfo
data ObjDef = ObjDef VarDecl (Maybe Initializer) NodeInfo
isTentative :: ObjDef -> Bool
data FunDef = FunDef VarDecl Stmt NodeInfo
data ParamDecl
- = ParamDecl VarDecl NodeInfo
- | AbstractParamDecl VarDecl NodeInfo
data MemberDecl
- = MemberDecl VarDecl (Maybe Expr) NodeInfo
- | AnonBitField Type Expr NodeInfo
data TypeDef = TypeDef Ident Type Attributes NodeInfo
identOfTypeDef :: TypeDef -> Ident
data VarDecl = VarDecl VarName DeclAttrs Type
data DeclAttrs = DeclAttrs FunctionAttrs Storage Attributes
isExtDecl :: Declaration n => n -> Bool
data FunctionAttrs = FunctionAttrs {
- isInline :: Bool
- isNoreturn :: Bool
}
functionAttrs :: Declaration d => d -> FunctionAttrs
noFunctionAttrs :: FunctionAttrs
data Storage
- = NoStorage
- | Auto Register
- | Static Linkage ThreadLocal
- | FunLinkage Linkage
declStorage :: Declaration d => d -> Storage
type ThreadLocal = Bool
type Register = Bool
data Linkage
- = NoLinkage
- | InternalLinkage
- | ExternalLinkage
hasLinkage :: Storage -> Bool
declLinkage :: Declaration d => d -> Linkage
data Type
- = DirectType TypeName TypeQuals Attributes
- | PtrType Type TypeQuals Attributes
- | ArrayType Type ArraySize TypeQuals Attributes
- | FunctionType FunType Attributes
- | TypeDefType TypeDefRef TypeQuals Attributes
data FunType
- = FunType Type [ParamDecl] Bool
- | FunTypeIncomplete Type
data ArraySize
- = UnknownArraySize Bool
- | ArraySize Bool Expr
data TypeDefRef = TypeDefRef Ident Type NodeInfo
data TypeName
- = TyVoid
- | TyIntegral IntType
- | TyFloating FloatType
- | TyComplex FloatType
- | TyComp CompTypeRef
- | TyEnum EnumTypeRef
- | TyBuiltin BuiltinType
data BuiltinType
- = TyVaList
- | TyAny
data IntType
- = TyBool
- | TyChar
- | TySChar
- | TyUChar
- | TyShort
- | TyUShort
- | TyInt
- | TyUInt
- | TyInt128
- | TyUInt128
- | TyLong
- | TyULong
- | TyLLong
- | TyULLong
data FloatType
- = TyFloat
- | TyDouble
- | TyLDouble
- | TyFloatN Int Bool
class HasSUERef a where
- sueRef :: a -> SUERef
class HasCompTyKind a where
- compTag :: a -> CompTyKind
data CompTypeRef = CompTypeRef SUERef CompTyKind NodeInfo
data CompType = CompType SUERef CompTyKind [MemberDecl] Attributes NodeInfo
typeOfCompDef :: CompType -> TypeName
data CompTyKind
- = StructTag
- | UnionTag
data EnumTypeRef = EnumTypeRef SUERef NodeInfo
data EnumType = EnumType SUERef [Enumerator] Attributes NodeInfo
typeOfEnumDef :: EnumType -> TypeName
data Enumerator = Enumerator Ident Expr EnumType NodeInfo
data TypeQuals = TypeQuals {
- constant :: Bool
- volatile :: Bool
- restrict :: Bool
- atomic :: Bool
- nullable :: Bool
- nonnull :: Bool
- clrdonly :: Bool
- clwronly :: Bool
}
noTypeQuals :: TypeQuals
mergeTypeQuals :: TypeQuals -> TypeQuals -> TypeQuals
data VarName
- = VarName Ident (Maybe AsmName)
- | NoName
identOfVarName :: VarName -> Ident
isNoName :: VarName -> Bool
type AsmName = CStrLit
data Attr = Attr Ident [Expr] NodeInfo
type Attributes = [Attr]
noAttributes :: Attributes
mergeAttributes :: Attributes -> Attributes -> Attributes
type Stmt = CStat
type Expr = CExpr
type Initializer = CInit
type AsmBlock = CStrLit

Sums of tags and identifiers

data TagDef Source #

Composite type definitions (tags)

Constructors

CompDef CompType
EnumDef EnumType

Instances

Instances details

Data TagDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TagDef -> c TagDef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TagDef # toConstr :: TagDef -> Constr # dataTypeOf :: TagDef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TagDef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TagDef) # gmapT :: (forall b. Data b => b -> b) -> TagDef -> TagDef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TagDef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TagDef -> r # gmapQ :: (forall d. Data d => d -> u) -> TagDef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TagDef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TagDef -> m TagDef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TagDef -> m TagDef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TagDef -> m TagDef #
Show TagDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> TagDef -> ShowS # show :: TagDef -> String # showList :: [TagDef] -> ShowS #
Pos TagDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: TagDef -> Position Source #
CNode TagDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: TagDef -> NodeInfo Source #
Pretty TagDef Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: TagDef -> Doc Source # prettyPrec :: Int -> TagDef -> Doc Source #
HasSUERef TagDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: TagDef -> SUERef Source #

typeOfTagDef :: TagDef -> TypeName Source #

return the type corresponding to a tag definition

class Declaration n where Source #

All datatypes aggregating a declaration are instances of Declaration

Methods

getVarDecl :: n -> VarDecl Source #

get the name, type and declaration attributes of a declaration or definition

Instances

Instances details

Declaration Enumerator Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: Enumerator -> VarDecl Source #
Declaration VarDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: VarDecl -> VarDecl Source #
Declaration MemberDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: MemberDecl -> VarDecl Source #
Declaration ParamDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: ParamDecl -> VarDecl Source #
Declaration FunDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: FunDef -> VarDecl Source #
Declaration ObjDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: ObjDef -> VarDecl Source #
Declaration Decl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: Decl -> VarDecl Source #
Declaration IdentDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: IdentDecl -> VarDecl Source #
(Declaration a, Declaration b) => Declaration (Either a b) Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: Either a b -> VarDecl Source #

declIdent :: Declaration n => n -> Ident Source #

get the variable identifier of a declaration (only safe if the the declaration is known to have a name)

declName :: Declaration n => n -> VarName Source #

get the variable name of a Declaration

declType :: Declaration n => n -> Type Source #

get the type of a Declaration

declAttrs :: Declaration n => n -> DeclAttrs Source #

get the declaration attributes of a Declaration

data IdentDecl Source #

identifiers, typedefs and enumeration constants (namespace sum)

Constructors

Declaration Decl	object or function declaration
ObjectDef ObjDef	object definition
FunctionDef FunDef	function definition
EnumeratorDef Enumerator	definition of an enumerator

Instances

Instances details

Data IdentDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IdentDecl -> c IdentDecl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IdentDecl # toConstr :: IdentDecl -> Constr # dataTypeOf :: IdentDecl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IdentDecl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IdentDecl) # gmapT :: (forall b. Data b => b -> b) -> IdentDecl -> IdentDecl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IdentDecl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IdentDecl -> r # gmapQ :: (forall d. Data d => d -> u) -> IdentDecl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IdentDecl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IdentDecl -> m IdentDecl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentDecl -> m IdentDecl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentDecl -> m IdentDecl #
Show IdentDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> IdentDecl -> ShowS # show :: IdentDecl -> String # showList :: [IdentDecl] -> ShowS #
Pos IdentDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: IdentDecl -> Position Source #
CNode IdentDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: IdentDecl -> NodeInfo Source #
Pretty IdentDecl Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: IdentDecl -> Doc Source # prettyPrec :: Int -> IdentDecl -> Doc Source #
Declaration IdentDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: IdentDecl -> VarDecl Source #

objKindDescr :: IdentDecl -> String Source #

textual description of the kind of an object

splitIdentDecls :: Bool -> Map Ident IdentDecl -> (Map Ident Decl, (Map Ident Enumerator, Map Ident ObjDef, Map Ident FunDef)) Source #

splitIdentDecls includeAllDecls splits a map of object, function and enumerator declarations and definitions into one map holding declarations, and three maps for object definitions, enumerator definitions and function definitions. If includeAllDecls is True all declarations are present in the first map, otherwise only those where no corresponding definition is available.

Global definitions

data GlobalDecls Source #

global declaration/definition table returned by the analysis

Constructors

GlobalDecls
Fields gObjs :: Map Ident IdentDecl gTags :: Map SUERef TagDef gTypeDefs :: Map Ident TypeDef

Instances

Instances details

Pretty GlobalDecls Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: GlobalDecls -> Doc Source # prettyPrec :: Int -> GlobalDecls -> Doc Source #

emptyGlobalDecls :: GlobalDecls Source #

empty global declaration table

filterGlobalDecls :: (DeclEvent -> Bool) -> GlobalDecls -> GlobalDecls Source #

filter global declarations

mergeGlobalDecls :: GlobalDecls -> GlobalDecls -> GlobalDecls Source #

merge global declarations

Events for visitors

data DeclEvent Source #

Declaration events

Those events are reported to callbacks, which are executed during the traversal.

Constructors

TagEvent TagDef	file-scope struct/union/enum event
DeclEvent IdentDecl	file-scope declaration or definition
ParamEvent ParamDecl	parameter declaration
LocalEvent IdentDecl	local variable declaration or definition
TypeDefEvent TypeDef	a type definition
AsmEvent AsmBlock	assembler block

Instances

Instances details

Pos DeclEvent Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: DeclEvent -> Position Source #
CNode DeclEvent Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: DeclEvent -> NodeInfo Source #

Declarations and definitions

data Decl Source #

Declarations, which aren't definitions

Constructors

Decl VarDecl NodeInfo

Instances

Instances details

Data Decl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Decl -> c Decl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Decl # toConstr :: Decl -> Constr # dataTypeOf :: Decl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Decl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Decl) # gmapT :: (forall b. Data b => b -> b) -> Decl -> Decl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r # gmapQ :: (forall d. Data d => d -> u) -> Decl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Decl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Decl -> m Decl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl #
Show Decl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> Decl -> ShowS # show :: Decl -> String # showList :: [Decl] -> ShowS #
Pos Decl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: Decl -> Position Source #
CNode Decl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: Decl -> NodeInfo Source #
Pretty Decl Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Decl -> Doc Source # prettyPrec :: Int -> Decl -> Doc Source #
Declaration Decl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: Decl -> VarDecl Source #

data ObjDef Source #

Object Definitions

An object definition is a declaration together with an initializer.

If the initializer is missing, it is a tentative definition, i.e. a definition which might be overriden later on.

Constructors

ObjDef VarDecl (Maybe Initializer) NodeInfo

Instances

Instances details

Data ObjDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjDef -> c ObjDef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjDef # toConstr :: ObjDef -> Constr # dataTypeOf :: ObjDef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjDef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjDef) # gmapT :: (forall b. Data b => b -> b) -> ObjDef -> ObjDef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjDef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjDef -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjDef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjDef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjDef -> m ObjDef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjDef -> m ObjDef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjDef -> m ObjDef #
Show ObjDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> ObjDef -> ShowS # show :: ObjDef -> String # showList :: [ObjDef] -> ShowS #
Pos ObjDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: ObjDef -> Position Source #
CNode ObjDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: ObjDef -> NodeInfo Source #
Pretty ObjDef Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: ObjDef -> Doc Source # prettyPrec :: Int -> ObjDef -> Doc Source #
Declaration ObjDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: ObjDef -> VarDecl Source #

isTentative :: ObjDef -> Bool Source #

Returns True if the given object definition is tentative.

data FunDef Source #

Function definitions

A function definition is a declaration together with a statement (the function body).

Constructors

FunDef VarDecl Stmt NodeInfo

Instances

Instances details

Data FunDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunDef -> c FunDef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunDef # toConstr :: FunDef -> Constr # dataTypeOf :: FunDef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunDef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunDef) # gmapT :: (forall b. Data b => b -> b) -> FunDef -> FunDef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunDef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunDef -> r # gmapQ :: (forall d. Data d => d -> u) -> FunDef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunDef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunDef -> m FunDef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunDef -> m FunDef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunDef -> m FunDef #
Show FunDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> FunDef -> ShowS # show :: FunDef -> String # showList :: [FunDef] -> ShowS #
Pos FunDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: FunDef -> Position Source #
CNode FunDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: FunDef -> NodeInfo Source #
Pretty FunDef Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: FunDef -> Doc Source # prettyPrec :: Int -> FunDef -> Doc Source #
Declaration FunDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: FunDef -> VarDecl Source #

data ParamDecl Source #

Parameter declaration

Constructors

ParamDecl VarDecl NodeInfo
AbstractParamDecl VarDecl NodeInfo

Instances

Instances details

Data ParamDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamDecl -> c ParamDecl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParamDecl # toConstr :: ParamDecl -> Constr # dataTypeOf :: ParamDecl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParamDecl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParamDecl) # gmapT :: (forall b. Data b => b -> b) -> ParamDecl -> ParamDecl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamDecl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamDecl -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamDecl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamDecl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamDecl -> m ParamDecl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamDecl -> m ParamDecl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamDecl -> m ParamDecl #
Show ParamDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> ParamDecl -> ShowS # show :: ParamDecl -> String # showList :: [ParamDecl] -> ShowS #
Pos ParamDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: ParamDecl -> Position Source #
CNode ParamDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: ParamDecl -> NodeInfo Source #
Pretty ParamDecl Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: ParamDecl -> Doc Source # prettyPrec :: Int -> ParamDecl -> Doc Source #
Declaration ParamDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: ParamDecl -> VarDecl Source #

data MemberDecl Source #

Struct/Union member declaration

Constructors

MemberDecl VarDecl (Maybe Expr) NodeInfo	MemberDecl vardecl bitfieldsize node
AnonBitField Type Expr NodeInfo	AnonBitField typ size

Instances

Instances details

Data MemberDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MemberDecl -> c MemberDecl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MemberDecl # toConstr :: MemberDecl -> Constr # dataTypeOf :: MemberDecl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MemberDecl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MemberDecl) # gmapT :: (forall b. Data b => b -> b) -> MemberDecl -> MemberDecl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MemberDecl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MemberDecl -> r # gmapQ :: (forall d. Data d => d -> u) -> MemberDecl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MemberDecl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MemberDecl -> m MemberDecl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MemberDecl -> m MemberDecl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MemberDecl -> m MemberDecl #
Show MemberDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> MemberDecl -> ShowS # show :: MemberDecl -> String # showList :: [MemberDecl] -> ShowS #
Pos MemberDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: MemberDecl -> Position Source #
CNode MemberDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: MemberDecl -> NodeInfo Source #
Pretty MemberDecl Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: MemberDecl -> Doc Source # prettyPrec :: Int -> MemberDecl -> Doc Source #
Declaration MemberDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: MemberDecl -> VarDecl Source #

data TypeDef Source #

typedef definitions.

The identifier is a new name for the given type.

Constructors

TypeDef Ident Type Attributes NodeInfo

Instances

Instances details

Data TypeDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeDef -> c TypeDef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeDef # toConstr :: TypeDef -> Constr # dataTypeOf :: TypeDef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeDef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeDef) # gmapT :: (forall b. Data b => b -> b) -> TypeDef -> TypeDef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeDef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeDef -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeDef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeDef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeDef -> m TypeDef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeDef -> m TypeDef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeDef -> m TypeDef #
Show TypeDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> TypeDef -> ShowS # show :: TypeDef -> String # showList :: [TypeDef] -> ShowS #
Pos TypeDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: TypeDef -> Position Source #
CNode TypeDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: TypeDef -> NodeInfo Source #
Pretty TypeDef Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: TypeDef -> Doc Source # prettyPrec :: Int -> TypeDef -> Doc Source #

identOfTypeDef :: TypeDef -> Ident Source #

return the idenitifier of a typedef

data VarDecl Source #

Generic variable declarations

Constructors

VarDecl VarName DeclAttrs Type

Instances

Instances details

Data VarDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VarDecl -> c VarDecl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VarDecl # toConstr :: VarDecl -> Constr # dataTypeOf :: VarDecl -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VarDecl) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VarDecl) # gmapT :: (forall b. Data b => b -> b) -> VarDecl -> VarDecl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VarDecl -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VarDecl -> r # gmapQ :: (forall d. Data d => d -> u) -> VarDecl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VarDecl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VarDecl -> m VarDecl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VarDecl -> m VarDecl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VarDecl -> m VarDecl #
Show VarDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> VarDecl -> ShowS # show :: VarDecl -> String # showList :: [VarDecl] -> ShowS #
Pretty VarDecl Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: VarDecl -> Doc Source # prettyPrec :: Int -> VarDecl -> Doc Source #
Declaration VarDecl Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: VarDecl -> VarDecl Source #

Declaration attributes

data DeclAttrs Source #

Declaration attributes of the form DeclAttrs isInlineFunction storage linkage attrs

They specify the storage and linkage of a declared object.

Constructors

DeclAttrs FunctionAttrs Storage Attributes

DeclAttrs fspecs storage attrs

Instances

Instances details

Data DeclAttrs Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeclAttrs -> c DeclAttrs # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeclAttrs # toConstr :: DeclAttrs -> Constr # dataTypeOf :: DeclAttrs -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeclAttrs) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeclAttrs) # gmapT :: (forall b. Data b => b -> b) -> DeclAttrs -> DeclAttrs # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeclAttrs -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeclAttrs -> r # gmapQ :: (forall d. Data d => d -> u) -> DeclAttrs -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DeclAttrs -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeclAttrs -> m DeclAttrs # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclAttrs -> m DeclAttrs # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclAttrs -> m DeclAttrs #
Show DeclAttrs Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> DeclAttrs -> ShowS # show :: DeclAttrs -> String # showList :: [DeclAttrs] -> ShowS #
Pretty DeclAttrs Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: DeclAttrs -> Doc Source # prettyPrec :: Int -> DeclAttrs -> Doc Source #

isExtDecl :: Declaration n => n -> Bool Source #

data FunctionAttrs Source #

Constructors

FunctionAttrs
Fields isInline :: Bool isNoreturn :: Bool

Instances

Instances details

Eq FunctionAttrs Source #
Instance details Defined in Language.C.Analysis.SemRep Methods (==) :: FunctionAttrs -> FunctionAttrs -> Bool # (/=) :: FunctionAttrs -> FunctionAttrs -> Bool #
Data FunctionAttrs Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionAttrs -> c FunctionAttrs # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionAttrs # toConstr :: FunctionAttrs -> Constr # dataTypeOf :: FunctionAttrs -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionAttrs) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionAttrs) # gmapT :: (forall b. Data b => b -> b) -> FunctionAttrs -> FunctionAttrs # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionAttrs -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionAttrs -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionAttrs -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionAttrs -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionAttrs -> m FunctionAttrs # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionAttrs -> m FunctionAttrs # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionAttrs -> m FunctionAttrs #
Ord FunctionAttrs Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compare :: FunctionAttrs -> FunctionAttrs -> Ordering # (<) :: FunctionAttrs -> FunctionAttrs -> Bool # (<=) :: FunctionAttrs -> FunctionAttrs -> Bool # (>) :: FunctionAttrs -> FunctionAttrs -> Bool # (>=) :: FunctionAttrs -> FunctionAttrs -> Bool # max :: FunctionAttrs -> FunctionAttrs -> FunctionAttrs # min :: FunctionAttrs -> FunctionAttrs -> FunctionAttrs #
Show FunctionAttrs Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> FunctionAttrs -> ShowS # show :: FunctionAttrs -> String # showList :: [FunctionAttrs] -> ShowS #
Pretty FunctionAttrs Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: FunctionAttrs -> Doc Source # prettyPrec :: Int -> FunctionAttrs -> Doc Source #

functionAttrs :: Declaration d => d -> FunctionAttrs Source #

get the `function attributes' of a declaration

noFunctionAttrs :: FunctionAttrs Source #

data Storage Source #

Storage duration and linkage of a variable

Constructors

NoStorage	no storage
Auto Register	automatic storage (optional: register)
Static Linkage ThreadLocal	static storage, linkage spec and thread local specifier (gnu c)
FunLinkage Linkage	function, either internal or external linkage

Instances

Instances details

Eq Storage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods (==) :: Storage -> Storage -> Bool # (/=) :: Storage -> Storage -> Bool #
Data Storage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Storage -> c Storage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Storage # toConstr :: Storage -> Constr # dataTypeOf :: Storage -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Storage) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Storage) # gmapT :: (forall b. Data b => b -> b) -> Storage -> Storage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Storage -> r # gmapQ :: (forall d. Data d => d -> u) -> Storage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Storage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Storage -> m Storage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Storage -> m Storage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Storage -> m Storage #
Ord Storage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compare :: Storage -> Storage -> Ordering # (<) :: Storage -> Storage -> Bool # (<=) :: Storage -> Storage -> Bool # (>) :: Storage -> Storage -> Bool # (>=) :: Storage -> Storage -> Bool # max :: Storage -> Storage -> Storage # min :: Storage -> Storage -> Storage #
Show Storage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> Storage -> ShowS # show :: Storage -> String # showList :: [Storage] -> ShowS #
Pretty Storage Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Storage -> Doc Source # prettyPrec :: Int -> Storage -> Doc Source #

declStorage :: Declaration d => d -> Storage Source #

get the Storage of a declaration

type ThreadLocal = Bool Source #

type Register = Bool Source #

data Linkage Source #

Linkage: Either no linkage, internal to the translation unit or external

Constructors

NoLinkage
InternalLinkage
ExternalLinkage

Instances

Instances details

Eq Linkage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods (==) :: Linkage -> Linkage -> Bool # (/=) :: Linkage -> Linkage -> Bool #
Data Linkage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Linkage -> c Linkage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Linkage # toConstr :: Linkage -> Constr # dataTypeOf :: Linkage -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Linkage) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Linkage) # gmapT :: (forall b. Data b => b -> b) -> Linkage -> Linkage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Linkage -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Linkage -> r # gmapQ :: (forall d. Data d => d -> u) -> Linkage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Linkage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Linkage -> m Linkage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Linkage -> m Linkage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Linkage -> m Linkage #
Ord Linkage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compare :: Linkage -> Linkage -> Ordering # (<) :: Linkage -> Linkage -> Bool # (<=) :: Linkage -> Linkage -> Bool # (>) :: Linkage -> Linkage -> Bool # (>=) :: Linkage -> Linkage -> Bool # max :: Linkage -> Linkage -> Linkage # min :: Linkage -> Linkage -> Linkage #
Show Linkage Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> Linkage -> ShowS # show :: Linkage -> String # showList :: [Linkage] -> ShowS #
Pretty Linkage Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Linkage -> Doc Source # prettyPrec :: Int -> Linkage -> Doc Source #

hasLinkage :: Storage -> Bool Source #

return True if the object has linkage

declLinkage :: Declaration d => d -> Linkage Source #

Get the linkage of a definition

Types

data Type Source #

types of C objects

Constructors

DirectType TypeName TypeQuals Attributes	a non-derived type
PtrType Type TypeQuals Attributes	pointer type
ArrayType Type ArraySize TypeQuals Attributes	array type
FunctionType FunType Attributes	function type
TypeDefType TypeDefRef TypeQuals Attributes	a defined type

Instances

Instances details

Data Type Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Show Type Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Pretty Type Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Type -> Doc Source # prettyPrec :: Int -> Type -> Doc Source #

data FunType Source #

Function types are of the form FunType return-type params isVariadic.

If the parameter types aren't yet known, the function has type FunTypeIncomplete type attrs.

Constructors

FunType Type [ParamDecl] Bool
FunTypeIncomplete Type

Instances

Instances details

Data FunType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunType -> c FunType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunType # toConstr :: FunType -> Constr # dataTypeOf :: FunType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunType) # gmapT :: (forall b. Data b => b -> b) -> FunType -> FunType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunType -> r # gmapQ :: (forall d. Data d => d -> u) -> FunType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunType -> m FunType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunType -> m FunType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunType -> m FunType #
Show FunType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> FunType -> ShowS # show :: FunType -> String # showList :: [FunType] -> ShowS #

data ArraySize Source #

An array type may either have unknown size or a specified array size, the latter either variable or constant. Furthermore, when used as a function parameters, the size may be qualified as static. In a function prototype, the size may be `Unspecified variable size' ([*]).

Constructors

UnknownArraySize Bool	UnknownArraySize is-starred
ArraySize Bool Expr	FixedSizeArray is-static size-expr

Instances

Instances details

Data ArraySize Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArraySize -> c ArraySize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArraySize # toConstr :: ArraySize -> Constr # dataTypeOf :: ArraySize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArraySize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArraySize) # gmapT :: (forall b. Data b => b -> b) -> ArraySize -> ArraySize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArraySize -> r # gmapQ :: (forall d. Data d => d -> u) -> ArraySize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ArraySize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArraySize -> m ArraySize #
Show ArraySize Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> ArraySize -> ShowS # show :: ArraySize -> String # showList :: [ArraySize] -> ShowS #

data TypeDefRef Source #

typdef references If the actual type is known, it is attached for convenience

Constructors

TypeDefRef Ident Type NodeInfo

Instances

Instances details

Data TypeDefRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeDefRef -> c TypeDefRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeDefRef # toConstr :: TypeDefRef -> Constr # dataTypeOf :: TypeDefRef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeDefRef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeDefRef) # gmapT :: (forall b. Data b => b -> b) -> TypeDefRef -> TypeDefRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeDefRef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeDefRef -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeDefRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeDefRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeDefRef -> m TypeDefRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeDefRef -> m TypeDefRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeDefRef -> m TypeDefRef #
Show TypeDefRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> TypeDefRef -> ShowS # show :: TypeDefRef -> String # showList :: [TypeDefRef] -> ShowS #
Pos TypeDefRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: TypeDefRef -> Position Source #
CNode TypeDefRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: TypeDefRef -> NodeInfo Source #

data TypeName Source #

normalized type representation

Constructors

TyVoid
TyIntegral IntType
TyFloating FloatType
TyComplex FloatType
TyComp CompTypeRef
TyEnum EnumTypeRef
TyBuiltin BuiltinType

Instances

Instances details

Data TypeName Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeName -> c TypeName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeName # toConstr :: TypeName -> Constr # dataTypeOf :: TypeName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeName) # gmapT :: (forall b. Data b => b -> b) -> TypeName -> TypeName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeName -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName #
Show TypeName Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #

data BuiltinType Source #

Builtin type (va_list, anything)

Constructors

TyVaList
TyAny

Instances

Instances details

Data BuiltinType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinType -> c BuiltinType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinType # toConstr :: BuiltinType -> Constr # dataTypeOf :: BuiltinType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinType) # gmapT :: (forall b. Data b => b -> b) -> BuiltinType -> BuiltinType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinType -> r # gmapQ :: (forall d. Data d => d -> u) -> BuiltinType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinType -> m BuiltinType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinType -> m BuiltinType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinType -> m BuiltinType #
Show BuiltinType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> BuiltinType -> ShowS # show :: BuiltinType -> String # showList :: [BuiltinType] -> ShowS #

data IntType Source #

integral types (C99 6.7.2.2)

Constructors

TyBool
TyChar
TySChar
TyUChar
TyShort
TyUShort
TyInt
TyUInt
TyInt128
TyUInt128
TyLong
TyULong
TyLLong
TyULLong

Instances

Instances details

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

data FloatType Source #

floating point type (C99 6.7.2.2)

Constructors

TyFloat
TyDouble
TyLDouble
TyFloatN Int Bool

Instances

Instances details

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

class HasSUERef a where Source #

accessor class : struct/union/enum names

Methods

sueRef :: a -> SUERef Source #

Instances

Instances details

HasSUERef EnumType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: EnumType -> SUERef Source #
HasSUERef CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: CompType -> SUERef Source #
HasSUERef EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: EnumTypeRef -> SUERef Source #
HasSUERef CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: CompTypeRef -> SUERef Source #
HasSUERef TagDef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: TagDef -> SUERef Source #
HasSUERef TagFwdDecl Source #
Instance details Defined in Language.C.Analysis.DefTable Methods sueRef :: TagFwdDecl -> SUERef Source #

class HasCompTyKind a where Source #

accessor class : composite type tags (struct or union)

Methods

compTag :: a -> CompTyKind Source #

Instances

Instances details

HasCompTyKind CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compTag :: CompType -> CompTyKind Source #
HasCompTyKind CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compTag :: CompTypeRef -> CompTyKind Source #

data CompTypeRef Source #

composite type declarations

Constructors

CompTypeRef SUERef CompTyKind NodeInfo

Instances

Instances details

Data CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompTypeRef -> c CompTypeRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompTypeRef # toConstr :: CompTypeRef -> Constr # dataTypeOf :: CompTypeRef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompTypeRef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompTypeRef) # gmapT :: (forall b. Data b => b -> b) -> CompTypeRef -> CompTypeRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompTypeRef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompTypeRef -> r # gmapQ :: (forall d. Data d => d -> u) -> CompTypeRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CompTypeRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompTypeRef -> m CompTypeRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompTypeRef -> m CompTypeRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompTypeRef -> m CompTypeRef #
Show CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> CompTypeRef -> ShowS # show :: CompTypeRef -> String # showList :: [CompTypeRef] -> ShowS #
Pos CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: CompTypeRef -> Position Source #
CNode CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: CompTypeRef -> NodeInfo Source #
Pretty CompTypeRef Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: CompTypeRef -> Doc Source # prettyPrec :: Int -> CompTypeRef -> Doc Source #
HasCompTyKind CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compTag :: CompTypeRef -> CompTyKind Source #
HasSUERef CompTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: CompTypeRef -> SUERef Source #

data CompType Source #

Composite type (struct or union).

Constructors

CompType SUERef CompTyKind [MemberDecl] Attributes NodeInfo

Instances

Instances details

Data CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompType -> c CompType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompType # toConstr :: CompType -> Constr # dataTypeOf :: CompType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompType) # gmapT :: (forall b. Data b => b -> b) -> CompType -> CompType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompType -> r # gmapQ :: (forall d. Data d => d -> u) -> CompType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CompType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompType -> m CompType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompType -> m CompType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompType -> m CompType #
Show CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> CompType -> ShowS # show :: CompType -> String # showList :: [CompType] -> ShowS #
Pos CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: CompType -> Position Source #
CNode CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: CompType -> NodeInfo Source #
Pretty CompType Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: CompType -> Doc Source # prettyPrec :: Int -> CompType -> Doc Source #
HasCompTyKind CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compTag :: CompType -> CompTyKind Source #
HasSUERef CompType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: CompType -> SUERef Source #

typeOfCompDef :: CompType -> TypeName Source #

return the type of a composite type definition

data CompTyKind Source #

a tag to determine wheter we refer to a struct or union, see CompType.

Constructors

StructTag
UnionTag

Instances

Instances details

Eq CompTyKind Source #
Instance details Defined in Language.C.Analysis.SemRep Methods (==) :: CompTyKind -> CompTyKind -> Bool # (/=) :: CompTyKind -> CompTyKind -> Bool #
Data CompTyKind Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompTyKind -> c CompTyKind # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompTyKind # toConstr :: CompTyKind -> Constr # dataTypeOf :: CompTyKind -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompTyKind) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompTyKind) # gmapT :: (forall b. Data b => b -> b) -> CompTyKind -> CompTyKind # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompTyKind -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompTyKind -> r # gmapQ :: (forall d. Data d => d -> u) -> CompTyKind -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CompTyKind -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompTyKind -> m CompTyKind # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompTyKind -> m CompTyKind # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompTyKind -> m CompTyKind #
Ord CompTyKind Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compare :: CompTyKind -> CompTyKind -> Ordering # (<) :: CompTyKind -> CompTyKind -> Bool # (<=) :: CompTyKind -> CompTyKind -> Bool # (>) :: CompTyKind -> CompTyKind -> Bool # (>=) :: CompTyKind -> CompTyKind -> Bool # max :: CompTyKind -> CompTyKind -> CompTyKind # min :: CompTyKind -> CompTyKind -> CompTyKind #
Show CompTyKind Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> CompTyKind -> ShowS # show :: CompTyKind -> String # showList :: [CompTyKind] -> ShowS #
Pretty CompTyKind Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: CompTyKind -> Doc Source # prettyPrec :: Int -> CompTyKind -> Doc Source #

data EnumTypeRef Source #

Constructors

EnumTypeRef SUERef NodeInfo

Instances

Instances details

Data EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumTypeRef -> c EnumTypeRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumTypeRef # toConstr :: EnumTypeRef -> Constr # dataTypeOf :: EnumTypeRef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumTypeRef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumTypeRef) # gmapT :: (forall b. Data b => b -> b) -> EnumTypeRef -> EnumTypeRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumTypeRef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumTypeRef -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumTypeRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumTypeRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumTypeRef -> m EnumTypeRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumTypeRef -> m EnumTypeRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumTypeRef -> m EnumTypeRef #
Show EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> EnumTypeRef -> ShowS # show :: EnumTypeRef -> String # showList :: [EnumTypeRef] -> ShowS #
Pos EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: EnumTypeRef -> Position Source #
CNode EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: EnumTypeRef -> NodeInfo Source #
Pretty EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: EnumTypeRef -> Doc Source # prettyPrec :: Int -> EnumTypeRef -> Doc Source #
HasSUERef EnumTypeRef Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: EnumTypeRef -> SUERef Source #

data EnumType Source #

Representation of C enumeration types

Constructors

EnumType SUERef [Enumerator] Attributes NodeInfo

EnumType name enumeration-constants attrs node

Instances

Instances details

Data EnumType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumType -> c EnumType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumType # toConstr :: EnumType -> Constr # dataTypeOf :: EnumType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumType) # gmapT :: (forall b. Data b => b -> b) -> EnumType -> EnumType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumType -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumType -> m EnumType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumType -> m EnumType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumType -> m EnumType #
Show EnumType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> EnumType -> ShowS # show :: EnumType -> String # showList :: [EnumType] -> ShowS #
Pos EnumType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: EnumType -> Position Source #
CNode EnumType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: EnumType -> NodeInfo Source #
Pretty EnumType Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: EnumType -> Doc Source # prettyPrec :: Int -> EnumType -> Doc Source #
HasSUERef EnumType Source #
Instance details Defined in Language.C.Analysis.SemRep Methods sueRef :: EnumType -> SUERef Source #

typeOfEnumDef :: EnumType -> TypeName Source #

return the type of an enum definition

data Enumerator Source #

An Enumerator consists of an identifier, a constant expressions and the link to its type

Constructors

Enumerator Ident Expr EnumType NodeInfo

Instances

Instances details

Data Enumerator Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Enumerator -> c Enumerator # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Enumerator # toConstr :: Enumerator -> Constr # dataTypeOf :: Enumerator -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Enumerator) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Enumerator) # gmapT :: (forall b. Data b => b -> b) -> Enumerator -> Enumerator # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Enumerator -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Enumerator -> r # gmapQ :: (forall d. Data d => d -> u) -> Enumerator -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Enumerator -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Enumerator -> m Enumerator # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Enumerator -> m Enumerator # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Enumerator -> m Enumerator #
Show Enumerator Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> Enumerator -> ShowS # show :: Enumerator -> String # showList :: [Enumerator] -> ShowS #
Pos Enumerator Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: Enumerator -> Position Source #
CNode Enumerator Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: Enumerator -> NodeInfo Source #
Pretty Enumerator Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Enumerator -> Doc Source # prettyPrec :: Int -> Enumerator -> Doc Source #
Declaration Enumerator Source #
Instance details Defined in Language.C.Analysis.SemRep Methods getVarDecl :: Enumerator -> VarDecl Source #

data TypeQuals Source #

Type qualifiers: constant, volatile and restrict

Constructors

TypeQuals
Fields constant :: Bool volatile :: Bool restrict :: Bool atomic :: Bool nullable :: Bool nonnull :: Bool clrdonly :: Bool clwronly :: Bool

Instances

Instances details

Eq TypeQuals Source #
Instance details Defined in Language.C.Analysis.SemRep Methods (==) :: TypeQuals -> TypeQuals -> Bool # (/=) :: TypeQuals -> TypeQuals -> Bool #
Data TypeQuals Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeQuals -> c TypeQuals # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeQuals # toConstr :: TypeQuals -> Constr # dataTypeOf :: TypeQuals -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeQuals) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeQuals) # gmapT :: (forall b. Data b => b -> b) -> TypeQuals -> TypeQuals # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeQuals -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeQuals -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeQuals -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeQuals -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeQuals -> m TypeQuals # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeQuals -> m TypeQuals # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeQuals -> m TypeQuals #
Ord TypeQuals Source #
Instance details Defined in Language.C.Analysis.SemRep Methods compare :: TypeQuals -> TypeQuals -> Ordering # (<) :: TypeQuals -> TypeQuals -> Bool # (<=) :: TypeQuals -> TypeQuals -> Bool # (>) :: TypeQuals -> TypeQuals -> Bool # (>=) :: TypeQuals -> TypeQuals -> Bool # max :: TypeQuals -> TypeQuals -> TypeQuals # min :: TypeQuals -> TypeQuals -> TypeQuals #
Show TypeQuals Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> TypeQuals -> ShowS # show :: TypeQuals -> String # showList :: [TypeQuals] -> ShowS #
Pretty TypeQuals Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: TypeQuals -> Doc Source # prettyPrec :: Int -> TypeQuals -> Doc Source #

noTypeQuals :: TypeQuals Source #

no type qualifiers

mergeTypeQuals :: TypeQuals -> TypeQuals -> TypeQuals Source #

merge (&&) two type qualifier sets

Variable names

data VarName Source #

VarName name assembler-name is a name of an declared object

Constructors

VarName Ident (Maybe AsmName)
NoName

Instances

Instances details

Data VarName Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VarName -> c VarName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VarName # toConstr :: VarName -> Constr # dataTypeOf :: VarName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VarName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VarName) # gmapT :: (forall b. Data b => b -> b) -> VarName -> VarName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VarName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VarName -> r # gmapQ :: (forall d. Data d => d -> u) -> VarName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VarName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VarName -> m VarName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VarName -> m VarName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VarName -> m VarName #
Show VarName Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> VarName -> ShowS # show :: VarName -> String # showList :: [VarName] -> ShowS #
Pretty VarName Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: VarName -> Doc Source # prettyPrec :: Int -> VarName -> Doc Source #

identOfVarName :: VarName -> Ident Source #

isNoName :: VarName -> Bool Source #

type AsmName = CStrLit Source #

Assembler name (alias for CStrLit)

Attributes (STUB, not yet analyzed)

data Attr Source #

attribute annotations

Those are of the form Attr attribute-name attribute-parameters, and serve as generic properties of some syntax tree elements.

Some examples:

labels can be attributed with unused to indicate that their not used
struct definitions can be attributed with packed to tell the compiler to use the most compact representation
declarations can be attributed with deprecated
function declarations can be attributes with noreturn to tell the compiler that the function will never return,
or with const to indicate that it is a pure function

TODO: ultimatively, we want to parse attributes and represent them in a typed way

Constructors

Attr Ident [Expr] NodeInfo

Instances

Instances details

Data Attr Source #
Instance details Defined in Language.C.Analysis.SemRep Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr # toConstr :: Attr -> Constr # dataTypeOf :: Attr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) # gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r # gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr #
Show Attr Source #
Instance details Defined in Language.C.Analysis.SemRep Methods showsPrec :: Int -> Attr -> ShowS # show :: Attr -> String # showList :: [Attr] -> ShowS #
Pos Attr Source #
Instance details Defined in Language.C.Analysis.SemRep Methods posOf :: Attr -> Position Source #
CNode Attr Source #
Instance details Defined in Language.C.Analysis.SemRep Methods nodeInfo :: Attr -> NodeInfo Source #
Pretty Attributes Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Attributes -> Doc Source # prettyPrec :: Int -> Attributes -> Doc Source #
Pretty Attr Source #
Instance details Defined in Language.C.Analysis.Debug Methods pretty :: Attr -> Doc Source # prettyPrec :: Int -> Attr -> Doc Source #

type Attributes = [Attr] Source #

noAttributes :: Attributes Source #

Empty attribute list

mergeAttributes :: Attributes -> Attributes -> Attributes Source #

Merge attribute lists TODO: currently does not remove duplicates

Statements and Expressions (STUB, aliases to Syntax)

type Stmt = CStat Source #

Stmt is an alias for CStat (Syntax)

type Expr = CExpr Source #

Expr is currently an alias for CExpr (Syntax)

type Initializer = CInit Source #

Initializer is currently an alias for CInit.

We're planning a normalized representation, but this depends on the implementation of constant expression evaluation

type AsmBlock = CStrLit Source #

Top level assembler block (alias for CStrLit)