Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
oper<strong>and</strong>willnolongerbeinitialized. B.1.5SpecialRules Thisindicatesthatfollowingasuccessfulmergeatoperation,thesource Thepostconditionfunctions<strong>and</strong>theirmeaningsarelistedinsectionB.5. AppendixB.<strong>Hermes</strong>Operations153<br />
theoper<strong>and</strong>stoanoperationwithoutaxedoper<strong>and</strong>list(likecallor assert)arespeciedinthismanner. treatmentismostlyrequiredwhenarulecannotbeexpressedsolelyin type<strong>and</strong>typestaterulesthatcouldnotbeencodedintheruletables.This termsofnamedoper<strong>and</strong>s.Thus,rulesregardingdataencodedinthestatementqualier(describedbelow)appearasspecialrules.Also,rulesaboumediatelyfollowingthetypestatepre-<strong>and</strong>post-conditionboxes,<strong>and</strong>listtionsisaboxlabeled\SpecialRules".Thisfull-widthboxappearsim-<br />
Absentfromthemergeatexamplebutpresentinsomeoperatordescrip-<br />
Followingthepost-<strong>and</strong>pre-conditionboxesisabriefdescriptionofthe B.1.6OperationSemantics<br />
operatororusingamechanismsuchasqualiers.In<strong>Hermes</strong>,thisparticular semanticmeaningoftheoperation.Belowthis,attheverybottomofthe<br />
situationish<strong>and</strong>ledbytheintegerliteraloperation,whichrequiresthat anintegervariabletothevalue\1"withouthavingaspecial\set-to-one" panel,aretwoboxesshowingthestatementqualiertypeforthisoperation, uninitialized(exceptitsinitializationport),itwouldbeimpossibletoset itsoper<strong>and</strong>s.Forexample,sinceaprocessbeginswithallitsvariables <strong>and</strong>apointertothesection<strong>and</strong>pageinthereferencemanualthatdescribes theoperationindetail.<br />
ment,sothequalieritselfisavariant.Itstypeispredefined!qualifier, anintegervaluebeencodedinthequalier. Theinformationthatappearsinqualiersvariesfromstatementtostate-<br />
Astatementqualiercontainsallparametersofanoperationotherthan<br />
theoperationdescriptionpanelidentieswhichcomponentofthisvariant <strong>and</strong>youcannditsdenitioninappendixC.Thequaliertypeidentiedin typeappliestothisparticularoperation. B.2TypeClasses Followingarethetypeclassesappearinginclassrules: integer real
Change language