Copyright	(c) 2006-2011 Harvard University (c) 2011-2013 Geoffrey Mainland (c) 2013 Manuel M T Chakravarty : (c) 2013-2015 Drexel University
License	BSD-style
Maintainer	mainland@cs.drexel.edu
Safe Haskell	None
Language	Haskell98

Language.C.Syntax

Description

Synopsis

Documentation

data Extensions Source

Constructors

Antiquotation
C99
C11
Gcc
Blocks
ObjC
CUDA
OpenCL

Instances

Enum Extensions Source
Eq Extensions Source
Ord Extensions Source
Show Extensions Source

data Id Source

Constructors

Id String !SrcLoc
AntiId String !SrcLoc

Instances

Eq Id Source
Data Id Source
Ord Id Source
Show Id Source
IsString Id Source
Located Id
Relocatable Id
ToIdent Id Source
ToIdent (SrcLoc -> Id) Source

data StringLit Source

Constructors

StringLit [String] String !SrcLoc

Instances

Eq StringLit Source
Data StringLit Source
Ord StringLit Source
Show StringLit Source
IsString StringLit Source
Located StringLit
Relocatable StringLit

type Linkage = StringLit Source

data Storage Source

Constructors

Tauto !SrcLoc
Tregister !SrcLoc
Tstatic !SrcLoc
Textern (Maybe Linkage) !SrcLoc
Ttypedef !SrcLoc
T__block !SrcLoc
TObjC__weak !SrcLoc
TObjC__strong !SrcLoc
TObjC__unsafe_unretained !SrcLoc

Instances

Eq Storage Source
Data Storage Source
Ord Storage Source
Show Storage Source
Located Storage
Relocatable Storage

data Sign Source

Constructors

Tsigned !SrcLoc
Tunsigned !SrcLoc

Instances

Eq Sign Source
Data Sign Source
Ord Sign Source
Show Sign Source
Located Sign
Relocatable Sign

data TypeSpec Source

Constructors

Tvoid !SrcLoc
Tchar (Maybe Sign) !SrcLoc
Tshort (Maybe Sign) !SrcLoc
Tint (Maybe Sign) !SrcLoc
Tlong (Maybe Sign) !SrcLoc
Tlong_long (Maybe Sign) !SrcLoc
Tfloat !SrcLoc
Tdouble !SrcLoc
Tlong_double !SrcLoc
Tstruct (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
Tunion (Maybe Id) (Maybe [FieldGroup]) [Attr] !SrcLoc
Tenum (Maybe Id) [CEnum] [Attr] !SrcLoc
Tnamed Id [Id] !SrcLoc
T_Bool !SrcLoc
Tfloat_Complex !SrcLoc
Tdouble_Complex !SrcLoc
Tlong_double_Complex !SrcLoc
Tfloat_Imaginary !SrcLoc
Tdouble_Imaginary !SrcLoc
Tlong_double_Imaginary !SrcLoc
TtypeofExp Exp !SrcLoc
TtypeofType Type !SrcLoc
Tva_list !SrcLoc

Instances

Eq TypeSpec Source
Data TypeSpec Source
Ord TypeSpec Source
Show TypeSpec Source
Located TypeSpec
Relocatable TypeSpec

data DeclSpec Source

Constructors

DeclSpec [Storage] [TypeQual] TypeSpec !SrcLoc
AntiDeclSpec String !SrcLoc
AntiTypeDeclSpec [Storage] [TypeQual] String !SrcLoc

Instances

Eq DeclSpec Source
Data DeclSpec Source
Ord DeclSpec Source
Show DeclSpec Source
Located DeclSpec
Relocatable DeclSpec

data ArraySize Source

There are two types of declarators in C, regular declarators and abstract declarators. The former is for declaring variables, function parameters, typedefs, etc. and the latter for abstract types---typedef int ({*}foo)(void) vs. tt int ({*})(void). The difference between the two is just whether or not an identifier is attached to the declarator. We therefore only define one Decl type and use it for both cases.

Constructors

ArraySize Bool Exp !SrcLoc
VariableArraySize !SrcLoc
NoArraySize !SrcLoc

Instances

Eq ArraySize Source
Data ArraySize Source
Ord ArraySize Source
Show ArraySize Source
Located ArraySize
Relocatable ArraySize

data Decl Source

Constructors

DeclRoot !SrcLoc
Ptr [TypeQual] Decl !SrcLoc
Array [TypeQual] ArraySize Decl !SrcLoc
Proto Decl Params !SrcLoc
OldProto Decl [Id] !SrcLoc
AntiTypeDecl String !SrcLoc
BlockPtr [TypeQual] Decl !SrcLoc

Instances

Eq Decl Source
Data Decl Source
Ord Decl Source
Show Decl Source
Located Decl
Relocatable Decl

data Type Source

Constructors

Type DeclSpec Decl !SrcLoc
AntiType String !SrcLoc

Instances

Eq Type Source
Data Type Source
Ord Type Source
Show Type Source
Located Type
Relocatable Type

data Designator Source

Constructors

IndexDesignator Exp !SrcLoc
MemberDesignator Id !SrcLoc

Instances

Eq Designator Source
Data Designator Source
Ord Designator Source
Show Designator Source
Located Designator
Relocatable Designator

data Designation Source

Constructors

Designation [Designator] !SrcLoc

Instances

Eq Designation Source
Data Designation Source
Ord Designation Source
Show Designation Source
Located Designation
Relocatable Designation

data Initializer Source

Constructors

ExpInitializer Exp !SrcLoc
CompoundInitializer [(Maybe Designation, Initializer)] !SrcLoc
AntiInit String !SrcLoc
AntiInits String !SrcLoc

Instances

Eq Initializer Source
Data Initializer Source
Ord Initializer Source
Show Initializer Source
Located Initializer
Relocatable Initializer

type AsmLabel = StringLit Source

data Init Source

Constructors

Init Id Decl (Maybe AsmLabel) (Maybe Initializer) [Attr] !SrcLoc

Instances

Eq Init Source
Data Init Source
Ord Init Source
Show Init Source
Located Init
Relocatable Init

data Typedef Source

Constructors

Typedef Id Decl [Attr] !SrcLoc

Instances

Eq Typedef Source
Data Typedef Source
Ord Typedef Source
Show Typedef Source
Located Typedef
Relocatable Typedef

data InitGroup Source

Constructors

InitGroup DeclSpec [Attr] [Init] !SrcLoc
TypedefGroup DeclSpec [Attr] [Typedef] !SrcLoc
AntiDecl String !SrcLoc
AntiDecls String !SrcLoc

Instances

Eq InitGroup Source
Data InitGroup Source
Ord InitGroup Source
Show InitGroup Source
Located InitGroup
Relocatable InitGroup

data Field Source

Constructors

Field (Maybe Id) (Maybe Decl) (Maybe Exp) !SrcLoc

Instances

Eq Field Source
Data Field Source
Ord Field Source
Show Field Source
Located Field
Relocatable Field

data FieldGroup Source

Constructors

FieldGroup DeclSpec [Field] !SrcLoc
AntiSdecl String !SrcLoc
AntiSdecls String !SrcLoc

Instances

Eq FieldGroup Source
Data FieldGroup Source
Ord FieldGroup Source
Show FieldGroup Source
Located FieldGroup
Relocatable FieldGroup

data CEnum Source

Constructors

CEnum Id (Maybe Exp) !SrcLoc
AntiEnum String !SrcLoc
AntiEnums String !SrcLoc

Instances

Eq CEnum Source
Data CEnum Source
Ord CEnum Source
Show CEnum Source
Located CEnum
Relocatable CEnum

data Attr Source

Constructors

Attr Id [Exp] !SrcLoc

Instances

Eq Attr Source
Data Attr Source
Ord Attr Source
Show Attr Source
Located Attr
Relocatable Attr

data Param Source

Constructors

Param (Maybe Id) DeclSpec Decl !SrcLoc
AntiParam String !SrcLoc
AntiParams String !SrcLoc

Instances

Eq Param Source
Data Param Source
Ord Param Source
Show Param Source
Located Param
Relocatable Param

data Params Source

Constructors

Params [Param] Bool !SrcLoc

Instances

Eq Params Source
Data Params Source
Ord Params Source
Show Params Source
Located Params
Relocatable Params

data Func Source

Constructors

Func DeclSpec Id Decl Params [BlockItem] !SrcLoc
OldFunc DeclSpec Id Decl [Id] (Maybe [InitGroup]) [BlockItem] !SrcLoc

Instances

Eq Func Source
Data Func Source
Ord Func Source
Show Func Source
Located Func
Relocatable Func

data Definition Source

Constructors

FuncDef Func !SrcLoc
DecDef InitGroup !SrcLoc
EscDef String !SrcLoc
AntiFunc String !SrcLoc
AntiEsc String !SrcLoc
AntiEdecl String !SrcLoc
AntiEdecls String !SrcLoc
ObjCClassDec [Id] !SrcLoc
ObjCClassIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] [Attr] !SrcLoc
ObjCCatIface Id (Maybe Id) [Id] [ObjCIvarDecl] [ObjCIfaceDecl] !SrcLoc
ObjCProtDec [Id] !SrcLoc
ObjCProtDef Id [Id] [ObjCIfaceDecl] !SrcLoc
ObjCClassImpl Id (Maybe Id) [ObjCIvarDecl] [Definition] !SrcLoc
ObjCCatImpl Id Id [Definition] !SrcLoc
ObjCSynDef [(Id, Maybe Id)] !SrcLoc
ObjCDynDef [Id] !SrcLoc
ObjCMethDef ObjCMethodProto [BlockItem] !SrcLoc
ObjCCompAlias Id Id !SrcLoc
AntiObjCMeth String !SrcLoc
AntiObjCMeths String !SrcLoc

Instances

Eq Definition Source
Data Definition Source
Ord Definition Source
Show Definition Source
Located Definition
Relocatable Definition

data Stm Source

Constructors

Label Id [Attr] Stm !SrcLoc
Case Exp Stm !SrcLoc
Default Stm !SrcLoc
Exp (Maybe Exp) !SrcLoc
Block [BlockItem] !SrcLoc
If Exp Stm (Maybe Stm) !SrcLoc
Switch Exp Stm !SrcLoc
While Exp Stm !SrcLoc
DoWhile Stm Exp !SrcLoc
For (Either InitGroup (Maybe Exp)) (Maybe Exp) (Maybe Exp) Stm !SrcLoc
Goto Id !SrcLoc
Continue !SrcLoc
Break !SrcLoc
Return (Maybe Exp) !SrcLoc
Pragma String !SrcLoc
Comment String Stm !SrcLoc
AntiPragma String !SrcLoc
AntiComment String Stm !SrcLoc
AntiStm String !SrcLoc
AntiStms String !SrcLoc
Asm Bool [Attr] AsmTemplate [AsmOut] [AsmIn] [AsmClobber] !SrcLoc
AsmGoto Bool [Attr] AsmTemplate [AsmIn] [AsmClobber] [Id] !SrcLoc
ObjCTry [BlockItem] [ObjCCatch] (Maybe [BlockItem]) !SrcLoc	Invariant: There is either at least one `ObjCCatch` or the finally block is present.
ObjCThrow (Maybe Exp) !SrcLoc
ObjCSynchronized Exp [BlockItem] !SrcLoc
ObjCAutoreleasepool [BlockItem] !SrcLoc

Instances

Eq Stm Source
Data Stm Source
Ord Stm Source
Show Stm Source
Located Stm
Relocatable Stm

data BlockItem Source

Constructors

BlockDecl InitGroup
BlockStm Stm
AntiBlockItem String !SrcLoc
AntiBlockItems String !SrcLoc

Instances

Eq BlockItem Source
Data BlockItem Source
Ord BlockItem Source
Show BlockItem Source
Located BlockItem
Relocatable BlockItem

data Signed Source

Constructors

Signed
Unsigned

Instances

Eq Signed Source
Data Signed Source
Ord Signed Source
Show Signed Source

data Const Source

The String parameter to Const data constructors is the raw string representation of the constant as it was parsed.

Instances

Eq Const Source
Data Const Source
Ord Const Source
Show Const Source
Located Const
Relocatable Const
ToConst Const Source

data Exp Source

Constructors

Var Id !SrcLoc
Const Const !SrcLoc
BinOp BinOp Exp Exp !SrcLoc
Assign Exp AssignOp Exp !SrcLoc
PreInc Exp !SrcLoc
PostInc Exp !SrcLoc
PreDec Exp !SrcLoc
PostDec Exp !SrcLoc
UnOp UnOp Exp !SrcLoc
SizeofExp Exp !SrcLoc
SizeofType Type !SrcLoc
Cast Type Exp !SrcLoc
Cond Exp Exp Exp !SrcLoc
Member Exp Id !SrcLoc
PtrMember Exp Id !SrcLoc
Index Exp Exp !SrcLoc
FnCall Exp [Exp] !SrcLoc
CudaCall Exp ExeConfig [Exp] !SrcLoc
Seq Exp Exp !SrcLoc
CompoundLit Type [(Maybe Designation, Initializer)] !SrcLoc
StmExpr [BlockItem] !SrcLoc
AntiExp String !SrcLoc
AntiArgs String !SrcLoc
BuiltinVaArg Exp Type !SrcLoc
BlockLit BlockType [Attr] [BlockItem] !SrcLoc
ObjCMsg ObjCRecv [ObjCArg] [Exp] !SrcLoc	Invariant: First argument must at least have either a selector or an expression; all other arguments must have an expression.
ObjCLitConst (Maybe UnOp) Const !SrcLoc
ObjCLitString [Const] !SrcLoc
ObjCLitBool Bool !SrcLoc
ObjCLitArray [Exp] !SrcLoc
ObjCLitDict [ObjCDictElem] !SrcLoc
ObjCLitBoxed Exp !SrcLoc
ObjCEncode Type !SrcLoc
ObjCProtocol Id !SrcLoc
ObjCSelector String !SrcLoc

Instances

Eq Exp Source
Data Exp Source
Ord Exp Source
Show Exp Source
Located Exp
Relocatable Exp
ToExp Exp Source

data BinOp Source

Constructors

Add
Sub
Mul
Div
Mod
Eq
Ne
Lt
Gt
Le
Ge
Land
Lor
And
Or
Xor
Lsh
Rsh

Instances

Eq BinOp Source
Data BinOp Source
Ord BinOp Source
Show BinOp Source
CFixity BinOp Source

data AssignOp Source

Constructors

JustAssign
AddAssign
SubAssign
MulAssign
DivAssign
ModAssign
LshAssign
RshAssign
AndAssign
XorAssign
OrAssign

Instances

Eq AssignOp Source
Data AssignOp Source
Ord AssignOp Source
Show AssignOp Source
CFixity AssignOp Source

data UnOp Source

Constructors

AddrOf
Deref
Positive
Negate
Not
Lnot

Instances

Eq UnOp Source
Data UnOp Source
Ord UnOp Source
Show UnOp Source
CFixity UnOp Source

type AsmTemplate = StringLit Source

data AsmOut Source

Constructors

AsmOut (Maybe Id) String Id

Instances

Eq AsmOut Source
Data AsmOut Source
Ord AsmOut Source
Show AsmOut Source

data AsmIn Source

Constructors

AsmIn (Maybe Id) String Exp

Instances

Eq AsmIn Source
Data AsmIn Source
Ord AsmIn Source
Show AsmIn Source

type AsmClobber = String Source

data BlockType Source

Constructors

BlockVoid !SrcLoc
BlockParam [Param] !SrcLoc
BlockType Type !SrcLoc

Instances

Eq BlockType Source
Data BlockType Source
Ord BlockType Source
Show BlockType Source
Located BlockType
Relocatable BlockType

data ObjCIvarDecl Source

Constructors

ObjCIvarVisi ObjCVisibilitySpec !SrcLoc
ObjCIvarDecl FieldGroup !SrcLoc

Instances

Eq ObjCIvarDecl Source
Data ObjCIvarDecl Source
Ord ObjCIvarDecl Source
Show ObjCIvarDecl Source
Located ObjCIvarDecl
Relocatable ObjCIvarDecl

data ObjCMethodReq Source

Constructors

ObjCRequired !SrcLoc
ObjCOptional !SrcLoc

Instances

Eq ObjCMethodReq Source
Data ObjCMethodReq Source
Ord ObjCMethodReq Source
Show ObjCMethodReq Source
Located ObjCMethodReq
Relocatable ObjCMethodReq

data ObjCParam Source

Constructors

ObjCParam (Maybe Id) (Maybe Type) [Attr] (Maybe Id) !SrcLoc
AntiObjCParam String !SrcLoc
AntiObjCParams String !SrcLoc

Instances

Eq ObjCParam Source
Data ObjCParam Source
Ord ObjCParam Source
Show ObjCParam Source
Located ObjCParam
Relocatable ObjCParam

data ObjCMethodProto Source

Constructors

ObjCMethodProto Bool (Maybe Type) [Attr] [ObjCParam] Bool [Attr] !SrcLoc	Invariant: First parameter must at least either have a selector or an identifier; all other parameters must have an identifier.
AntiObjCMethodProto String !SrcLoc

Instances

Eq ObjCMethodProto Source
Data ObjCMethodProto Source
Ord ObjCMethodProto Source
Show ObjCMethodProto Source
Located ObjCMethodProto
Relocatable ObjCMethodProto

data ObjCCatch Source

Constructors

ObjCCatch (Maybe Param) [BlockItem] !SrcLoc

Instances

Eq ObjCCatch Source
Data ObjCCatch Source
Ord ObjCCatch Source
Show ObjCCatch Source
Located ObjCCatch
Relocatable ObjCCatch

data ObjCDictElem Source

Constructors

ObjCDictElem Exp Exp !SrcLoc
AntiObjCDictElems String !SrcLoc

Instances

Eq ObjCDictElem Source
Data ObjCDictElem Source
Ord ObjCDictElem Source
Show ObjCDictElem Source
Located ObjCDictElem
Relocatable ObjCDictElem

data ObjCRecv Source

Constructors

ObjCRecvSuper !SrcLoc
ObjCRecvExp Exp !SrcLoc
AntiObjCRecv String !SrcLoc

Instances

Eq ObjCRecv Source
Data ObjCRecv Source
Ord ObjCRecv Source
Show ObjCRecv Source
Located ObjCRecv
Relocatable ObjCRecv

data ObjCArg Source

Constructors

ObjCArg (Maybe Id) (Maybe Exp) !SrcLoc
AntiObjCArg String !SrcLoc
AntiObjCArgs String !SrcLoc

Instances

Eq ObjCArg Source
Data ObjCArg Source
Ord ObjCArg Source
Show ObjCArg Source
Located ObjCArg
Relocatable ObjCArg

data ExeConfig Source

Constructors

ExeConfig
Fields exeGridDim :: Exp exeBlockDim :: Exp exeSharedSize :: Maybe Exp exeStream :: Maybe Exp exeLoc :: !SrcLoc

Instances

Eq ExeConfig Source
Data ExeConfig Source
Ord ExeConfig Source
Show ExeConfig Source
Located ExeConfig
Relocatable ExeConfig

funcProto :: Func -> InitGroup Source

isPtr :: Type -> Bool Source

ctypedef :: Id -> Decl -> [Attr] -> Typedef Source

cdeclSpec :: [Storage] -> [TypeQual] -> TypeSpec -> DeclSpec Source

cinitGroup :: DeclSpec -> [Attr] -> [Init] -> InitGroup Source

ctypedefGroup :: DeclSpec -> [Attr] -> [Typedef] -> InitGroup Source

Tconst !SrcLoc
Tvolatile !SrcLoc
AntiTypeQual String !SrcLoc
AntiTypeQuals String !SrcLoc
Tinline !SrcLoc
Trestrict !SrcLoc
TAttr Attr
TCUDAdevice !SrcLoc
TCUDAglobal !SrcLoc
TCUDAhost !SrcLoc
TCUDAconstant !SrcLoc
TCUDAshared !SrcLoc
TCUDArestrict !SrcLoc
TCUDAnoinline !SrcLoc
TCLprivate !SrcLoc
TCLlocal !SrcLoc
TCLglobal !SrcLoc
TCLconstant !SrcLoc
TCLreadonly !SrcLoc
TCLwriteonly !SrcLoc
TCLkernel !SrcLoc

Eq TypeQual Source
Data TypeQual Source
Ord TypeQual Source
Show TypeQual Source
Located TypeQual
Relocatable TypeQual

IntConst String Signed Integer !SrcLoc
LongIntConst String Signed Integer !SrcLoc
LongLongIntConst String Signed Integer !SrcLoc
FloatConst String Rational !SrcLoc
DoubleConst String Rational !SrcLoc
LongDoubleConst String Rational !SrcLoc
CharConst String Char !SrcLoc
StringConst [String] String !SrcLoc
AntiConst String !SrcLoc
AntiInt String !SrcLoc
AntiUInt String !SrcLoc
AntiLInt String !SrcLoc
AntiULInt String !SrcLoc
AntiLLInt String !SrcLoc
AntiULLInt String !SrcLoc
AntiFloat String !SrcLoc
AntiDouble String !SrcLoc
AntiLongDouble String !SrcLoc
AntiChar String !SrcLoc
AntiString String !SrcLoc

ObjCPrivate !SrcLoc
ObjCPublic !SrcLoc
ObjCProtected !SrcLoc
ObjCPackage !SrcLoc

Eq ObjCVisibilitySpec Source
Data ObjCVisibilitySpec Source
Ord ObjCVisibilitySpec Source
Show ObjCVisibilitySpec Source
Located ObjCVisibilitySpec
Relocatable ObjCVisibilitySpec

ObjCIfaceProp [ObjCPropAttr] FieldGroup !SrcLoc
ObjCIfaceReq ObjCMethodReq !SrcLoc
ObjCIfaceMeth ObjCMethodProto !SrcLoc
ObjCIfaceDecl InitGroup !SrcLoc
AntiObjCProp String !SrcLoc
AntiObjCProps String !SrcLoc
AntiObjCIfaceDecl String !SrcLoc
AntiObjCIfaceDecls String !SrcLoc

Eq ObjCIfaceDecl Source
Data ObjCIfaceDecl Source
Ord ObjCIfaceDecl Source
Show ObjCIfaceDecl Source
Located ObjCIfaceDecl
Relocatable ObjCIfaceDecl

ObjCGetter Id !SrcLoc
ObjCSetter Id !SrcLoc
ObjCReadonly !SrcLoc
ObjCReadwrite !SrcLoc
ObjCAssign !SrcLoc
ObjCRetain !SrcLoc
ObjCCopy !SrcLoc
ObjCNonatomic !SrcLoc
ObjCAtomic !SrcLoc
ObjCStrong !SrcLoc
ObjCWeak !SrcLoc
ObjCUnsafeUnretained !SrcLoc
AntiObjCAttr String !SrcLoc
AntiObjCAttrs String !SrcLoc

Eq ObjCPropAttr Source
Data ObjCPropAttr Source
Ord ObjCPropAttr Source
Show ObjCPropAttr Source
Located ObjCPropAttr
Relocatable ObjCPropAttr