28.01.2015 Views

Hermes: A Tutorial and Reference Manual - Researcher - IBM

Hermes: A Tutorial and Reference Manual - Researcher - IBM

Hermes: A Tutorial and Reference Manual - Researcher - IBM

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

{{attribute. typestate:tableofattributeffullgkeys(*); 210AppendixC.PredenedModule {{attributename<strong>and</strong>alistofobjectsthataretheparametersofthe attribute:record( {{canalsonameauser-denedattribute,orconstraint.The'full' );objects:objectnames {{Therearethreebuilt-inattributes:init<strong>and</strong>case.Anattribute {{bedroppedfromthislistatsomefuturetime. {{attributeisanabbreviationforseveralinitattributes,<strong>and</strong>may name:attributename,<br />

attributetype:enumeration('initialized','case','constraint','full'); attributename:variantofattributetype(<br />

{{tosomevariable(notnecessarilyarootobject)dependingon );'full'->full:emptyfg {{Aformaltypestateislikeatypestate,butnorootvariableis {{mentioned.Instead,thecomponentlistsareinterpretedrelative 'case'->case:emptyfg, 'initialized'->init:emptyfg,<br />

{{itself,ratherthananyofits(sub-)components. {{context.Anemptycomponentlistindicatestheassociatedvariable 'constraint'->constraint:constraintnameffullg,<br />

);parameters:formalobjectlist formalobjectlist:orderedtableofcomponentlistffullg; formalattribute:record( formaltypestate:tableofformalattributeffullgkeys(*);<br />

enddefinitions attributename:attributename,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!