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.
{{expressionisfalse. ifqualifier:record( testclause:clauseid, testresult:objectname, thenclause:clauseid, AppendixC.PredenedModule207<br />
);optelseclause:optionalclauseid<br />
{{throughoutthebodyscope,<strong>and</strong>thetypestaterequiredforthe {{thebodyscope)thatwillholdtheunwrappedpolymorphvalue {{scopeformingthestatementbody,therootvariable(declaredin );'absent'->empty:emptyfg {{Thequalierforaninspectpolymorphstatementidentiesthe optionalclauseid:variantofoption(<br />
{{unwrappedvalue. 'present'->clauseid:clauseidfinitg,<br />
inspectpolymorphqualifier:record( );typestate:formaltypestate {{Followingqualierisusedforinspecttable<strong>and</strong>forinspect {{statements.Inadditiontothesamesortofselectorasthatused scope:scopeid,<br />
{{throughoutthebodyscope.Theinspectingrootobjectiscontained {{theidoftherootobjectthatholdstheinspectedtableelement {{forothertableoperations,abodyscopeisincluded,aswellas element:rootid,<br />
{{inthebodyscope.NotethatitISNOTthesameobjectasthe {{elementobjectintheselectoritself,astheydeclaredindisjoint );selector:selector {{Aselectstatementqualierincludesa"selectclause"foreach {{scopes.<br />
{{guardedarmoftheselectstatement,identifyingtheguard inspecttablequalifier:record( {{conditionforthearm<strong>and</strong>theclausetobeexecutedwhenthearm scope:scopeid, element:rootid, {{scopeofstatementbody {{inspectionvariable {{tableselector
Change language