module Flx_cil_cabs:This file was originally part of Hugues Casee's frontc 2.0, and has been * extensively changed since. ** ** 1.0 3.22.99 Hugues Cassé First version. ** 2.0 George Necula 12/12/00: Many extensions *sig
..end
type
cabsloc = {
|
lineno : |
|
filename : |
|
byteno : |
typelang_t =
[ `C | `Cxx ]
type
typeSpecifier =
| |
Tvoid |
| |
Tbool |
| |
Tchar |
| |
Tshort |
| |
Tint |
| |
Tlong |
| |
Tint64 |
| |
Tfloat |
| |
Tdouble |
| |
Tsigned |
| |
Tunsigned |
| |
Tcomplex |
| |
Timaginary |
| |
Tnamed of |
| |
Tstruct of |
| |
Tunion of |
| |
Tenum of |
| |
TtypeofE of |
| |
TtypeofT of |
type
storage =
| |
NO_STORAGE |
| |
AUTO |
| |
STATIC |
| |
EXTERN |
| |
REGISTER |
type
funspec =
| |
INLINE |
| |
VIRTUAL |
| |
EXPLICIT |
type
cvspec =
| |
CV_CONST |
| |
CV_VOLATILE |
| |
CV_RESTRICT |
type
spec_elem =
| |
SpecTypedef |
| |
SpecCV of |
| |
SpecAttr of |
| |
SpecStorage of |
| |
SpecInline |
| |
SpecType of |
| |
SpecPattern of |
typespecifier =
spec_elem list
type
decl_type =
| |
JUSTBASE |
| |
PARENTYPE of |
| |
ARRAY of |
| |
PTR of |
| |
PROTO of |
typename_group =
specifier * name list
typefield_group =
specifier *
(name * expression option) list
typeinit_name_group =
specifier * init_name list
typename =
string * decl_type * attribute list *
cabsloc
typeinit_name =
name * init_expression
typesingle_name =
specifier * name
typeenum_item =
string * expression * cabsloc
typebase_spec =
[ `Private of string
| `Private_virtual of string
| `Protected of string
| `Protected_virtual of string
| `Public of string
| `Public_virtual of string ]
type
definition =
| |
FUNDEF of |
| |
DECDEF of |
| |
TYPEDEF of |
| |
ONLYTYPEDEF of |
| |
GLOBASM of |
| |
PRAGMA of |
| |
LINKAGE of |
| |
NAMESPACE of |
| |
TRANSFORMER of |
| |
EXPRTRANSFORMER of |
typefile =
string * definition list
type
block = {
|
blabels : |
|
battrs : |
|
bstmts : |
type
statement =
| |
NOP of |
| |
COMPUTATION of |
| |
BLOCK of |
| |
SEQUENCE of |
| |
IF of |
| |
WHILE of |
| |
DOWHILE of |
| |
FOR of |
| |
BREAK of |
| |
CONTINUE of |
| |
RETURN of |
| |
SWITCH of |
| |
CASE of |
| |
CASERANGE of |
| |
DEFAULT of |
| |
LABEL of |
| |
GOTO of |
| |
COMPGOTO of |
| |
DEFINITION of |
| |
ASM of |
| |
TRY_EXCEPT of |
| |
TRY_FINALLY of |
type
for_clause =
| |
FC_EXP of |
| |
FC_DECL of |
type
binary_operator =
| |
ADD |
| |
SUB |
| |
MUL |
| |
DIV |
| |
MOD |
| |
AND |
| |
OR |
| |
BAND |
| |
BOR |
| |
XOR |
| |
SHL |
| |
SHR |
| |
EQ |
| |
NE |
| |
LT |
| |
GT |
| |
LE |
| |
GE |
| |
ASSIGN |
| |
ADD_ASSIGN |
| |
SUB_ASSIGN |
| |
MUL_ASSIGN |
| |
DIV_ASSIGN |
| |
MOD_ASSIGN |
| |
BAND_ASSIGN |
| |
BOR_ASSIGN |
| |
XOR_ASSIGN |
| |
SHL_ASSIGN |
| |
SHR_ASSIGN |
type
unary_operator =
| |
MINUS |
| |
PLUS |
| |
NOT |
| |
BNOT |
| |
MEMOF |
| |
ADDROF |
| |
PREINCR |
| |
PREDECR |
| |
POSINCR |
| |
POSDECR |
type
expression =
| |
NOTHING |
| |
UNARY of |
| |
LABELADDR of |
| |
BINARY of |
| |
QUESTION of |
| |
CAST of |
| |
CALL of |
| |
COMMA of |
| |
CONSTANT of |
| |
VARIABLE of |
| |
EXPR_SIZEOF of |
| |
TYPE_SIZEOF of |
| |
EXPR_ALIGNOF of |
| |
TYPE_ALIGNOF of |
| |
INDEX of |
| |
MEMBEROF of |
| |
MEMBEROFPTR of |
| |
GNU_BODY of |
| |
EXPR_PATTERN of |
type
constant =
| |
CONST_INT of |
| |
CONST_FLOAT of |
| |
CONST_CHAR of |
| |
CONST_WCHAR of |
| |
CONST_STRING of |
| |
CONST_WSTRING of |
type
init_expression =
| |
NO_INIT |
| |
SINGLE_INIT of |
| |
COMPOUND_INIT of |
type
initwhat =
| |
NEXT_INIT |
| |
INFIELD_INIT of |
| |
ATINDEX_INIT of |
| |
ATINDEXRANGE_INIT of |
typeattribute =
string * expression list