Up – Package index » goblint » Library goblint.lib » Cilfacade » addConstructors

Class `Cilfacade.addConstructors`

inherit Cil.nopCilVisitor

val mutable cons1 : Cil.fundec list

method vfunc : Cil.fundec -> Cil.fundec Cil.visitAction

method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction

method vvdec : Cil.varinfo -> Cil.varinfo Cil.visitAction

method vexpr : Cil.exp -> Cil.exp Cil.visitAction

method vlval : Cil.lval -> Cil.lval Cil.visitAction

method vtype : Cil.typ -> Cil.typ Cil.visitAction