module C_abstree: sig end
type location = string * int
type properties = {
|
p_loc : |
type identifier = string
type union_flag =
| |
Struct |
| |
Union |
type binop =
| |
PbinTimes |
| |
PbinDiv |
| |
PbinPlus |
| |
PbinMinus |
| |
PbinModulo |
| |
PbinLshift |
| |
PbinRshift |
| |
PbinLogAnd |
| |
PbinLogOr |
| |
PbinIntAnd |
| |
PbinIntOr |
| |
PbinIntXor |
| |
PbinLessThan |
| |
PbinLessEqual |
| |
PbinGtrThan |
| |
PbinGtrEqual |
| |
PbinEqual |
| |
PbinNotEqual |
type unaryop =
| |
UnaryPlus |
| |
UnaryMinus |
| |
LogNot |
| |
IntNot |
type storage_class =
| |
Auto |
| |
Register |
| |
Inline |
| |
Static |
| |
Extern |
| |
Typedef |
type type_qualifier = C_types.type_qualifier
=
| |
Const |
| |
Volatile |
type builtin_type_specifier =
| |
Void |
| |
Char |
| |
Short |
| |
Int |
| |
Long |
| |
Float |
| |
Double |
| |
Signed |
| |
Unsigned |
type type_specifier =
| |
PtypespecBuiltin of |
| |
PtypespecAlias of |
| |
PtypespecEnumByDef of |
| |
PtypespecEnumByName of |
| |
PtypespecStruct of |
type pointer_specifier =
| |
Pptrspec of |
type struct_declaration =
| |
PstructDecl of |
type struct_declarator =
| |
PstructDeclNormal of |
| |
PstructDeclBitfield of |
type enumerator = identifier * expr option
type type_name =
| |
Ptypename of |
type specifier_qualifier = declaration_specifier
type program = declaration list
type declaration = {
|
pdecl_t : |
|
pdecl_pr : |
type declaration_desc =
| |
PdeclFunction of |
| |
PdeclVariable of |
type parameter_declaration =
| |
PpdeclConcrete of |
| |
PpdeclAbstract of |
| |
PpdeclVariant |
type init_declarator =
| |
PinitDecl of |
type c_initializer =
| |
PinitExp of |
| |
PinitList of |
type parameter_type = parameter_declaration
type abstract_declarator = declarator
type declarator =
| |
PdeclAnonymous |
| |
PdeclIdent of |
| |
PdeclPointer of |
| |
PdeclArray of |
| |
PdeclFuncType of |
| |
PdeclFuncIdent of |
type declaration_specifier =
| |
StorageClass of |
| |
TypeSpec of |
| |
TypeQualifier of |
type statement = {
|
pstmt_t : |
|
pstmt_pr : |
type statement_desc =
| |
PstmtExpr of |
| |
PstmtLabeled of |
| |
PstmtCase_Labeled of |
| |
PstmtDefault_Labeled of |
| |
PstmtCompound of |
| |
PstmtIf of |
| |
PstmtSwitch of |
| |
PstmtWhile of |
| |
PstmtDoWhile of |
| |
PstmtFor of |
| |
PstmtGoto of |
| |
PstmtContinue |
| |
PstmtBreak |
| |
PstmtReturn of |
type expr = {
|
pexp_t : |
|
pexp_pr : |
type expr_desc =
| |
PexpComma of |
| |
PexpAssign of |
| |
PexpBinAssign of |
| |
PexpConditional of |
| |
PexpBinExpr of |
| |
PexpCast of |
| |
PexpUnaryExpr of |
| |
PexpPreInc of |
| |
PexpPreDec of |
| |
PexpPostInc of |
| |
PexpPostDec of |
| |
PexpAddress of |
| |
PexpPtrDeref of |
| |
PexpSizeOfType of |
| |
PexpSizeOfExpr of |
| |
PexpArrayRef of |
| |
PexpInvoke of |
| |
PexpField of |
| |
PexpPtrField of |
| |
PexpConstant of |
| |
PexpVar of |
type c_constants =
| |
PconstInteger of |
| |
PconstChar of |
| |
PconstFloat of |
| |
PconstString of |