DIRECTORYRope USING [ROPE],IO USING [STREAM];Interscript: CEDAR DEFINITIONS IMPORTS IO = BEGINId: TYPE ~ Rope.ROPE;Universal: TYPE ~ ATOM;LinkSet: TYPE ~ RECORD[sources: SpanList, targets: SpanList];SpanList: TYPE ~ LIST OF Span;Span: TYPE ~ REF SpanRec;SpanRec: TYPE;Value: TYPE ~ REF ValueRec;ValueRec: TYPE ~ RECORD[SELECT t: * FROMnil =>  [],number =>  [SELECT numTag: * FROMint =>  [int: INT],real =>  [real: REAL]ENDCASE],string =>  [r: Rope.ROPE],span => [--TBD--],expr => [expr: ExprTree]ENDCASE]; ExprTree: TYPE ~ REF ExprTreeRec;ExprTreeRec: TYPE ~ RECORD[vp: SELECT type: * FROMmonadic =>  [op: Operator, left: ExprTree],dyadic =>  [op: Operator, left, right: ExprTree],terminal =>  [v: Value]ENDCASE];Token: TYPE ~ REF TokenRec;TokenRec: TYPE ~ RECORD[first, last: STREAMPosition,		-- to record where a token came fromvp: SELECT type: OfToken FROMid =>  [id: Id],univ =>  [univ: Universal],		-- includes keywords alsoint =>  [int: INT],real =>  [real: REAL],string => [s: Rope.ROPE],op =>  [op: Operator],sep => [s: Separator],bracket => [b: Bracket],literal =>  [lit: Literal]ENDCASE];OfToken: TYPE ~ {id, univ, int, real, string, op, sep, bracket, literal};Operator: TYPE ~ {plus, minus, times, slash};Separator: TYPE ~ {semicolon, dot, percent, exclamation, verticalBar, localGets, globalGets, upArrow, colon};Bracket: TYPE ~ {lParen, rParen, lBracket, rBracket, lBrace, rBrace, quote};Literal: TYPE ~ {nil, true, false};STREAMPosition: TYPE ~ INT;InitScan: PROCEDURE [stream: IO.STREAM, bindTbl: BTHandle, z: ZONE];GetToken: PROCEDURE RETURNS [t: Token];Internalize: PROCEDURE [stream: IO.STREAM, z: ZONE];BTHandle: TYPE ~ REF BindingTable;BindingTable: TYPE;Binding: TYPE ~ REF BindingRec;BindingRec: TYPE ~ RECORD[id: Id, m: BindingMode, v: Value];BindingMode: TYPE ~ {local, global} _ local;InitBindingTable: PROCEDURE [z: ZONE] RETURNS [bt: BTHandle];AddBinding: PROCEDURE [self: BTHandle, b: Binding];GetBinding: PROCEDURE [self: BTHandle, id: Id] RETURNS [binding: Binding];GetBindings: PROCEDURE [self: BTHandle, ids: LIST OF Id] RETURNS [bindings: LIST OF Binding];Scope: TYPE ~ RECORD[uid: INT];NewScope: PROCEDURE [self: BTHandle] RETURNS [s: Scope];PopScope: PROCEDURE [self: BTHandle, s: Scope];END.    interscript.mesaLast Edited by: Mitchell, February 1, 1983 11:10 am-- basic Interscript items-- lexical definitions-- parsing-- bindingsadds the binding to the table in the current scope.  Any extant binding for the same id in the current scope is overwritten.Returns id's binding, or NIL if unboundfor each id in the list, returns its binding, or NIL if unboundpushes a new scope and returns a handle for itPops the current scope, which s must identify (else error ScopeError[inputError] is generated).-- spansЭ╩╞  Ш JЪЬ╧cЩJЪЬ3Щ3unitЪ╧k	Ш	JЪЬЮЬЮЬШJЪЮЬЮЬЮЬШЧKЪ╧nЬЮЬЮЬЮЬЮЬЮШ1ЩKЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬ	ЮЬЮЬ'Ш=KЪЬ
ЮЬЮЬЮЬШKЪЬЮЬЮЬ	ШKЪЬ	ЮЬШKЪЬЮЬЮЬ
ШЪЬ
ЮЬЮЬЮЬЮШ(JЪЬШЪЬЮЬЮШ!JЪЬЮЬШJЪЬЮЬШJЪЮЬШ	ЧJЪЬЮЬШJЪЬ	ЭЬШJШJЪЮЬШ
ЧKЪЬ
ЮЬЮЬШ!ЪЬЮЬЮЬШcodeЪЬЮЬ	ЮШJЪЬ+Ш+JЪЬ1Ш1JЪЬШJЪЮЬШ	ЧЧЧЩKЪЬЮЬЮЬ
ШЪЬ
ЮЬЮЬШLЪЬЭ$ШBЪЬЮЬЮШJЪЬШJЪЬЭШ6JЪЬЮЬШJЪЬЮЬШJЪЬЮЬШJЪЬШJШJШJЪЬШJЪЮШЧJЪЬШЧKЪЬ	ЮЬ<ШIKЪЬ
ЮЬШ-KЪЬЮЬ^ШmKЪЬ	ЮЬ?ШLKЪЬ	ЮЬШ#KЪЬЮЬЮЬШKЪ
ЯЬЮ	Ь
ЮЬЮЬЮЬШDKЪЯЬЮ	ЬЮЬШ'ЧЩ
KЪ
ЯЬЮ	Ь
ЮЬЮЬЮЬШ4ЧЩKЪЬ
ЮЬЮЬШ"KЪЬЮЬШKЪЬ	ЮЬЮЬШKЪЬЮЬЮЬ#Ш<KЪЬЮЬШ,KЪЯЬЮ	ЬЮЬЮЬШ=ЪЯ
ЬЮ	ЬШ3JЪЬ|Щ|ЧЪЯ
ЬЮ	ЬЮЬШJJЪЬЮЬЩ'ЧЪЯЬЮ	ЬЮЬЮЬЮЬЮЬЮЬ
Ш]JЪЬ1ЮЬЩ?ЧKЪЬЮЬЮЬЮЬШЪЯЬЮ	ЬЮЬШ8JЪЬ.Щ.ЧЪЯЬЮ	ЬШ/JЪЬ_Щ_ЧЧЩJЩ ЧJЪЮЬШJШ Ч ЕЧ    Ў  ╬  