class visitor :
object
.. end
Inherits
val database : Database.data
val mutable caller : Cil_datatype.Logic_info.t option
val mutable axiomatic : axiomatic option
val mutable inductive : inductive_case option
val mutable toplevel : int
method private section : logic_section
method private do_var : Cil_datatype.Varinfo.Set.elt -> unit
method private do_lvar : Cil_types.logic_var -> unit
method private do_call : Cil_datatype.Logic_info.t ->
(Cil_types.logic_label * Cil_types.logic_label) list -> unit
method private do_case : Cil_types.logic_info ->
string * Cil_types.logic_label list * string list *
Cil_types.predicate Cil_types.named -> inductive_case
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vterm_node : Cil_types.term_node -> Cil_types.term_node Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction
method vannotation : Cil_types.global_annotation -> Cil_types.global_annotation Cil.visitAction
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction