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

Class `Cilfacade.allBBVisitor`

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