Class Availexpslv.aeVisitorClass


class aeVisitorClass : object .. end
Inherits
val mutable sid : int
val mutable ae_dat_lst : AvailableExps.StmtStartData.data list
val mutable cur_ae_dat : AvailableExps.StmtStartData.data 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