(* $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:
- < coerc_db : NCicCoercion.db;
- uhint_db : NCicUnifHint.db;
- timestamp: NCicLibrary.timestamp;
- dump: NRstatus.Serializer.obj list;
- lstatus: LexiconEngine.lexicon_status; .. > -> 'self
+ inherit NCicLibrary.dumpable_status
+ inherit g_status
+ method set_estatus: #g_status -> 'self
end