Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
forall(continued) Description:Ifeveryelementoftablesatisestheselectoridentiedin Qualier:selector empty.Inparticular,iftableisempty,setresulttotrue. theinstructionqualier,thensetresulttotrue.Otherwisesetresultto AppendixB.<strong>Hermes</strong>Operations171<br />
for{enumerate() TypeRules:SeeSpecialRules Preconditions:SeeSpecialRulesPostconditions:SeeSpecialRules SpecialRules:Theenumeratorvariableidentiedinthestatementqualiermustbeinclassenumeration.Theentrytypestateforthebody<br />
Exceptions:Depletion Seex11.6,p.110<br />
clausecontainsalltheattributesinthemeetoftheentrytypestate<br />
Description:Executethestatementscontainedinthescopeidentiedin onnormalterminationoftheforenumeratestatementcontainsallthe inthebody. bodyclause,aswellasinitoftheenumeratorvariable(aninterative attributesinthenormalexittypestateofthebodyclause,minusany solutionisrequiredforthis,asdescribedinSection).Thetypestate attributesinvolvingtheenumeratorvariableoranyvariablesdeclared fortheforenumeratestatement<strong>and</strong>thenormalexittypestateofthe<br />
Qualier:forenumerate itsvaluesareiteratedoverinascendingorder. spondingtothecurrentiteration.Iftheenumerationtypeisordered, foreachenumerationvalueintheenumerationtypecorrespondingto cution,theenumeratorvariableissettotheenumerationvaluecorre-<br />
enumeratorvariablealsoidentiedinthequalier.Duringeachexe-<br />
theinstructionqualierrepeatedly.Thestatementsareexecutedonce<br />
for{inspect(table) TypeRules: Preconditions: table2table<br />
Exceptions:Depletion Seex11.4,p.106<br />
init(table) SeealsoSpecialRules Postconditions:SeeSpecialRules
Change language