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 global 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 [Cil] |
Describes a location in a source file.
|
| location [Errormsg] |
Type for source-file locations
|
| 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.
|