(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
+class type g_status =
+ object
+ inherit LexiconEngine.g_status
+ inherit NCicLibrary.g_dumpable_status
+ end
+
class status =
object (self)
inherit LexiconEngine.status
- inherit NRstatus.dumpable_status
- method set_estatus
- : 'status.
- < coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- timestamp: NCicLibrary.timestamp;
- dump: NRstatus.Serializer.obj list;
- lstatus: LexiconEngine.lexicon_status; .. > as 'status -> 'self
+ 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