DIRECTORY MobDefs USING [Base, FTIndex, RefLitIndex, SGIndex, TypeIndex], MobUtilDefs USING [MobHandle], MobHashTypes USING [HTIndex], IO USING [STREAM]; MobLiterals: DEFINITIONS = { LitIndex: TYPE ~ MobHashTypes.HTIndex; LiteralState: TYPE = REF LiteralStateInfo; LiteralStateInfo: TYPE; MapLitLink: PROC[ls: LiteralState, old: MobDefs.RefLitIndex] RETURNS[MobDefs.RefLitIndex]; MapTypeLink: PROC[ls: LiteralState, old: MobDefs.TypeIndex] RETURNS[MobDefs.TypeIndex]; Load: PROC[ls: LiteralState, mobh: MobUtilDefs.MobHandle, MapFile: PROC[fti: MobDefs.FTIndex, mobh: MobUtilDefs.MobHandle] RETURNS[MobDefs.FTIndex], MapSegment: PROC[sgi: MobDefs.SGIndex, mobh: MobUtilDefs.MobHandle] RETURNS[MobDefs.SGIndex]] RETURNS[success: BOOL ¬ TRUE]; Unload: PROC[ls: LiteralState]; EnterVersionFiles: PROC[ ls: LiteralState, ftb: MobDefs.Base, ftLimit: MobDefs.FTIndex, mobh: MobUtilDefs.MobHandle, MapFile: PROC[fti: MobDefs.FTIndex, mobh: MobUtilDefs.MobHandle] RETURNS[MobDefs.FTIndex]]; SegmentSize: PROC[ls: LiteralState] RETURNS[nWords: CARD]; UpdateSegments: PROC[ls: LiteralState, MapSegment: PROC[MobDefs.SGIndex] RETURNS[MobDefs.SGIndex]]; Write: PROC[ls: LiteralState, stream: IO.STREAM]; Create: PROC[] RETURNS[LiteralState]; SealLiterals: PROC[ls: LiteralState]; Finalize: PROC[ls: LiteralState]; }. n MobLiterals.Mesa Copyright Σ 1985, 1989, 1991 by Xerox Corporation. All rights reserved. Satterthwaite, March 4, 1986 2:45:44 pm PST Maxwell, August 4, 1983 9:32 am Paul Rovner, September 22, 1983 11:40 am Andy Litman March 4, 1988 7:53:22 pm PST Russ Atkinson (RRA) March 7, 1985 0:06:43 am PST JKF July 22, 1989 3:55:03 pm PDT input output initialization ΚO–(cedarcode) style•NewlineDelimiter ™codešœ™Kšœ Οeœ=™HKšΟy(Πky™+Kšž™Kšž(™(Kšž%Ÿ™(KšœΟkœ ™0Kš œ™ —K˜š  ˜ Kšœ œ2˜?Kšœ  œ ˜Kšœ  œ ˜Kš œ œ œ˜K˜—šΟn œ  œ˜K˜Kšœ  œ˜&Kšœ œ œ˜*Kšœ œ˜—K˜šœ™K˜Kš‘ œ œ- œ˜ZKš‘ œ œ+ œ˜WK˜š‘œ œ/˜9Kš‘œ œ4 œ˜ZKš‘ œ œ4 œ˜^Kš œ  œ œ˜K˜—Kš‘œ œ˜K˜—šœ™K˜š‘œ œ˜Kšœ˜KšœI˜IKš‘œ œ4 œ˜[—Kš‘ œ œ œ  œ˜:Kš ‘œ œ‘ œ œ œ˜cKš‘œ œ œ œ˜1K˜—šœ™K˜Kš‘œ œ œ˜%Kš‘ œ œ˜%Kš‘œ œ˜!K˜K˜K˜——…—(ε