BasicLoadState.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Levin on May 19, 1983 3:57 pm
Russ Atkinson (RRA) January 31, 1985 10:52:15 am PST
Doug Wyatt, February 27, 1985 9:22:45 am PST
DIRECTORY
BcdDefs USING [BcdBase, ModuleIndex, NullModule],
PrincOps USING [GlobalFrameHandle];
BasicLoadState: DEFINITIONS
= BEGIN
ConfigID: TYPE[1];
NullConfig: READONLY ConfigID;
ModuleIndex: TYPE = BcdDefs.ModuleIndex; -- Note: 1-origin
NullModule: ModuleIndex = BcdDefs.NullModule;
TypeCode: TYPE [1];
Destroy: PROC;
ModuleToGlobalFrame: PROC [config: ConfigID, module: ModuleIndex]
RETURNS [gfh: PrincOps.GlobalFrameHandle];
GlobalFrameToModule: PROC [gfh: PrincOps.GlobalFrameHandle]
RETURNS [config: ConfigID, module: ModuleIndex];
GlobalFrameToType: PROC [gfh: PrincOps.GlobalFrameHandle]
RETURNS [type: TypeCode];
SetType: PROC [gfh: PrincOps.GlobalFrameHandle, type: TypeCode];
ConfigInfo: PROC [config: ConfigID]
RETURNS [bcd: BcdDefs.BcdBase, exports, exportsTypes: BOOL];
EnumerateConfigs: PROC [proc: PROC [ConfigID] RETURNS [BOOL]]
RETURNS [config: ConfigID];
EnumerateModulesInConfig: PROC [config: ConfigID,
proc: PROC [ModuleIndex] RETURNS [BOOL]
] RETURNS [module: ModuleIndex];
EnumerateAllModules: PROC [
proc: PROC [ConfigID, ModuleIndex] RETURNS [BOOL]
] RETURNS [config: ConfigID, module: ModuleIndex];
END.