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.
typedefinition:record( {{callmessages),aspecicationconsistingofaprimitivetype<strong>and</strong> {{associatedinformation,<strong>and</strong>apragmastring 198AppendixC.PredenedModule<br />
);prag:charstring {{setoftypedcomponents(emptyexceptforrecords,variants<strong>and</strong><br />
componentdeclarations:orderedtableofcomponentdeclarationffullg specification:specificationtype, id:typeid,<br />
componentdeclaration:record( keys(id); componentdeclarations:componentdeclarations,<br />
);type:typename primitivetypes:orderedenumeration( 'recordtype','varianttype','tabletype', 'inporttype','outporttype','callmessagetype', 'polymorphtype'); 'nominaltype','integertype','booleantype','enumerationtype','realtype', id:componentid, {{declaredtype {{uniquenameofcomponent<br />
specificationtype:variantofprimitivetypes( 'booleantype'->boolean:booleaninfoffullg, 'varianttype'->variantinfo:variantinfoffullg, 'nominaltype'->nominalinfo:emptyfg, 'realtype'->accuracyinfo:accuracyinfoffullg, 'enumerationtype'->enumeration:enumerationinfoffullg, 'recordtype'->recordinfo:emptyfg, 'tabletype'->tableinfo:tableinfoffullg, 'integertype'->integerinfo:emptyfg,<br />
);'polymorphtype'->polymorphinfo:emptyfg 'outporttype'->outportinfo:typenameffullg, 'callmessagetype'->callmessageinfo:callmessageinfoffullg, 'inporttype'->inportinfo:inportinfoffullg,
Change language