(* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
+class type g_status =
+ object
+ inherit NCicCoercion.g_status
+ inherit NCicLibrary.g_status
+ end
+
class status =
object (self)
inherit NCicCoercion.status
inherit NCicLibrary.status
- method set_rstatus
- : 'status.
- < coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- timestamp: NCicLibrary.timestamp; .. > as 'status -> 'self
- = fun o ->
- (self#set_coercion_status o)#set_library_status o
+ method set_rstatus : 'status. #g_status as 'status -> 'self
+ = fun o -> (self#set_coercion_status o)#set_library_status o
end
type sstatus = status
status
end
-class dumpable_status =
+class type g_dumpable_status =
object
+ inherit g_status
+ method dump: Serializer.obj list
+ end
+
+class dumpable_status =
+ object(self)
inherit status
val dump = ([] : Serializer.obj list)
method dump = dump
method set_dump v = {< dump = v >}
- method set_dumpable_status
- : 'status.
- < coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- timestamp: NCicLibrary.timestamp;
- dump: Serializer.obj list; .. > as 'status -> 'self
- = fun o -> {< dump = o#dump >}#set_rstatus o
+ method set_dumpable_status : 'status. #g_dumpable_status as 'status -> 'self
+ = fun o -> (self#set_dump o#dump)#set_rstatus o
end