From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Cil.cilPrinter.html | 118 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 118 insertions(+) create mode 100644 cil/doc/api/Cil.cilPrinter.html (limited to 'cil/doc/api/Cil.cilPrinter.html') diff --git a/cil/doc/api/Cil.cilPrinter.html b/cil/doc/api/Cil.cilPrinter.html new file mode 100644 index 00000000..1b9511f6 --- /dev/null +++ b/cil/doc/api/Cil.cilPrinter.html @@ -0,0 +1,118 @@ + + + + + + + + + + + + + + + + + + + + + + + + +CIL API Documentation (version 1.3.5) : Cil.cilPrinter + + + +

Class type Cil.cilPrinter

+
+

class type cilPrinter = object .. end

A printer interface for CIL trees. Create instantiations of + this type by specializing the class Cil.defaultCilPrinterClass.
+

method pVDecl : unit -> varinfo -> Pretty.doc

+Invoked for each variable declaration. Note that variable + declarations are all the GVar, GVarDecl, GFun, all the varinfo + in formals of function types, and the formals and locals for function + definitions.
+

method pVar : varinfo -> Pretty.doc

+Invoked on each variable use.
+

method pLval : unit -> lval -> Pretty.doc

+Invoked on each lvalue occurrence
+

method pOffset : Pretty.doc -> offset -> Pretty.doc

+Invoked on each offset occurrence. The second argument is the base.
+

method pInstr : unit -> instr -> Pretty.doc

+Invoked on each instruction occurrence.
+

method pLabel : unit -> label -> Pretty.doc

+Print a label.
+

method pStmt : unit -> stmt -> Pretty.doc

+Control-flow statement. This is used by + Cil.printGlobal and by Cil.dumpGlobal.
+

method dStmt : Pervasives.out_channel -> int -> stmt -> unit

+Dump a control-flow statement to a file with a given indentation. + This is used by Cil.dumpGlobal.
+

method dBlock : Pervasives.out_channel -> int -> block -> unit

+Dump a control-flow block to a file with a given indentation. + This is used by Cil.dumpGlobal.
+

method pBlock : unit -> block -> Pretty.doc

method pBlock : unit -> block -> Pretty.doc

+Print a block.
+

method pGlobal : unit -> global -> Pretty.doc

+Global (vars, types, etc.). This can be slow and is used only by + Cil.printGlobal but not by Cil.dumpGlobal.
+

method dGlobal : Pervasives.out_channel -> global -> unit

+Dump a global to a file with a given indentation. This is used by + Cil.dumpGlobal
+

method pFieldDecl : unit -> fieldinfo -> Pretty.doc

+A field declaration
+

method pType : Pretty.doc option -> unit -> typ -> Pretty.doc

method pAttr : attribute -> Pretty.doc * bool

+Attribute. Also return an indication whether this attribute must be + printed inside the __attribute__ list or not.
+

method pAttrParam : unit -> attrparam -> Pretty.doc

+Attribute parameter
+

method pAttrs : unit -> attributes -> Pretty.doc

+Attribute lists
+

method pLineDirective : ?forcefile:bool -> location -> Pretty.doc

+Print a line-number. This is assumed to come always on an empty line. + If the forcefile argument is present and is true then the file name + will be printed always. Otherwise the file name is printed only if it + is different from the last time time this function is called. The last + file name is stored in a private field inside the cilPrinter object.
+

method pStmtKind : stmt -> unit -> stmtkind -> Pretty.doc

+Print a statement kind. The code to be printed is given in the + Cil.stmtkind argument. The initial Cil.stmt argument + records the statement which follows the one being printed; + Cil.defaultCilPrinterClass uses this information to prettify + statement printing in certain special cases.
+

method pExp : unit -> exp -> Pretty.doc

+Print expressions
+

method pInit : unit -> init -> Pretty.doc

+Print initializers. This can be slow and is used by + Cil.printGlobal but not by Cil.dumpGlobal.
+

method dInit : Pervasives.out_channel -> int -> init -> unit

+Dump a global to a file with a given indentation. This is used by + Cil.dumpGlobal
+

+ \ No newline at end of file -- cgit