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.
attrdefinition:record( attributeid:attributeid, AppendixC.PredenedModule201<br />
); rootids:orderedtableofrootidfinitg; pretypestate:typestate, prag:charstring parameters:rootids, returnvalue:objectname, executionenvironment:executionenvironment,{{expressiontoevaluate {{pragma {{typestateonentry {{declaredintheouterscope {{booleanobject {{uniqueidofattribute<br />
processes:tableofprocffullgkeys(id); {{typeexecutionenvironment,whichincludesthestatementsappearing {{Eachprocesshasauniqueidentier.Thecodeisanobjectof ProcessModules<br />
{{theoutermostscope. proc:record( {{inthecode,aswellasdeclarationsforalltherootobjects {{introducedbyincludedscopes.Theinitportisalwaysanobjectin<br />
{{acollectionofnestedscopes,withasinglemain,oroutermost {{moduleorfromanattributedenition.Thecodeisrepresentedas id:processid, executablepart:executionenvironment,{{dcls+statements<br />
{{<strong>and</strong>isassociatedwithaclause.Aclauseisalistofstatements, {{scope.Eachscopeintroducesnewdeclarationsforrootobjects, ); {{Followingrecordrepresentsapieceofcode,eitherfromaprocess initport:rootid, prag:charstring {{pragma {{nameofinitializationport<br />
{{alwaysbeginswiththeclauseassociatedwiththeoutermostscope. {{someofwhichintroducenestedscopes.Executionofthecode executionenvironment:record( scopes:scopes,
Change language