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.
174B.6.OperationDescriptions if(continued) SpecialRules:Thetestvariableidentiedinthestatementqualiermust<br />
Description:Executethestatementsinthetestclauseidentiedinthe onnormalexitfromtheifstatementisthemeetofthenormalexit isidenticaltotheexittypestatefromthetestclause.Thetypestate typestatesofthethen<strong>and</strong>elseclauses. beoftypepredefined!boolean<strong>and</strong>musthavetypestateinitonnormalexitfromthetestclauseidentiedinthequalier.Thetypestateon<br />
typestateonentrytothethenclause<strong>and</strong>(ifpresent)theelseclause identiedinthequalier)istrue,thenexecutethestatementsinthe instructionqualier.Iftheresultingvalueinthetestvariable(also entrytothetestclauseistheentrytypestatefortheifstatement.The<br />
Qualier:if insert(table,element) TypeRules: clauseisidentiedinthequalier,executethestatementsinthatclause. \then"clause(alsoidentiedinthequalier).Otherwise,ifan\else"<br />
Preconditions: table2table<br />
elementtypeof(table) Exceptions:Depletion,(DuplicateKey) Seex11.3,p.97<br />
Description:Inserttheobjectstoredinelementintotable,leavingelementuninitialized.Iftableisordered,thenewelementwillfollowall<br />
killconstraints(table) makeuninit(element) duplicatekey(table) var(element) var(table) init(table) lowestelementstate(element,table) Postconditions:<br />
previouslyexistingelements. Qualier:absent Seex11.6,p.110
Change language