Ana.nopCilVisitormethod queueInstr : instr list -> unitmethod unqueueInstr : unit -> instr listmethod vattr : attribute -> attribute list visitActionmethod vattrparam : attrparam -> attrparam visitActionmethod vblock : block -> block visitActionmethod vexpr : exp -> exp visitActionmethod vfunc : fundec -> fundec visitActionmethod vglob : global -> global list visitActionmethod vinit : varinfo -> offset -> init -> init visitActionmethod vinitoffs : offset -> offset visitActionmethod vinst : instr -> instr list visitActionmethod vlval : lval -> lval visitActionmethod voffs : offset -> offset visitActionmethod vstmt : stmt -> stmt visitActionmethod vtype : typ -> typ visitActionmethod vvdec : varinfo -> varinfo visitActionmethod vvrbl : varinfo -> varinfo visitAction