Up – Package index » goblint-cil » Library goblint-cil.makecfg » MakeCFG » callBBVisitor

Class `MakeCFG.callBBVisitor`Source

inherit Cil.nopCilVisitor

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