BasicLoadState.mesa
last edited by Levin on May 19, 1983 3:57 pm
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.