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.
print(variable) TypeRules:None Preconditions:None Description:Produceaprintedrepresentationoftheobjectstoredin AppendixB.<strong>Hermes</strong>Operations183<br />
variable.Thisoperation,<strong>and</strong>thecorrespondingprintstatementin theconcretesyntax,areprovidedonlyforpurposesof<strong>Hermes</strong>compiler debugging,<strong>and</strong>arenotmeantforusebyapplicationprograms.They Postconditions:None Exceptions:|<br />
Qualier:absent procedure(outport,program) TypeRules: outport2outport maybecomeunavailablewithoutnotice.<br />
predefined!program Exceptions:Depletion, InterfaceMismatch|<br />
Preconditions: Description:Createaprocedurethatwillrepeatedlyinstantiateprogram var(outport) checked(program) Postconditions:<br />
Qualier:absent intoprocesses,<strong>and</strong>storeanoutputportmatchingthetypeofprogram's initializationportinoutport.Wheneveramessageissentonthisoutput port,anewprocesswillbeinstantiated<strong>and</strong>themessageforwardedto thenewprocess'initializationport. makeinit(outport)<br />
program{literal(program) TypeRules: Preconditions:<br />
var(program) predefined!programPostconditions:<br />
makechecked(program) Exceptions:Depletion Seex11.8,p.124<br />
Description:Makeacopyoftheprogramobjectidentiedintheinstructionqualier<strong>and</strong>storeitinprogram.<br />
Qualier:programliteral Seex11.10,p.128
Change language