# Index of types

A
action [Dataflow] |
alphaTableData [Alpha] | This is the type of the elements of the alpha renaming table.
attribute [Cil] |
attributeClass [Cil] | Various classes of attributes
attributes [Cil] | Attributes are lists sorted by the attribute name.
attrparam [Cil] | The type of parameters of attributes
B
binop [Cil] | Binary operations
block [Cil] | A block is a sequence of statements with the control falling through from one element to the next
C
clist [Clist] | The clist datatype.
comment [Cil] |
compinfo [Cil] | The definition of a structure or union type.
constant [Cil] | Literal constants
D
doc [Pretty] | The type of unformated documents.
E
enuminfo [Cil] | Information about an enumeration
existsAction [Cil] | A datatype to be used in conjunction with `existsType`
exp [Cil] | Expressions (Side-effect free)
F
featureDescr [Cil] | To be able to add/remove features easily, each feature should be package as an interface with the following interface.
fieldinfo [Cil] | Information about a struct/union field
file [Cil] | Top-level representation of a C source file
fkind [Cil] | Various kinds of floating-point numbers
formatArg [Cil] | The type of argument for the interpreter
fundec [Cil] | Function definitions.
G
global [Cil] | A global declaration or definition
guardaction [Dataflow] |
I
ikind [Cil] | Various kinds of integers
init [Cil] | Initializers for global variables.
initinfo [Cil] | We want to be able to update an initializer in a variable, so we define it as a mutable field
instr [Cil] | Instructions.
L
label [Cil] | Labels
lhost [Cil] | The host part of an `Cil.lval`.
lineDirectiveStyle [Cil] | Styles of printing line directives
location [Errormsg] | Type for source-file locations
location [Cil] | Describes a location in a source file.
lval [Cil] | An lvalue
O
offset [Cil] | The offset part of an `Cil.lval`.
order [Dominators] |
S
stmt [Cil] | Statements.
stmtaction [Dataflow] |
stmtkind [Cil] | The various kinds of control-flow statements statements
storage [Cil] | Storage-class information
T
t [Dataflow.BackwardsTransfer] | The type of the data we compute for each block start.
t [Dataflow.ForwardsTransfer] | The type of the data we compute for each block start.
timerModeEnum [Stats] |
tree [Dominators] |
typ [Cil] |
typeinfo [Cil] | Information about a defined type
typsig [Cil] | Type signatures.
U
undoAlphaElement [Alpha] | 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 [Cil] | Unary operators
V
varinfo [Cil] | Information about a variable.
visitAction [Cil] | Different visiting actions.