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.
{{Anemptysetindicatestheentireelementobject {{Eachkeyconsistsofasetof(sub-)componentsoftheelementtype. 200AppendixC.PredenedModule<br />
formalobjects:orderedtableofcomponentlistffullg; keyset:orderedtableofformalobjectsffullgkeys(*);<br />
);messagetypestate:formaltypestate{{typestateofeachqueuedmessage callmessageinfo:record( inportinfo:record( constants:componentset, messagetype:typename, {{typeofeachqueuedmessage<br />
);exceptionspecifications:exceptionspecifications {{typestateforthecallmessagetype. {{followingassociatesexittypestateswithexceptions minimum:exceptionid, {{callmessage.Theassociatedexittypestateistheminimum normal:formaltypestate, {{followingidentiestheDiscardedexceptionforthis {{exittypestatefornormalreturn {{whichcomponentsareheldconstant<br />
componentset:tableofcomponentidfinitgkeys(*); exceptionspecifications:tableofexceptionffullgkeys(exceptionid); exception:record( posttypestate:formaltypestate{{typestateonthatoutcome exceptionid:exceptionid, AttributeDenitions {{uniquenameofexception<br />
{{module)identier,thecodethatevaluatestheattribute, attrdefinitions:tableofattrdefinitionffullgkeys(attributeid); {{Anattributedenitionincludesaunique(withinadenitions {{parameters,<strong>and</strong>therequiredentrytypestateoftheparameters. {{Theparametersexistintheouterscopeofthecode.
Change language