package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method queueInstr : instr list -> unit
method unqueueInstr : unit -> instr list
method vattr : attribute -> attribute list visitAction
method vattrparam : attrparam -> attrparam visitAction
method vblock : block -> block visitAction
method vexpr : exp -> exp visitAction
method vfunc : fundec -> fundec visitAction
method vglob : global -> global list visitAction
method vinit : varinfo -> offset -> init -> init visitAction
method vinitoffs : offset -> offset visitAction
method vinst : instr -> instr list visitAction
method vlval : lval -> lval visitAction
method voffs : offset -> offset visitAction
method vstmt : stmt -> stmt visitAction
method vtype : typ -> typ visitAction
method vvdec : varinfo -> varinfo visitAction
method vvrbl : varinfo -> varinfo visitAction