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
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;
input
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];
output
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];
initialization
Create: PROC[] RETURNS[LiteralState];
SealLiterals: PROC[ls: LiteralState];
Finalize: PROC[ls: LiteralState];
}.