<Mobery.Mesa>> <> <> <> <> <<>> DIRECTORY BasicTime USING [GMT], MobDefs USING [NullVersion, VersionStamp], Rope USING [ROPE]; Mobery: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; VersionStamp: TYPE = MobDefs.VersionStamp; StampTable: TYPE = REF StampTableRep; StampTableRep: TYPE; NoStamp: ERROR; FlushCache: PROC; <> <> EnumerateStampTable: PROC [stampTable: StampTable, to: EnumerateStampProc]; EnumerateStampProc: TYPE = PROC [name, stampClass: ROPE, stamp: VersionStamp] RETURNS [BOOL]; StampFromStampTable: PROC [stampTable: StampTable, fileName: ROPE] RETURNS [stampClass: ROPE, stamp: VersionStamp]; EnumerateStampTableDifference: PROC [tab1, tab2: StampTable, to: EnumerateStampProc]; <> StampTableSubset: PROC [tab1, tab2: StampTable] RETURNS [BOOL]; <> Has: PROC [stampTable: StampTable, name: ROPE, class: ROPE, stamp: VersionStamp] RETURNS [BOOL]; <<>> <> <<>> ReadStampTable: PROC [fileName: ROPE] RETURNS [stampTable: StampTable]; <> StampAndNameFromFile: PROC [fileName: ROPE] RETURNS [stamp: MobDefs.VersionStamp _ MobDefs.NullVersion, name: ROPE _ NIL]; <> <> <> <<>> GetCOStamps: PUBLIC PROC [fileName: ROPE] RETURNS [list: LIST OF ROPE, created: BasicTime.GMT]; VersionAndNameFromString: PUBLIC PROC [aRope: ROPE] RETURNS [stamp: MobDefs.VersionStamp, name: ROPE] ; END.