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 |
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 |
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 |
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. |