[Cyan]<Cedar6.0>SafeStorage>RTSymbolDefs.mesa!3

RTSymbolDefs.mesa

Rovner On January 4, 1983 1:11 pm

Russ Atkinson (RRA) February 1, 1985 12:35:59 pm PST

Beach, February 22, 1985 2:56:09 pm PST

Doug Wyatt, February 24, 1985 8:45:38 pm PST

concrete variant TYPE definitions for symbol tables and related elements.

DIRECTORY

BrandXSymbolDefs USING [SymbolTableHandle, SymbolTableBase, SymbolIndex, SymbolIdIndex, SymbolConstructorIndex, SymbolRecordIndex, SymbolContextIndex, StandardSymbolContextIndex, SymbolNameIndex, SymbolModuleIndex, BodyIndex, CallableBodyIndex, InnerCallableBodyIndex, BodyTableEntry, FineGrainTableEntry, FineGrainTableHeader, ExtensionClass, TreeIndex, TreeLink, BlockContextLevel, nullHandle, nullSymbolIndex, nullSymbolContextIndex, nullSymbolNameIndex, nullModuleIndex, nullBodyIndex, rootBodyIndex, symbolIndexForTYPE, symbolIndexForANY, thisModuleIndex, contextLevelZero, outerContextLevel, typeCodeForINT, typeCodeForCHAR],

BrandYSymbolDefs USING [SymbolTableHandle, SymbolTableBase, SymbolIndex, SymbolIdIndex, SymbolConstructorIndex, SymbolRecordIndex, SymbolContextIndex, StandardSymbolContextIndex, SymbolNameIndex, SymbolModuleIndex, BodyIndex, CallableBodyIndex, InnerCallableBodyIndex, BodyTableEntry, FineGrainTableEntry, FineGrainTableHeader, ExtensionClass, TreeIndex, TreeLink, BlockContextLevel, nullHandle, nullSymbolIndex, nullSymbolContextIndex, nullSymbolNameIndex, nullModuleIndex, nullBodyIndex, rootBodyIndex, symbolIndexForTYPE, symbolIndexForANY, thisModuleIndex, contextLevelZero, outerContextLevel];

RTSymbolDefs: DEFINITIONS

= BEGIN OPEN bx: BrandXSymbolDefs, by: BrandYSymbolDefs;

Types

Brand: TYPE = {x, y};

SymbolTableHandle: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolTableHandle],

y => [e: by.SymbolTableHandle]

ENDCASE];

SymbolTableBase: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolTableBase],

y => [e: by.SymbolTableBase]

ENDCASE];

SymbolIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolIndex],

y => [e: by.SymbolIndex]

ENDCASE];

SymbolIdIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolIdIndex],

y => [e: by.SymbolIdIndex]

ENDCASE];

SymbolConstructorIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolConstructorIndex],

y => [e: by.SymbolConstructorIndex]

ENDCASE];

SymbolRecordIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolRecordIndex],

y => [e: by.SymbolRecordIndex]

ENDCASE];

SymbolContextIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolContextIndex],

y => [e: by.SymbolContextIndex]

ENDCASE];

StandardSymbolContextIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.StandardSymbolContextIndex],

y => [e: by.StandardSymbolContextIndex]

ENDCASE];

SymbolNameIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolNameIndex],

y => [e: by.SymbolNameIndex]

ENDCASE];

SymbolModuleIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.SymbolModuleIndex],

y => [e: by.SymbolModuleIndex]

ENDCASE];

BodyIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.BodyIndex],

y => [e: by.BodyIndex]

ENDCASE];

CallableBodyIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.CallableBodyIndex],

y => [e: by.CallableBodyIndex]

ENDCASE];

InnerCallableBodyIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.InnerCallableBodyIndex],

y => [e: by.InnerCallableBodyIndex]

ENDCASE];

BodyTableEntry: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.BodyTableEntry],

y => [e: by.BodyTableEntry]

ENDCASE];

FineGrainTableEntry: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.FineGrainTableEntry],

y => [e: by.FineGrainTableEntry]

ENDCASE];

FineGrainTableHeader: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.FineGrainTableHeader],

y => [e: by.FineGrainTableHeader]

ENDCASE];

ExtensionClass: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.ExtensionClass],

y => [e: by.ExtensionClass]

ENDCASE];

TreeIndex: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.TreeIndex],

y => [e: by.TreeIndex]

ENDCASE];

TreeLink: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.TreeLink],

y => [e: by.TreeLink]

ENDCASE];

BlockContextLevel: TYPE = RECORD[

SELECT brand: Brand FROM

x => [e: bx.BlockContextLevel],

y => [e: by.BlockContextLevel]

ENDCASE];

Constants

nullBase: SymbolTableBase = [x[e: NIL]];

nullHandle: SymbolTableHandle = [x[e: nullXHandle]];

nullXHandle: bx.SymbolTableHandle = bx.nullHandle;

nullYHandle: by.SymbolTableHandle = by.nullHandle;

nullSymbolIndex: SymbolIndex = [x[e: nullXSymbolIndex]];

nullXSymbolIndex: bx.SymbolIndex = bx.nullSymbolIndex;

nullYSymbolIndex: by.SymbolIndex = by.nullSymbolIndex;

nullSymbolContextIndex: SymbolContextIndex = [x[e: nullXSymbolContextIndex]];

nullXSymbolContextIndex: bx.SymbolContextIndex = bx.nullSymbolContextIndex;

nullYSymbolContextIndex: by.SymbolContextIndex = by.nullSymbolContextIndex;

nullSymbolNameIndex: SymbolNameIndex = [x[e: nullXSymbolNameIndex]];

nullXSymbolNameIndex: bx.SymbolNameIndex = bx.nullSymbolNameIndex;

nullYSymbolNameIndex: by.SymbolNameIndex = by.nullSymbolNameIndex;

nullModuleIndex: SymbolModuleIndex = [x[e: nullXModuleIndex]];

nullXModuleIndex: bx.SymbolModuleIndex = bx.nullModuleIndex;

nullYModuleIndex: by.SymbolModuleIndex = by.nullModuleIndex;

nullBodyIndex: BodyIndex = [x[e: nullXBodyIndex]];

nullXBodyIndex: bx.BodyIndex = bx.nullBodyIndex;

nullYBodyIndex: by.BodyIndex = by.nullBodyIndex;

rootBodyIndex: BodyIndex = [x[e: rootXBodyIndex]];

rootXBodyIndex: bx.BodyIndex = bx.rootBodyIndex;

rootYBodyIndex: by.BodyIndex = by.rootBodyIndex;

symbolIndexForTYPE: SymbolConstructorIndex = [x[e: symbolXIndexForTYPE]];

symbolXIndexForTYPE: bx.SymbolConstructorIndex = bx.symbolIndexForTYPE;

symbolYIndexForTYPE: by.SymbolConstructorIndex = by.symbolIndexForTYPE;

symbolIndexForANY: SymbolConstructorIndex = [x[e: symbolXIndexForANY]];

symbolXIndexForANY: bx.SymbolConstructorIndex = bx.symbolIndexForANY;

symbolYIndexForANY: by.SymbolConstructorIndex = by.symbolIndexForANY;

thisModuleIndex: SymbolModuleIndex = [x[e: thisXModuleIndex]];

thisXModuleIndex: bx.SymbolModuleIndex = bx.thisModuleIndex;

thisYModuleIndex: by.SymbolModuleIndex = by.thisModuleIndex;

contextLevelZero: BlockContextLevel = [x[e: contextXLevelZero]];

contextXLevelZero: bx.BlockContextLevel = bx.contextLevelZero;

contextYLevelZero: by.BlockContextLevel = by.contextLevelZero;

outerContextLevel: BlockContextLevel = [x[e: outerXContextLevel]];

outerXContextLevel: bx.BlockContextLevel = bx.outerContextLevel;

outerYContextLevel: by.BlockContextLevel = by.outerContextLevel;

typeCodeForINT: CARDINAL = bx.typeCodeForINT; -- BEWARE

typeCodeForCHAR: CARDINAL = bx.typeCodeForCHAR; -- BEWARE

END.