BasicLoadStateFormatExtension.mesa
last edited by Levin on September 30, 1983 4:40 pm
DIRECTORY
BasicLoadState USING [TypeCode],
BcdDefs USING [MTIndex],
PrincOps USING [GFTIndex];
BasicLoadStateFormatExtension: DEFINITIONS =
BEGIN
Extension: TYPE = ARRAY PrincOps.GFTIndex OF ExtensionEntry;
ExtensionEntry:
TYPE =
MACHINE DEPENDENT RECORD [
mti(0): BcdDefs.MTIndex,
type(1): BasicLoadState.TypeCode
];
nullType: BasicLoadState.TypeCode = LOOPHOLE[0];
END.