<> <> <> <> <> 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.