<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 values</title> </head> <body> <center><h1>Index of values</h1></center> <table> <tr><td align="left"><br></td></tr> <tr><td><a href="Pretty.html#VAL(++)">(++)</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Concatenates two documents. </div> </td></tr> <tr><td align="left"><br>A</td></tr> <tr><td><a href="Cil.html#VALaddAttribute">addAttribute</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Add an attribute. </div> </td></tr> <tr><td><a href="Cil.html#VALaddAttributes">addAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Add a list of attributes. </div> </td></tr> <tr><td><a href="Cil.html#VALaddOffset">addOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> <code class="code">addOffset o1 o2</code> adds <code class="code">o1</code> to the end of <code class="code">o2</code>. </div> </td></tr> <tr><td><a href="Cil.html#VALaddOffsetLval">addOffsetLval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Add an offset at the end of an lvalue. </div> </td></tr> <tr><td><a href="Cil.html#VALadditiveLevel">additiveLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALaddrOfLevel">addrOfLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALalign">align</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Mark the current column as the current indentation level. </div> </td></tr> <tr><td><a href="Cil.html#VALalignOf_int">alignOf_int</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The minimum alignment (in bytes) for a type. </div> </td></tr> <tr><td><a href="Cfg.html#VALallStmts">allStmts</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> Return all statements in a file - valid after computeFileCfg only </div> </td></tr> <tr><td><a href="Clist.html#VALappend">append</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Append two clists </div> </td></tr> <tr><td><a href="Cil.html#VALargsToList">argsToList</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Obtain the argument list ([] if None) </div> </td></tr> <tr><td><a href="Cil.html#VALarrowLevel">arrowLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALattributeHash">attributeHash</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> This table contains the mapping of predefined attributes to classes. </div> </td></tr> <tr><td><a href="Pretty.html#VALauto_printer">auto_printer</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A function that when used at top-level in a module will direct the pa_prtype module generate automatically the printing functions for a type </div> </td></tr> <tr><td align="left"><br>B</td></tr> <tr><td><a href="Cil.html#VALbitsOffset">bitsOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Give a type of a base and an offset, returns the number of bits from the base address and the width (also expressed in bits) for the subobject denoted by the offset. </div> </td></tr> <tr><td><a href="Cil.html#VALbitsSizeOf">bitsSizeOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The size of a type, in bits. </div> </td></tr> <tr><td><a href="Cil.html#VALbitwiseLevel">bitwiseLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALblueEscStr">blueEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALbreak">break</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that consists of either a space or a line break. </div> </td></tr> <tr><td><a href="Cil.html#VALbug">bug</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALbug"><code class="code">Errormsg.bug</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> is also printed </div> </td></tr> <tr><td><a href="Errormsg.html#VALbug">bug</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Similar to <code class="code">error</code> except that its output has the form <code class="code">Bug: ...</code> </div> </td></tr> <tr><td><a href="Cil.html#VALbuiltinFunctions">builtinFunctions</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A list of the built-in functions for the current compiler (GCC or MSVC, depending on <code class="code">!msvcMode</code>). </div> </td></tr> <tr><td><a href="Cil.html#VALbuiltinLoc">builtinLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> This is used as the location of the prototypes of builtin functions. </div> </td></tr> <tr><td><a href="Cil.html#VALbytesSizeOfInt">bytesSizeOfInt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The size in bytes of the given int kind. </div> </td></tr> <tr><td align="left"><br>C</td></tr> <tr><td><a href="Formatcil.html#VALcExp">cExp</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Constructs an expression based on the program and the list of arguments. </div> </td></tr> <tr><td><a href="Formatcil.html#VALcInstr">cInstr</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Constructs an instruction based on the program and the list of arguments. </div> </td></tr> <tr><td><a href="Formatcil.html#VALcLval">cLval</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Constructs an lval based on the program and the list of arguments. </div> </td></tr> <tr><td><a href="Formatcil.html#VALcStmt">cStmt</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td></td></tr> <tr><td><a href="Formatcil.html#VALcStmts">cStmts</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Constructs a list of statements </div> </td></tr> <tr><td><a href="Formatcil.html#VALcType">cType</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Constructs a type based on the program and the list of arguments. </div> </td></tr> <tr><td><a href="Cfg.html#VALcfgFun">cfgFun</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> Compute a control flow graph for fd. </div> </td></tr> <tr><td><a href="Cil.html#VALcharConstPtrType">charConstPtrType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> char const * </div> </td></tr> <tr><td><a href="Cil.html#VALcharConstToInt">charConstToInt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Given the character c in a (CChr c), sign-extend it to 32 bits. </div> </td></tr> <tr><td><a href="Cil.html#VALcharPtrType">charPtrType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> char * </div> </td></tr> <tr><td><a href="Cil.html#VALcharType">charType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> char </div> </td></tr> <tr><td><a href="Cil.html#VALchar_is_unsigned">char_is_unsigned</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether "char" is unsigned. </div> </td></tr> <tr><td><a href="Clist.html#VALcheckBeforeAppend">checkBeforeAppend</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> A useful check to assert before an append. </div> </td></tr> <tr><td><a href="Dominators.html#VALchildren">children</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> Return a list of statements dominated by the argument </div> </td></tr> <tr><td><a href="Pretty.html#VALchr">chr</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that prints a character. </div> </td></tr> <tr><td><a href="Cil.html#VALcilVersion">cilVersion</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> This are the CIL version numbers. </div> </td></tr> <tr><td><a href="Cil.html#VALcilVersionMajor">cilVersionMajor</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALcilVersionMinor">cilVersionMinor</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALcilVersionRevision">cilVersionRevision</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cfg.html#VALclearCFGinfo">clearCFGinfo</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> clear the sid, succs, and preds fields of each statment in a function </div> </td></tr> <tr><td><a href="Cfg.html#VALclearFileCFG">clearFileCFG</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> clear the sid, succs, and preds fields of each statement. </div> </td></tr> <tr><td><a href="Errormsg.html#VALcolorFlag">colorFlag</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Set to true if you want error and warning messages to be colored </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALcombinePredecessors">combinePredecessors</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Take some old data for the start of a statement, and some new data for the same point. </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALcombineStmtStartData">combineStmtStartData</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> When the analysis reaches the start of a block, combine the old data with the one we have just computed. </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALcombineSuccessors">combineSuccessors</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> Take the data from two successors and combine it </div> </td></tr> <tr><td><a href="Cil.html#VALcompFullName">compFullName</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Get the full name of a comp </div> </td></tr> <tr><td><a href="Cil.html#VALcompactStmts">compactStmts</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Try to compress statements so as to get maximal basic blocks. </div> </td></tr> <tr><td><a href="Cil.html#VALcomparativeLevel">comparativeLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALcompareLoc">compareLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Comparison function for locations. </div> </td></tr> <tr><td><a href="Dataflow.BackwardsDataFlow.html#VALcompute">compute</a> [<a href="Dataflow.BackwardsDataFlow.html">Dataflow.BackwardsDataFlow</a>]</td> <td><div class="info"> Fill in the T.stmtStartData, given a number of initial statements to start from (the sinks for the backwards data flow). </div> </td></tr> <tr><td><a href="Dataflow.ForwardsDataFlow.html#VALcompute">compute</a> [<a href="Dataflow.ForwardsDataFlow.html">Dataflow.ForwardsDataFlow</a>]</td> <td><div class="info"> Fill in the T.stmtStartData, given a number of initial statements to start from. </div> </td></tr> <tr><td><a href="Cil.html#VALcomputeCFGInfo">computeCFGInfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Compute the CFG information for all statements in a fundec and return a list of the statements. </div> </td></tr> <tr><td><a href="Dominators.html#VALcomputeDomTree">computeDomTree</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> returns the IDoms and a map from statement ids to the set of statements that are dominated </div> </td></tr> <tr><td><a href="Cfg.html#VALcomputeFileCFG">computeFileCFG</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> Compute the CFG for an entire file, by calling cfgFun on each function. </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALcomputeFirstPredecessor">computeFirstPredecessor</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Give the first value for a predecessors, compute the value to be set for the block </div> </td></tr> <tr><td><a href="Dominators.html#VALcomputeIDom">computeIDom</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> Invoke on a code after filling in the CFG info and it computes the immediate dominator information. </div> </td></tr> <tr><td><a href="Pretty.html#VALconcat">concat</a> [<a href="Pretty.html">Pretty</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALconstFold">constFold</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Do constant folding on an expression. </div> </td></tr> <tr><td><a href="Cil.html#VALconstFoldBinOp">constFoldBinOp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Do constant folding on a binary operation. </div> </td></tr> <tr><td><a href="Cil.html#VALconstFoldVisitor">constFoldVisitor</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A visitor that does constant folding. </div> </td></tr> <tr><td><a href="Cil.html#VALconvertInts">convertInts</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALcopy">copy</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Make a deep copy of the data </div> </td></tr> <tr><td><a href="Cil.html#VALcopyCompInfo">copyCompInfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Makes a shallow copy of a <a href="Cil.html#TYPEcompinfo"><code class="code">Cil.compinfo</code></a> changing the name and the key. </div> </td></tr> <tr><td><a href="Cil.html#VALcopyFunction">copyFunction</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Create a deep copy of a function. </div> </td></tr> <tr><td><a href="Cil.html#VALcopyVarinfo">copyVarinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a shallow copy of a <code class="code">varinfo</code> and assign a new identifier </div> </td></tr> <tr><td><a href="Stats.html#VALcountCalls">countCalls</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Flag to indicate whether or not to count the number of calls of to <a href="Stats.html#VALrepeattime"><code class="code">Stats.repeattime</code></a> or <a href="Stats.html#VALtime"><code class="code">Stats.time</code></a> for each label. </div> </td></tr> <tr><td><a href="Pretty.html#VALcountNewLines">countNewLines</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Keep a running count of the taken newlines. </div> </td></tr> <tr><td><a href="Cil.html#VALcurrentGlobal">currentGlobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A reference to the current global being visited </div> </td></tr> <tr><td><a href="Cil.html#VALcurrentLoc">currentLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A reference to the current location. </div> </td></tr> <tr><td><a href="Errormsg.html#VALcyanEscStr">cyanEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="Formatcil.html#VALdExp">dExp</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Deconstructs an expression based on the program. </div> </td></tr> <tr><td><a href="Cil.html#VALdExp">dExp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Generate an <a href="Cil.html#TYPEexp"><code class="code">Cil.exp</code></a> to be used in case of errors. </div> </td></tr> <tr><td><a href="Cil.html#VALdGlobal">dGlobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Generate a <a href="Cil.html#TYPEglobal"><code class="code">Cil.global</code></a> to be used in case of errors. </div> </td></tr> <tr><td><a href="Formatcil.html#VALdInstr">dInstr</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Deconstructs an instruction based on the program. </div> </td></tr> <tr><td><a href="Cil.html#VALdInstr">dInstr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Generate an <a href="Cil.html#TYPEinstr"><code class="code">Cil.instr</code></a> to be used in case of errors. </div> </td></tr> <tr><td><a href="Formatcil.html#VALdLval">dLval</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Deconstructs an lval based on the program. </div> </td></tr> <tr><td><a href="Formatcil.html#VALdType">dType</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Deconstructs a type based on the program. </div> </td></tr> <tr><td><a href="Cil.html#VALd_attr">d_attr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an attribute using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALd_attrlist">d_attrlist</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a list of attributes using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALd_attrparam">d_attrparam</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an argument of an attribute using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALd_binop">d_binop</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a binary operator </div> </td></tr> <tr><td><a href="Cil.html#VALd_block">d_block</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a block using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#VALd_const">d_const</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a constant </div> </td></tr> <tr><td><a href="Cil.html#VALd_exp">d_exp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an expression using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALd_fkind">d_fkind</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a floating-point kind </div> </td></tr> <tr><td><a href="Cil.html#VALd_formatarg">d_formatarg</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-prints a format arg </div> </td></tr> <tr><td><a href="Cil.html#VALd_global">d_global</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print the internal representation of a global using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a>. </div> </td></tr> <tr><td><a href="Errormsg.html#VALd_hloc">d_hloc</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALd_ikind">d_ikind</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an integer of a given kind </div> </td></tr> <tr><td><a href="Cil.html#VALd_init">d_init</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an initializer using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#VALd_instr">d_instr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an instruction using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Pretty.html#VALd_int32">d_int32</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Print an int32 </div> </td></tr> <tr><td><a href="Pretty.html#VALd_int64">d_int64</a> [<a href="Pretty.html">Pretty</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALd_label">d_label</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a label using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Pretty.html#VALd_list">d_list</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> sm: Yet another list printer. </div> </td></tr> <tr><td><a href="Cil.html#VALd_loc">d_loc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a location </div> </td></tr> <tr><td><a href="Errormsg.html#VALd_loc">d_loc</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALd_lval">d_lval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an lvalue using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Pretty.MakeMapPrinter.html#VALd_map">d_map</a> [<a href="Pretty.MakeMapPrinter.html">Pretty.MakeMapPrinter</a>]</td> <td><div class="info"> Format a map, analogous to d_list. </div> </td></tr> <tr><td><a href="Cil.html#VALd_offset">d_offset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an offset using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a>, given the pretty printing for the base. </div> </td></tr> <tr><td><a href="Cil.html#VALd_plainexp">d_plainexp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print the internal representation of an expression </div> </td></tr> <tr><td><a href="Cil.html#VALd_plaininit">d_plaininit</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print the internal representation of an integer </div> </td></tr> <tr><td><a href="Cil.html#VALd_plainlval">d_plainlval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print the internal representation of an lvalue </div> </td></tr> <tr><td><a href="Cil.html#VALd_plaintype">d_plaintype</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print the internal representation of a type </div> </td></tr> <tr><td><a href="Pretty.MakeSetPrinter.html#VALd_set">d_set</a> [<a href="Pretty.MakeSetPrinter.html">Pretty.MakeSetPrinter</a>]</td> <td><div class="info"> Format a set, analogous to d_list. </div> </td></tr> <tr><td><a href="Cil.html#VALd_shortglobal">d_shortglobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a short description of the global. </div> </td></tr> <tr><td><a href="Cil.html#VALd_stmt">d_stmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a statement using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#VALd_storage">d_storage</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print storage-class information </div> </td></tr> <tr><td><a href="Cil.html#VALd_thisloc">d_thisloc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print the <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALd_type">d_type</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a type using <a href="Cil.html#VALdefaultCilPrinter"><code class="code">Cil.defaultCilPrinter</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALd_typsig">d_typsig</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print a type signature </div> </td></tr> <tr><td><a href="Cil.html#VALd_unop">d_unop</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a unary operator </div> </td></tr> <tr><td><a href="Cil.html#VALdd_exp">dd_exp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an expression while printing descriptions rather than names of temporaries. </div> </td></tr> <tr><td><a href="Cil.html#VALdd_lval">dd_lval</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALdebug">debug</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> Whether to turn on debugging </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALdebug">debug</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Whether to turn on debugging </div> </td></tr> <tr><td><a href="Errormsg.html#VALdebugFlag">debugFlag</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> If set then print debugging info </div> </td></tr> <tr><td><a href="Cil.html#VALdefaultCilPrinter">defaultCilPrinter</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALderefStarLevel">derefStarLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdescriptiveCilPrinter">descriptiveCilPrinter</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_attr">dn_attr</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_attrlist">dn_attrlist</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_attrparam">dn_attrparam</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_exp">dn_exp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Versions of the above pretty printers, that don't print #line directives </div> </td></tr> <tr><td><a href="Cil.html#VALdn_global">dn_global</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_init">dn_init</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_instr">dn_instr</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_lval">dn_lval</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_stmt">dn_stmt</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALdn_type">dn_type</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALdoGuard">doGuard</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Generate the successor to an If statement assuming the given expression is nonzero. </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALdoInstr">doInstr</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> The (backwards) transfer function for an instruction. </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALdoInstr">doInstr</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> The (forwards) transfer function for an instruction. </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALdoStmt">doStmt</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> The (backwards) transfer function for a branch. </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALdoStmt">doStmt</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> The (forwards) transfer function for a statement. </div> </td></tr> <tr><td><a href="Alpha.html#VALdocAlphaTable">docAlphaTable</a> [<a href="Alpha.html">Alpha</a>]</td> <td><div class="info"> Split the name in preparation for newAlphaName. </div> </td></tr> <tr><td><a href="Pretty.html#VALdocArray">docArray</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Formats an array. </div> </td></tr> <tr><td><a href="Clist.html#VALdocCList">docCList</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> A document for printing a clist (similar to <code class="code">docList</code>) </div> </td></tr> <tr><td><a href="Pretty.html#VALdocList">docList</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> An alternative function for printing a list. </div> </td></tr> <tr><td><a href="Pretty.MakeMapPrinter.html#VALdocMap">docMap</a> [<a href="Pretty.MakeMapPrinter.html">Pretty.MakeMapPrinter</a>]</td> <td><div class="info"> Format a map, analogous to docList. </div> </td></tr> <tr><td><a href="Pretty.html#VALdocOpt">docOpt</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Prints an <code class="code">'a option</code> with <code class="code">None</code> or <code class="code">Some</code> </div> </td></tr> <tr><td><a href="Pretty.MakeSetPrinter.html#VALdocSet">docSet</a> [<a href="Pretty.MakeSetPrinter.html">Pretty.MakeSetPrinter</a>]</td> <td><div class="info"> Format a set, analogous to docList. </div> </td></tr> <tr><td><a href="Dominators.html#VALdomTreeIter">domTreeIter</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> Iterate over a dominator tree </div> </td></tr> <tr><td><a href="Dominators.html#VALdominates">dominates</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> Check whether one statement dominates another. </div> </td></tr> <tr><td><a href="Cil.html#VALdoubleType">doubleType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> double </div> </td></tr> <tr><td><a href="Pretty.html#VALdprintf">dprintf</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> This function provides an alternative method for constructing <code class="code">doc</code> objects. </div> </td></tr> <tr><td><a href="Cil.html#VALdropAttribute">dropAttribute</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Remove all attributes with the given name. </div> </td></tr> <tr><td><a href="Cil.html#VALdropAttributes">dropAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Remove all attributes with names appearing in the string list. </div> </td></tr> <tr><td><a href="Cil.html#VALdummyFile">dummyFile</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A dummy file </div> </td></tr> <tr><td><a href="Cil.html#VALdummyFunDec">dummyFunDec</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A dummy function declaration handy when you need one as a placeholder. </div> </td></tr> <tr><td><a href="Cil.html#VALdummyInstr">dummyInstr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A instr to serve as a placeholder </div> </td></tr> <tr><td><a href="Cil.html#VALdummyStmt">dummyStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A statement consisting of just <code class="code">dummyInstr</code> </div> </td></tr> <tr><td><a href="Cil.html#VALdumpBlock">dumpBlock</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Dump a block to a file using a given indentation. </div> </td></tr> <tr><td><a href="Cil.html#VALdumpFile">dumpFile</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print an entire file. </div> </td></tr> <tr><td><a href="Cil.html#VALdumpGlobal">dumpGlobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Pretty-print a global. </div> </td></tr> <tr><td><a href="Cil.html#VALdumpInit">dumpInit</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Dump an initializer to a file using a given indentation. </div> </td></tr> <tr><td><a href="Cil.html#VALdumpStmt">dumpStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Dump a statement to a file using a given indentation. </div> </td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="Clist.html#VALempty">empty</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> The empty clist </div> </td></tr> <tr><td><a href="Cil.html#VALemptyFunction">emptyFunction</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make an empty function </div> </td></tr> <tr><td><a href="Cil.html#VALendsWith">endsWith</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> return true if the first is a suffix of the second string </div> </td></tr> <tr><td><a href="Cil.html#VALenvMachine">envMachine</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Machine model specified via CIL_MACHINE environment variable </div> </td></tr> <tr><td><a href="Pretty.html#VALeprintf">eprintf</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Like <a href="Pretty.html#VALfprintf"><code class="code">Pretty.fprintf</code></a> applied to <code class="code">stderr</code> </div> </td></tr> <tr><td><a href="Cil.html#VALerror">error</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALerror"><code class="code">Errormsg.error</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> is also printed </div> </td></tr> <tr><td><a href="Errormsg.html#VALerror">error</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Prints an error message of the form <code class="code">Error: ...</code>. </div> </td></tr> <tr><td><a href="Cil.html#VALerrorLoc">errorLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Cil.html#VALerror"><code class="code">Cil.error</code></a> except that it explicitly takes a location argument, instead of using the <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALexistsType">existsType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Scans a type by applying the function on all elements. </div> </td></tr> <tr><td><a href="Cil.html#VALexpToAttrParam">expToAttrParam</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Convert an expression into an attrparam, if possible. </div> </td></tr> <tr><td align="left"><br>F</td></tr> <tr><td><a href="Pretty.html#VALf_int32">f_int32</a> [<a href="Pretty.html">Pretty</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALf_int64">f_int64</a> [<a href="Pretty.html">Pretty</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALfastMode">fastMode</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> If set to <code class="code">true</code> then optional breaks are taken only when the document has exceeded the given width. </div> </td></tr> <tr><td><a href="Cil.html#VALfilterAttributes">filterAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Retains attributes with the given name </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALfilterStmt">filterStmt</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> Whether to put this predecessor block in the worklist. </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALfilterStmt">filterStmt</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Whether to put this statement in the worklist. </div> </td></tr> <tr><td><a href="Dominators.html#VALfindNaturalLoops">findNaturalLoops</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> Compute the start of the natural loops. </div> </td></tr> <tr><td><a href="Cil.html#VALfindOrCreateFunc">findOrCreateFunc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Find a function or function prototype with the given name in the file. </div> </td></tr> <tr><td><a href="Dataflow.html#VALfind_stmts">find_stmts</a> [<a href="Dataflow.html">Dataflow</a>]</td> <td><div class="info"> Returns (all_stmts, sink_stmts), where all_stmts is a list of the statements in a function, and sink_stmts is a list of the return statments (including statements that fall through the end of a void function). </div> </td></tr> <tr><td><a href="Errormsg.html#VALfinishParsing">finishParsing</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALfitsInInt">fitsInInt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the integer fits within the kind's range </div> </td></tr> <tr><td><a href="Cil.html#VALfloatKindForSize">floatKindForSize</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The float kind for a given size. </div> </td></tr> <tr><td><a href="Pretty.html#VALflushOften">flushOften</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> If true the it flushes after every print </div> </td></tr> <tr><td><a href="Cil.html#VALfoldGlobals">foldGlobals</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Fold over all globals, including the global initializer </div> </td></tr> <tr><td><a href="Cil.html#VALfoldLeftCompound">foldLeftCompound</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Fold over the list of initializers in a Compound (not also the nested ones). </div> </td></tr> <tr><td><a href="Clist.html#VALfold_left">fold_left</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> A version of fold_left that works on clists </div> </td></tr> <tr><td><a href="Cil.html#VALforgcc">forgcc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Return the string 's' if we're printing output for gcc, suppres it if we're printing for CIL to parse back in. </div> </td></tr> <tr><td><a href="Pretty.html#VALfprint">fprint</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Format the document to the given width and emit it to the given channel </div> </td></tr> <tr><td><a href="Pretty.html#VALfprintf">fprintf</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Like <a href="Pretty.html#VALdprintf"><code class="code">Pretty.dprintf</code></a> followed by <a href="Pretty.html#VALfprint"><code class="code">Pretty.fprint</code></a> </div> </td></tr> <tr><td><a href="Clist.html#VALfromList">fromList</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Convert an ordinary list to a clist </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALfuncExitData">funcExitData</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> The data at function exit. </div> </td></tr> <tr><td align="left"><br>G</td></tr> <tr><td><a href="Cil.html#VALgccBuiltins">gccBuiltins</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> <font color="#CCCCCC"></font></div> </td></tr> <tr><td><a href="Alpha.html#VALgetAlphaPrefix">getAlphaPrefix</a> [<a href="Alpha.html">Alpha</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALgetCompField">getCompField</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Return a named fieldinfo in compinfo, or raise Not_found </div> </td></tr> <tr><td><a href="Cil.html#VALgetGlobInit">getGlobInit</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Get the global initializer and create one if it does not already exist. </div> </td></tr> <tr><td><a href="Errormsg.html#VALgetHPosition">getHPosition</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> high-level position </div> </td></tr> <tr><td><a href="Dominators.html#VALgetIdom">getIdom</a> [<a href="Dominators.html">Dominators</a>]</td> <td><div class="info"> This is like Inthash.find but gives an error if the information is Not_found </div> </td></tr> <tr><td><a href="Errormsg.html#VALgetLocation">getLocation</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALgetParenthLevel">getParenthLevel</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Parentheses level. </div> </td></tr> <tr><td><a href="Errormsg.html#VALgetPosition">getPosition</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALget_globalLoc">get_globalLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Return the location of a global, or locUnknown </div> </td></tr> <tr><td><a href="Cil.html#VALget_instrLoc">get_instrLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Return the location of an instruction </div> </td></tr> <tr><td><a href="Cil.html#VALget_stmtLoc">get_stmtLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Return the location of a statement, or locUnknown </div> </td></tr> <tr><td><a href="Pretty.html#VALgprintf">gprintf</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Like <a href="Pretty.html#VALdprintf"><code class="code">Pretty.dprintf</code></a> but more general. </div> </td></tr> <tr><td><a href="Errormsg.html#VALgreenEscStr">greenEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td align="left"><br>H</td></tr> <tr><td><a href="Errormsg.html#VALhadErrors">hadErrors</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> This is set whenever one of the above error functions are called. </div> </td></tr> <tr><td><a href="Cil.html#VALhasAttribute">hasAttribute</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the named attribute appears in the attribute list. </div> </td></tr> <tr><td><a href="Stats.html#VALhas_performance_counters">has_performance_counters</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Check if we have performance counters </div> </td></tr> <tr><td align="left"><br>I</td></tr> <tr><td><a href="Cil.html#VALi64_to_int">i64_to_int</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Convert a 64-bit int to an OCaml int, or raise an exception if that can't be done. </div> </td></tr> <tr><td><a href="Cil.html#VALincrem">increm</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Increment an expression. </div> </td></tr> <tr><td><a href="Pretty.html#VALindent">indent</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Indents the document. </div> </td></tr> <tr><td><a href="Cil.html#VALindexLevel">indexLevel</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALinitCIL">initCIL</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Call this function to perform some initialization. </div> </td></tr> <tr><td><a href="Pretty.html#VALinsert">insert</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A function that is useful with the <code class="code">printf</code>-like interface </div> </td></tr> <tr><td><a href="Cil.html#VALinsertImplicitCasts">insertImplicitCasts</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Do insert implicit casts (default true) </div> </td></tr> <tr><td><a href="Cil.html#VALintKindForSize">intKindForSize</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The signed integer kind for a given size (unsigned if second argument is true). </div> </td></tr> <tr><td><a href="Cil.html#VALintKindForValue">intKindForValue</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Return the smallest kind that will hold the integer's value. </div> </td></tr> <tr><td><a href="Cil.html#VALintPtrType">intPtrType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> int * </div> </td></tr> <tr><td><a href="Cil.html#VALintType">intType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> int </div> </td></tr> <tr><td><a href="Cil.html#VALinteger">integer</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct an integer of kind IInt. </div> </td></tr> <tr><td><a href="Cil.html#VALinvalidStmt">invalidStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> An empty statement. </div> </td></tr> <tr><td><a href="Cil.html#VALisArithmeticType">isArithmeticType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the argument is an arithmetic type (i.e. </div> </td></tr> <tr><td><a href="Cil.html#VALisArrayType">isArrayType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the argument is an array type </div> </td></tr> <tr><td><a href="Cil.html#VALisCompleteType">isCompleteType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Returns true if this is a complete type. </div> </td></tr> <tr><td><a href="Cil.html#VALisConstant">isConstant</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the expression is a compile-time constant </div> </td></tr> <tr><td><a href="Cil.html#VALisConstantOffset">isConstantOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the given offset contains only field nanmes or constant indices. </div> </td></tr> <tr><td><a href="Cil.html#VALisFunctionType">isFunctionType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the argument is a function type </div> </td></tr> <tr><td><a href="Cil.html#VALisInteger">isInteger</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> If the given expression is a (possibly cast'ed) character or an integer constant, return that integer. </div> </td></tr> <tr><td><a href="Cil.html#VALisIntegralType">isIntegralType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the argument is an integral type (i.e. </div> </td></tr> <tr><td><a href="Cil.html#VALisPointerType">isPointerType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the argument is a pointer type </div> </td></tr> <tr><td><a href="Cil.html#VALisSigned">isSigned</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Returns true if and only if the given integer type is signed. </div> </td></tr> <tr><td><a href="Cil.html#VALisVoidPtrType">isVoidPtrType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> is the given type "void *"? </div> </td></tr> <tr><td><a href="Cil.html#VALisVoidType">isVoidType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> is the given type "void"? </div> </td></tr> <tr><td><a href="Cil.html#VALisZero">isZero</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> True if the given expression is a (possibly cast'ed) integer or character constant with value zero </div> </td></tr> <tr><td><a href="Clist.html#VALiter">iter</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> A version of iter that works on clists </div> </td></tr> <tr><td><a href="Cil.html#VALiterGlobals">iterGlobals</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Iterate over all globals, including the global initializer </div> </td></tr> <tr><td align="left"><br>K</td></tr> <tr><td><a href="Cil.html#VALkindOfSizeOf">kindOfSizeOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The integer kind of <a href="Cil.html#VALtypeOfSizeOf"><code class="code">Cil.typeOfSizeOf</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#VALkinteger">kinteger</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct an integer of a given kind. </div> </td></tr> <tr><td><a href="Cil.html#VALkinteger64">kinteger64</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct an integer of a given kind, using OCaml's int64 type. </div> </td></tr> <tr><td align="left"><br>L</td></tr> <tr><td><a href="Stats.html#VALlastTime">lastTime</a> [<a href="Stats.html">Stats</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALleftflush">leftflush</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Use after a <a href="Pretty.html#VALline"><code class="code">Pretty.line</code></a> to prevent the indentation. </div> </td></tr> <tr><td><a href="Cil.html#VALlenOfArray">lenOfArray</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Call to compute the array length as present in the array type, to an integer. </div> </td></tr> <tr><td><a href="Clist.html#VALlength">length</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Find the length of a clist </div> </td></tr> <tr><td><a href="Pretty.html#VALline">line</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that consists of a mandatory newline. </div> </td></tr> <tr><td><a href="Cil.html#VALlineDirectiveStyle">lineDirectiveStyle</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> How to print line directives </div> </td></tr> <tr><td><a href="Cil.html#VALlineLength">lineLength</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The length used when wrapping output lines. </div> </td></tr> <tr><td><a href="Cil.html#VALlittle_endian">little_endian</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether the machine is little endian. </div> </td></tr> <tr><td><a href="Cil.html#VALloadBinaryFile">loadBinaryFile</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Read a <a href="Cil.html#TYPEfile"><code class="code">Cil.file</code></a> in binary form from the filesystem. </div> </td></tr> <tr><td><a href="Cil.html#VALlocUnknown">locUnknown</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Represents a location that cannot be determined </div> </td></tr> <tr><td><a href="Errormsg.html#VALlocUnknown">locUnknown</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> An unknown location for use when you need one but you don't have one </div> </td></tr> <tr><td><a href="Errormsg.html#VALlog">log</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Print something to <code class="code">logChannel</code> </div> </td></tr> <tr><td><a href="Errormsg.html#VALlogChannel">logChannel</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> A channel for printing log messages </div> </td></tr> <tr><td><a href="Errormsg.html#VALlogg">logg</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> same as <a href="Errormsg.html#VALlog"><code class="code">Errormsg.log</code></a> but do not wrap lines </div> </td></tr> <tr><td><a href="Cil.html#VALlongType">longType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> long </div> </td></tr> <tr><td><a href="Stats.html#VALlookupTime">lookupTime</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Return the cumulative time of all calls to <a href="Stats.html#VALtime"><code class="code">Stats.time</code></a> and <a href="Stats.html#VALrepeattime"><code class="code">Stats.repeattime</code></a> with the given label. </div> </td></tr> <tr><td><a href="Cil.html#VALlowerConstants">lowerConstants</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Do lower constants (default true) </div> </td></tr> <tr><td><a href="Cillower.html#VALlowerEnumVisitor">lowerEnumVisitor</a> [<a href="Cillower.html">Cillower</a>]</td> <td><div class="info"> Replace enumeration constants with integer constants </div> </td></tr> <tr><td align="left"><br>M</td></tr> <tr><td><a href="Cil.html#VALmakeFormalVar">makeFormalVar</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a formal variable for a function. </div> </td></tr> <tr><td><a href="Cil.html#VALmakeGlobalVar">makeGlobalVar</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a global variable. </div> </td></tr> <tr><td><a href="Cil.html#VALmakeLocalVar">makeLocalVar</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a local variable and add it to a function's slocals (only if insert = true, which is the default). </div> </td></tr> <tr><td><a href="Cil.html#VALmakeTempVar">makeTempVar</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a temporary variable and add it to a function's slocals. </div> </td></tr> <tr><td><a href="Cil.html#VALmakeVarinfo">makeVarinfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a varinfo. </div> </td></tr> <tr><td><a href="Cil.html#VALmakeZeroInit">makeZeroInit</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a initializer for zero-ing a data type </div> </td></tr> <tr><td><a href="Clist.html#VALmap">map</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Map a function over a clist. </div> </td></tr> <tr><td><a href="Cil.html#VALmapGlobals">mapGlobals</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Map over all globals, including the global initializer and change things in place </div> </td></tr> <tr><td><a href="Cil.html#VALmapNoCopy">mapNoCopy</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like map but try not to make a copy of the list </div> </td></tr> <tr><td><a href="Cil.html#VALmapNoCopyList">mapNoCopyList</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like map but each call can return a list. </div> </td></tr> <tr><td><a href="Pretty.html#VALmark">mark</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Mark the beginning of a markup section. </div> </td></tr> <tr><td><a href="Pretty.html#VALmarkup">markup</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Prints a document as markup. </div> </td></tr> <tr><td><a href="Cil.html#VALmissingFieldName">missingFieldName</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> This is a constant used as the name of an unnamed bitfield. </div> </td></tr> <tr><td><a href="Cil.html#VALmkAddrOf">mkAddrOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make an AddrOf. </div> </td></tr> <tr><td><a href="Cil.html#VALmkAddrOrStartOf">mkAddrOrStartOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like mkAddrOf except if the type of lval is an array then it uses StartOf. </div> </td></tr> <tr><td><a href="Cil.html#VALmkBlock">mkBlock</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct a block with no attributes, given a list of statements </div> </td></tr> <tr><td><a href="Cil.html#VALmkCast">mkCast</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Cil.html#VALmkCastT"><code class="code">Cil.mkCastT</code></a> but uses typeOf to get <code class="code">oldt</code> </div> </td></tr> <tr><td><a href="Cil.html#VALmkCastT">mkCastT</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct a cast when having the old type of the expression. </div> </td></tr> <tr><td><a href="Cil.html#VALmkCompInfo">mkCompInfo</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Creates a a (potentially recursive) composite type. </div> </td></tr> <tr><td><a href="Cil.html#VALmkEmptyStmt">mkEmptyStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Returns an empty statement (of kind <code class="code">Instr</code>) </div> </td></tr> <tr><td><a href="Cil.html#VALmkFor">mkFor</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a for loop for(start; guard; next) { ... </div> </td></tr> <tr><td><a href="Cil.html#VALmkForIncr">mkForIncr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a for loop for(i=start; i<past; i += incr) { ... </div> </td></tr> <tr><td><a href="Cil.html#VALmkMem">mkMem</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a Mem, while optimizing AddrOf. </div> </td></tr> <tr><td><a href="Cil.html#VALmkStmt">mkStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct a statement, given its kind. </div> </td></tr> <tr><td><a href="Cil.html#VALmkStmtOneInstr">mkStmtOneInstr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Construct a statement consisting of just one instruction </div> </td></tr> <tr><td><a href="Cil.html#VALmkString">mkString</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make an expression that is a string constant (of pointer type) </div> </td></tr> <tr><td><a href="Cil.html#VALmkWhile">mkWhile</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Make a while loop. </div> </td></tr> <tr><td><a href="Cil.html#VALmone">mone</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> -1 </div> </td></tr> <tr><td><a href="Cil.html#VALmsvcBuiltins">msvcBuiltins</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> <font color="#CCCCCC"></font></div> </td></tr> <tr><td><a href="Cil.html#VALmsvcMode">msvcMode</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether the pretty printer should print output for the MS VC compiler. </div> </td></tr> <tr><td align="left"><br>N</td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALname">name</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> For debugging purposes, the name of the analysis </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALname">name</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> For debugging purposes, the name of the analysis </div> </td></tr> <tr><td><a href="Alpha.html#VALnewAlphaName">newAlphaName</a> [<a href="Alpha.html">Alpha</a>]</td> <td><div class="info"> Create a new name based on a given name. </div> </td></tr> <tr><td><a href="Errormsg.html#VALnewHline">newHline</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALnewVID">newVID</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Generate a new variable ID. </div> </td></tr> <tr><td><a href="Cil.html#VALnew_sid">new_sid</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALnewline">newline</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALnil">nil</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Constructs an empty document </div> </td></tr> <tr><td><a href="Formatcil.html#VALnoMemoize">noMemoize</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> If set then will not memoize the parsed patterns </div> </td></tr> <tr><td><a href="Errormsg.html#VALnull">null</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Do not actually print (i.e. </div> </td></tr> <tr><td><a href="Pretty.html#VALnum">num</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that prints an integer in decimal form </div> </td></tr> <tr><td><a href="Pretty.html#VALnum64">num64</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that prints a 64-bit int in decimal form </div> </td></tr> <tr><td align="left"><br>O</td></tr> <tr><td><a href="Cil.html#VALoldstyleExternInline">oldstyleExternInline</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Set this to true to get old-style handling of gcc's extern inline C extension: old-style: the extern inline definition is used until the actual definition is seen (as long as optimization is enabled) new-style: the extern inline definition is used only if there is no actual definition (as long as optimization is enabled) Note that CIL assumes that optimization is always enabled ;-) </div> </td></tr> <tr><td><a href="Cil.html#VALone">one</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> 1 </div> </td></tr> <tr><td align="left"><br>P</td></tr> <tr><td><a href="Cil.html#VALparseInt">parseInt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Convert a string representing a C integer literal to an expression. </div> </td></tr> <tr><td><a href="Errormsg.html#VALparse_error">parse_error</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALpartitionAttributes">partitionAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Partition the attributes into classes:name attributes, function type, and type attributes </div> </td></tr> <tr><td><a href="Cil.html#VALpeepHole1">peepHole1</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Similar to <code class="code">peepHole2</code> except that the optimization window consists of one instruction, not two </div> </td></tr> <tr><td><a href="Cil.html#VALpeepHole2">peepHole2</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A peephole optimizer that processes two adjacent instructions and possibly replaces them both. </div> </td></tr> <tr><td><a href="Cil.html#VALplainCilPrinter">plainCilPrinter</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALpopContext">popContext</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Removes the last registered context printing function </div> </td></tr> <tr><td><a href="Cil.html#VALprepareCFG">prepareCFG</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Prepare a function for CFG information computation by <a href="Cil.html#VALcomputeCFGInfo"><code class="code">Cil.computeCFGInfo</code></a>. </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALpretty">pretty</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> Pretty-print the state </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALpretty">pretty</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> Pretty-print the state </div> </td></tr> <tr><td><a href="Stats.html#VALprint">print</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Print the current stats preceeded by a message </div> </td></tr> <tr><td><a href="Cil.html#VALprintAttr">printAttr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print an attribute given a pretty printer </div> </td></tr> <tr><td><a href="Cil.html#VALprintAttrs">printAttrs</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print a set of attributes given a pretty printer </div> </td></tr> <tr><td><a href="Cil.html#VALprintBlock">printBlock</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print a block given a pretty printer. </div> </td></tr> <tr><td><a href="Cfg.html#VALprintCfgChannel">printCfgChannel</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> print control flow graph (in dot form) for fundec to channel </div> </td></tr> <tr><td><a href="Cfg.html#VALprintCfgFilename">printCfgFilename</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> Print control flow graph (in dot form) for fundec to file </div> </td></tr> <tr><td><a href="Cil.html#VALprintCilAsIs">printCilAsIs</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether to print the CIL as they are, without trying to be smart and print nicer code. </div> </td></tr> <tr><td><a href="Pretty.html#VALprintDepth">printDepth</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Specifies the nesting depth of the <code class="code">align</code>/<code class="code">unalign</code> pairs at which everything is replaced with ellipsis </div> </td></tr> <tr><td><a href="Cil.html#VALprintExp">printExp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print an expression given a pretty printer </div> </td></tr> <tr><td><a href="Cil.html#VALprintGlobal">printGlobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print a global given a pretty printer </div> </td></tr> <tr><td><a href="Pretty.html#VALprintIndent">printIndent</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> If false then does not indent </div> </td></tr> <tr><td><a href="Cil.html#VALprintInit">printInit</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print an initializer given a pretty printer. </div> </td></tr> <tr><td><a href="Cil.html#VALprintInstr">printInstr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print an instruction given a pretty printer </div> </td></tr> <tr><td><a href="Cil.html#VALprintLval">printLval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print an lvalue given a pretty printer </div> </td></tr> <tr><td><a href="Cil.html#VALprintStmt">printStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print a statement given a pretty printer. </div> </td></tr> <tr><td><a href="Cil.html#VALprintType">printType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Print a type given a pretty printer </div> </td></tr> <tr><td><a href="Cil.html#VALprint_CIL_Input">print_CIL_Input</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether we print something that will only be used as input to our own parser. </div> </td></tr> <tr><td><a href="Cil.html#VALprinterForMaincil">printerForMaincil</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> zra: This is the pretty printer that Maincil will use. </div> </td></tr> <tr><td><a href="Pretty.html#VALprintf">printf</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Like <a href="Pretty.html#VALfprintf"><code class="code">Pretty.fprintf</code></a> applied to <code class="code">stdout</code> </div> </td></tr> <tr><td><a href="Errormsg.html#VALpurpleEscStr">purpleEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALpushContext">pushContext</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Registers a context printing function </div> </td></tr> <tr><td><a href="Cil.html#VALpushGlobal">pushGlobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> CIL keeps the types at the beginning of the file and the variables at the end of the file. </div> </td></tr> <tr><td align="left"><br>R</td></tr> <tr><td><a href="Errormsg.html#VALreadingFromStdin">readingFromStdin</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Records whether the stdin is open for reading the goal * </div> </td></tr> <tr><td><a href="Pretty.html#VALreal">real</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that prints a real number </div> </td></tr> <tr><td><a href="Errormsg.html#VALredEscStr">redEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Alpha.html#VALregisterAlphaName">registerAlphaName</a> [<a href="Alpha.html">Alpha</a>]</td> <td><div class="info"> Register a name with an alpha conversion table to ensure that when later we call newAlphaName we do not end up generating this one </div> </td></tr> <tr><td><a href="Cil.html#VALremoveOffset">removeOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Remove ONE offset from the end of an offset sequence. </div> </td></tr> <tr><td><a href="Cil.html#VALremoveOffsetLval">removeOffsetLval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Remove ONE offset from the end of an lvalue. </div> </td></tr> <tr><td><a href="Stats.html#VALrepeattime">repeattime</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> repeattime is like time but runs the function several times until the total running time is greater or equal to the first argument. </div> </td></tr> <tr><td><a href="Stats.html#VALreset">reset</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Resets all the timings and specifies the method to use for future timings. </div> </td></tr> <tr><td><a href="Errormsg.html#VALresetEscStr">resetEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Clist.html#VALrev">rev</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Reverse a clist. </div> </td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="Errormsg.html#VALs">s</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Stop the execution by raising an Error. </div> </td></tr> <tr><td><a href="Stats.html#VALsample_pentium_perfcount_10">sample_pentium_perfcount_10</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Sample the current cycle count, in kilocycles. </div> </td></tr> <tr><td><a href="Stats.html#VALsample_pentium_perfcount_20">sample_pentium_perfcount_20</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Sample the current cycle count, in megacycles. </div> </td></tr> <tr><td><a href="Cil.html#VALsaveBinaryFile">saveBinaryFile</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Write a <a href="Cil.html#TYPEfile"><code class="code">Cil.file</code></a> in binary form to the filesystem. </div> </td></tr> <tr><td><a href="Cil.html#VALsaveBinaryFileChannel">saveBinaryFileChannel</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Write a <a href="Cil.html#TYPEfile"><code class="code">Cil.file</code></a> in binary form to the filesystem. </div> </td></tr> <tr><td><a href="Cil.html#VALseparateStorageModifiers">separateStorageModifiers</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Separate out the storage-modifier name attributes </div> </td></tr> <tr><td><a href="Pretty.html#VALseq">seq</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Formats a sequence. </div> </td></tr> <tr><td><a href="Errormsg.html#VALsetCurrentFile">setCurrentFile</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALsetCurrentLine">setCurrentLine</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALsetFormals">setFormals</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Update the formals of a <code class="code">fundec</code> and make sure that the function type has the same information. </div> </td></tr> <tr><td><a href="Cil.html#VALsetFunctionType">setFunctionType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Set the types of arguments and results as given by the function type passed as the second argument. </div> </td></tr> <tr><td><a href="Cil.html#VALsetFunctionTypeMakeFormals">setFunctionTypeMakeFormals</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Set the type of the function and make formal arguments for them </div> </td></tr> <tr><td><a href="Errormsg.html#VALsetHFile">setHFile</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALsetHLine">setHLine</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALsetMaxId">setMaxId</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Update the smaxid after you have populated with locals and formals (unless you constructed those using <a href="Cil.html#VALmakeLocalVar"><code class="code">Cil.makeLocalVar</code></a> or <a href="Cil.html#VALmakeTempVar"><code class="code">Cil.makeTempVar</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#VALsetTypeAttrs">setTypeAttrs</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALsetTypeSigAttrs">setTypeSigAttrs</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Replace the attributes of a signature (only at top level) </div> </td></tr> <tr><td><a href="Errormsg.html#VALshowContext">showContext</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Show the context stack to stderr </div> </td></tr> <tr><td><a href="Clist.html#VALsingle">single</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Create a clist containing one element </div> </td></tr> <tr><td><a href="Cil.html#VALsizeOf">sizeOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> The size of a type, in bytes. </div> </td></tr> <tr><td><a href="Cil.html#VALsplitFunctionType">splitFunctionType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Given a function type split it into return type, arguments, is_vararg and attributes. </div> </td></tr> <tr><td><a href="Cil.html#VALsplitFunctionTypeVI">splitFunctionTypeVI</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Pretty.html#VALsprint">sprint</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Format the document to the given width and emit it as a string </div> </td></tr> <tr><td><a href="Errormsg.html#VALstartParsing">startParsing</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALstartParsingFromString">startParsingFromString</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cfg.html#VALstart_id">start_id</a> [<a href="Cfg.html">Cfg</a>]</td> <td><div class="info"> Next statement id that will be assigned. </div> </td></tr> <tr><td><a href="Cil.html#VALstartsWith">startsWith</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> sm: return true if the first is a prefix of the second string </div> </td></tr> <tr><td><a href="Dataflow.BackwardsTransfer.html#VALstmtStartData">stmtStartData</a> [<a href="Dataflow.BackwardsTransfer.html">Dataflow.BackwardsTransfer</a>]</td> <td><div class="info"> For each block id, the data at the start. </div> </td></tr> <tr><td><a href="Dataflow.ForwardsTransfer.html#VALstmtStartData">stmtStartData</a> [<a href="Dataflow.ForwardsTransfer.html">Dataflow.ForwardsTransfer</a>]</td> <td><div class="info"> For each statement id, the data at the start. </div> </td></tr> <tr><td><a href="Cil.html#VALstripCasts">stripCasts</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Removes casts from this expression, but ignores casts within other expression constructs. </div> </td></tr> <tr><td><a href="Cil.html#VALstripUnderscores">stripUnderscores</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> If string has leading and trailing __, strip them. </div> </td></tr> <tr><td align="left"><br>T</td></tr> <tr><td><a href="Formatcil.html#VALtest">test</a> [<a href="Formatcil.html">Formatcil</a>]</td> <td><div class="info"> Just a testing function </div> </td></tr> <tr><td><a href="Pretty.html#VALtext">text</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> A document that prints the given string </div> </td></tr> <tr><td><a href="Stats.html#VALtime">time</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Time a function and associate the time with the given string. </div> </td></tr> <tr><td><a href="Stats.html#VALtimethis">timethis</a> [<a href="Stats.html">Stats</a>]</td> <td><div class="info"> Time a function and set lastTime to the time it took </div> </td></tr> <tr><td><a href="Clist.html#VALtoList">toList</a> [<a href="Clist.html">Clist</a>]</td> <td><div class="info"> Convert a clist to an ordinary list </div> </td></tr> <tr><td><a href="Cil.html#VALtruncateInteger64">truncateInteger64</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Represents an integer as for a given kind. </div> </td></tr> <tr><td><a href="Cil.html#VALtypeAddAttributes">typeAddAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Add some attributes to a type </div> </td></tr> <tr><td><a href="Cil.html#VALtypeAttrs">typeAttrs</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Returns all the attributes contained in a type. </div> </td></tr> <tr><td><a href="Cil.html#VALtypeOf">typeOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Compute the type of an expression </div> </td></tr> <tr><td><a href="Cil.html#VALtypeOfLval">typeOfLval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Compute the type of an lvalue </div> </td></tr> <tr><td><a href="Cil.html#VALtypeOfSizeOf">typeOfSizeOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> An unsigned integer type that is the type of sizeof. </div> </td></tr> <tr><td><a href="Cil.html#VALtypeOffset">typeOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Compute the type of an offset from a base type </div> </td></tr> <tr><td><a href="Cil.html#VALtypeRemoveAttributes">typeRemoveAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Remove all attributes with the given names from a type. </div> </td></tr> <tr><td><a href="Cil.html#VALtypeSig">typeSig</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Compute a type signature </div> </td></tr> <tr><td><a href="Cil.html#VALtypeSigAttrs">typeSigAttrs</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Get the top-level attributes of a signature </div> </td></tr> <tr><td><a href="Cil.html#VALtypeSigWithAttrs">typeSigWithAttrs</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Cil.html#VALtypeSig"><code class="code">Cil.typeSig</code></a> but customize the incorporation of attributes. </div> </td></tr> <tr><td align="left"><br>U</td></tr> <tr><td><a href="Cil.html#VALuintPtrType">uintPtrType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> unsigned int * </div> </td></tr> <tr><td><a href="Cil.html#VALuintType">uintType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> unsigned int </div> </td></tr> <tr><td><a href="Cil.html#VALulongType">ulongType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> unsigned long </div> </td></tr> <tr><td><a href="Pretty.html#VALunalign">unalign</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Reverts to the last saved indentation level. </div> </td></tr> <tr><td><a href="Cil.html#VALunderscore_name">underscore_name</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether the compiler generates assembly labels by prepending "_" to the identifier. </div> </td></tr> <tr><td><a href="Alpha.html#VALundoAlphaChanges">undoAlphaChanges</a> [<a href="Alpha.html">Alpha</a>]</td> <td><div class="info"> Undo the changes to a table </div> </td></tr> <tr><td><a href="Cil.html#VALunimp">unimp</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALunimp"><code class="code">Errormsg.unimp</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a>is also printed </div> </td></tr> <tr><td><a href="Errormsg.html#VALunimp">unimp</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Similar to <code class="code">error</code> except that its output has the form <code class="code">Unimplemented: ...</code> </div> </td></tr> <tr><td><a href="Cil.html#VALuniqueVarNames">uniqueVarNames</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Assign unique names to local variables. </div> </td></tr> <tr><td><a href="Pretty.html#VALunmark">unmark</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> The end of a markup section </div> </td></tr> <tr><td><a href="Cil.html#VALunrollType">unrollType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Unroll a type until it exposes a non <code class="code">TNamed</code>. </div> </td></tr> <tr><td><a href="Cil.html#VALunrollTypeDeep">unrollTypeDeep</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Unroll all the TNamed in a type (even under type constructors such as <code class="code">TPtr</code>, <code class="code">TFun</code> or <code class="code">TArray</code>. </div> </td></tr> <tr><td><a href="Cil.html#VALunsignedVersionOf">unsignedVersionOf</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Give the unsigned kind corresponding to any integer kind </div> </td></tr> <tr><td><a href="Cil.html#VALupointType">upointType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> An unsigned integer type that fits pointers. </div> </td></tr> <tr><td><a href="Cil.html#VALuseLogicalOperators">useLogicalOperators</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Whether to use the logical operands LAnd and LOr. </div> </td></tr> <tr><td align="left"><br>V</td></tr> <tr><td><a href="Cil.html#VALvar">var</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Makes an lvalue out of a given variable </div> </td></tr> <tr><td><a href="Errormsg.html#VALverboseFlag">verboseFlag</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALvisitCilAttributes">visitCilAttributes</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a list of attributes </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilBlock">visitCilBlock</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a block </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilExpr">visitCilExpr</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Cil.html#VALvisitCilFile">visitCilFile</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a file. </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilFileSameGlobals">visitCilFileSameGlobals</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> A visitor for the whole file that does not change the globals (but maybe changes things inside the globals). </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilFunction">visitCilFunction</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a function definition </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilGlobal">visitCilGlobal</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a global </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilInit">visitCilInit</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit an initializer, pass also the global to which this belongs and the offset. </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilInitOffset">visitCilInitOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit an initializer offset </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilInstr">visitCilInstr</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit an instruction </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilLval">visitCilLval</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit an lvalue </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilOffset">visitCilOffset</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit an lvalue or recursive offset </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilStmt">visitCilStmt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a statement </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilType">visitCilType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a type </div> </td></tr> <tr><td><a href="Cil.html#VALvisitCilVarDecl">visitCilVarDecl</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Visit a variable declaration </div> </td></tr> <tr><td><a href="Cil.html#VALvoidPtrType">voidPtrType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> void * </div> </td></tr> <tr><td><a href="Cil.html#VALvoidType">voidType</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> void </div> </td></tr> <tr><td align="left"><br>W</td></tr> <tr><td><a href="Cil.html#VALwarn">warn</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALwarn"><code class="code">Errormsg.warn</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> is also printed </div> </td></tr> <tr><td><a href="Errormsg.html#VALwarn">warn</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALerror"><code class="code">Errormsg.error</code></a> but does not raise the <a href="Errormsg.html#EXCEPTIONError"><code class="code">Errormsg.Error</code></a> exception. </div> </td></tr> <tr><td><a href="Cil.html#VALwarnContext">warnContext</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALwarn"><code class="code">Errormsg.warn</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> and context is also printed </div> </td></tr> <tr><td><a href="Cil.html#VALwarnContextOpt">warnContextOpt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALwarn"><code class="code">Errormsg.warn</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> and context is also printed. </div> </td></tr> <tr><td><a href="Errormsg.html#VALwarnFlag">warnFlag</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Set to true if you want to see all warnings. </div> </td></tr> <tr><td><a href="Cil.html#VALwarnLoc">warnLoc</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Cil.html#VALwarn"><code class="code">Cil.warn</code></a> except that it explicitly takes a location argument, instead of using the <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> </div> </td></tr> <tr><td><a href="Cil.html#VALwarnOpt">warnOpt</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALwarnOpt"><code class="code">Errormsg.warnOpt</code></a> except that <a href="Cil.html#VALcurrentLoc"><code class="code">Cil.currentLoc</code></a> is also printed. </div> </td></tr> <tr><td><a href="Errormsg.html#VALwarnOpt">warnOpt</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> Like <a href="Errormsg.html#VALwarn"><code class="code">Errormsg.warn</code></a> but optional. </div> </td></tr> <tr><td><a href="Cil.html#VALwarnTruncate">warnTruncate</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> Emit warnings when truncating integer constants (default true) </div> </td></tr> <tr><td><a href="Cil.html#VALwcharKind">wcharKind</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> wchar_t (depends on architecture) and is set when you call <a href="Cil.html#VALinitCIL"><code class="code">Cil.initCIL</code></a>. </div> </td></tr> <tr><td><a href="Cil.html#VALwcharType">wcharType</a> [<a href="Cil.html">Cil</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALwhiteEscStr">whiteEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td><a href="Errormsg.html#VALwithContext">withContext</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td><div class="info"> To ensure that the context is registered and removed properly, use the function below </div> </td></tr> <tr><td><a href="Pretty.html#VALwithPrintDepth">withPrintDepth</a> [<a href="Pretty.html">Pretty</a>]</td> <td><div class="info"> Invokes a thunk, with printDepth temporarily set to the specified value </div> </td></tr> <tr><td align="left"><br>Y</td></tr> <tr><td><a href="Errormsg.html#VALyellowEscStr">yellowEscStr</a> [<a href="Errormsg.html">Errormsg</a>]</td> <td></td></tr> <tr><td align="left"><br>Z</td></tr> <tr><td><a href="Cil.html#VALzero">zero</a> [<a href="Cil.html">Cil</a>]</td> <td><div class="info"> 0 </div> </td></tr> </table><br> </body> </html>