module Cabs: sig
.. end
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
type
cabsloc = Lexing.position * Lexing.position
type
typeSpecifier =
type
storage =
| |
NO_STORAGE |
| |
AUTO |
| |
STATIC |
| |
EXTERN |
| |
REGISTER |
type
funspec =
| |
INLINE |
| |
VIRTUAL |
| |
EXPLICIT |
type
cvspec =
| |
CV_CONST |
| |
CV_VOLATILE |
| |
CV_RESTRICT |
| |
CV_ATTRIBUTE_ANNOT of string |
type
spec_elem =
type
specifier = spec_elem list
type
decl_type =
type
name_group = specifier * name list
type
field_group =
type
init_name_group = specifier * init_name list
type
name = string * decl_type * attribute list * cabsloc
type
init_name = name * init_expression
type
single_name = specifier * name
type
enum_item = string * expression * cabsloc
type
definition =
type
file = string * (bool * definition) list
the string is a file name, and then the list of toplevel forms.
Consult the Plugin Development Guide for additional details.
type
block = {
}
type
asm_details = {
|
aoutputs : (string option * string * expression) list ; |
|
ainputs : (string option * string * expression) list ; |
|
aclobbers : string list ; |
|
alabels : string list ; |
}
type
raw_statement =
type
statement = {
}
type
loop_invariant = Logic_ptree.code_annot list
type
for_clause =
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 = {
}
type
cabsexp =
type
constant =
| |
CONST_INT of string |
| |
CONST_FLOAT of string |
| |
CONST_CHAR of int64 list |
| |
CONST_WCHAR of int64 list |
| |
CONST_STRING of string |
| |
CONST_WSTRING of int64 list |
type
init_expression =
type
initwhat =
type
attribute = string * expression list