Class Rmciltmps.defCollectorClass

class defCollectorClass : object .. end
Inherits
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction