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.