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.
merge{at(continued) Description:Removealltableelementsfromsource<strong>and</strong>insertthem willfollowconsecutively,inthesameorderastheyappearedinsource. intodestinationsothattheresultingpositionofthersttransferred element,ifany,willbeequaltoposition.Allothertransferredelements AppendixB.<strong>Hermes</strong>Operations179<br />
Qualier:absent mod(result,source1,source2)Exceptions:Depletion,DivideByZero TypeRules: <strong>and</strong>followingthelasttransferredelement. Allelementsofdestinationthatformerlyoccupiedpositionsatposition orbeyondareshiftedsothattheyappearinthesamerelativeorder,<br />
Preconditions: source12numeric result2numeric resultsource1source2 source22numericSeex11.6,p.112<br />
Description:Letabethevalueofsource1,<strong>and</strong>bbethevalueofsource2. var(result) init(source2) init(source1) Postconditions:<br />
Qualier:absent Thevaluechavingthesamesignasb,withabsolutevaluelessthan thatofb,<strong>and</strong>satisfyingtheequationa=nb+cforsomeintegern, isstoredinresult. makeinit(result)<br />
move(result,source) TypeRules: Preconditions: resultsource init(source) Exceptions:Depletion Seex11.4,p.104<br />
Description:Movetheobjectstoredinsourcetoresult,leavingsource Qualier:absent var(result) uninitialized. var(source) Postconditions: movets(source,result) Seex11.1,p.93
Change language