class visitor :object
..end
Visitor for managing the root of the AST, on the globals level, with the
cases that are relevant to E-ACSL. Each case is handled by a method of
the visitor. The cases are similar, and similarly named as the ones of
the function case_globals
.
method private default : unit -> Cil_types.global list Cil.visitAction
method builtin : Cil_types.varinfo -> Cil_types.global list Cil.visitAction
method fc_compiler_builtin : Cil_types.varinfo -> Cil_types.global list Cil.visitAction
method rtl_symbol : Cil_types.global -> Cil_types.global list Cil.visitAction
method fc_stdlib_generated : Cil_types.varinfo -> Cil_types.global list Cil.visitAction
method var_fun_decl : Cil_types.varinfo -> Cil_types.global list Cil.visitAction
method var_init : Cil_types.varinfo -> Cil_types.global list Cil.visitAction
method var_def : Cil_types.varinfo -> Cil_types.init -> Cil_types.global list Cil.visitAction
method fun_def : Cil_types.fundec -> Cil_types.global list Cil.visitAction