Inter-OfficeMemorandumToCedarInterestDateOctober12,1982FromPaulRovnerLocationPaloAltoSubjectTheCedarRuntimeTypeSystemOrganizationPARC/CSLXEROXFiledon:[Indigo]Documentation>RTTypes.tiogaINTRODUCTIONTheCedarruntimetypesystemprovidesproceduresforexaminingarbitraryCedarvaluesandTYPEsatruntimeandforcreatingnewvaluesandmodifyingvariables.Usingitsinterfaces,onecanwriteaprogramthatdealswithanygivenCedarvalueorTYPEwithoutanticipatingthespecificTYPEwhentheprogramiswritten.Thenaturalclientforsuchfeaturesinaprogrammingsystemthatemploystypecheckingatcompiletimeisthedebugger.TheprimarymotivationforthecurrentimplementationwastoprovideafoundationfortheCedardebugger,basedontheconceptsoftheCedarAbstractMachineforinterpretingvaluesandtypes.ThekeyconceptsoftheCedarAbstractMachineforthepurposeofthismemoarethatatypecarrieswithitasetofoperationsandthatavariablecarrieswithititstype.Foramorecompletetreatmentoftheseandrelatedissues,see,on[Ivy],CedarAM.press,SAM.pressandRTT>AMFundamentals.press.Thecurrentimplementationistooslowtobeusedeffectivelybyclientprogramsasasubstitutefortruepolymorphisminthelanguage,butissuitableforexaminingandchangingvariablesinteractivelywiththeCedardebugger.Itisourintentiontoimprovetheimplementation(butretainthespiritofitsdefinition)whenthelanguageispreparedtodealadequatelywithpolymorphism.Weexpectthatitwillthenbemorenaturalforrun-of-the-millCedarprogramstomakeuseoftheseorsimilarfacilities.TheimplementationoftheruntimetypesystemisincludedintheCedarbootfiles.TheinterfacesreferencedinthismemoareRTBasic,RTTBridge,RTTRemoteBridge,RTTypesandRTSymbols.TheseareexportedbyRTT.bcd,whichisacomponentofCedarCore.bcd.Allfilesthatconstitutetheruntimetypesystemareaccessiblevia[Indigo]Top>Runtime.df.1.0ConceptsandPerspectiveCedarisastrongly-typedlanguage.Everyvariable(includingonesthatareimmutableaftercompile-time)hasanassociatedbundleofinformationthatcanbeusedtodeterminethemeaningofthebitsofitsvalue.IntheCedarAbstractMachineformulation,thisbundleiscalledaType.EachTypecorrespondstoaCedarTYPE,andisrepresentedatruntimeasaninstanceofRTBasic.Type(formoredetailabouttheCedarruntimesystemsee[Indigo]Documentation>Runtime.tioga).FortheCedartypesystem,itisconvenienttocategorizeTypesbywhatwecalltheirClass.Forexample,thisisusefulfordecidinghowtodisplayavalueofagivenType.1pНўОaОНґ qНўО_trНnО_tН├qН#ОО_trН+╞О_tН0ЩН3:qНўО\ЫrНnО\ЫН⌠qН#ОО\ЫrН+╞О\ЫН.иqНўОZ~rНnОZ~НFН^Н!Н$ёqН+╞ОZ~rН3oОZ~sН{ОRНrНўОIНLНлП*НўОDНoОA⌡НMНlН╘Н©Н#@Н(ж Н/ЦН2&Н8зН>┘НBёНFьНoО?СН@НЬНNН%Н ┌Н%ьН(ЕН-3Н0 Н6ю Н<РНAНC НoО>LН(НюНKН│НН!ЬН%┐Н(╚Н+XН/Н3?Н6ЖН8фН=НBНoО<╔НоН╧НФН⌡Н ЗН&┴Н'УНoО:*НfН8ННtН еН&Н'щН)& Н1ьН6rН9`Н>ЛНBНGЖНoО8┌Н╨НТНsНГН"\Н%HН*▓ Н1▀Н3щН6PН;. НE!НGЮНoО6шНёНЖ Н&Н█Н"Н&WН,АН0ЛН3Н5єН;iН=KН?тНDНoО54Н Н]НщН#Н%бНoО2╧НFНшНuН-Н▀Н"╒Н(Н-кН0Н2eН7їН9_Н;ЪН@7НB┴НEVНFНoО1НЄН╧НЫН НН╦ Н#PН%РН(╙Н)ЎН.ъН3$Н6)Н7iН9.Н<─Н?Н@)НCїНoО/jН©Н▒Н4Н"Н'╠Н-Н0иН3ИН8▀НoО-цНкН┐П!НoО+HН<НЗ Н мН"-Н$▄Н'╔Н)HН+-Н.^ Н4ЙН6шН:░Н@≈НB:НCX НoО)═НиНиННсН"OН(┼Н+(Н,╟Н1ЦН4=Н;Н=шНCтНoО'ЫНAНkНзН!Н'sН(ЗН*uН-Н2ЭН4╨Н:7Н<і НF■НoО&RНїНSН'Н,НS Н%cН)dН,Н2!Н3ыН9ВН;РН?7 НFtНoО$╙НФНlН╧Н"└Н#жН&~Н)═Н+█Н/Н3лН6Н?gНC|НoО#ННрНGНН┴НMН"р НoО ┬Н# НщНrНґН$юН'╚Н,Н-IН2кН4UН6░Н:└Н=░Н@╠НCe НoОЮ НъН9Н├Н!jН$iН*П Н3<Н@/НFьНoО9 Н;Н2НzН#+Н%Н+EН/HН0╗Н1гН8ДН:▓ НDYНF║НoО▓Н= ННчН Н#%Н'═Н)Т Н04Н2qНўОНЙНХН═ НoО°НЄНMНё НщН&(Н*KН/ў Н6iН9еН<юН?AНFSНoОТНН9Нn Н$ Н) Н+ Н2зН5НН8ЎН:ТН>uН@hНG/НoОMН.НН▒НXН6Н 5Н$\Н&PН(уН-Н2╠Н8┤Н@▐НCVНH#НoОіНgtН▓ОіНyОіrНОіНТОіtНhОіНOОіrН rОіН! Оі Н(Н)цН*НН/Н3█Н6FН7╡ Н?Н@ЇНEОНG·НoОЧН≥uН/ОЧНОЧtНNОЧН4ОЧrН"3ОЧН"╛ОЧН%фН*6Н.чН3²Н6ыН;нНAБНG:НoОWП,НoОэН+Н⌡НдНДН хН"/Н#╚ Н*ЇН,v Н2СН7Н9Н<┼Н>бНA]tНD╣ОэНEхОэrНHЁОэНoО 5ННЛН█НЫН Н"NН'чН*БН,▒Н1CН2mН6Н7пН8ЗН<ўvН)хОЖЪ TVm$эEveryCedarvariablethatcanaffecttheoutcomeofacomputationcanbeviewedasacomponentoftheCedarAbstractMachine.WecalladescriptionofsuchaCedarvariableaTypedVariable.WeusethetermStatusforthemutabilitypropertyofTypedVariables.ATypedVariabledescribes:theTypeofitsvaluewhetherthevalueisaconstant(i.e.immutableaftercompile-time)ifso,theactualbitsofthevalue(statusconst)ifnot,theaddressesofthememorycellsthatcontainthebitsofthevalueandwhetherthevariablemaybechanged(statusreadOnlyormutable)Notethatframes(bothlocalandglobal)areviewedasTypedVariablesintheCedarAbstractMachine.Asyouwillseebelow,theimplementationprovidesproceduresfordealingwithframesandcontrollinks.Aclientoftheruntimetypesystemapproachesitviathe"Bridge"interfaces(RTTBridgeandRTTRemoteBridge)fromeitheralocalorremoteCedarworldwithoneofthefollowing:aREFaLONGPOINTERandaRTBasic.TypeanATOMaROPEaPrincOps.FrameHandleaPrincOps.GlobalFrameHandleaPROCANYRETURNSANYanERRORANYRETURNSANYForREFs,LONGPOINTERs,FrameHandlesandGlobalFrameHandles,proceduresexistforcreatingTypedVariablesthatdescribethereferents.ForATOMs,ROPEs,PROCsandERRORs,proceduresexistforcreatingTypedVariablesthathavethespecifiedvalues.ProceduresoftheRTTypesinterfaceallowonetoexamineandmodifycomponentsofTypedVariablesandexaminethestructureofCedar/MesaTYPEs.Generally,theRTTypesproceduresareuniformlyapplicablebothtoTV'sforelementsofthelocalworldandTV'sforelementsofaremoteworld.Theonlyexceptiontothisinthecurrentimplementationistherestrictionthatassignment(viaRTTypes.Assign)ofaREF-containingvaluetoaTVinaremoteworldisnotallowed.2.0TheClassesofTypesType:TYPE=RTBasic.Type;RTTypes.Class:TYPE={definition,--e.g.TypeClass[CODE[T]]whereT:TYPE=...--cardinal,longCardinal,integer,longInteger,real,character,--basicatom,rope,list,ref,pointer,longPointer,descriptor,longDescriptor,basePointer,relativePointer--address--procedure,signal,error,program,port,--transfer--enumerated,subrange,union,sequence,record,structure,array,2rНoОb)НAН5НGНЯН!XН$ЪН';Н,╠Н.FН/K Н7!Н9┬Н;UН?ьНAaНBgНoО`┌НеНаНuН▄Н&0Н)WН,Н.E Н5ТН8IН<Н=щНB▓НHetНoО^зrНХО^зНсО^зНlНПН"_tН%ЄО^зН&╠О^зrН*УО^зН+nО^зН-AН/╞ Н6WН<Н=хНHНoО]3НЎ Н1ОZ╛Н░ННрН╛Н1ОX$ННчН┬НСН Н%▄Н(AН/'Н2cНРОU²НКНJНMН ОН"╗Н%Н(╠tН-ОU²Н-щОU²rН0ЪОU²НРОSН⌠НИН СН"ёН$ЫН*]Н-cН0(Н4ЧН7TН9МН;°Н=РНA⌠НDAНРОQnНRН┬Н▄Н!}Н&ЛtН+<ОQnН+АОQnrН2QОQnН3 ОQntН4ОQnН5_ОQnrН9ЖОQnНoОNГНВНвНcН*Н!┌Н$KН(ЫН+^Н0Н1ж Н;╩Н=zН?КНDНoОM?НYНKНЦНpНєН"КН%, Н.ЛН4\ Н;DН=cНBНEНoОK≤Н&НыНoОIННкН▄НСН1Н!IН%л Н,ШН.YН0·Н3Н8щ Н? НFьНoОGiНьН?Н#+Н$UН'⌡Н)_Н.Н2Н6 Н9%Н;яН=┼Н?И Н1ОDБvНZОDБНXОDБrН1ОBZvНZОBZН,ОBZНуrНwОBZНОBZН!/wН"XОBZН##ОBZvН&ЖОBZН'сОBZН1О?сНMrН1О=LvНZО=LНXО=LН1О:дН{Н1О8=Н{rН1О5╣vНZО5╣НBО5╣НуН<Н"aН1О3.НMНдН+Н$PrНoО0іvН)О0іН&О0іrНъО0іНcО0іvНNО0іНО0іНвrН ТО0іН!xО0іvН"cО0іН#5О0і rН*ТО0іН,О0іvН.пО0іН/ДО0іrН;▐О0іН<О0іН<Ч НDНGRНoО.ЪН┤ Н<Н КН&/Н(p Н.XvН0ЕО.ЪН1вО.ЪН6kН;цrН?╧О.ЪН@ёО.ЪvНC;О.ЪНD"О.ЪrНH.О.ЪНH╡О.ЪНoО-X Н├НгНН![ Н+?Н.Н1tН3ЦН9╞Н>E НEfНG/НoО+╟НEНцНDН хН"OН'═Н*/Н.е Н6JН7ш НA┤НDНoО* НоН▄НE Н!2НoО'┌ Н0Н≥Н÷ Н%╞Н(Н.─ Н5Н8\Н:Н=cН?╘НEmНG/НoО%зНЁН²НRН√НяН$┼Н&AН'iН,Н0OН3%Н6=НН@╪НBhНDеНoО$3 Н{НН═ Н$DН'@ Н.~Н1bН.Н?└ НoО"▄ННгНЯНZНН2НыН#еН%1Н'іНўО НЙНбНН8tНoО}НЯН9uНО}НПО}tН;О}Н "О}uНoОУtНтОУНГОУНоННСОHНШО xНOО НхО НфНFН*sН.VН0;Н4Н6drtН─ОМН\ОМН_Н"─Н(≥Н1йН5▒ rН=≥ОМН>ОМtН─О?Н\О?Н НNН├Н ⌠Н&ІН/Э Н8rrtН┴О▓Н┘О▓ НHrН&ЫО▓Н'rО▓ tН─ОДНgОДНКН3Н#жН*АrН.уОДН/NОД tН─О7Н\О7 НytНЭО ┴НЦО ┴НВНШОэН╪ НШО .vН)хОЖ▌TVm$ИcountedZone,uncountedZone,nil,--e.g.TypeClass[TVType[NIL]]unspecified,process,type,opaque,any,--e.g.TypeClass[Range[CODE[REFANY]]]globalFrame,localFrame--frame--};3.0MutabilitystatusofTypedVariablesRTTypes.Status:TYPE={mutable,readOnly,const};4.0The"Bridge"interfaces:ConversionbetweenCedarvaluesandTypedVariables4.1TypesandconstantsdefinedinRTTRemoteBridgeWorld:TYPE=WorldVM.World;RemoteRef:TYPE=RECORD[world:World_,worldIncarnation:LONGCARDINAL,ref:WorldVM.Address];nilRemoteRef:RemoteRef=[world:NIL,ref:0,worldIncarnation:0];RemotePointer:TYPE=RECORD[world:World_,worldIncarnation:LONGCARDINAL,ptr:WorldVM.Address];nilRemotePointer:RemotePointer=[world:NIL,ptr:0,worldIncarnation:0];RemoteFrameHandle:TYPE=RECORD[world:World_,worldIncarnation:LONGCARDINAL,fh:WorldVM.ShortAddress];nilRemoteFrameHandle:RemoteFrameHandle=[world:NIL,fh:0,worldIncarnation:0];RemoteGlobalFrameHandle:TYPE=RECORD[world:World_,worldIncarnation:LONGCARDINAL,gfh:WorldVM.ShortAddress];nilRemoteGlobalFrameHandle:RemoteGlobalFrameHandle=[world:NIL,gfh:0,worldIncarnation:0];RemotePD:TYPE=RECORD[world:World_,worldIncarnation:LONGCARDINAL,pd:UNSPECIFIED];nilRemotePD:RemotePD=[world:NIL,pd:0,worldIncarnation:0];RemoteSED:TYPE=RECORD[world:World_,worldIncarnation:LONGCARDINAL,sed:UNSPECIFIED];nilRemoteSED:RemoteSED=[world:NIL,sed:0,worldIncarnation:0];4.2HowtoacquireaTypedVariablefromaCedarvalue3tНШОb>Н_ НШО`█rНбО`█Н;О`█Н9НбtН─О^щНgО^щ НШО],НШО[|НШОYлНШОXxНОXН■ОXН▒НН+nrtН─ОVkН\ОVk Нv rН$zОVkН$СОVktНСОT╩rНўОR.НЙ Н╞Н├Н? uНoОO║tНтОO║НяОO║ННгН ╚Н(8Н/гrНўОMНЙНбН⌠ Н6 Н%~Н*ЛН/Н32Н5Й НoОJ├Н╛Н╦НpНcН#cН%yН1ОGЫrНЕОGЫqНБОGЫН⌡ОGЫrН9ОGЫНОGЫ yН1ОElrНсОElqНпОElН┴ОElrН'ОElqНОElНЮОElrН#>ОC╪Н(Н,UН-БН#цОBqН.ВОBН/╟ОBН2мrН9ОBН#цО@[Н&cН╣О>╚НН#cН%HqН*О>╚Н*ЬО>╚rН,О>╚Н,ЬО>╚Н/≥Н1%НО:nН(Н,UН-БН#цО8ҐqН.ВО8ҐН/╟О8ҐН2мrН9О8ҐН#цО7 Н&zН╣О5\Н6Н'╠Н)√qН._О5\Н/GО5\rН0jО5\Н1GО5\Н3ЧН5▀Н@юyН1О2оrНзО2оqНвО2оН ░О2оrН#.О2оqН%О2оН%ГО2оrН#>О1Н(Н,UН-БН#цО/oqН.ВО/oН/╟О/oН2мrН9О/oН#цО-ЎН&Н╣О,Н"#Н!-О*^Н#qН'зО*^Н(цО*^rН)ФО*^Н*бО*^Н-Н.█Н9бyН1О'яrН"пО'яqН#мО'яН$├О'яrН'$О'яqН) О'яН)щО'яrН#>О& Н(Н,UН-БН#цО$pqН.ВО$pН/╟О$pН2мrН9О$pН#цО"©Н&╠Н╣О!Н&;Н!-О_Н#qН'зО_Н(цО_rН)ФО_Н*бО_Н-╠Н/>Н:ryН1ОрrН╪ОрqН╨ОрНsОрrНОрqНЖОрНйОрrН#>О!Н(Н,UН-БН#цОqqН.ВОqН/╟ОqН2мrН9ОqН#цОаqН&NОаН'4Оа rН.ОаН.vОаН╣ОНьН"УН$зqН)╒ОН*┼ОrН+ґОН,┼ОН/Н0╒Н;вyН1О┐rН≥О┐qН√О┐НPО┐rННО┐qНсО┐Н їО┐rН#>ОсН(Н,UН-БН#цО"qН.ВО"Н/╟О"Н2мrН9О"Н#цОrqН&╠ОrН'√Оr rН.uОrН.ыОrН╣ОбН╣Н$ўН&⌠qН+[ОбН,DОбrН-gОбН.CОбН12Н2©Н=СНoО 5Н╛Н НЇН≈НюН&Н)vН*═Н.╦vН)хО`TVm$ (a)FromalocalCedarREF(RTTBridge)TVForReferent:PROC[ref:REFANY,status:Status_mutable]RETURNS[TypedVariable];ThisyieldsaTypedVariablethatrepresentstheCedarvaluethatisthereferentofref.TVForReadOnlyReferent:PROC[ref:REFREADONLYANY]RETURNS[TypedVariable];ThisyieldsaTypedVariable,statusreadOnly,thatrepresentstheCedarvaluethatisthereferentofref.(b)FromaremoteCedarREF(RTTRemoteBridge)TVForRemoteReferent:PROC[remoteRef:RTTRemoteBridge.RemoteRef,status:Status_mutable]RETURNS[TypedVariable];ThisyieldsaTypedVariablethatrepresentstheCedarvaluethatisthereferentofref.(c)FromotherlocalCedarvalues(RTTBridge)TVForATOM:PROC[atom:ATOM]RETURNS[TypedVariable--atom--];TVForROPE:PROC[rope:Rope.ROPE]RETURNS[TypedVariable--rope--];--useTVToNametogettheROPEbackTVForProc:PROC[proc:PROCANYRETURNSANY]RETURNS[TypedVariable--procedure--];TVForSignal:PROC[signal:ERRORANYRETURNSANY]RETURNS[TypedVariable--signal,error--];TheseyieldTypedVariablesthatdescribetheindicatedprocedureorsignaldescriptor.TheClassofsuchaTypedVariableiseitherprocedure,signal,orerror.(NOTE:TheoperationsbelowandtheTypedVariablestheyproduceareunsafe)TVForPointerReferent:PROC[ptr:LONGPOINTER,type:Type,status:Status_mutable]RETURNS[TypedVariable];ThisyieldsaTypedVariablethatrepresentsthereferentofthespecifiedpointer.ThespecifiedTypeisacceptedasthevariable'sType.TVForFHReferent:PROC[fh:PrincOps.FrameHandle,evalStack:WordSequence_NIL]RETURNS[TypedVariable];ThisyieldsaTypedVariablethatrepresentstheindicatedlocalframe.ThestructureofnestedblocksandtheirlocalvariableswillbedeterminedfromthePCthatisstoredintheframe.BEWARE.ThisisUNSAFE.ReferencetothisTypedVariableafterthespecifiedframeisnolongervalidwillleadtomanifestationsofstrangeandwondrousphenomena(RTTypesfunctionsthatdealwithframevaluesvalidatethemwhereverpossible,butaccidentscanstillhappen.)TVForGFHReferent:PROC[gfh:PrincOps.GlobalFrameHandle]4rН1Оb!НMН"НLН▓Н ╙Н$ tНРО_⌡ Н Н([Н+іН/еН5DН:vН<НО]НrНЄО[iНцНёНаН)Н+х Н2?Н4⌠Н8÷Н<>Н?Н@aНB╣НGжtНЄОYбrНцОYбtНРОW<Н'tН/OН2 Н;-НОU▐rНЄОS НОНЭН G Н*tН.ОS Н.ґОS rН4 ОS Н5≤ОS Н8┤ Н?+НA╛НEЕНЄОQbН┌НННMН#ytН%2ОQbН%вОQbrН'BОQbН1ОNщНoНDНmНН"-Н%┴tНРОLWН%СuН3BОLWН4ОLWtН>ОLWН?ОLWН'ОJ╚Н,ЧН20Н3╪НОHЧrНЄОFxНцНёНаН)Н+х Н2?Н4⌠Н8÷Н<>Н?Н@aНB╣НGжtНЄОDяrНцОDяН1ОBLНCННЇНЩН#Н'C tНРО?ф Н░ Н'ЛНО>НРО;■ Н6 Н'E НО9ГrxНО8:Н√О8:Н■НТН%jН'Н)OН+⌡Н0tНРО5╣ Н■ Н&ёН+\Н/Н6mНО4П$НРО1┐Н╠Н(хН.ZН2Н9kНО/жН1qrНЄО-QН%НШ Н*=Н-{Н3MН6Н<НCqНEєНЄО+╘ НїН!╞Н%qН'YН*╨Н,Н5▒Н7,vН;HО+╘Н<О+╘rНAИО+╘vНBУО+╘НC╔О+╘rНF©О+╘НGкО+╘vНЄО*rНьО*НРО'|НnНF Н#ТН(Н*╦Н- Н6КН9ШН?TНA╗tНРО$ВН~О#JНdН"ЭН*\Н.├Н3Н8┬Н=╨Н?EНО!²rНЄОНшНсН Н)eН,@ Н2оН5;Н:tН<:Н>іНDnНЄОqН▄Н HН#пН%<Н*ЦН,▒Н.Я Н5tНРОКН"nuН)╞ОКН*zОКtН/cОКН0JОК Н$hО> Н,zН7ЯН9}НО▓rНЄОН╛НwНН(╛Н+Y Н1╨Н3ЬН9йН<ОНAНCрНЄОeНsНиН"Н$яН(Н+jН1+Н3эН5с Н="Н@░НBУНEOНH#НЄОЎН©НUН°Н#рН*ЎН-юН/Н5ІН< Н=ЇН@@НЄОНШНgН#.Н'1Н(╗Н*╩Н/ Н2}Н54Н8:Н9Т НCНDяНЄОoНKН ─Н'уН.+Н4 Н6ЇН9▐Н<┼Н@`НDnНЄОхН=Н!/Н&иН)JН/3Н1ЎН4_tНРО BН#│uН+·О BН,hО BtН1RО BН2dО BvН)хОЖATVm$зRETURNS[TypedVariable];ThisyieldsaTypedVariablethatrepresentstheindicatedglobalframe.(d)FromotherremoteCedarvalues(RTTRemoteBridge)TVForRemotePointerReferent:PROC[remotePointer:RemotePointer,type:Type,status:Status_mutable]RETURNS[TypedVariable];TVForRemoteFHReferent:PROC[remoteFrameHandle:RemoteFrameHandle,evalStack:WordSequence_NIL]RETURNS[TypedVariable];ThisyieldsaTypedVariablethatrepresentstheindicatedlocalframe.ThestructureofnestedblocksandtheirlocalvariableswillbedeterminedfromthePCthatisstoredintheframe.BEWARE.ThisisUNSAFE.ReferencetothisTypedVariableafterthespecifiedframeisnolongervalidwillleadtomanifestationsofstrangeandwondrousphenomena(RTTypesfunctionsthatdealwithframevaluesvalidatethemwhereverpossible,butaccidentscanstillhappen.)TVForRemoteGFHReferent:PROC[remoteGlobalFrameHandle:RemoteGlobalFrameHandle]RETURNS[TypedVariable];TVForRemotePD:PROC[remotePD:RemotePD]RETURNS[TypedVariable--procedure--];TVForRemoteSED:PROC[remoteSED:RemoteSED]RETURNS[TypedVariable--signal,error--];4.3HowtoacquirealocalCedarvaluefromaTypedVariable(RTTBridge)RefFromTV:PROC[tv:TypedVariable]RETURNS[REFANY];Ifpossible,thisreturnstheREFthatpointstothevaluerepresentedbytv.ThisraisesInternalTViftvisembedded,NotMutableifTVStatus[tv]#mutable.SomeRefFromTV:PROC[tv:TypedVariable]RETURNS[REFANY];LikeRefFromTV,butcreatesacopyofthespecifiedvalueincollectiblestorageandreturnsaREFtothecopyinsteadofraisinganerror.ReadOnlyRefFromTV:PROC[tv:TypedVariable]RETURNS[REFREADONLYANY];Ifpossible,thisreturnsaREADONLYREFthatpointstothevaluerepresentedbytv.ThisraisesInternalTViftvisembedded.PointerFromTV:PROC[tv:TypedVariable]RETURNS[LONGPOINTER];TVToATOM:PROC[tv:TypedVariable]RETURNS[ATOM];TVToProc:PROC[tv:TypedVariable]RETURNS[PROCANYRETURNSANY];TVToSignal:PROC[tv:TypedVariable]RETURNS[ERRORANYRETURNSANY];ThesereturnthevaluerepresentedbythespecifiedTypedVariable.IftvisNIL,they5tНОb rНЄО_⌡НнН╨НЦН)2Н, Н2┐Н4БН:жН>ЫН1О]НoНDНЦН ┼Н$╒Н(пtНРОZ░Н+0Н;J Н+÷ОXЦН/иН+÷ОW7Н1Н6PН7эНОU┼НРОSН5*НРОQ^Н)ОO╠ Н1Н<∙Н> НОNrНЄОKН╛НwНН(╛Н+Y Н1╨Н3ЬН9йН<ОНAНCрНЄОIьНsНиН"Н$яН(Н+jН1+Н3эН5с Н="Н@░НBУНEOНH#НЄОH0Н©НUН°Н#рН*ЎН-юН/Н5ІН< Н=ЇН@@НЄОF┴НШНgН#.Н'1Н(╗Н*╩Н/ Н2}Н54Н8:Н9Т НCНDяНЄОDБНKН ─Н'уН.+Н4 Н6ЇН9▐Н<┼Н@`НDnНЄОC:Н=Н!/Н&иН)JН/3Н1ЎН4_tНРО@╣Н╔О?Н4╛Н О=\НРО:ж Н!Ў Н.╙Н О9*П$НРО6єН"≈Н0\ Н О4ЬН0irНoО/МН╛Н НЇН≈НюН Н$Н'хН+/Н,YН5╗ tН1О-g Н5Н"a Н-Ь Н8цrНРО*БНaНГНuН#Н%aН(╘Н+dН/tН1Н3[Н6Я Н>HtН@0О*БН@©О*БrНA░О*БНBиО*БНEпНРО): НtНoО):НЧО):rНSО):НІО):Н ЎН'я Н/ёН1Н8ГН:лtН1О&╣ Н3Н&_ Н1Ж Н<аrНРО$/Н- Н sН#Н'▓Н(хН,%Н-ЙН0UН6Н9рН;▀ НBНFьНРО"┬Н╔НоН+НыН"9Н%▀Н*>Н+ВН0fН2WtН1О Н")Н)U НPОV Н!Н)╞rНРОяН┘Н/НАН#єН$чН-╠Н1Н3ЭН80Н9НН<^Н@ НG⌠tНРО)rНRО)Н╡О)НлН▀ Н%їtН'О)Н'≈О)rН(ЛО)Н)OО)Н*XtН1Оє НЪН%+ Н0бН<зН1ОН*Н"U Н-Л Н1О≥Н.Н!Y НPОЛН"┴Н&0Н- Н1Оg НKН"v НPО╨Н#bН'Н.srНРО 5НУН$Н└Н#. Н*≥Н,∙Н.УН4╡ Н>чvН@`О 5Н@нО 5rНBО 5НBfО 5vНCpО 5НDmО 5rНE╒О 5НFО 5vН)хОЩЪPTVm$ returnnullsignalorprocedurevalues.FHFromTV:PROC[tv:TypedVariable]RETURNS[PrincOps.FrameHandle];GFHFromTV:PROC[tv:TypedVariable]RETURNS[PrincOps.GlobalFrameHandle];ThesereturnanappropriatekindofpointertothevaluerepresentedbythespecifiedTypedVariable.TVToLC:PROC[tv:TypedVariable]RETURNS[LONGCARDINAL];TVToInteger:PROC[tv:TypedVariable]RETURNS[INTEGER];TVToLI:PROC[tv:TypedVariable]RETURNS[LONGINTEGER];TVToCardinal:PROC[tv:TypedVariable]RETURNS[CARDINAL];TVToCharacter:PROC[tv:TypedVariable]RETURNS[CHARACTER];TVToReal:PROC[tv:TypedVariable]RETURNS[REAL];TheseproceduresPUNthespecifiedvalueintothespecifiedCedarbasicTYPE.TheyraiseRangeFaultifthesizeofthespecifiedTypedVariableisinappropriate.4.4HowtoacquirearemoteCedarvaluefromaTypedVariable(RTTRemoteBridge)RemoteRefFromTV:PROC[tv:TypedVariable]RETURNS[RemoteRef];RemotePointerFromTV:PROC[tv:TypedVariable]RETURNS[RemotePointer];RemoteFHFromTV:PROC[tv:TypedVariable]RETURNS[RemoteFrameHandle];RemoteGFHFromTV:PROC[tv:TypedVariable]RETURNS[RemoteGlobalFrameHandle];TVToRemotePD:PROC[tv:TypedVariable--procedure,program--]RETURNS[RemotePD];TVToRemoteSED:PROC[tv:TypedVariable]RETURNS[RemoteSED];4.5RemotenesspropertiesofTypedVariables(RTTRemoteBridge)IsRemote:PROC[tv:TypedVariable]RETURNS[BOOLEAN];GetWorld:PROC[tv:TypedVariable]RETURNS[World];GetWorldIncarnation:PROC[tv:TypedVariable]RETURNS[LONGCARDINAL];4.6RTTBridgefacilitiesofinterestonlytoWizardsThefollowingstuffisforusebyWizards.Ifyouneedit,chancesaregoodyou'redoingsomethingwrongWordSequence:TYPE=REFWordSequenceRecord;WordSequenceRecord:TYPE=RECORD[s:SEQUENCEsize:NATOFWORD];TVToWordSequence:PROC[tv:TypedVariable]RETURNS[s:WordSequence];ThisisusefulforTypedVariableswithsize>Size[CODE[LONGINTEGER]].ItwillproducewhatamountstoanuninterpretedbitstringforanyTypedVariable.Loophole:PROC[tv:TypedVariable,type:Type,tag:TypedVariable_NIL]RETURNS[TypedVariable];OctalRead:PROC[tv:TypedVariable,offset:INT]6rНРОb)Н!НЫНДН!╗Н(+tН1О_єН╠Н!щ Н-tuН4ТО_єН5ЎО_єtН:╗О_єН;▌О_єН1О] НдН"О НPО[tuНпО[tН⌡О[ttН#└О[tН$≈О[trНРОXОНЬН*Н Н&┌Н)ІН+sН0?Н1ЯН4UН8 Н?pНApНCсНРОWH tН1ОTцНцНН Н+┘Н7² Н1ОSНШН#' Н.ЎН1ОQkН)НT Н*КН7Н1ОO©НЛН$ Н/╞Н1ОN НН%A Н0ьН1ОLgНН!- Н,д rНРОIБНМ НМН#~Н%жН+▀Н/-Н1ЪН4WН:Н>НA┴НFНРОH;Н- Н╒Н!Н#bН&Н'гН*&Н/БН91Н:² НoОEІН╛Н НЇН≈НюН!hН%─Н))Н,░Н-╨Н7 tН1ОC1Н ╘Н'т Н3kН1О@ґН#NН*U Н5гН1О>(Н+xН=Ь Н1О<│Н1О9ЭН!8Н(c НHО8PП!Н1О5лНWН%┐Н9┘ НHО4Н1О1⌡ Н0Н&\ Н1СrНoО/Н╛ НL НдН!} Н+PtН1О,▓НКН! Н,ўН1О* НКН! Н,ўН1О'┴Н%Н/ Н=vН1О%А rНoО#]Н╛НС НVН Н$НН(Н)ЇН1О ьНН?Н┌Н Н"OН$жН&ЦtН+ІО ьrН,еО ьН-IО ьН.YН1"Н4▒Н6QН;zН=ъНAcНEўН1О1НтtН9О╛Н(Н#qН%TН(÷Н9ОНОTН!KН#/Н+бН4Н7УН;zН>Н1ОоН!гН(Р НPО# Н· rНРО÷Н'НўНБН : Н*)Н-_ННKНЧН]Н!┼Н#CН'OН)Н-╩Н/ЬН2WН6Н<,tН>'О3>Н>ІО3>rН?┤О3>tНoО0╨ННI Н&ЮНoО.6НQНBН °rН1О+╡vНнО+╡Н&О+╡rНGО+╡Н╚О+╡vНнО+╡НЬО+╡rН█О+╡Н3О+╡Н `Н"шН&┼Н(^vН*ыО+╡Н+ІО+╡rН5`О+╡Н6О+╡Н7о Н>ЯНAkНE0vНGО+╡НG┴О+╡rН1О* НкН+НтvН█О* НЕО* rН!gО* tНoО'├НН,Н{ Н+Н2|rН1О%Н?Н÷НwНлНЭ Н'дН+WН,ЫН1┼Н3чН7OН:^Н<ФН>; НEAНFЦН1О#ZН_ННgН!Н$*Н&&Н(┘tНoО жН@Н]Н!╚ Н-BН4ґrН1ОRНSНфН╡НН_Н"МН&╣Н(kН1Н38Н7РН:NН<╣Н@:НD|НG;Н1О╙НўО&НЙН~ Н+Н2Н?Н"іН%Н+tНoО╒Нx НqН ТН&rrН."О╒Н.⌡О╒Н4ЩН8oН=⌡Н?T tНE~О╒НF├О╒Н▌ОЖ Н ┐rН(3ОЖН(╛ОЖН,)Н.ftН3PОЖН3ЙОЖvН1ОqrН┴ОqН ОqНYНжН" Н#ВН(!Н)ВН.гН1"Н2iН60Н8Н:└vН@]ОqНA:ОqrНC┌ОqНD|ОqНG/vН1ОйНPrНжОйН|ОйvН█ОйН>ОйrН%PОйН%тОйН*qН,ўН1*tНoОFН▌ Н┬Н*О Н╘Н!шН#gН*ОНН;Н'ТН)Н*О BНmНуНavН)хОЖЪ>TVm$ RETURNS[TypedVariable];Newcreatesandreturnsaclearedobject.DefaultInitialValue:PROC[type:Type]RETURNS[TypedVariable];DefaultInitialValueisimplementedonlyfortypeswithconstantinitialization.Atpresentitisnotavailableforprocedureparameterandresultrecordtypes;useIndexToDefaultInitialValuetoexamineeachfield.IndexToDefaultInitialValue:PROC[type:Type--recordorstructure--,index:Index]RETURNS[TypedVariable];Returnsthedefaultinitialvaluefortheindex'thfieldoftype.ObviouslynotinallcasesequivalenttoDefaultInitialValue[IndexToType[type,index]].N.B.ThereareatpresentnooperationsforobtainingaTypedescribingadefinitionsmoduleproceduredefinition;oneinsteadnormallyobtainstheTypeofaspecificexportedimplementation.ThedefaultinitialvaluesthatoneobtainsfromthisTypewillbethoseoftheimplementation,whichmaydifferfromthoseoftheimporteddefinition.TypeClass:PROC[type:Type]RETURNS[Class];IsPainted:PROC[type:Type]RETURNS[BOOL];TRUEiftyperepresentsapaintedtype.7.0ApplicableoperationsforeachClassofTypeThissectioncontainsalistforeachClassofTypeoftheoperationsthatareapplicabletoTypedVariablesandTypesofthatClass.YouwillnotethatsomeoperationsareapplicabletomorethanoneClass.AruntimetestismadeforeachoperationtoverifythatitisapplicabletothegivenTypedVariableorType.RTTypes.TypeFaultisraisedifthistestfails.Index:TYPE=NAT;Thisisanumerictypethatisusedforindexinginsomeoftheproceduresbelow.Generally,thevalidindexrangefortheseis[1..n].definitionThisclassappearstoconfusenewusersoftheRTTypesinterface.ATypehasdefinitionasitsclassIFFitwasdefinedasanidentifierthatisequatedtosomeotherType,asinT:TYPE=RECORD[...Forexample,tv:TV_TVForReferent[NEW[T]];...IFTypeClass[TVType[tv]]#definitionTHENERROR;...IFTypeClass[UnderType[TVType[tv]]]#recordTHENERROR;TypeToName:PROC[type:Type,moduleName:REFRope.ROPE_NIL,fileName:REFRope.ROPE_NIL]RETURNS[Rope.ROPE];IfmoduleNameand/orfileNamearesupplied,TypeNameattemptstodiscoverthemoduleandfilenamesforthemoduleinwhichtypewasdefined.Ifthesuppliedtypehasnoname(e.g.,ananonymousprocedureparameter),NILisreturned.Ground:PROC[type:Type]RETURNS[Type];Thispeelsoffonelayerofdefintion.8tН┤Оb vН1О_ёrН│О_ёНО_ёНН©Н!rН"°Н'ZtНoО]%Нф Н&©Н+bvН1ОZїrН_ОZїНцОZїНж Н(3Н+XН-═Н1@Н4fН9ЮНBЄНD╩Н1ОYН НН╒Н!pН$аН,WН3МН7ЇН<√НAЫНGtН1ОWXrН%дОWXН&3ОWXН'rН,КН0tНoОTзН#| Н,urН0~ОTзН0ВОTзН1УН6DН8 tН>4ОTзН?1ОTзНDН▌ОS2rН1ОPЄНeНаНfН"OН%УН(/vН*▀ОPЄН*ЦОPЄrН.ОPЄН.`ОPЄН0Н3DvН4ЫОPЄН5gОPЄrН7╟ОPЄН9 ОPЄН?▓НBНD/НFН1ОO НъvН▌ОOН▀ОOП$Н3rН7┬ОOН1ОL▐НїНЦНpНBН#OН%▐ Н,vН.МН5EvН6╗ОL▐Н7┘ОL▐rН:▀ОL▐Н;RОL▐НA]НBю Н1ОJГН'Н═ Н$[Н&ЩН+їН1mН6-vН8┐ОJГН9_ОJГrН<"ОJГН<чОJГН=рН>РНCсН1ОI@Н НРН$╙Н(╔Н,ЦН/юН2|Н7TН:кvН=|ОI@Н>XОI@rНA5ОI@НB2ОI@НCОНEПН1ОG≥НЙНIН ─Н$▌Н'▓Н+]Н.дН2cН4Н6{Н≤НA НGЮНoО9| НNНН )Н!НН$хН(ЎН+ыН.░Н1ІН4░Н8. Н>ХНAG НGЮНoО7уННGННЭН≤Н#ъН&zН'УН+дН.Н1QН7┼Н9HН=CН@ НA├НC НoО6-НН}Н1Н ─Н"DwН&$О6-Н&ОО6-rН+О6-Н+ГО6-Н1ўН3Н7Н8}Н;Н=╙tНoО3╟Н_Н╗Н▀rН1О12Н1Н┐Н⌠НщНсН"┬Н#зН&ЭН) Н.╚Н0@Н3╧Н5YН7· Н>▄НBв Н1О/┼Н░НЬНбН█Н!йН%SН&©xНoО- rН1О*▐НDНmНqНН$Н'Н*yН,*Н.┐Н4y Н:nН;ТН?uxНAЦО*▐НB⌠О*▐rНGАО*▐НH├О*▐Н1О(ГНН;ННiНН#Н$цН&Ё Н,іН/tН0ЮН6Н7гН;ZН>ЫНBзНD┬zНЮО'?НhН═НO rН1О%√НэzНРО#НRНзН┴НРО!oНРОгНzН*Н+╦ Н4ЧН96НРОНРОuНzН3OН4ЧН:ФН?tН1ОВ Н Н%xНОN Н)UuН,║ОNН-tОNtН/МОNН0УОNН4lН5ЬНОіН&_uН)╙ОіН*}ОіtН,ЖОіН-ЧОіН1uН3НPОЩuНпОЩНёОЩtН!ОЩН"$ОЩrНРОvН┬ОН╡ОrН▒ОН 6ОvН$LОН$╨ОrН*}ОН+"ОН,ДvН2АОН3ҐОrН:QОН:ВОН?ЖНA╦НG/НРОьННБНhН#иН&#Н(÷Н-╩Н/┘vН3╟ОьН4ОьrН7ОьН8ОьН9оН?ДНA┐НCЪНРО0ННwН}Н =Н#≤Н%┬Н,шН3^ Н:╡Н=дН?0tН1ОЁНu Н!oН& rНРО 5НН┼Н╪Н hН#оН%┬ vН)хО"TVm$ UnderType:PUBLICPROC[type:Type]RETURNS[Type];Thisreturnsthefirstunderlyingnon-definitiontype.GroundStar:PUBLICPROC[type:Type]RETURNS[Type];Thisfindsthefirstnon-definitiontype,thenpeelsoffsubrangeorrelativeReflayerstoarriveatthe"ground"Type.cardinal,longCardinal,integer,longInteger,real,characterFirst,Last:PROC[type:Type]RETURNS[TypedVariable];Next:PROC[tv:TypedVariable]RETURNS[TypedVariable];Coerce:PROC[tv:TypedVariable,targetType:Type]RETURNS[TypedVariable];Seetheenumeratedsectionforacompletedescription.Coercionsbetweenintegersandcardinalsandtheirsubrangesaresupported.Nocoercionscurrentlyexistbetweenrealsorcharactersandanyothertypes,norarecoercionsto/fromlongnumerictypessupported,althoughthatwouldbeeasy.list,refRange:PROC[type:Type]RETURNS[Type];Thisreturnsthereferenttypeofthespecifiedreftype.Referent:PROC[ref:TypedVariable]RETURNS[TypedVariable];Thisisthedereferencingoperation.ReferentStatus:PROC[type:Type]RETURNS[Status];ThiswillreturnreadOnlyifthereftypeisREFREADONLY...,mutableotherwise.Coerce:PROC[tv:TypedVariable,targetType:Type]RETURNS[TypedVariable];CoercewillproduceaTypedVariable,statusreadOnly,ifappropriatetypeandrangetestsaresuccessful.ItwillproduceaTypedVariableforaREFANYfromaTypedVariableforsomeexplicitREFtype(i.e.,Widen).ItcanalsoproduceaTypedVariableforanexplicitREFtypefromaTypedVariableforaREFANYwhosecurrentreferentisofanacceptabletype(i.e.,Narrow).pointer,longPointerRange:PROC[type:Type]RETURNS[Type];Thisreturnsthereferenttypeofthespecifiedpointertype.Referent:PROC[ref:TypedVariable]RETURNS[TypedVariable];Thisisthedereferencingoperation.ReferentStatus:PROC[type:Type]RETURNS[Status];ThiswillreturnreadOnlyifthepointertypeis...POINTERTOREADONLY...,mutableotherwise.descriptor,longDescriptorRange:PROC[type:Type]RETURNS[Type];Thisreturnsthereferenttypeofthespecifieddescriptortype.ReferentStatus:PROC[type:Type]RETURNS[Status];9tН1Оb НН! Н*Н.Ё rНРО_ёНН©НН!В Н(Г Н1ТtН1О]& Н┌Н!┘ Н*~Н/! rНРОZ╘Н!Н╘НН! Н*,Н-╘Н0ДН4wН6ЎН<╟Н>┬ НEєНРОYН║Н▄Н$Н└Н$ўxНoОV┘ННwН"PН)ЦН,РtН1ОTН┤Н⌡ Н#■Н(7Н1ОQ▀НqН² Н)4Н1ОOНUН─ Н*В Н3оНPОMfrНРОJИН}xНяОJИНlОJИrН!ОJИН!┘ОJИН%▓Н'цН(АН.ЎН6Н<{xНAчОJИНBAОJИrНEшОJИНFьОJИxНРОIBrНїОIBНщОIBНбН!6Н'дН*E Н1СН4┐Н:╦Н@цНD xНРОG rН%ОG Н/ОG xНТОG Н▐ОG rН[ОG Н eОG Н#Н%юН)`Н-NН/ыН2.Н88Н={Н@√НEШНРОEС НцН!Н$MН(|Н*lxНoОCvНtН1О@ЫН╟ Н ╘Н%L rНРО>|НН©НН$KН'[Н)Н+sН1/Н3VtН1О;ЪНrН!N Н,ЕrНРО9┌ННxНьН$v tН1О7Н! Н'Н+ҐrНРО4┬НН╦vНФО4┬НkО4┬rН%;О4┬Н%·О4┬Н&°Н(ШН+#Н.3vН/·О4┬Н0°О4┬Н2ыrН:┐О4┬Н:зО4┬vНН^Н Н"ЬН$кН'рН-┤Н/ Н8╦Н;QН<вН@▐НD╒НHeНРО*≈Н▒Н!Н%Н*%Н-яН10Н4▌Н:ЧН<еН?═НB╪НHeНРО(ПН4Н eН"HН'Н*^Н-aН0╩Н1ьН;Н=JН>gНAІНEaНРО'HН╪НХН SН"Н#Щ Н*╛Н-╪Н0йxНoО$кН] tН1О"NН╟ Н ╘Н%L rНРОяНН©НН$KН'[Н)Н+sН1/Н5ЬtН1ОTНrН!N Н,ЕrНРОвННxНьН$v tН1ОZН! Н'Н+ҐrНРОщНLН7vНіОщН *ОщrН&:ОщН&²ОщН'шН*zН/┐Н2рvН4~ОщН4АОщН6kН=MН@rНG╛ОщНHОщvНРО6rН√О6НQО6xНoО╧ НС tН1О<Н╟ Н ╘Н%L rНРО©НН©НН$KН'[Н)Н+sН1/ Н7°tН1О BН! Н'Н+ҐvН)хОMTVm$ЯThiswillreturnreadOnlyifthedescriptortypeis...DESCRIPTORFORREADONLY...,mutableotherwise.Apply:PROC[tv:TypedVariable,arg:TypedVariable]RETURNS[TypedVariable];ThisreturnsaTypedVariableforthespecifiedelementofthespecifiedarray.NOTE:Applyfordescriptorsisnotimplementedyet.procedureDomain:PROC[type:Type]RETURNS[Type];Range:PROC[type:Type]RETURNS[Type];TVToName:PROC[tv:TypedVariable]RETURNS[ans:Rope.ROPE];StaticParent:PROC[tv:TypedVariable]RETURNS[TypedVariable--proc--];--maybeNILGlobalParent:PROC[tv:TypedVariable]RETURNS[TypedVariable--globalFrame--];signalDomain:PROC[type:Type]RETURNS[Type];Range:PROC[type:Type]RETURNS[Type];TVToName:PROC[tv:TypedVariable]RETURNS[ans:Rope.ROPE];GlobalParent:PROC[tv:TypedVariable]RETURNS[TypedVariable--globalFrame--];errorDomain:PROC[type:Type]RETURNS[Type];TVToName:PROC[tv:TypedVariable]RETURNS[ans:Rope.ROPE];GlobalParent:PROC[tv:TypedVariable]RETURNS[TypedVariable--globalFrame--];programDomain:PROC[type:Type]RETURNS[Type];Range:PROC[type:Type]RETURNS[Type];TVToName:PROC[tv:TypedVariable]RETURNS[ans:Rope.ROPE];portNospecialoperations(yet).enumeratedNameToIndex:PROC[type:Type,name:Rope.ROPE]RETURNS[Index];Therangeofindexis[1..NValues[type]].NameToIndexraisesBadNameIndexToName:PROC[type:Type,index:Index]RETURNS[Rope.ROPE];RaisesBadIndex.TVToName:PROC[tv:TypedVariable]RETURNS[ans:Rope.ROPE];First,Last:PROC[type:Type]RETURNS[TypedVariable];Next:PROC[tv:TypedVariable]RETURNS[TypedVariable];NextreturnsNILifthereisnosuccessortotv.NValues:PROC[type:Type]RETURNS[Index];Value:PROC[type:Type,index:Index]RETURNS[TypedVariable];ThisreturnsaTypedVariablefortheindex'thelementoftheenumeratedtype.The10rНРОb)Н╠НvН тОb)Н!XОb)rН'мОb)Н(1Оb)Н)сН,в Н3ХН7²vН9ґОb)Н:Оb)Н;Ъ НF(НРО`┌rН°О`┌НТО`┌vНО`┌Н╘О`┌rН$#О`┌Н$ъО`┌tН1О]ЩНWН┐ Н)ЫН-S НHО\QrНРОYмННбНМН'>Н)|Н+щН1 Н6сН8█Н:НН@╚НD▄НРОX%Н Н] Н"NН#╨Н&/ Н.│xНoОU║tН1ОSН√ Н!▐Н&2 Н1ОQqН╟ Н ╘Н%L Н1ОOеНщН" Н-═uН8╟ОOеН9└ОOеtН;ЩОOеН=ОOеН1ОNН=Н#h НHОLmrН'BОLmН'╩ОLmtН+иОLmН,bОLmrН-ЦОLmН.]ОLmН/ZН3кtН1ОJаН÷Н#к НHОIrН'BОIН'╩ОI tН0іОIН1@ОIxНoОF░tН1ОDН√ Н!▐Н&2 Н1ОB`Н╟ Н ╘Н%L Н1О@ЄНщН" Н-═uН8╟О@ЄН9└О@ЄtН;ЩО@ЄН=О@ЄН1О?Н÷Н#к НHО=\rН'BО=\Н'╩О=\ tН0іО=\Н1@О=\xНoО:вtН1О8SН√ Н!▐Н&2 Н1О6їНщН" Н-═uН8╟О6їН9└О6їtН;ЩО6їН=О6їН1О4ШН÷Н#к НHО3OrН'BО3OН'╩О3O tН0іО3OН1@О3OxНoО0йtН1О.FН√ Н!▐Н&2 Н1О, Н╟ Н ╘Н%L Н1О*ННщН" Н-═uН8╟О*НН9└О*НtН;ЩО*НН=О*НxНoО(irН/О(iН▓Н Н$╩xНoО%Е tН1О#aНМ Н%ФН*huН/MО#aН0 О#atН2≥О#aН3║О#aН7╡rНРО эНйН∙tНNО эН╪О эrН!╨О эН"О эН#&Н.;vН/О эН0О э rН8┘О эН9 О эНСНAxНEQНG/НРОСН&НCН ║Н$hН&нН)vН,ўОСН-∙ОСrН;YОСН;чОСН@НB{НE-НFМНРОL Н(tН1ОнНМ Н%ФН*huН/MОнН0 ОнtН2≥ОнН3║ОнН7╡rНРОPНН©НН"чН$≈Н&ВН,#Н0юН4svН8ЇОPН9╙ОPrН>УОPtН1ОсНМ Н%ФН*hН/MН4^uН;чОсН<╡ОсtН?+ОсН@3ОсrНРОUvН6ОUН)ОUrНHОUtН1ОвНлНЬ Н(▐rН:┬ОвН;ОвtНCuОвНDОвН1ОZНkН√ Н+-rН='ОZН=═ОZtНBвОZНCqОZrНРОэН)НЬvН>ОэНОэrН(ОэН(▐ОэН*oН,ЙН2ДН8-Н==Н?НEНG/НРО 5НЮН°Н &Н$ZН)║Н+vН-Н/WН4КН8└Н:!НmНВН∙vН╘О>mН├О>mrН'OО>mН'хО>mН)wН+аН1gН6┴Н8-Н:wН@НFЇНРО<фНН╞Н"Н$Н%ІН(vН+ЮО<фН,╡О<фП&tН1О:HНлНЬ Н(▐ Н56rНРО7йННуvН О7йНГО7йrН'пО7йН(IО7йН*Н,┐Н0XН3÷Н6зН8·Н;НAБНDеНРО6# НяН$▄Н'8vН(ФО6#Н)ыО6#rН-╨О6#Н.(О6#vН/hО6#Н/жО6#rН32О6#Н4О6#Н6░Н9GН?PНAWtН1О3╔ННI Н*ЮrНРО1'НН╗vНеО1'НJО1'Н$rН-ЎО1'Н.7О1'Н/ОН2CН6pН8Н=ЇН?dНEНG/НРО/─НлН!* Н(╠Н*}Н+дН.ШН4ўН7єН;ОНA╗vНCаО/─НD·О/─rНFьО/─НG}О/─vНРО-ыrНЯО-ыНОО-ыН°Н█Н$3Н%■vН'СО-ыН(пО-ыrН.О-ыН.ьО-ыН0├Н1╟Н7uН;?xНoО+[НКrН1О(щН≤НrНХ Н%9Н(bН*Н,ЭН1[Н4ЧН7aНАНA°НEШН1О'6Н■ Н╙Н ▌Н$2Н&√Н)~Н+ НB²НGН1ОН^НпН▌НЎН!╩Н%╡Н'DН+≥Н/мН2SН9─Н:РН<╟Н=ЮНCнНFЦН1ОsНFН╛ННRН═Н)РН-ЛН/йН2N Н9 Н;KН>ЬНCЯНGЮН1ОлН╗НЕНfН Н#@Н-zН1▀Н5DН:'Н;цН>НCФНE≤Н1О%НеН|НцН%ОН'²Н-гtН1ОїН"U Н+NН/Я Н1О)Н9 Н&3Н*уН1О╚ НгН!С Н-iН2NНPОrНРО ┘НйН∙tНNО ┘Н╪О ┘rН!╨О ┘Н"О ┘Н#&vНРОэНrН┘ОэН+ОэН"DН%3Н+ЇН3oН5╦Н8їН=├Н?зНF'НHeНРО 5 vН)eОЖЪйTVm$ГIndexToType:PROC[type:Type,index:Index]RETURNS[Type];Hereindexisusedtoselectoneofthetypesofthecomponentsofarecordorstructure.IndexToName:PROC[type:Type,index:Index]RETURNS[Rope.ROPE];Hereindexisusedtoselectoneofthenamesofthecomponentsofarecordorstructure.NameToIndex:PROC[type:Type,name:Rope.ROPE]RETURNS[Index];NameToIndexreturnstheindexofthecomponentintherecordorstructuretypethathasthespecifiedname.NameToIndexraisesBadNameifthegiventypehasnocomponentwiththespecifiedname.VariableType:PROC[type:Type]RETURNS[v:Type,c:Class];Iftyperepresents:Aunion-record:cisunion,andvisthetypeoftheunioncomponent.Asequence-record:cissequence,andvisthetypeofthesequencecomponent.Anythingelse:cisnil,andvisundefined.VariableTypemakesitpossibletodeterminewhetherrecordsofthistypecontainanyelementswithvariablestructure.Ifcisunionorsequence,nisNComponents[type],andtvisaTypedVariablesuchthatTVType[tv]=type,thenIndexToType[type,n]yieldsv,andIndexToTV[tv]yieldsaTypedVariabledescribingtheunionorsequence,foruseinthefunctionsdescribedinthesectionsbelow.Size:PROC[type:Type,length:CARDINAL_0]RETURNS[CARDINAL];IfVariableType[type].class=union,Sizereturnsthesizeofthelargestvariant.IfVariableType[type].class=sequence,thecallermustsupplyaproposedlength,andSizereturnsthesizeofasequence-recordwhosesequencecontainslengthelements.arrayIsPacked:PROC[type:Type]RETURNS[BOOL];Domain:PROC[type:Type]RETURNS[Type];ThisreturnstheindexTypethatisassociatedwiththespecifiedarrayType.Range:PROC[type:Type]RETURNS[Type];ThisreturnstheelementTypethatisassociatedwiththespecifiedarrayType.Apply:PROC[tv:TypedVariable,arg:TypedVariable]RETURNS[TypedVariable];ThisreturnsaTypedVariableforthespecifiedelementofthespecifiedarray.countedZoneNospecialoperations(yet).uncountedZoneNospecialoperations(yet).nilThisisTypeClass[RTBasic.nullType].Nospecialoperations(yet).unspecifiedThisisTypeClass[Range[CODE[POINTERTOUNSPECIFIED]]].Nospecialoperations(yet).13tН1Оb Нi Н%bН)ДН.иН3з rНРО_⌡tН÷О_⌡Н О_⌡rНDО_⌡НїО_⌡НИН"^Н$FН(?Н+$Н-Н/╞Н3|Н5nН8 Н?МНAъНCBНGйНРО]Т tН1О[oНМ Н%ФН*hН/MН4^uН;чО[oН<╡О[otН?+О[oН@3О[orНРОXИtН■ОXИНОXИrН.ОXИН▒ОXИНхН"2Н$Н'ЩН*вН,ЎН/LН3ЎН5╔Н83 Н@НAУНCMНGйНРОWB tН1ОTҐНМ Н%ФН*huН/MОTҐН0 ОTҐtН2≥ОTҐН3║ОTҐН7╡vНРОR7 rНSОR7НвОR7Н"ЫН%KН) Н*╣Н-Н4"Н5цН8ННCЎНFаНРОP░Н╞НVН YvН$ЇОP░Н%╣ОP░ rН.mОP░Н.ЯОP░Н2sН9*Н:рН=yНAuНDлНG┴НРОNИНН5Н!■Н'PtН1ОLcНю Н%╧Н*\Н1гН4.Н8╟Н:┴rНРОIчvНtОIчНБОIчrН╞ОIчН3ОIч НЄОGYН@tН!УОGYrН#UОGY{Н$аОGYН%⌠ОGYrН(_ОGYН)<ОGYtН+СОGYrН-HОGYН.ЄН1Н4$Н5щН8<Н<3 НЄОDтН4tН#мОDтrН% ОDт{Н&ОDтН'0ОDтrН,ҐОDтН-█ОDтtН08ОDтrН1─ОDтН2ъН52Н85Н9АН<4НB НЄОBNНгtН ВОBNrН"WОBN{Н#цОBNН$∙ОBNrН%EОBNН&!ОBNtН(ыОBNrН*.ОBNН+ tНРО?иrН"О?иН LО?иН#tН$ДН*@Н,Н2ёН8Н<ЬН>кНA├НD╞НРО>"Н⌠НNН iН%═ НРО;°tНoО;°rНйО;°Н1Н#НАtН%О;°rН&┐О;°vН'ЙО;°Н(ГО;°rН4ЁО;°Н5▀О;°tН8=О;°Н8лО;°rН:О;°Н:О;°Н;┌vН<їО;°Н=└О;°rНF]О;°НFАО;°НРО9УvНїО9УН┐О9У rН"╦О9УН#{О9УvН&┤О9УН&ЙО9УrН4*О9УН4шО9УtН7ЭО9УrН8мО9УН9░vН<-О9УН<▒О9УrНEёО9УНFTО9УНРО8NvНО8NНЖО8NrНяО8NН ≤О8NН&gН(цН,ЇН.xН4╣Н6ПН9bН; Н=iНCdНРО6іН═НН!tН1О4!Н: Н3Н#╣Н)4Н2oН4~rНРО1°vНtО1°Н\О1°{Н'▄О1°Н(^О1°rН+*О1°vН,О1°Н,НО1°rН/AО1°Н/фО1°Н3ТН6TН8ЪН:╦Н=НArНРО/vН°О/Н└О/{Н'ЄО/Н(eО/rН-РО/Н.ВО/Н1Н5\Н8ЛН=┘Н>вНDЩНРО-ovНО-oНКО-orН≤О-oНО-oН ╔Н#_Н&dН(wН)ШН4┌Н9 Н?LvНE О-oНEbО-orНРО+хxНoО)CtН1О&ҐНк Н"дН'g Н1О$8Н√ Н!▐Н&2 rНРО!ЁНН©НН"ЙН&rН)@Н*╛ Н1Н43Н6⌠НоН@ЫНE≤НoО]ЭН НЭН x Н'&xНoО[rН О[Н/О[НoНЙ Н!≤xНoОYrН/ОYНJН╣Н.0Н3iН5кН:G Н@УxНoОV└ tН1ОTНщН" Н-═uН8╟ОTН9└ОTtН;ЩОTН=ОTН1ОR^Н║Нл Н+crН=]ОR^Н=жОR^tНC ОR^НCїОR^xНoОOА tН1ОMd Н╠Н!щ НPОK╩rН(JОK╩Н(цОK╩tН0.ОK╩Н0гОK╩rНРОI>Н*НЗvНAОI>НОI>rН(ОI>Н(⌠ОI>Н*tН,ЯН3▒tН5ЛОI>Н6{ОI>rН7МОI>Н8\ОI>Н:╛Н<5Н=|Н@ъНEKvНРОG≈rНкОG≈Н.ОG≈Н,Н▀Н#┌Н$НН&Н)ґtН1ОEН╔Нп Н*grНxНCН!o Н,ЕН1йНPО<оrНРО:RНoН┘vНО:RНОО:RrН)1О:RН)╙О:RН+яН.⌠Н4╡Н;?Н=[Н@НGНРО8╚ Н]tНXО8╚НГО8╚rН╦О8╚tН1О6-НфНЯ Н*gН/LНPО4┘rНРО2НЭН·vНЇО2Н⌠О2rН'aО2Н'зО2Н)▌Н+эН1┤Н5BН6ЙН98Н?╙НB% НРО0`tННО0`Н}О0`rНNО0`tН1О-Ц Н╨Н$Ф НPО,:rН(JО,:Н(цО,:tН0яО,:Н1kО,:vНРО)ҐrН ПО)ҐН!∙О)ҐН')Н)фН-IН2XН8$Н=aН@ДНBоНHevНРО(rНЕО(Н╛О(Н%ЄН(KН.ЬН2О Н:ИН=НAНDгНG┴vНРО&orНО&oНАО&oН%vН&3О&oН'О&orН/ВО&oН0{О&o Н7ьН:@Н=фНAНEmНGЖНРО$гНnН НVН!╦Н#█Н'jН-<Н0ВvН3┴О$гН4ZО$гrН8aО$гН8пО$гН:,Н>█vН?тО$гН@╟О$гrНРО# Н⌡НН!bН'-Н(жН,Н0ZtН1ЛО# Н2{О# rН3ЮО# Н4├О# Н8д Н?WНAгНEvvНРО!yrНО!yН√О!yvН#дО!yН$бО!yrН%ВО!yНРОШvН▒ОШНxОШrН мОШН!0ОШН"UН'\Н)'tН*mОШН*ЭОШrН,nОШН,РОШ Н4bН5╘Н9ZН=фН?9НBYНF╔НGКНРОT НдН\Н"` Н*[Н,ТН0бН5aН9╗vН=ОTН>ОTrН?9ОTН@pОTНCKНDПНGЮНРОґНQНЪН _Н%'Н(ГН+·Н,УН1q Н8 Н9Ы tН1О/НэН Н*·rН<≤О/Н=О/tНBHО/НBБО/rНРО╡ННэvНО╡НЯО╡rН'чО╡Н(WО╡Н*)Н+aН1, Н7сН:AН>Н?жНBDНE≤НРОН╙НBН╒НaН"ї Н*tН, ОН,°ОrН-mОtН1О█Н÷Н#к НPОЕrН(JОЕН(цОЕ tН1ўОЕН2HОЕrНРОhНН©vНИОhНфОhrН'єОhН(ОhН)БН,AН0dН4ZН=QtН?ОhН?▌ОhrН@_ОhН@╦ОhНAюНEtН1ОЙ НAН%m НPО BrН(JО BН(цО BН/ Н06tН7кО BН8eО BvН)eОЖЪПTVm$2ThisreturnsaTypedVariablefortheframeofthecalleroftheframerepresentedbytv.ThiswillnormallybealocalFrameTypedVariable,butstrangethingshappenattherootofprocessesandwhenPORTsareused.Normally,therootlocalFrameofaprocessisaprogramTypedVariable.Morecanbesaidaboutallofthis,butthisisnottheplace.8.0ERRORsError:ERROR[reason:ErrorReason,msg:ROPE_NIL,type:Type_RTBasic.nullType,--usedwithTypeFault,IncompatibleTypesotherType:Type_RTBasic.nullType--usedwithIncompatibleTypes];ErrorReason:TYPE={noSymbols,--msghasmoduleNamenotImplemented,--mostlyDefaultInitialValuecasesincompatibleTypes,--raisedbyAssignrangeFault,--e.g.emptysubrange,ApplyboundschecknotMutable,--raisedby(e.g.)AssigninternalTV,--raisedby(e.g.)RefFromTVbadName,--raisedbyNameToIndexbadIndex,--raisedby(e.g.)IndexToTypetypeFault--generalapplicabilityviolation};9.0ExamplesTheexamplebelowcomesdirectlyfromoneofmytestprograms,andhasseveralstrangepropertiesanddependencies,noneofwhicharerelevanttoitsvaluehereasasourceofexamples.PrintTV:PROC[tv:RTTypes.TV,depth:CARDINAL_0]=BEGINOPENRTTypes;type:Type=TVType[tv];SELECTTypeClass[type]FROMunion=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aunion)Tag="];PrintTV[Tag[tv]];THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["Variant="];PrintTV[Variant[tv],depth+1];};definition=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(adefinition)="];WriteString[TypeToName[type]];WriteLine[""];PrintTV[Coerce[tv,UnderType[type]],depth+1];};localFrame=>{pt:TV=Procedure[tv];THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;15rНРОb)ННбvННОb)НйОb)rН'╙Оb)Н($Оb)Н)ИН,JН0BН1ЩН4^Н8Н9нНыНBЪНGЖНРО^зН\НTНН"Н$ЮН(·Н-├Н/ДН3│Н:НН!ц Н+`Н/Н1≈Н3}Н6LН:$Н< Н=╧Н@╘НC НE╦НGНРО[▄НRНўОV▐НЙНxОTqН╔ОTН^ОTrНёОRhНОRhНыН8ОP©qН■ОP©НhОP©rНОP©qН °ОP©Н!┘ОP©rН"╗ОP©Н8ОOНаНJН вxН,bОOН,эОOН-ыН0ЙН3Ф Н:ЇrН8ОMm НUН"щН$jxН0іОMmН1ОMmН2Н5.Н8)rН/ОKдНxОJqНЪОJН╦ОJrНVОJНъОHs xН)÷ОHsН*ОHsН+Н-ЕН0[ rНГОFйxН*0ОFйН*╘ОFйН+їН/ОН;щrНГОE!xН*ОE!Н*}ОE!Н+{Н/gН1ArНГОCx xН)RОCxН)кОCxН*иН-IН1DН7QН;<Н?яrНГОAо xН)вОAоН*QОAоН+NН/:Н1Н4┤rНГО@& xН)АО@&Н*ZО@&Н+XН/DН1Н4░rНГО>}xН*>О>}Н*ЇО>}Н+╣Н/═Н1z rНГО<тxН*О<тН*┤О<тН+┘Н/qН1KН4Ў rНГО;+xН)HО;+Н)аО;+Н*©Н/─Н7rНcО9┌НўО7НЙНoО4├Н~Н.НrН вН&Н)╒Н,└Н.tН1 Н3мН:oН=]Н@ НDяНoО2ъ Н-Н*Н"GН&Н'ЪН,SН.МН4uН6jН8▀Н<{Н?эНAпНC@НGжНoО17yНoО.╧rНYО.╧qНWО.╧НЧО.╧rНzО.╧НщО.╧НЗqН йО.╧Н!┐О.╧rН"NО.╧Н#+О.╧qН'▒О.╧Н(\О.╧rН.2О.╧Н/©О.╧Н1WqНoО-Н▄rНО-Н$О-НxО+gНН┴Нo qНxО(НО(rН0О(НО( qНО(НрО(rН─О&lНwН┴О$дqНЎО$дНwО$дrН1О$дН■О$дqН ZО$дН!@О$дrН"├О$дН#ГО$дqН,yО$дН-О$дrН-юО$дqН.╗О$дН/aО$дrН4IО$дН▒О#Н9Н!╘Н$kН&PН▒О!rqН▒ОиНKОиrНОиНhОиqН .ОиН!ОиrН"ZОиН#╩ОиqН,MОиН,ЛОиrН-■ОиqН.|ОиН/5ОиrН4ОиН▒О Н Н"dН▒ОwНОН#щН%бН┴ОнН─О% НкН┴О|qНЎО|НwО|rН1О|Н■О|qН ZО|Н!@О|rН"├О|Н#ГО|qН,yО|Н-О|rН-юО|qН.╗О|Н/aО|rН4IО|Н▒ОсН9 Н#ЩН%БН▒О*Н▒О│ Н▒ОьНJН*ІН.ёН0┬Н┴О0Н─О ┤ НїН┴ОчНЎqНЯОчН╙ОчrНъОчНдОч qН▒О 5НKО 5rНО 5НhО 5qН .О 5Н!О 5rН"ZО 5Н#╩О 5qН,MО 5Н,ЛО 5rН-■О 5qН.|О 5Н/5О 5rН4О 5vН)eОЩTVm$иWriteString["(alocalframefor"];IFTypeClass[TVType[pt]]=programTHEN{WriteString["theprogramnamed"];WriteString[TVToName[pt]];WriteLine[")"];RETURN};WriteString[TVToName[pt]];WriteLine["):"];IFEnclosingBody[tv]=NILTHEN{domainType:Type=Domain[TVType[pt]];rangeType:Type=Range[TVType[pt]];IFdomainType#RTTypesBasic.nullTypeTHEN{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["Arguments:"];FORi:CARDINALIN[1..NComponents[domainType]]DOTHROUGH[0..depth]DOWriteChar[Ascii.SP]ENDLOOP;WriteString[IndexToName[domainType,i]];WriteLine[":"];PrintTV[Argument[tv,i],depth+2];ENDLOOP};IFrangeType#RTTypesBasic.nullTypeTHEN{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["Results:"];FORi:CARDINALIN[1..NComponents[rangeType]]DOTHROUGH[0..depth]DOWriteChar[Ascii.SP]ENDLOOP;WriteString[IndexToName[rangeType,i]];WriteLine[":"];PrintTV[Result[tv,i],depth+2];ENDLOOP};THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["Locals:"];PrintTV[Locals[tv],depth+1]}ELSE{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["EnclosingBody:"];PrintTV[EnclosingBody[tv],depth+1]};};globalFrame=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aglobalframefor"];WriteString[TVToName[tv]];WriteLine["):"];PrintTV[Globals[tv],depth+1];};nil=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(novalue)"];};countedZone=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(acountedZone)"];};uncountedZone=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(anuncountedZone)"];16rН▒Оb!Н9Н Н$uН&ЁqНО`xН─О`xrНёО`xН┼О`xН#ЕН%кqН+YО`xН,О`xrНО^оНTН!аН'ZН+ЙН.Н?чqНoО](rНWО](НО](Н▒О[Н▒ОYжН/qН▒ОX.НШОX.rНОX.НОX.Н hqН"MОX.Н#5ОX.Н$бrНОV┘НJ НхН!PН#5НОTэ НfНОН!тqНОS4Н┬ОS4rН╚ОS4НrОS4Н╞Н ■qНAОQ▀НЗОQ▀rНЛОQ▀qН°ОQ▀rН$ОQ▀Н$sОQ▀qН*9ОQ▀Н+ОQ▀rН,eОQ▀Н-фОQ▀qН6XОQ▀Н6ВОQ▀rН7÷ОQ▀qН8├ОQ▀Н9?ОQ▀rН>'ОQ▀Н╪ОOБqН╪ОN:НvОN:rН░ОN:НСОN:qНПОN:Н╩ОN:Н#▒rН%MОN:Н%╠ОN:qНcОL▒НIОL▒rqНнОJХН┤ОJХrН!AОJХН!єОJХqН'TОJХН(:ОJХrН)─ОJХН*АОJХqН3sОJХН4ОJХrН4╨ОJХqН5║ОJХН6[ОJХrН;BОJХНнОI?П#Н3┌НнОG≈Н"РНнОEНН(kН*Н-ШН/АqНIОDEНОDErНЙОDEН ⌡ОDEqНОB²Н┬ОB²rН╚ОB²Н/ОB²НzН_qНAО@ТНЗО@ТrНЛО@ТqН°О@ТrН$О@ТН$sО@ТqН*9О@ТН+О@ТrН,eО@ТН-фО@ТqН6XО@ТН6ВО@ТrН7÷О@ТqН8├О@ТН9?О@ТrН>'О@ТН╪О?KqН╪О=ёНvО=ёrН░О=ёНСО=ёqНПО=ёН╩О=ёН#▒rН%MО=ёН%╠О=ёqНcО;ЗНIО;ЗrqНнО:QН┤О:QrН!AО:QН!єО:QqН'TО:QН(:О:QrН)─О:QН*АО:QqН3sО:QН4О:QrН4╨О:QqН5║О:QН6[О:QrН;BО:QНнО8╗П"Н2MНнО7Н"РНнО5WН&.Н'яН+©Н-єqНIО3ўНО3ўrНЙО3ўН ⌡О3ўqНО2НвО2rН▓О2НУО2qН!╩О2Н"║О2rН#ГО2Н%HО2qН-зО2Н.yО2rН/!О2qН0О2Н0бО2rН5╘О2НО0]НО.ЄН АН$оН&ЄqН▒О-НKО-rНфО-qНШО-НЄО-rНnО-НяО-qН$≈О-Н%}О-rН&цО-Н($О-qН0ІО-Н1VО-rН1ЩО-qН2ЕО-Н3·О-rН8├О-Н/О+cН/О)╨Н(Н+УН-зН┴О(Н─О&i Н┐Н┴О$юqНЎО$юНwО$юrН1О$юН■О$юqН ZО$юН!@О$юrН"├О$юН#ГО$юqН,yО$юН-О$юrН-юО$юqН.╗О$юН/aО$юrН4IО$юН▒О#Н9Н![Н%RН'▐Н▒О!oН▒ОфН/Н▒ОН &Н$Н%ЬН┴ОtНОлН┴О#qНЎО#НwО#rН1О#Н■О#qН ZО#Н!@О#rН"├О#Н#ГО#qН,yО#Н-О#rН-юО#qН.╗О#Н/aО#rН4IО#Н▒Оz Н8Н![Н ОрН─О) НWН┴О─qНЎО─НwО─rН1О─Н■О─qН ZО─Н!@О─rН"├О─Н#ГО─qН,yО─Н-О─rН-юО─qН.╗О─Н/aО─rН4IО─Н▒ОьН[Н%'Н О/Н─О ├НДН┴ОщqНЎОщНwОщrН1ОщН■ОщqН ZОщН!@ОщrН"├ОщН#ГОщqН,yОщН-ОщrН-юОщqН.╗ОщН/aОщrН4IОщН▒О 5 Н" Н'{vН)eОЩЦTVm$};procedure=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aprocedurenamed"];WriteString[TVToName[tv]];WriteLine[")"];THROUGH[0..depth+1]DOWriteChar[Ascii.SP]ENDLOOP;WriteString["Definedinthemodulenamed"];WriteLine[TVToName[GlobalParent[tv]]];THROUGH[0..depth+1]DOWriteChar[Ascii.SP]ENDLOOP;WriteString["ItsDomain..."];IFDomain[type]=RTTypesBasic.nullTypeTHENWriteLine["novalue"]ELSEIFTypeClass[Domain[type]]=structureTHENWriteLine["astructurevalue"]ELSEERROR;THROUGH[0..depth+1]DOWriteChar[Ascii.SP]ENDLOOP;WriteString["ItsRange..."];IFRange[type]=RTTypesBasic.nullTypeTHENWriteLine["novalue"]ELSEIFTypeClass[Range[type]]=structureTHENWriteLine["astructurevalue"]ELSEERROR;};signal=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(asignalnamed"];WriteString[TVToName[tv]];WriteLine[")"];THROUGH[0..depth+1]DOWriteChar[Ascii.SP]ENDLOOP;WriteString["ItsDomain..."];IFDomain[type]=RTTypesBasic.nullTypeTHENWriteLine["novalue"]ELSEIFTypeClass[Domain[type]]=structureTHENWriteLine["astructurevalue"]ELSEERROR;THROUGH[0..depth+1]DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["ItsRange..."];IFRange[type]=RTTypesBasic.nullTypeTHENWriteLine["novalue"]ELSEIFTypeClass[Range[type]]=structureTHENWriteLine["astructurevalue"]ELSEERROR;};error=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(anerrornamed"];WriteString[TVToName[tv]];WriteLine[")"];THROUGH[0..depth+1]DOWriteChar[Ascii.SP]ENDLOOP;WriteString["ItsDomain..."];IFDomain[type]=RTTypesBasic.nullTypeTHENWriteLine["novalue"]ELSEIFTypeClass[Domain[type]]=structureTHENWriteLine["astructurevalue"]ELSEERROR;};structure=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(astructure)"];FORi:CARDINALIN[1..NComponents[type]]DOTHROUGH[0..depth]DOWriteChar[Ascii.SP]ENDLOOP;WriteString[IndexToName[type,i]];17rН Оb!Н─О`xНН┴О^оqНЎО^оНwО^оrН1О^оН■О^оqН ZО^оН!@О^оrН"├О^оН#ГО^оqН,yО^оН-О^оrН-юО^оqН.╗О^оН/aО^оrН4IО^оН▒О]'Н9Н#╪Н(BН▒О[~Н▒ОYуqН▒ОX-НKОX-rНОX-НhОX-Н╣Н! qН#2ОX-Н$ОX-rН%^ОX-Н&©ОX-qН/QОX-Н/ПОX-rН0≤ОX-qН1ОX-Н28ОX-rН7 ОX-Н▒ОV└Н НН"°Н$ШН)ШН.┌Н▒ОTшП&qН▒ОQ┼НKОQ┼rНОQ┼НhОQ┼Н╣Н! qН#2ОQ┼Н$ОQ┼rН%^ОQ┼Н&©ОQ┼qН/QОQ┼Н/ПОQ┼rН0≤ОQ┼qН1ОQ┼Н28ОQ┼rН7 ОQ┼Н▒ОOАН▒qН▒ОN8НШОN8rНОN8Н=ОN8 НхНґqН.iОN8Н/"ОN8rН2ОN8Н3uОN8Н;AqНОL░НоОL░НJrНвОL░НЎОL░Н(ZН*?qН/ЭОL░Н0╣ОL░rН3їОL░Н5ОL░ Н;ВНAЄqНОJГНоОJГНJrН\ОJГqН▒ОI>НKОI>rНОI>НhОI>Н╣Н! qН#2ОI>Н$ОI>rН%^ОI>Н&©ОI>qН/QОI>Н/ПОI>rН0≤ОI>qН1ОI>Н28ОI>rН7 ОI>Н▒ОG√Н▒ qН▒ОEМНШОEМrНОEМН'ОEМ Н©НєqН-`ОEМН.ОEМrН1ОEМН2lОEМН:8qНОDDНоОDDНJrНвОDDНЎОDDН'QН)6qН.СОDDН/╛ОDDrН2·ОDDН3ЪОDD Н:ОН@╛qНОB°НоОB°НJrН\ОB°Н О@СН─О?JНlН┴О=╒qНЎО=╒НwО=╒rН1О=╒Н■О=╒qН ZО=╒Н!@О=╒rН"├О=╒Н#ГО=╒qН,yО=╒Н-О=╒rН-юО=╒qН.╗О=╒Н/aО=╒rН4IО=╒Н▒О;ЫН9Н!$Н%╙Н▒О:PН▒О8╗qН▒О6ЪНKО6ЪrНО6ЪНhО6ЪН╣Н! qН#2О6ЪН$О6ЪrН%^О6ЪН&©О6ЪqН/QО6ЪН/ПО6ЪrН0≤О6ЪqН1О6ЪН28О6ЪrН7 О6ЪН▒О5VН▒qН▒О3ўНШО3ўrНО3ўН=О3ў НхНґqН.iО3ўН/"О3ўrН2О3ўН3uО3ўН;AqНО2НоО2НJrНвО2НЎО2Н(ZН*?qН/ЭО2Н0╣О2rН3їО2Н5О2 Н;ВНAЄqНО0\НоО0\НJrН\О0\qН▒О.ЄНKО.ЄrНО.ЄНhО.ЄН╣Н! qН#2О.ЄН$О.ЄrН%^О.ЄН&©О.ЄqН/QО.ЄН/ПО.ЄrН0≤О.ЄqН1О.ЄН28О.ЄrН7 О.ЄН▒О- НЄ qН▒О+bНШО+brНО+bН'О+b Н©НєqН-`О+bН.О+brН1О+bН2lО+bН:8qНО)╨НоО)╨НJrНвО)╨НЎО)╨Н'QН)6qН.СО)╨Н/╛О)╨rН2·О)╨Н3ЪО)╨ Н:ОН@╛qНО(НоО(НJrН\О(Н┴О&hН─О$юНРН┴О#qНЎО#НwО#rН1О#Н■О#qН ZО#Н!@О#rН"├О#Н#ГО#qН,yО#Н-О#rН-юО#qН.╗О#Н/aО#rН4IО#Н▒О!nНЪН!qН%ЬН▒ОфН▒ОqН▒ОtНKОtrНОtНhОtН╣Н! qН#2ОtН$ОtrН%^ОtН&©ОtqН/QОtН/ПОtrН0≤ОtqН1ОtН28ОtrН7 ОtН▒ОкН▒qН▒О#НШО#rНО#Н=О# НхНґqН.iО#Н/"О#rН2О#Н3uО#Н;AqНОzНоОzНJrНвОzНЎОzН(ZН*?qН/ЭОzН0╣ОzrН3їОzН5Оz Н;ВНAЄqНОяНоОяНJrН\ОяН┴О)Н─О─Н=Н┴ОвqНЎОвНwОвrН1ОвН■ОвqН ZОвН!@ОвrН"├ОвН#ГОвqН,yОвН-ОвrН-юОвqН.╗ОвН/aОвrН4IОвН▒О/Н[qН▒О ├НKО ├rНeО ├НхО ├qНфО ├Н░О ├НfrН "О ├Н ├О ├qН.лО ├Н/╠О ├rqН ОщНSОщrНОщНqОщqН!!ОщН"ОщrН#MОщН$ґОщqН-@ОщН-ъОщrН.├ОщqН/nОщН0'ОщrН5ОщН О 5Н([vН)eОЖЪTVm$СWriteLine[":"];PrintTV[IndexToTV[tv,i],depth+2];ENDLOOP;};record=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(arecord)"];FORi:CARDINALIN[1..NComponents[type]]DOTHROUGH[0..depth]DOWriteChar[Ascii.SP]ENDLOOP;WriteString[IndexToName[type,i]];WriteLine[":"];PrintTV[IndexToTV[tv,i],depth+2];ENDLOOP;};ref=>{lc:LONGCARDINAL=TVToLC[tv];THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aref)="];IFlc=0THENWriteString["NIL"]ELSEWriteLongOctal[lc];WriteLine[""];--IFlc#0THENPrintTV[Referent[tv],depth+1];};list=>{lc:LONGCARDINAL=TVToLC[tv];THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(alist)="];IFlc=0THENWriteString["NIL"]ELSEWriteLongOctal[lc];WriteLine[""];IFlc#0THENPrintTV[Referent[tv],depth+1];};pointer=>{lc:LONGCARDINAL=TVToLC[tv];THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aPOINTER)="];IFlc=0THENWriteString["NIL"]ELSEWriteLongOctal[lc];WriteLine[""];};longPointer=>{lc:LONGCARDINAL=TVToLC[tv];THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aLONGPOINTER)="];IFlc=0THENWriteString["NIL"]ELSEWriteLongOctal[lc];WriteLine[""];};character=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aCHAR)='"];WriteChar[TVToCharacter[tv]];WriteLine[""]};cardinal=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aCARDINAL)="];WriteLongOctal[TVToLC[tv]];18rН Оb!НЎН О`xН#Н$бН(╞Н*■qНО^оНоО^оrНЇО^оН┴О]'Н─О[~НпН┴ОYуqНЎОYуНwОYуrН1ОYуН■ОYуqН ZОYуН!@ОYуrН"├ОYуН#ГОYуqН,yОYуН-ОYуrН-юОYуqН.╗ОYуН/aОYуrН4IОYуН▒ОX-Н[ qН▒ОV└НKОV└rНeОV└НхОV└qНфОV└Н░ОV└НfrН "ОV└Н ├ОV└qН.лОV└Н/╠ОV└rqН ОTшНSОTшrНОTшНqОTшqН!!ОTшН"ОTшrН#MОTшН$ґОTшqН-@ОTшН-ъОTшrН.├ОTшqН/nОTшН0'ОTшrН5ОTшН ОS3Н([Н ОQ┼НЎН ОOАН#Н$бН(╞Н*■qНОN8НоОN8rНЇОN8Н┴ОL░Н─ОJГН╗Н┴ОI>НЎqН╧ОI>НrОI>Н▐rН 0ОI>Н"ОI> qН▒ОG√НKОG√rНОG√НhОG√qН .ОG√Н!ОG√rН"ZОG√Н#╩ОG√qН,MОG√Н,ЛОG√rН-■ОG√qН.|ОG√Н/5ОG√rН4ОG√Н▒ОEМН9НыН!ЎqН▒ОDDНШОDDrНОDDН│ОDDН║Н├qН╨ОDDНsОDDrНeОDDНфОDDqН)░ОDDН*IОDDrН,дОDDН.%ОDDН▒ОB° xНoО@СН└Н─ННГНН╦Н,╪Н0iН2NrН┴О?JН─О=╒НЎН┴О;ЫНЎqН╧О;ЫНrО;ЫН▐rН 0О;ЫН"О;Ы qН▒О:PНKО:PrНО:PНhО:PqН .О:PН!О:PrН"ZО:PН#╩О:PqН,MО:PН,ЛО:PrН-■О:PqН.|О:PН/5О:PrН4О:PН▒О8╗Н9НПН!уqН▒О6ЪНШО6ЪrНО6ЪН│О6ЪН║Н├qН╨О6ЪНsО6ЪrНeО6ЪНфО6ЪqН)░О6ЪН*IО6ЪrН,дО6ЪН.%О6ЪН▒О5V qН▒О3ўНШО3ўrНО3ўН│О3ўН║Н├qН╨О3ўНsО3ўrНeО3ўН7О3ўН*┼Н.wН0]Н┴О2Н─О0\НIН┴О.ЄНЎqН╧О.ЄНrО.ЄН▐rН 0О.ЄН"О.Є qН▒О-НKО-rНО-НhО-qН .О-Н!О-rН"ZО-Н#╩О-qН,MО-Н,ЛО-rН-■О-qН.|О-Н/5О-rН4О-Н▒О+bН9Н$ Н&qН▒О)╨НШО)╨rНО)╨Н│О)╨Н║Н├qН╨О)╨НsО)╨rНeО)╨НфО)╨qН)░О)╨Н*IО)╨rН,дО)╨Н.%О)╨Н▒О( Н┴О&hН─О$ю НИН┴О#НЎqН╧О#НrО#Н▐rН 0О#Н"О# qН▒О!nНKО!nrНО!nНhО!nqН .О!nН!О!nrН"ZО!nН#╩О!nqН,MО!nН,ЛО!nrН-■О!nqН.|О!nН/5О!nrН4О!nН▒ОфН9Н"Н)fН+KqН▒ОНШОrНОН│ОН║Н├qН╨ОНsОrНeОНфОqН)░ОН*IОrН,дОН.%ОН▒Оt Н┴ОкН─О#НiН┴ОzqНЎОzНwОzrН1ОzН■ОzqН ZОzН!@ОzrН"├ОzН#ГОzqН,yОzН-ОzrН-юОzqН.╗ОzН/aОzrН4IОzН▒ОяН9Н"eН$JН▒О)Н▒О─Н┴ОвН─О/НбН┴О ├qНЎО ├НwО ├rН1О ├Н■О ├qН ZО ├Н!@О ├rН"├О ├Н#ГО ├qН,yО ├Н-О ├rН-юО ├qН.╗О ├Н/aО ├rН4IО ├Н▒ОщН9Н%ШН'ЮН▒О 5vН)eО9TVm$WriteLine[""]};longCardinal=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(aLONGCARDINAL)="];WriteLongOctal[TVToLC[tv]];WriteLine[""]};unspecified=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(anUNSPECIFIED)="];WriteLongOctal[TVToLC[tv]];WriteLine[""]};type=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(ATYPE)"]};integer=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(anINTEGER,writtenasoctal)="];WriteLongOctal[TVToLC[tv]];WriteLine[""]};enumerated=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteString["(anenumerationvalue)="];WriteString[TVToName[tv]];WriteLine[""]};array=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(anarray)"];FORsubscript:TV_First[Domain[type]],Next[subscript]UNTILsubscript=NILDOPrintTV[subscript,depth+1];PrintTV[Apply[tv,subscript],depth+2];ENDLOOP;};sequence=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(asequence).Length="];PrintTV[Length[tv],depth+2];--FORsubscript:TV_First[Domain[type]],Next[subscript]--UNTILTVToLC[subscript]=TVToLC[Length[tv]]DO--PrintTV[subscript,depth+1];--PrintTV[Apply[tv,subscript],depth+2];--ENDLOOP;};subrange=>PrintTV[Coerce[tv,Ground[TVType[tv]]],depth];opaque=>{THROUGH[0..depth)DOWriteChar[Ascii.SP]ENDLOOP;WriteLine["(opaque)"];};ENDCASE=>ERROR;19rН▒Оb!Н┴О`xН─О^оН╩Н┴О]%qНЎО]%НwО]%rН1О]%Н■О]%qН ZО]%Н!@О]%rН"├О]%Н#ГО]%qН,yО]%Н-О]%rН-юО]%qН.╗О]%Н/aО]%rН4IО]%Н▒О[|Н9Н"Н*гН,╛Н▒ОYсН▒ОX*Н┴ОV│Н─ОTь НйН┴ОS/qНЎОS/НwОS/rН1ОS/Н■ОS/qН ZОS/Н!@ОS/rН"├ОS/Н#ГОS/qН,yОS/Н-ОS/rН-юОS/qН.╗ОS/Н/aОS/rН4IОS/Н▒ОQ├НЪН(ЁН*≤Н▒ОOщН▒ОN4Н┴ОL▀Н─ОJБН░Н┴ОI9qНЎОI9НwОI9rН1ОI9Н■ОI9qН ZОI9Н!@ОI9rН"├ОI9Н#ГОI9qН,yОI9Н-ОI9rН-юОI9qН.╗ОI9Н/aОI9rН4IОI9Н▒ОG░НЎН┴ОEГН─ОD>НН┴ОB∙qНЎОB∙НwОB∙rН1ОB∙Н■ОB∙qН ZОB∙Н!@ОB∙rН"├ОB∙Н#ГОB∙qН,yОB∙Н-ОB∙rН-юОB∙qН.╗ОB∙Н/aОB∙rН4IОB∙Н▒О@ЛНЪН%lН*Н+мН/≤Н1}Н▒О?CН▒О=≥Н┴О;ПН─О:G НН┴О8·qНЎО8·НwО8·rН1О8·Н■О8·qН ZО8·Н!@О8·rН"├О8·Н#ГО8·qН,yО8·Н-О8·rН-юО8·qН.╗О8·Н/aО8·rН4IО8·Н▒О6УНЪ Н&Н*&Н,Н▒О5LН▒О3ёН┴О1ЗН─О0QНН┴О.╗qНЎО.╗НwО.╗rН1О.╗Н■О.╗qН ZО.╗Н!@О.╗rН"├О.╗Н#ГО.╗qН,yО.╗Н-О.╗rН-юО.╗qН.╗О.╗Н/aО.╗rН4IО.╗Н▒О,Ъ Н"qН▒О+VНKО+VrНeО+VНИО+VqН╠О+VНjО+VrН О+VН √О+VН-qН6═О+VН7┘О+VrН:ЄО+VН;8О+VН@┤qНBlО+VНCTО+VНDАrН О)ґНЭН#ИН%нН О(Ны Н&gН*UН,:qНО&[НоО&[rНЇО&[Н┴О$╡Н─О# НiН┴О!`qНЎО!`НwО!`rН1О!`Н■О!`qН ZО!`Н!@О!`rН"├О!`Н#ГО!`qН,yО!`Н-О!`rН-юО!`qН.╗О!`Н/aО!`rН4IО!`Н▒ОЇН[ Н#Н'рН)ЇН▒ОНдН#╠Н%√xНoОdН└НЖ НН ЗН"gН.аНoО╩Н∙НІН'²Н)┌Н6aНoОН█Н рН$Н&dНoОiН█Н Н&ЩН*╙Н,▐НoОюНrН┴ОН─ОnН]НРН%╚Н3=Н─ОеН`Н┴ОqНЎОНwОrН1ОН■ОqН ZОН!@ОrН"├ОН#ГОqН,yОН-ОrН-юОqН.╗ОН/aОrН4IОН▒О sН┴ОйqНЭО !Н╣О !rНДО !НEО !qНyО !Н2О !rН▀О !vН)eОTVm$QEND;20qНoОbfrНВОbfvН)eОЩTVm$ HELVETICAЧ÷ GACHAЧ÷ TIMESROMANЧ÷ TIMESROMANЧ÷ HELVETICAЧФ HELVETICAЧ÷ HELVETICAЧФ HELVETICAЧ÷LOGOЭЄ TIMESROMANЧ÷ TIMESROMANЧФ TIMESROMANЧY √ OE└Ґ%+@2 Д;gBH чQ ЁZ:b уk0r y ▀┌D┴!▐Д░j/⌠▒≥с6SЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪЪ RTTypes.tioga12-Oct-82 13:40:51