Index of types
A
access_t
[
Flx_types
]
alphaTableData
[
Flx_cil_cil
]
This is the type of the elements of the alpha renaming table.
asm_t
[
Flx_types
]
attribute
[
Flx_cil_cil
]
attribute
[
Flx_cil_cabs
]
attributeClass
[
Flx_cil_cil
]
Various classes of attributes
attributes
[
Flx_cil_cil
]
Attributes are lists sorted by the attribute name.
attrparam
[
Flx_cil_cil
]
The type of parameters of attributes
automata
[
Inria_lexgen
]
automata_entry
[
Inria_lexgen
]
automata_move
[
Inria_lexgen
]
automata_trans
[
Inria_lexgen
]
B
b0typecode_t
[
Flx_types
]
b0typecode_t'
[
Flx_types
]
value typing
b1typecode_t'
[
Flx_types
]
meta typing
base_spec
[
Flx_cil_cabs
]
bbdcl_t
[
Flx_types
]
bclass_member_t
[
Flx_types
]
bexe_t
[
Flx_types
]
bexpr_t
[
Flx_types
]
bglr_entry_t
[
Flx_types
]
bid_t
[
Flx_ast
]
biface_t
[
Flx_types
]
bigint
[
Flx_ast
]
binary_operator
[
Flx_cil_cabs
]
binop
[
Flx_cil_cil
]
Binary operations
block
[
Flx_cil_cil
]
A block is a sequence of statements with the control falling through from one element to the next
block
[
Flx_cil_cabs
]
bparameter_t
[
Flx_types
]
bparams_t
[
Flx_types
]
bproduction_t
[
Flx_types
]
breqs_t
[
Flx_types
]
btpattern_t
[
Flx_types
]
btpattern_t'
[
Flx_types
]
btypecode_t
[
Flx_types
]
btypecode_t'
[
Flx_types
]
general typing
bucketlist
[
Flx_cil_inthash
]
bvs_t
[
Flx_types
]
C
c_t
[
Flx_ast
]
cabsloc
[
Flx_cil_cabs
]
cdecl_type_t
[
Flx_ctypes
]
cexpr_t
[
Flx_ctypes
]
charset_t
[
Flx_charset
]
checkFlags
[
Flx_cil_check
]
child_map_t
[
Flx_child
]
class_member_t
[
Flx_ast
]
clist
[
Flx_cil_clist
]
The clist datatype.
compilation_unit_t
[
Flx_ast
]
compinfo
[
Flx_cil_cil
]
The definition of a structure or union type.
condition_t
[
Flx_lexstate
]
configData
[
Flx_cil_util
]
The configuration data can be of several types *
constant
[
Flx_cil_cil
]
Literal constants
constant
[
Flx_cil_cabs
]
ctype_t
[
Flx_ctypes
]
cvspec
[
Flx_cil_cabs
]
D
dcl_t
[
Flx_types
]
decl_type
[
Flx_cil_cabs
]
definition
[
Flx_cil_cabs
]
dir_t
[
Flx_types
]
direction
[
Flx_dlst
]
dlst
[
Flx_dlst
]
doc
[
Flx_cil_pretty
]
The type of unformated documents.
E
entry
[
Inria_syntax
]
entry_kind_t
[
Flx_types
]
entry_set_t
[
Flx_types
]
enum_item
[
Flx_cil_cabs
]
enuminfo
[
Flx_cil_cil
]
Information about an enumeration
env_t
[
Flx_types
]
exe_t
[
Flx_ast
]
existsAction
[
Flx_cil_cil
]
A datatype to be used in conjunction with
existsType
exp
[
Flx_cil_cil
]
Expressions (Side-effect free)
expr_t
[
Flx_ast
]
expression
[
Flx_cil_cabs
]
extract_t
[
Flx_mbind
]
F
featureDescr
[
Flx_cil_cil
]
To be able to add/remove features easily, each feature should be package * as an interface with the following interface.
felix_compiler_options_t
[
Flx_mtypes2
]
field_group
[
Flx_cil_cabs
]
fieldinfo
[
Flx_cil_cil
]
Information about a struct/union field
file
[
Flx_cil_cil
]
Top-level representation of a C source file
file
[
Flx_cil_cabs
]
fkind
[
Flx_cil_cil
]
Various kinds of floating-point numbers
float_pat
[
Flx_ast
]
for_clause
[
Flx_cil_cabs
]
formatArg
[
Flx_cil_cil
]
The type of argument for the interpreter
fully_bound_symbol_table_t
[
Flx_types
]
fundec
[
Flx_cil_cil
]
Function definitions.
funkind_t
[
Flx_ast
]
funspec
[
Flx_cil_cabs
]
G
global
[
Flx_cil_cil
]
A global declaration or definition
glr_entry_t
[
Flx_ast
]
glr_symbol_t
[
Flx_types
]
glr_term_t
[
Flx_ast
]
goto_kind_t
[
Flx_label
]
growArray
[
Flx_cil_util
]
growArrayFill
[
Flx_cil_util
]
Growable arrays
I
id_t
[
Flx_ast
]
ident_info
[
Inria_lexgen
]
iface_t
[
Flx_types
]
ikind
[
Flx_cil_cil
]
Various kinds of integers
ikind_t
[
Flx_ast
]
index_map_t
[
Flx_ast
]
init
[
Flx_cil_cil
]
Initializers for global variables.
init_expression
[
Flx_cil_cabs
]
init_name
[
Flx_cil_cabs
]
init_name_group
[
Flx_cil_cabs
]
initinfo
[
Flx_cil_cil
]
We want to be able to update an initializer in a global variable, so we * define it as a mutable field
initwhat
[
Flx_cil_cabs
]
instance_registry_t
[
Flx_mtypes2
]
instr
[
Flx_cil_cil
]
Instructions.
ivs_list_t
[
Flx_ast
]
L
label
[
Flx_cil_cil
]
Labels
label_kind_t
[
Flx_label
]
label_map_t
[
Flx_label
]
label_usage_t
[
Flx_label
]
lang_t
[
Flx_cil_cabs
]
lexer_definition
[
Inria_syntax
]
lhost
[
Flx_cil_cil
]
The host part of an
Flx_cil_cil.lval
.
lineDirectiveStyle
[
Flx_cil_cil
]
Styles of printing line directives
literal_t
[
Flx_ast
]
loc
[
Flx_cil_cprint
]
location
[
Inria_syntax
]
location
[
Flx_cil_errormsg
]
Type for source-file locations
location
[
Flx_cil_cil
]
Describes a location in a source file
lval
[
Flx_cil_cil
]
An lvalue
lvalue_t
[
Flx_ast
]
M
mach
[
Flx_cil_machdep_type
]
macro_parameter_t
[
Flx_ast
]
macro_parameter_type_t
[
Flx_ast
]
memory_action
[
Inria_lexgen
]
module_rep_t
[
Flx_types
]
N
name
[
Flx_cil_cabs
]
nameKind
[
Flx_cil_cabsvisit
]
name_group
[
Flx_cil_cabs
]
name_map_t
[
Flx_types
]
named_reqs_t
[
Flx_ast
]
O
offset
[
Flx_cil_cil
]
The offset part of an
Flx_cil_cil.lval
.
P
parameter_t
[
Flx_ast
]
params_t
[
Flx_ast
]
parser_t
[
Flx_tok
]
partial_order_result_t
[
Flx_types
]
pattern_t
[
Flx_ast
]
prec_t
[
Flx_ast
]
production_t
[
Flx_ast
]
property_t
[
Flx_ast
]
Q
qualified_name_t
[
Flx_ast
]
type of a qualified name
R
range_srcref
[
Flx_ast
]
type of a span between two positions in one file
reduced_glr_entry_t
[
Flx_ast
]
reduced_production_t
[
Flx_ast
]
reg_kind_t
[
Flx_regen
]
regexp_t
[
Flx_ast
]
type of a regular expression
registerInfo
[
Flx_cil_util
]
The state information that the UI must display is viewed abstractly as a * set of registers.
regular_args_t
[
Flx_types
]
regular_expression
[
Inria_syntax
]
requirement_t
[
Flx_ast
]
requirements_t
[
Flx_ast
]
rootsFilter
[
Flx_cil_rmtmps
]
S
sexe_t
[
Flx_ast
]
single_name
[
Flx_cil_cabs
]
spec_elem
[
Flx_cil_cabs
]
specifier
[
Flx_cil_cabs
]
srcref
[
Flx_ast
]
type of a position in the
original
sources
statement
[
Flx_cil_cabs
]
statement_t
[
Flx_ast
]
stmt
[
Flx_cil_cil
]
Statements.
stmtkind
[
Flx_cil_cil
]
The various kinds of control-flow statements statements
storage
[
Flx_cil_cil
]
Storage-class information
storage
[
Flx_cil_cabs
]
string_string_map_t
[
Flx_mtypes1
]
suffixed_name_t
[
Flx_ast
]
type of a suffixed name
sym_state_t
[
Flx_mtypes2
]
symbol
[
Flx_cil_util
]
Symbols are integers that are uniquely associated with names
symbol_data3_t
[
Flx_types
]
symbol_data_t
[
Flx_types
]
symbol_definition_t
[
Flx_types
]
symbol_table_t
[
Flx_types
]
T
t
[
Inria_table
]
t
[
Inria_cset
]
t
[
Flx_cil_util.STACK
]
The type of stacks containing elements of type
'a
.
t
[
Flx_cil_inthash
]
t_env
[
Inria_lexgen
]
tag_action
[
Inria_lexgen
]
tag_addr
[
Inria_lexgen
]
tag_base
[
Inria_lexgen
]
tbexpr_t
[
Flx_types
]
tlvalue_t
[
Flx_ast
]
token
[
Flx_parse
]
token
[
Flx_cil_formatparse
]
token
[
Flx_cil_cparser
]
tpattern_t
[
Flx_ast
]
typ
[
Flx_cil_cil
]
typeSpecifier
[
Flx_cil_cabs
]
type_qual_t
[
Flx_ast
]
type_registry_t
[
Flx_types
]
typecode_t
[
Flx_ast
]
type of a type
typecodeset_t
[
Flx_mtypes2
]
typeinfo
[
Flx_cil_cil
]
Information about a defined type
typevarmap_t
[
Flx_types
]
typsig
[
Flx_cil_cil
]
Type signatures.
U
unary_operator
[
Flx_cil_cabs
]
undoAlphaElement
[
Flx_cil_cil
]
This is the type of the elements that are recorded by the alpha * conversion functions in order to be able to undo changes to the tables * they modify.
unop
[
Flx_cil_cil
]
Unary operators
usage_t
[
Flx_call
]
usage_table_t
[
Flx_call
]
V
varinfo
[
Flx_cil_cil
]
Information about a variable.
varmap_t
[
Flx_mtypes2
]
version_data_t
[
Flx_types
]
visitAction
[
Flx_cil_cil
]
Different visiting actions.
visitAction
[
Flx_cil_cabsvisit
]
vs_list_t
[
Flx_ast
]
W
wchar
[
Flx_cil_escape
]
wstring
[
Flx_cil_escape
]