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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

);'named'->typename:typenameffullg typename:record(<br />

AppendixC.PredenedModule197<br />

);attributeid:attributeid );typeid:typeid constraintname:record( moduleid:moduleid, {{timestampofmodule<br />

{{anobject(variable)gives(i)thescopewhereitisdeclared,(ii) {{attributeidwithinmodule {{typeidwithinmodule<br />

{{itsrootid,<strong>and</strong>(iii)ifitisacomponent,itscompoenentid. {{e.g.,ifinscopesthereisthedeclarationr:Q,whereQisa {{recordhavingacomponentz,thentheobjectr.zgetswouldhave {{theobjectname(s,r,z). rootname:record(<br />

);components:componentlist objectname:record( scope:scopeid, root:rootid root:rootname, {{identiersofcomponents {{scopeofrootdeclaration {{rootidentierusedto {{rootobject {{refertothisobject<br />

componentlist:orderedtableofcomponentidffullg;<br />

typedefinitions:tableoftypedefinitionffullgkeys(id); objectnames:orderedtableofobjectnameffullg;<br />

{{Eachtypehasaunique(withinitsdenitionsmodule)typeid,a TypeDenitions

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

Saved successfully!

Ooh no, something went wrong!