DIRECTORY Basics, BasicTime, IO, PLAOps, REFBit, Rope; PLAOpsImplC: CEDAR PROGRAM IMPORTS Basics, BasicTime, IO, PLAOps, REFBit, Rope EXPORTS PLAOps = BEGIN OPEN PLAOps, REFBit; NewPLA: PUBLIC PROC[inRef, outRef: REF] RETURNS[pla: PLA] = { inName, outName: IO.ROPE; WITH inRef SELECT FROM name: IO.ROPE => {inName _ name}; refText: REF TEXT => {inName _ Rope.FromRefText[refText]}; ref: REF => { inName _ REFBit.Desc[ref].typeName; IF inName = NIL OR inName.Length[]=0 THEN ERROR}; ENDCASE; WITH outRef SELECT FROM name: IO.ROPE => {outName _ name}; refText: REF TEXT => {outName _ Rope.FromRefText[refText]}; ref: REF => { outName _ REFBit.Desc[ref].typeName; IF outName = NIL OR outName.Length[]=0 THEN ERROR}; ENDCASE; pla _ NEW[PLARec _ [ mask: REFBit.NEWFromName[inName], data: REFBit.NEWFromName[inName], out: REFBit.NEWFromName[outName], time: BasicTime.Now[], termList: NIL, term: NIL] ]; FOR bit: INT IN [0..REFBit.Size[pla.data]) DO -- Check for non-zero initial value IF REFBit.Get[pla.data, bit] THEN { Error[IO.PutFR["Non-zero initial value for pla input record: %g.%g", IO.rope[inName], IO.rope[REFBit.Desc[pla.data].bitForm[bit].name]]]} ENDLOOP; FOR bit: INT IN [0..REFBit.Size[pla.out]) DO -- Check for non-zero initial value IF REFBit.Get[pla.out, bit] THEN { Error[IO.PutFR["Non-zero initial value for pla output record: %g.%g", IO.rope[outName], IO.rope[REFBit.Desc[pla.out].bitForm[bit].name]]]} ENDLOOP; pla.termList _ NEW[TermListRec _ [ inBits: REFBit.Desc[pla.data].wds.size*16, outBits: REFBit.Desc[pla.out].wds.size*16] ]; pla.term _ NewTerm[inBitSize: pla.termList.inBits, outBitSize: pla.termList.outBits] }; Error: ERROR [msg: IO.ROPE] = CODE; CopyPLASubFields: PUBLIC PROC[refPla: PLA, outRef: REF ] RETURNS[newPla: PLA] = { newTerm: Term; refForm, newForm, oldForm: Format; newPla _ NewPLA[refPla.data, outRef]; IF refPla.termList = NIL THEN RETURN[NIL]; newTerm _ NewTerm[newPla.termList.inBits, newPla.termList.outBits]; newTerm.in _ NIL; -- Throw away in sequence refForm _ REFBit.Desc[refPla.out].fieldForm; newForm _ REFBit.Desc[newPla.out].fieldForm; oldForm _ NEW[FormatSeq[newForm.size]]; -- translation from new to old field position FOR newField: CARDINAL IN [0..newForm.size) DO FOR refField: CARDINAL IN [0..refForm.size) DO IF Rope.Equal[refForm[refField].name, newForm[newField].name] AND Rope.Equal[refForm[refField].nameInv, newForm[newField].nameInv] THEN {oldForm[newField] _ refForm[refField]; EXIT} REPEAT FINISHED => ERROR -- NOT found -- ENDLOOP ENDLOOP; FOR i: CARDINAL IN [0..newTerm.out.wdSize) DO newTerm.out[i] _ initOutQrtWz ENDLOOP; FOR refTerm: Term _ refPla.termList.begin, refTerm.next WHILE refTerm#NIL DO interesting: BOOL _ FALSE; FOR field: CARDINAL IN [0..newForm.size) DO FOR bit: CARDINAL IN [0..newForm[field].bitSize) DO q: Qrt _ GetOutQrt[refTerm, oldForm[field].firstBit + bit]; SetOutQrt[q, newTerm, newForm[field].firstBit + bit]; interesting _ interesting OR q=one OR q=dontcare ENDLOOP; ENDLOOP; IF ~interesting THEN LOOP; newTerm.in _ refTerm.in; ACopy[newTerm, newPla.termList ]; ENDLOOP; newTerm.in _ newTerm.out _ NIL; newTerm _ NIL }; GetBEForDataMask: PUBLIC PROC[pla: PLA] RETURNS[be: BoolExpr] = { dDesc: REFBitDesc _ REFBit.Desc[pla.data]; mDesc: REFBitDesc _ REFBit.Desc[pla.mask]; term: Term _ NewTerm[inBitSize: pla.termList.inBits, outBitSize: 16]; pla.validTerm _ FALSE; be _ NEW[TermListRec _ [inBits: pla.termList.inBits, outBits: 16] ]; REFBit.TVToDescWds[dDesc]; REFBit.TVToDescWds[mDesc]; FOR i: CARDINAL IN [0..term.in.wdSize) DO term.in[i].d _ Basics.BITAND[dDesc.wds[i], mDesc.wds[i]]; term.in[i].m _ mDesc.wds[i]; ENDLOOP; term.out[0].d _ term.out[0].m _ 177777B; AppendTerm[term, be ] }; SetOutForBE: PUBLIC PROC[pla: PLA, be: BoolExpr] = { oDesc: REFBitDesc _ REFBit.Desc[pla.out]; pla.validTerm _ FALSE; REFBit.TVToDescWds[oDesc]; FOR i: CARDINAL IN [0..oDesc.wds.size) DO IF oDesc.wds[i] # 0 THEN EXIT; REPEAT FINISHED => RETURN ENDLOOP; FOR t: Term _ be.begin, t.next WHILE t#NIL DO new: Term _ NewTerm[pla.termList.inBits, pla.termList.outBits]; FOR i: CARDINAL IN [0..new.in.wdSize) DO new.in[i] _ t.in[i] ENDLOOP; FOR i: CARDINAL IN [0..pla.term.out.wdSize) DO new.out[i].d _ oDesc.wds[i]; new.out[i].m _ 177777B ENDLOOP; AppendTerm[new, pla.termList] ENDLOOP}; GetOutForData: PUBLIC PROC[pla: PLA] = { dDesc: REFBitDesc _ REFBit.Desc[pla.data]; oDesc: REFBitDesc _ REFBit.Desc[pla.out]; REFBit.TVToDescWds[dDesc]; FOR i: CARDINAL IN [0..pla.term.in.wdSize) DO IF NOT pla.validTerm OR pla.term.in[i].d # dDesc.wds[i] THEN {pla.validTerm _ FALSE; pla.term.in[i].d _ dDesc.wds[i]}; IF NOT pla.validTerm OR pla.term.in[i].m # 177777B THEN {pla.validTerm _ FALSE; pla.term.in[i].m _ 177777B}; ENDLOOP; IF NOT pla.validTerm THEN { GetTermVal[pla.term, pla.termList]; pla.validTerm _ TRUE; FOR i: CARDINAL IN [0..pla.term.out.wdSize) DO oDesc.wds[i] _ pla.term.out[i].d ENDLOOP; REFBit.DescWdsToTV[oDesc]} }; END. ИPLAOpsImplC.mesa Copyright c 1984 by Xerox Corporation. All rights reserved. Last edited by Curry, April 4, 1986 2:38:28 pm PST Э╩lШЪ╨blЩJЪЬ ╧mЬ1Щ