package goblint-cil
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=5577007bfac63c3f0609abdb74119fe674c9bc8529d790e90ef73a85964aa07a
sha512=f1a393fa92614ceaf857bec4df474d3e152c578d0ab5fdf791e9129668861ccaa37efae2f18aa539965d6c2ed4dabb47b4a5262aab55112e181935def06f18da
doc/goblint-cil.zrapp/Zrapp/class-zraCilPrinterClass/index.html
Class Zrapp.zraCilPrinterClassSource
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.
Invoked on each lvalue occurrence
Invoked on each offset occurrence. The second argument is the base.
Invoked on each instruction occurrence.
Control-flow statement. This is used by printGlobal and by dumpGlobal.
method dStmt : out_channel -> int -> GoblintCil.Cil.stmt -> unitDump a control-flow statement to a file with a given indentation. This is used by dumpGlobal.
method dBlock : out_channel -> int -> GoblintCil.Cil.block -> unitDump a control-flow block to a file with a given indentation. This is used by dumpGlobal.
Global (vars, types, etc.). This can be slow and is used only by printGlobal but not by dumpGlobal.
method dGlobal : out_channel -> GoblintCil.Cil.global -> unitDump a global to a file with a given indentation. This is used by dumpGlobal
method pType : GoblintCil__.Pretty.doc option ->
unit ->
GoblintCil.Cil.typ ->
GoblintCil__.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.
Attribute. Also return an indication whether this attribute must be printed inside the __attribute__ list or not.
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 : GoblintCil.Cil.stmt ->
unit ->
GoblintCil.Cil.stmtkind ->
GoblintCil__.Pretty.docPrint a statement kind. The code to be printed is given in the stmtkind argument. The initial stmt argument records the statement which follows the one being printed; defaultCilPrinterClass uses this information to prettify statement printing in certain special cases.
Print initializers. This can be slow and is used by printGlobal but not by dumpGlobal.
method dInit : out_channel -> int -> GoblintCil.Cil.init -> unitDump a global to a file with a given indentation. This is used by dumpGlobal