diff options
Diffstat (limited to 'cil/doc/api/index_types.html')
-rw-r--r-- | cil/doc/api/index_types.html | 271 |
1 files changed, 271 insertions, 0 deletions
diff --git a/cil/doc/api/index_types.html b/cil/doc/api/index_types.html new file mode 100644 index 00000000..1974acd6 --- /dev/null +++ b/cil/doc/api/index_types.html @@ -0,0 +1,271 @@ +<html> +<head> +<link rel="stylesheet" href="style.css" type="text/css"> +<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.5) : 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 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="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>
\ No newline at end of file |