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.

202AppendixC.PredenedModule );mainscope:scopeid scopes:tableofscopeffullgkeys(id); scope:record( clauses:clauses,<br />

{{optionallyassociatesatypewiththeobject.Ifnotypeis {{context. );clause:clauseid {{Eachdeclarationidentiesthedeclaredrootobject,<strong>and</strong> {{suppliedinadeclaration,thetypemustbeinferrablefrom declarations:declarations, id:scopeid, {{declarationsintroducedbyscope {{statementstoexecuteinscope {{scopeidentier<br />

declaration:record( declarations:tableofdeclarationffullgkeys(id);<br />

{{listofthestatementsthatmakeuptheclause clauses:tableofclauseffullgkeys(id); );prag:charstring {{Eachclausehasaunique(withinanexecutionenvironment)id<strong>and</strong>a id:rootid, typename:optionaltypename, {{idusedforreference {{typeofobject<br />

clause:record( {{pragma<br />

);statements:statements {{Eachstatementhasaunique(withinanexecutionenvironment) {{identier,anoperator<strong>and</strong>oper<strong>and</strong>s,<strong>and</strong>possiblyadditionaldata id:clauseid, {{identierofclause<br />

{{qualier.Theprecisecontentsofthequalierdependsonthe {{viaaccessibleprogramobjectsatruntime,mustbeprovidedinthe {{speciedinisqualier.Anyinformationthatisneededforthe {{properexecutionofthestatement<strong>and</strong>cannotnotbemadeavailable {{statementsofclause<br />

{{operator. statements:orderedtableofstatementffullgkeys(id);

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

Saved successfully!

Ooh no, something went wrong!