[ivy]<Satterthwaite>Mimosa>SymbolSegment.mesa!2

SymbolSegment.Mesa

Satterthwaite, June 10, 1986 3:03:34 pm PDT

Russ Atkinson (RRA) January 31, 1985 1:06:12 pm PST

DIRECTORY

Literals USING [ltTag, ltType, stTag, stType],

Symbols USING [ISEIndex, CTXIndex, ExtensionType, seTag, seType, htTag, htType, ssType, ctxType, mdType, bodyType],

Table USING [Base, IndexRep, Selector],

TimeStamp USING [Stamp],

Tree USING [Link, treeTag, treeType];

SymbolSegment: DEFINITIONS = {

VersionID: CARDINAL = 08140;

Base: TYPE = Table.Base;

symbol table extensions

ExtRecord: TYPE = RECORD [

type: Symbols.ExtensionType[$value..$default],

sei: Symbols.ISEIndex, -- the key

tree: Tree.Link];

ExtIndex: TYPE = Base RELATIVE LONG POINTER TO ExtRecord;

ExtFirst: ExtIndex = LOOPHOLE[Table.IndexRep[tag: 0, highBits:0, lowBits:0]];

ExtNull: ExtIndex = LOOPHOLE[Table.IndexRep[tag: 0]];

allocation codes

treeType: Table.Selector = Tree.treeType;

seType: Table.Selector = Symbols.seType;

htType: Table.Selector = Symbols.htType;

ssType: Table.Selector = Symbols.ssType;

ctxType: Table.Selector = Symbols.ctxType;

mdType: Table.Selector = Symbols.mdType;

bodyType: Table.Selector = Symbols.bodyType;

ltType: Table.Selector = Literals.ltType;

stType: Table.Selector = Literals.stType;

extType: Table.Selector = 9;

atType: Table.Selector = 10; -- atom and typeId table

constType: Table.Selector = 11;

Tables: TYPE = Table.Selector[treeType..constType];

biases: ARRAY Tables OF CARD = [

LOOPHOLE[Table.IndexRep[Tree.treeTag, 0, 0]], -- 0 treeType

LOOPHOLE[Table.IndexRep[Symbols.seTag, 0, 0]], -- 1 seType

LOOPHOLE[Table.IndexRep[Symbols.htTag, 0, 0]], -- 2 htType

LOOPHOLE[Table.IndexRep[0, 0, 0]], -- 3 ssType

LOOPHOLE[Table.IndexRep[0, 0, 0]], -- 4 ctxType

LOOPHOLE[Table.IndexRep[0, 0, 0]], -- 5 mdType

LOOPHOLE[Table.IndexRep[0, 0, 0]], -- 6 bodyType

LOOPHOLE[Table.IndexRep[Literals.ltTag, 0, 0]], -- 7 ltType

LOOPHOLE[Table.IndexRep[Literals.stTag, 0, 0]], -- 8 stType

LOOPHOLE[Table.IndexRep[0, 0, 0]], -- 9 extType

LOOPHOLE[Table.IndexRep[0, 0, 0]], -- 10 atType

LOOPHOLE[Table.IndexRep[0, 0, 0]]]; -- 11 constType

symbol segment headers

WordOffset: TYPE = CARD;

BlockDescriptor: TYPE = RECORD[offset: WordOffset, size: CARD];

STHeader: TYPE = RECORD [

versionIdent: CARDINAL,

version: TimeStamp.Stamp,

creator: TimeStamp.Stamp,

sourceVersion: TimeStamp.Stamp,

definitionsFile: BOOL,

extended: BOOL,

directoryCtx, importCtx, outerCtx: Symbols.CTXIndex,

hvBlock: BlockDescriptor,

htBlock: BlockDescriptor,

ssBlock: BlockDescriptor,

outerPackBlock: BlockDescriptor,

innerPackBlock: BlockDescriptor,

constBlock: BlockDescriptor,

seBlock: BlockDescriptor,

ctxBlock: BlockDescriptor,

mdBlock: BlockDescriptor,

bodyBlock: BlockDescriptor,

extBlock: BlockDescriptor,

treeBlock: BlockDescriptor,

litBlock: BlockDescriptor,

sLitBlock: BlockDescriptor,

epMapBlock: BlockDescriptor,

spareBlock: BlockDescriptor,

fgRelPgBase: CARD,

fgPgCount: [0..256]];

fine grain table header

FGHeader: TYPE = RECORD [

offset: WordOffset,

length: CARD,

sourceFile: StringBody -- text follows --];

fine grain table declarations

SourceStep: CARDINAL = 0FFh;

ObjectStep: CARDINAL = 07Fh;

Stride: CARDINAL = 03FFFh;

FGTEntry: TYPE = RECORD [SELECT tag: * FROM

normal => [deltaObject: [0..ObjectStep], deltaSource: [0..SourceStep]],

step => [which: {source, object}, delta: [0..Stride]]

ENDCASE];

}.