Hermes: A Tutorial and Reference Manual - Researcher - IBM

178B.6.OperationDescriptions merge(destination,source)Exceptions:Depletion,(DuplicateKey) TypeRules: Preconditions: destinationsource duplicatekey(destination) var(destination) destination2table init(destination) var(source) init(source) source2table
Description:Removeallthetableelementsfromsourceandinsertthem Postconditions: makeuninit(source)
relativeorderastheyappearedinsource,andfollowingallpreviously thenthetransferredelementswillappearindestinationinthesame intodestination,leavingsourceuninitialized.Ifthetablesareordered, killconstraints(destination)
Qualier:absent merge{at(destination,source,position)Exceptions:Depletion, TypeRules: existingelementsofdestination.
destination2orderedtable source2table RangeError, (DuplicateKey) Seex11.6,p.112
Preconditions:
var(destination) destinationsource init(destination) init(position) var(source) init(source) predefined!integer
duplicatekey(destination) Postconditions: makeuninit(source) killconstraints(destination)