class aeVisitorClass :Inheritsobject
..end
val mutable ae_dat_lst : Cil_types.exp LvExpHash.t list
val mutable cur_ae_dat : Cil_types.exp LvExpHash.t option
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method get_cur_eh : unit -> AvailableExps.StmtStartData.data option