<> <> <> <<>> <> DIRECTORY BasicTime: TYPE USING [GMT], FS: TYPE USING [OpenFile, nullOpenFile], Rope: TYPE USING [ROPE], TimeStamp: TYPE USING [Stamp, Null], SMTree: TYPE Tree USING [Link, null]; SMFI: CEDAR DEFINITIONS~{ OPEN Tree~~SMTree; <> <> FIState: TYPE~{empty, analyzed, opened}; SrcFileInfo: TYPE~REF SrcFileInfoRecord; SrcFileInfoRecord: TYPE~RECORD[ <> create: BasicTime.GMT_, -- file create time <> type: Tree.Link_Tree.null, -- type as an SML object <> fName: Rope.ROPE_NIL, gName: Rope.ROPE_NIL, simpleName: Rope.ROPE_NIL, <> state: FIState_$empty, new: BOOL_FALSE, -- true after Notice and before Compile cantOpen: BOOL_FALSE, localName: Rope.ROPE_NIL, wDir: Rope.ROPE_NIL, file: FS.OpenFile_FS.nullOpenFile <> ]; BcdFileInfo: TYPE~REF BcdFileInfoRecord; BcdFileInfoRecord: TYPE~RECORD[ <> create: BasicTime.GMT_, -- file create time <> stamp: TimeStamp.Stamp_TimeStamp.Null, -- version stamp, not create type: Tree.Link_Tree.null, -- type as an SML object <> fName: Rope.ROPE_NIL, gName: Rope.ROPE_NIL, simpleName: Rope.ROPE_NIL, <> state: FIState_$empty, localName: Rope.ROPE_NIL, wDir: Rope.ROPE_NIL, file: FS.OpenFile_FS.nullOpenFile <> ]; }.