Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Itistheabilityforprogramstosend<strong>and</strong>receiveoutputportsthatgives other<strong>Hermes</strong>value,<strong>and</strong>canbestoredinvariables<strong>and</strong>passedinmessages. ports,itshouldbere-emphasizedthatoutputportsaretreatedlikeany copiesofthesameinport.comparisonof Twoinportscompareequalonlyiftheyarethesameinportorconstant Anoutputportoroutportisaconnectiontoaninputport.Aswithinput 11.<strong>Hermes</strong>Operations119<br />
<strong>Hermes</strong>thepowerofcapability-basedsystems. messagetype<strong>and</strong>typestateofthismatchinginputporttype. port.Eachinputportcreatedwiththenewoperationisconsideredadifferentinputport.Aconstantcopyofaninputportisconsideredthesame<br />
thetypeoftheinputporttowhichtheoutputportcanbeconnected.The type<strong>and</strong>typestateofdatasentonanoutputportisdeterminedbythe Acallmessagetypedenitionconsistsof Anoutporttypedenitionspeciesamatchinginputporttype.Thisis Twooutportsareequalwhentheyareconnectionstothesameinput<br />
asetofcomponentdeclarations,<br />
thesedeclarationsisimportant,becausethecallargumentsarematched Thecomponentdeclarationsdenethecallparameters.Theorderof anoptionalsetofcallmessageexceptions. anoptionalminimumformaltypestate,<strong>and</strong> anexitformaltypestate, anoptionalsetofconstantparameters,<br />
totheseparametersinthesameorder.Theconstantparametersstatewhich componentsarenotmodiablebythecalledprocess.Theexitformaltypestatespeciesthetypestateofthecallmessagewhenitisreturnedtothe<br />
callerinanormaloutcome.Theminimumformaltypestatespeciesthe lowesttypestatethatthecomponentsofacallmessagemaybeloweredto. callmessageisdiscarded. Thisisthetypestatetowhichthecomponentswillbeloweredwhenthe typestate.Theformaltypestatespeciesthetypestatethatthecallmessagewillhavewhenitisreturnedwiththatexception.Donotincludethclared<strong>and</strong>thetypestateforthisexceptionisthesameastheminimum<br />
Thecallmessageexceptionsconsistofanexceptionname<strong>and</strong>aformal oneinwhichallconstantsarefullyinitialized,<strong>and</strong>allotherparametersare uninitialized.<br />
Discardedexceptioninthislist|thisexceptionisalwaysimplicitlyde-<br />
Thefollowingisanexampleofacallmessage<strong>and</strong>theassociatedports. sampleinterface:callmessage( Ifthereisnoexplicitminimumformaltypestate,thenitistakentobe
Change language