DIRECTORYRope,IO,Convert,AlgebraClasses,Variables,Ints,Sequences,VariableSequences;VariableSequencesImpl: CEDAR PROGRAMIMPORTS Rope, Convert, AlgebraClasses, Variables, Sequences EXPORTS VariableSequences =BEGIN OPEN AC: AlgebraClasses, VARS: Variables, SEQ: Sequences, VariableSequences;ROPE: TYPE = Rope.ROPE;STREAM: TYPE = IO.STREAM;Object: TYPE = AC.Object;Method: TYPE = AC.Method;TypeError: PUBLIC ERROR [message: ATOM _ $Unspecified] = CODE;VariableSequences: PUBLIC AC.Object _ SEQ.MakeSequenceStructure[VARS.Variables];VariableFirstChar: PUBLIC PROC [char: CHAR, V: VariableSequence] RETURNS [BOOL] ~ {vData: SEQ.SequenceData _ NARROW[V.data];FOR i:NAT IN [1..vData.lengthPlus1) DOIF Rope.Equal[Convert.RopeFromChar[from: char, quote: FALSE],Rope.Substr[VARS.ToRope[vData[i] ], 0, 1]] THEN RETURN[TRUE];ENDLOOP;RETURN[FALSE];};MergeVariableSequences: PUBLIC AC.BinaryOp ~ {firstSeqData: SEQ.SequenceData _ NARROW[firstArg.data];secondSeqData: SEQ.SequenceData _ NARROW[secondArg.data];firstStructureData: SEQ.SequenceStructureData _ NARROW[firstArg.class.data];secondStructureData: SEQ.SequenceStructureData _ NARROW[firstArg.class.data];firstElementStructure: Object _ firstStructureData.elementStructure;secondElementStructure: Object _ firstStructureData.elementStructure;intIndex: Ints.Int;lowVars, lowVarsPointer: LIST OF VARS.Variable;lowVarSeq: VariableSequence _ NIL;IF NOT AC.StructureEqual[firstElementStructure, secondElementStructure] THEN TypeError[];FOR i:INT IN [1..firstSeqData.lengthPlus1) DOintIndex _ SEQ.Find[secondArg, firstSeqData[i] ];IF intIndex=NIL THEN { IF lowVars # NIL THENlowVarsPointer _ lowVarsPointer.rest _ LIST[firstSeqData[i] ]ELSElowVars _ lowVarsPointer _ LIST[firstSeqData[i] ];};ENDLOOP;IF lowVars # NIL THEN lowVarSeq _ SEQ.MakeSequence[lowVars, VariableSequences];RETURN[SEQ.Concatenate[lowVarSeq, secondArg] ];};NewMainVariable: PUBLIC AC.BinaryOp ~ {pos: Ints.Int _ SEQ.Find[firstArg, secondArg];delSeq: Object;IF pos#NIL THENdelSeq _ SEQ.Delete[firstArg, pos]ELSEdelSeq _ firstArg;RETURN[ SEQ.Append[delSeq, secondArg] ];};END.  ╪  VariableSequencesImpl.mesaLast Edited by: Arnon, June 10, 1985 4:19:22 pm PDTTypesPublic StructureOperationsMakeVariableSequence: PUBLIC AC.ListImbedOp ~ SEQ.MakeSequence;This will become Method $variableSequence of structure VariableSequences.All variables of firstArg that do not occur in secondArg are placed at left (low) end of result;  all variables Variables X and Y may occur in different order in the two args;  no note is made of this; they will occur in result in the order they had in secondArg.firstArg is a VariableSequence, secondArg is a Variable that may or may not occur in firstArg.  result is firstArg with reordered variables so that secondArg is new main variable.  Order of other variables is preservedStart CodeKludge up special subclass for VariableSequences **5/3/87 obsoletevariableSequenceMethod: Method _ AC.MakeMethod[ListImbedOp, FALSE, NEW[AC.ListImbedOp _ MakeVariableSequence], NIL, "variableSequence"];variableSequencesClass: AC.Object _ AC.MakeClass["variableSequencesClass", VariableSequences.class, NIL];AC.AddMethodToClass[$variableSequence, variableSequenceMethod, variableSequencesClass];VariableSequences.class _ variableSequencesClass;AC.InstallStructure[VariableSequences];Э╩я  Ш JЪЬЩJЩ3JШ Ъ╧k	Ш	JЪЬШJЪЭЬШJШJЪЬШJЪЬ
Ш
JЪЬШJЪЬ
Ш
JЪЬШЧhead2ЪЬЭЬЭШ$JЪЭЬ5Ш<JЪЭЬШЧJЪ
ЭЬЭЬЭЬЭЬЭЬШRheadЪ╧nЩIcodeЪЭЬЭЬЭЬШMЪЭЬЭЬЭЬЭЬШMЪЬЭЬЭЬШMЪЬЭЬЭЬШMШ JЪ
Ю	ЬЭЬЭЬЭЬЭЬШ>ЧЪЮЩJЪ
ЮЬЭЬЭЬ
ЭЬЭЬШPЧЪЮ
Щ
ЪЮЬЭЬЭЬЭЬЮЬЭЬЭЬШSMЪЬЭЬЭЬ	Ш)ЪЭЬЭЬЭЬЭШ&ЪЭЬШMЪЬ(ЭЬШ/MЪЬЭЬШ)ЧMЪЬЭЬЭЬЭЬШMЪЭЬШЧMЪЭЬЭЬШMШMШ ЧЪЮЬЭЬЭЬЭЬЩ?MЪЬIЩIMЩ ЧЪЮЬЭЬЭЬШ.MЪЬЗЩЗJЪЬЭЬЭЬШ7JЪЬЭЬЭЬШ9JЪЬЭЬЭЬШLJЪЬЭЬЭЬШMJЪЬDШDJЪЬEШEJЪЬШJЪЬЭЬЭЬЭЬ
Ш/JЪЬЭЬШ"JЪЭЬЭЬЭЬ?ЭЬШYЪЭЬЭЬЭЬЭШ-JЪЬЭЬ#Ш1ЪЭЬ
ЭЬЭЬШЪЭЬЭЬЭШMЪЬ'ЭЬШ=ЧЪЭШMЪЬЭЬШ2ЧMШЧJЪЭЬШЧJЪЭЬЭЬЭЬЭЬ*ШOJЪЭЬЭЬ%Ш/MШMШ ЧЪЮЬЭЬЭЬШ'JЪЬ┌Щ┌JЪЬЭЬШ.JЪЬШЪЭЬЭЬЭШJЪЬ	ЭЬШ"ЧЪЭШJЪЬШЧJЪЭЬЭЬШ(JШЧЧЩ
MЪЬBЩBJЪЬ!ЭЬЭЬЭЬЭЬ&ЭЬЩИMЪЬЭЬ
ЭЬ>ЭЬЩiJЪЭЬUЩWJЪЬ1Щ1JЪЭЬ%Щ'ЧJШ JЪЭЬШJШ Ч ЕЧ    f  -  