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

Class `Cilfacade.countFnVisitor`

Visitor to count locs appearing inside a fundec.

inherit Cil.nopCilVisitor

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

method vinst : Cil.instr -> Cil.instr list 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