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