[Ivy]<Sweet>crosslister>CatchFormat.mesa!1

CatchFormat.mesa, Edited by

JGS, 11-Nov-81 15:53:26

Sweet, July 19, 1982 12:02 pm

Satterthwaite November 27, 1985 2:46:13 pm PST

DIRECTORY

PrincOps: TYPE USING [BytePC, FrameSizeIndex, localbase, PrefixHandle];

CatchFormat: DEFINITIONS = {

Codebase: TYPE = PrincOps.PrefixHandle;

CatchAction: TYPE = CARDINAL;

cReject: CatchAction = 0;

cResume: CatchAction = 1;

cEnable: CatchAction = 2;

cExit: CatchAction = 3;

CatchIndex: TYPE = NAT;

CatchNull: CatchIndex = CatchIndex.LAST;

EnableItem: TYPE = RECORD[

start: PrincOps.BytePC,

length: CARDINAL,

index: CatchIndex,

alsoNested: BOOL];

EnableIndex: TYPE = CARDINAL[0..CARDINAL.LAST/EnableItem.SIZE);

EnableTableBody: TYPE = RECORD[SEQUENCE count: EnableIndex OF EnableItem];

EnableTable: TYPE = Codebase RELATIVE POINTER TO EnableTableBody;

EnableHandle: TYPE = LONG POINTER TO EnableTableBody;

if et[i].alsoNested = TRUE for any i IN [0..et.count) then

et+SIZE[EnableTableBody[et.count]] is a valid EnableTable

CatchEVBody: TYPE = RECORD[SEQUENCE count: CatchIndex OF PrincOps.BytePC];

CatchEV: TYPE = Codebase RELATIVE POINTER TO CatchEVBody;

nullCatchEV: CatchEV = LOOPHOLE[0];

CatchEVHandle: TYPE = LONG POINTER TO CatchEVBody;

word after entry vector is CatchEV*2

sigOffset: CARDINAL = PrincOps.localbase + 1;

msgOffset: CARDINAL = PrincOps.localbase + 2;

defaultFsi: PrincOps.FrameSizeIndex = 1;