Class E_acsl_visitor.visitor

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.

Inherits
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