(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-class type ctstatus =
- object ('self)
- inherit LexiconEngine.status
- inherit NRstatus.dumpable_status
- method set_estatus: ctstatus -> 'self
+class type g_status =
+ object
+ inherit LexiconEngine.g_status
+ inherit NCicLibrary.g_dumpable_status
end
-class status : ctstatus =
+class status =
object (self)
inherit LexiconEngine.status
- inherit NRstatus.dumpable_status
- method set_estatus o =
- (self#set_lexicon_engine_status (o :> LexiconEngine.status))
- #set_dumpable_status (o :> NRstatus.dumpable_status)
+ inherit NCicLibrary.dumpable_status
+ method set_estatus : 'status. #g_status as 'status -> 'self
+ = fun o -> (self#set_lexicon_engine_status o)#set_dumpable_status o
end