package goblint-cil
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89
sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2
doc/goblint-cil.zrapp/Zrapp/class-zraCilPrinterClass/index.html
Class Zrapp.zraCilPrinterClassSource
method setCurrentFormals : Cil.varinfo list -> unitmethod pVDecl : unit -> Cil.varinfo -> Pretty.docInvoked 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 : Cil.varinfo -> Pretty.docInvoked on each variable use.
method pLval : unit -> Cil.lval -> Pretty.docInvoked on each lvalue occurrence
method pOffset : Pretty.doc -> Cil.offset -> Pretty.docInvoked on each offset occurrence. The second argument is the base.
method pInstr : unit -> Cil.instr -> Pretty.docInvoked on each instruction occurrence.
method pLabel : unit -> Cil.label -> Pretty.docPrint a label.
method pStmt : unit -> Cil.stmt -> Pretty.docControl-flow statement. This is used by * Cil.printGlobal and by Cil.dumpGlobal.
method dStmt : out_channel -> int -> Cil.stmt -> unitDump a control-flow statement to a file with a given indentation. * This is used by Cil.dumpGlobal.
method dBlock : out_channel -> int -> Cil.block -> unitDump a control-flow block to a file with a given indentation. * This is used by Cil.dumpGlobal.
method pBlock : unit -> Cil.block -> Pretty.docPrint a block.
method pGlobal : unit -> Cil.global -> Pretty.docGlobal (vars, types, etc.). This can be slow and is used only by * Cil.printGlobal but not by Cil.dumpGlobal.
method dGlobal : out_channel -> Cil.global -> unitDump a global to a file with a given indentation. This is used by * Cil.dumpGlobal
method pFieldDecl : unit -> Cil.fieldinfo -> Pretty.docA field declaration
method pType : Pretty.doc option -> unit -> Cil.typ -> Pretty.docUse of some type in some declaration. The first argument is used to print * the declared element, or is None if we are just printing a type with no * name being declared. Note that for structure/union and enumeration types * the definition of the composite type is not visited. Use vglob to * visit it.
method pAttr : Cil.attribute -> Pretty.doc * boolAttribute. Also return an indication whether this attribute must be * printed inside the __attribute__ list or not.
method pAttrParam : unit -> Cil.attrparam -> Pretty.docAttribute parameter
method pAttrs : unit -> Cil.attributes -> Pretty.docAttribute lists
method pLineDirective : ?forcefile:bool -> Cil.location -> Pretty.docPrint 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 : Cil.stmt -> unit -> Cil.stmtkind -> Pretty.docPrint 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 -> Cil.exp -> Pretty.docPrint expressions
method pInit : unit -> Cil.init -> Pretty.docPrint initializers. This can be slow and is used by * Cil.printGlobal but not by Cil.dumpGlobal.
method dInit : out_channel -> int -> Cil.init -> unitDump a global to a file with a given indentation. This is used by * Cil.dumpGlobal