diff options
Diffstat (limited to 'cil/doc/api/Errormsg.html')
-rw-r--r-- | cil/doc/api/Errormsg.html | 141 |
1 files changed, 0 insertions, 141 deletions
diff --git a/cil/doc/api/Errormsg.html b/cil/doc/api/Errormsg.html deleted file mode 100644 index bc194728..00000000 --- a/cil/doc/api/Errormsg.html +++ /dev/null @@ -1,141 +0,0 @@ -<html> -<head> -<link rel="stylesheet" href="style.css" type="text/css"> -<link rel="Start" href="index.html"> -<link rel="previous" href="Pretty.html"> -<link rel="next" href="Clist.html"> -<link rel="Up" 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) : Errormsg</title> -</head> -<body> -<div class="navbar"><a href="Pretty.html">Previous</a> - <a href="index.html">Up</a> - <a href="Clist.html">Next</a> -</div> -<center><h1>Module <a href="type_Errormsg.html">Errormsg</a></h1></center> -<br> -<pre><span class="keyword">module</span> Errormsg: <code class="code">sig</code> <a href="Errormsg.html">..</a> <code class="code">end</code></pre>Utility functions for error-reporting<br> -<hr width="100%"> -<pre><span class="keyword">val</span> <a name="VALlogChannel"></a>logChannel : <code class="type">Pervasives.out_channel Pervasives.ref</code></pre><div class="info"> -A channel for printing log messages<br> -</div> -<pre><span class="keyword">val</span> <a name="VALdebugFlag"></a>debugFlag : <code class="type">bool Pervasives.ref</code></pre><div class="info"> -If set then print debugging info<br> -</div> -<pre><span class="keyword">val</span> <a name="VALverboseFlag"></a>verboseFlag : <code class="type">bool Pervasives.ref</code></pre><pre><span class="keyword">val</span> <a name="VALwarnFlag"></a>warnFlag : <code class="type">bool Pervasives.ref</code></pre><div class="info"> -Set to true if you want to see all warnings.<br> -</div> -<pre><span class="keyword">exception</span> <a name="EXCEPTIONError"></a>Error</pre> -<div class="info"> -Error reporting functions raise this exception<br> -</div> -<pre><span class="keyword">val</span> <a name="VALerror"></a>error : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -Prints an error message of the form <code class="code">Error: ...</code>. - Use in conjunction with s, for example: <code class="code">E.s (E.error ... )</code>.<br> -</div> -<pre><span class="keyword">val</span> <a name="VALbug"></a>bug : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -Similar to <code class="code">error</code> except that its output has the form <code class="code">Bug: ...</code><br> -</div> -<pre><span class="keyword">val</span> <a name="VALunimp"></a>unimp : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -Similar to <code class="code">error</code> except that its output has the form <code class="code">Unimplemented: ...</code><br> -</div> -<pre><span class="keyword">val</span> <a name="VALs"></a>s : <code class="type">'a -> 'b</code></pre><div class="info"> -Stop the execution by raising an Error.<br> -</div> -<pre><span class="keyword">val</span> <a name="VALhadErrors"></a>hadErrors : <code class="type">bool Pervasives.ref</code></pre><div class="info"> -This is set whenever one of the above error functions are called. It must - be cleared manually<br> -</div> -<pre><span class="keyword">val</span> <a name="VALwarn"></a>warn : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><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. Return type is unit.<br> -</div> -<pre><span class="keyword">val</span> <a name="VALwarnOpt"></a>warnOpt : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -Like <a href="Errormsg.html#VALwarn"><code class="code">Errormsg.warn</code></a> but optional. Printed only if the - <a href="Errormsg.html#VALwarnFlag"><code class="code">Errormsg.warnFlag</code></a> is set<br> -</div> -<pre><span class="keyword">val</span> <a name="VALlog"></a>log : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -Print something to <code class="code">logChannel</code><br> -</div> -<pre><span class="keyword">val</span> <a name="VALlogg"></a>logg : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -same as <a href="Errormsg.html#VALlog"><code class="code">Errormsg.log</code></a> but do not wrap lines<br> -</div> -<pre><span class="keyword">val</span> <a name="VALnull"></a>null : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info"> -Do not actually print (i.e. print to /dev/null)<br> -</div> -<pre><span class="keyword">val</span> <a name="VALpushContext"></a>pushContext : <code class="type">(unit -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a>) -> unit</code></pre><div class="info"> -Registers a context printing function<br> -</div> -<pre><span class="keyword">val</span> <a name="VALpopContext"></a>popContext : <code class="type">unit -> unit</code></pre><div class="info"> -Removes the last registered context printing function<br> -</div> -<pre><span class="keyword">val</span> <a name="VALshowContext"></a>showContext : <code class="type">unit -> unit</code></pre><div class="info"> -Show the context stack to stderr<br> -</div> -<pre><span class="keyword">val</span> <a name="VALwithContext"></a>withContext : <code class="type">(unit -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a>) -> ('a -> 'b) -> 'a -> 'b</code></pre><div class="info"> -To ensure that the context is registered and removed properly, use the - function below<br> -</div> -<pre><span class="keyword">val</span> <a name="VALnewline"></a>newline : <code class="type">unit -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALnewHline"></a>newHline : <code class="type">unit -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALgetPosition"></a>getPosition : <code class="type">unit -> int * string * int</code></pre><pre><span class="keyword">val</span> <a name="VALgetHPosition"></a>getHPosition : <code class="type">unit -> int * string</code></pre><div class="info"> -high-level position<br> -</div> -<pre><span class="keyword">val</span> <a name="VALsetHLine"></a>setHLine : <code class="type">int -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALsetHFile"></a>setHFile : <code class="type">string -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALsetCurrentLine"></a>setCurrentLine : <code class="type">int -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALsetCurrentFile"></a>setCurrentFile : <code class="type">string -> unit</code></pre><br><code><span class="keyword">type</span> <a name="TYPElocation"></a><code class="type"></code>location = {</code><table class="typetable"> -<tr> -<td align="left" valign="top" > -<code> </code></td> -<td align="left" valign="top" > -<code>file : <code class="type">string</code>;</code></td> -<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><code>The file name</code></td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> -</tr> -<tr> -<td align="left" valign="top" > -<code> </code></td> -<td align="left" valign="top" > -<code>line : <code class="type">int</code>;</code></td> -<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><code>The line number</code></td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> -</tr> -<tr> -<td align="left" valign="top" > -<code> </code></td> -<td align="left" valign="top" > -<code>hfile : <code class="type">string</code>;</code></td> -<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><code>The high-level file name, or "" if not present</code></td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> -</tr> -<tr> -<td align="left" valign="top" > -<code> </code></td> -<td align="left" valign="top" > -<code>hline : <code class="type">int</code>;</code></td> -<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><code>The high-level line number, or 0 if not present</code></td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> -</tr></table> -} - -<div class="info"> -Type for source-file locations<br> -</div> - -<pre><span class="keyword">val</span> <a name="VALd_loc"></a>d_loc : <code class="type">unit -> <a href="Errormsg.html#TYPElocation">location</a> -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a></code></pre><pre><span class="keyword">val</span> <a name="VALd_hloc"></a>d_hloc : <code class="type">unit -> <a href="Errormsg.html#TYPElocation">location</a> -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a></code></pre><pre><span class="keyword">val</span> <a name="VALgetLocation"></a>getLocation : <code class="type">unit -> <a href="Errormsg.html#TYPElocation">location</a></code></pre><pre><span class="keyword">val</span> <a name="VALparse_error"></a>parse_error : <code class="type">string -> 'a</code></pre><pre><span class="keyword">val</span> <a name="VALlocUnknown"></a>locUnknown : <code class="type"><a href="Errormsg.html#TYPElocation">location</a></code></pre><div class="info"> -An unknown location for use when you need one but you don't have one<br> -</div> -<pre><span class="keyword">val</span> <a name="VALreadingFromStdin"></a>readingFromStdin : <code class="type">bool Pervasives.ref</code></pre><div class="info"> -Records whether the stdin is open for reading the goal *<br> -</div> -<pre><span class="keyword">val</span> <a name="VALstartParsing"></a>startParsing : <code class="type">?useBasename:bool -> string -> Lexing.lexbuf</code></pre><pre><span class="keyword">val</span> <a name="VALstartParsingFromString"></a>startParsingFromString : <code class="type">?file:string -> ?line:int -> string -> Lexing.lexbuf</code></pre><pre><span class="keyword">val</span> <a name="VALfinishParsing"></a>finishParsing : <code class="type">unit -> unit</code></pre></body></html>
\ No newline at end of file |