<html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of class methods" rel=Appendix href="index_methods.html"> <link title="Index of classes" rel=Appendix href="index_classes.html"> <link title="Index of class types" rel=Appendix href="index_class_types.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Pretty" rel="Chapter" href="Pretty.html"> <link title="Errormsg" rel="Chapter" href="Errormsg.html"> <link title="Clist" rel="Chapter" href="Clist.html"> <link title="Stats" rel="Chapter" href="Stats.html"> <link title="Cil" rel="Chapter" href="Cil.html"> <link title="Formatcil" rel="Chapter" href="Formatcil.html"> <link title="Alpha" rel="Chapter" href="Alpha.html"> <link title="Cillower" rel="Chapter" href="Cillower.html"> <link title="Cfg" rel="Chapter" href="Cfg.html"> <link title="Dataflow" rel="Chapter" href="Dataflow.html"> <link title="Dominators" rel="Chapter" href="Dominators.html"><title>CIL API Documentation (version 1.3.7) : Index of types</title> </head> <body> <center><h1>Index of types</h1></center> <table> <tr><td align="left"><br>A</td></tr> <tr><td><a href="Dataflow.html#TYPEaction">action</a> [<a href="Dataflow.html">Dataflow</a>]</td> <td></td></tr> <tr><td><a href="Alpha.html#TYPEalphaTableData">alphaTableData</a> [<a href="Alpha.html">Alpha</a>]</td> <td><div class="info"> This is the type of the elements of the alpha renaming table. </div> </td></tr> <tr><td><a href="Cil.html#TYPEattribute">attribute</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#TYPEattributeClass">attributeClass</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Various classes of attributes </div> </td></tr> <tr><td><a href="Cil.html#TYPEattributes">attributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Attributes are lists sorted by the attribute name. </div> </td></tr> <tr><td><a href="Cil.html#TYPEattrparam">attrparam</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The type of parameters of attributes </div> </td></tr> <tr><td align="left"><br>B</td></tr> <tr><td><a href="Cil.html#TYPEbinop">binop</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Binary operations </div> </td></tr> <tr><td><a href="Cil.html#TYPEblock">block</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A block is a sequence of statements with the control falling through from one element to the next </div> </td></tr> <tr><td align="left"><br>C</td></tr> <tr><td><a href="Clist.html#TYPEclist">clist</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> The clist datatype. </div> </td></tr> <tr><td><a href="Cil.html#TYPEcomment">comment</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#TYPEcompinfo">compinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The definition of a structure or union type. </div> </td></tr> <tr><td><a href="Cil.html#TYPEconstant">constant</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Literal constants </div> </td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="Pretty.html#TYPEdoc">doc</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> The type of unformated documents. </div> </td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="Cil.html#TYPEenuminfo">enuminfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Information about an enumeration </div> </td></tr> <tr><td><a href="Cil.html#TYPEexistsAction">existsAction</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A datatype to be used in conjunction with <code class="code">existsType</code> </div> </td></tr> <tr><td><a href="Cil.html#TYPEexp">exp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Expressions (Side-effect free) </div> </td></tr> <tr><td align="left"><br>F</td></tr> <tr><td><a href="Cil.html#TYPEfeatureDescr">featureDescr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> To be able to add/remove features easily, each feature should be package as an interface with the following interface. </div> </td></tr> <tr><td><a href="Cil.html#TYPEfieldinfo">fieldinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Information about a struct/union field </div> </td></tr> <tr><td><a href="Cil.html#TYPEfile">file</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Top-level representation of a C source file </div> </td></tr> <tr><td><a href="Cil.html#TYPEfkind">fkind</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Various kinds of floating-point numbers </div> </td></tr> <tr><td><a href="Cil.html#TYPEformatArg">formatArg</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The type of argument for the interpreter </div> </td></tr> <tr><td><a href="Cil.html#TYPEfundec">fundec</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Function definitions. </div> </td></tr> <tr><td align="left"><br>G</td></tr> <tr><td><a href="Cil.html#TYPEglobal">global</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A global declaration or definition </div> </td></tr> <tr><td><a href="Dataflow.html#TYPEguardaction">guardaction</a> [<a href="Dataflow.html">Dataflow</a>]</td> <td></td></tr> <tr><td align="left"><br>I</td></tr> <tr><td><a href="Cil.html#TYPEikind">ikind</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Various kinds of integers </div> </td></tr> <tr><td><a href="Cil.html#TYPEinit">init</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Initializers for global variables. </div> </td></tr> <tr><td><a href="Cil.html#TYPEinitinfo">initinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> We want to be able to update an initializer in a global variable, so we define it as a mutable field </div> </td></tr> <tr><td><a href="Cil.html#TYPEinstr">instr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Instructions. </div> </td></tr> <tr><td align="left"><br>L</td></tr> <tr><td><a href="Cil.html#TYPElabel">label</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Labels </div> </td></tr> <tr><td><a href="Cil.html#TYPElhost">lhost</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The host part of an <a href="Cil.html#TYPElval"><code class="code">Cil.lval</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#TYPElineDirectiveStyle">lineDirectiveStyle</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Styles of printing line directives </div> </td></tr> <tr><td><a href="Cil.html#TYPElocation">location</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Describes a location in a source file. </div> </td></tr> <tr><td><a href="Errormsg.html#TYPElocation">location</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Type for source-file locations </div> </td></tr> <tr><td><a href="Cil.html#TYPElval">lval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> An lvalue </div> </td></tr> <tr><td align="left"><br>O</td></tr> <tr><td><a href="Cil.html#TYPEoffset">offset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The offset part of an <a href="Cil.html#TYPElval"><code class="code">Cil.lval</code></a>. </div> </td></tr> <tr><td><a href="Dominators.html#TYPEorder">order</a> [<a href="Dominators.html">Dominators</a>]</td> <td></td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="Cil.html#TYPEstmt">stmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Statements. </div> </td></tr> <tr><td><a href="Dataflow.html#TYPEstmtaction">stmtaction</a> [<a href="Dataflow.html">Dataflow</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#TYPEstmtkind">stmtkind</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The various kinds of control-flow statements statements </div> </td></tr> <tr><td><a href="Cil.html#TYPEstorage">storage</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Storage-class information </div> </td></tr> <tr><td align="left"><br>T</td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#TYPEt">t</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> The type of the data we compute for each block start. </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#TYPEt">t</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> The type of the data we compute for each block start. </div> </td></tr> <tr><td><a href="Stats.html#TYPEtimerModeEnum">timerModeEnum</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Whether to use the performance counters (on Pentium only) </div> </td></tr> <tr><td><a href="Dominators.html#TYPEtree">tree</a> [<a href="Dominators.html">Dominators</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#TYPEtyp">typ</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#TYPEtypeinfo">typeinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Information about a defined type </div> </td></tr> <tr><td><a href="Cil.html#TYPEtypsig">typsig</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Type signatures. </div> </td></tr> <tr><td align="left"><br>U</td></tr> <tr><td><a href="Alpha.html#TYPEundoAlphaElement">undoAlphaElement</a> [<a href="Alpha.html">Alpha</a>]</td> <td><div class="info"> 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. </div> </td></tr> <tr><td><a href="Cil.html#TYPEunop">unop</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Unary operators </div> </td></tr> <tr><td align="left"><br>V</td></tr> <tr><td><a href="Cil.html#TYPEvarinfo">varinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Information about a variable. </div> </td></tr> <tr><td><a href="Cil.html#TYPEvisitAction">visitAction</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Different visiting actions. </div> </td></tr> </table><br> </body> </html>