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]