DIRECTORYAlloc: TYPE USING [Notifier],CodeDefs: TYPE USING [Byte, StackIndex, StackLocRec, StackPos, TempAddr, VarComponent],Symbols: TYPE USING [ContextLevel, lZ];Stack: DEFINITIONS = {OPEN CodeDefs;StackModelingError: SIGNAL;Above: PROC [s: StackIndex, count: CARDINAL_1, nullOk: BOOL_FALSE] RETURNS [StackIndex];Also: PROC [n: CARDINAL_1, inLink: BOOL_FALSE, tOffset: TempAddr,tLevel: Symbols.ContextLevel_Symbols.lZ];Check: PROC [b: Byte];Clear: PROC;Decr: PROC [count: CARDINAL_1];DeleteToMark: PROC;Depth: PROC RETURNS [d: StackPos];Dump: PROC;Dup: PROC [load: BOOL_FALSE];Exchange: PROC;Forget: PROC [s: StackIndex, count: CARDINAL_1];Incr: PROC [count: CARDINAL_1];Init: PROC;KeepOnly: PROC [s: StackIndex, count: CARDINAL];Load: PROC [s: StackIndex, count: CARDINAL_1];Loc: PROC [s: StackIndex, count: CARDINAL_1] RETURNS [StackLocRec];Mark: PROC;MoveToTemp: PROC [firstIndex: StackIndex, count: CARDINAL_1]RETURNS [VarComponent];New: PROC RETURNS [old: StackIndex];Off: PROC;On: PROC;Pop: PROC [count: CARDINAL_1];Prefix: PROC [sti: StackIndex];Require: PROC [count: StackPos];Reset: PROC;ResetToMark: PROC;Restore: PROC [s: StackIndex];RoomFor: PROC [n: CARDINAL] RETURNS [BOOL];TempStore: PROC [count: CARDINAL_1] RETURNS [VarComponent];Top: PROC [count: CARDINAL_1] RETURNS [StackIndex];UnMark: PROC;VDepth: PUBLIC PROC RETURNS [StackPos];VDepthOf: PROC [s: StackIndex] RETURNS [d: StackPos];StackImplNotify: Alloc.Notifier;}.  J  Stack.mesalast edited by Sweet,  February 27, 1980  3:26 PMlast edited by Satterthwaite, November 2, 1982 3:53 pmInterface Itemsthe index of the word "count" above that at "s"record that the top "n" words on the stack are also in temps starting at "tOffset", at lexical level "tLevel"requires that top "n" words are already onStackif stack in "On", assure that operands are loaded, reflect changesdue to execution of instruction byte "b", check for overflowpop off all remaining wordsremove the "count" top words from the stack modelResetToMark, UnMarknumber of words actually on stackempty the stack into temporariesduplicate the top element on the stackif "load", load if top is in tempexchange the top two elements on the stackremove "count" words beginning at "a" from the stack modeladd "count" words to the stack modelpop off anything above the "count" words at "s"put the "count" words beginning at "s" on topwhere are the "count" words beginning at "s"insert a mark, also a label for dumping previous contentsstore "count" words from stack into contiguous tempspop off the top "count" words (unless they are already in temps)link saved away stack item on front of modelempty all but the top "count" words into temporariesthe top "count" words may also be dumped if necessaryload items back to the first mark, remove from modelwill the stack overflow if n more words are loadedstore the top "count" words into a tempthe index of the word "count" down from the topremove the topmost markthe current depth of the virtual stackthe virtual depth of the word at "s" Э╩ї  Ш JШ JЪЬ
Щ
JЪЬ1Щ1JЪЬ6Щ6JШ Ъ╧k	Ш	JЪЬЭЬЭЬШJЪЬ
ЭЬЭЬCШWJЪЬ	ЭЬЭЬШ'JШ ЧЪЬЭЬШJЪЭЬ
ШJШ ЧJЪЬЩШ JЪЬЭЬШJШ Ъ╧nЬЭЬЭЬЭЬЭЬЭЬШXJЪЬ/Щ/ЧЪЮЬЭЬШJЪЬЭЬЭЬЭЬШ5Ш)JЪЬ=Щ=JЪЬ0Щ0JЪЬ/Щ/ЧЧЪЮЬЭЬШJЪЬBЩBJЪЬ<Щ<ЧЪЮЬЭЬШJЪЬЩЧЪЮЬЭЬ	ЭЬШJЪЬ1Щ1ЧЪЮЬЭЬШJЪЬЩЧЪЮЬЭЬЭЬШ"JЪЬ!Щ!ЧЪЮЬЭЬШJЪЬ Щ ЧЪЮЬЭЬЭЬЭЬШJЪЬ&Щ&JЪЬ!Щ!ЧЪЮЬЭЬШJЪЬ*Щ*ЧЪЮЬЭЬЭЬШ0JЪЬ:Щ:ЧЪЮЬЭЬ	ЭЬШJЪЬ$Щ$ЧJЪЮЬЭЬШJШ ЪЮЬЭЬЭЬШ0JЪЬ/Щ/ЧЪЮЬЭЬЭЬШ.JЪЬ-Щ-ЧЪЮЬЭЬЭЬЭЬШCJЪЬ,Щ,ЧЪЮЬЭЬШJЪЬ9Щ9ЧЪЮ
ЬЭЬ!ЭЬШ<ЪЭЬШJЪЬ4Щ4ЧЧJЪЮЬЭЬЭЬШ$JШ JЪЮЬЭЬШ
JШ JЪЮЬЭЬШ	JШ ЪЮЬЭЬ	ЭЬШJЪЬ@Щ@ЧЪЮЬЭЬШJЪЬ,Щ,ЧЪЮЬЭЬШ JЪЬ4Щ4JЪЬ5Щ5ЧJЪЮЬЭЬШJШ ЪЮЬЭЬШJЪЬ4Щ4ЧJЪЮЬЭЬШЪ
ЮЬЭЬЭЬЭЬЭЬШ+JЪЬ2Щ2ЧЪЮ	ЬЭЬ	ЭЬЭЬШ;JЪЬ'Щ'ЧЪЮЬЭЬ	ЭЬЭЬШ3JЪЬ/Щ/ЧЪЮЬЭЬШJЪЬЩЧЪЮЬЭЬЭЬЭЬШ'JЪЬ&Щ&ЧЪЮЬЭЬЭЬШ5JЪЬ$Щ$JШ ЧJШ JШ JШJШ JШ ЧЧ ЕЧ    ▄    