adds to Mapping the following exports: clone, exchange, toRecord

git-svn-id: https://gforge.info.ucl.ac.be/svn/mozart@15976 ada56829-ad1f-0410-b00f-83cda6628aec

Author: duchier

Mapping.oz

@@ -5,6 +5,7 @@ export
    Items   toList:Items
    Keys    arity:Keys
    Entries toListInd:Entries
+   Clone Exchange ToRecord
 prepare
    fun {Get M Key} M.Key end
    proc {Put M Key Value} M.Key := Value end
@@ -68,4 +69,25 @@ prepare
 	 (Lo#A.Lo)|{ArrayToListX A Lo+1 Hi}
       end
    end
+   DictClone = Dictionary.clone
+   ArrayClone = Array.clone
+   fun {Clone M}
+      if {IsDictionary M} then {DictClone M}
+      elseif {IsRecord M} then M
+      else {ArrayClone M} end
+   end
+   DictExchange = Dictionary.exchange
+   ArrayExchange = Array.exchange
+   proc {Exchange M Key Old New}
+      if {IsDictionary M} then {DictExchange M Key Old New}
+      elseif {IsRecord M} then M.Key=Old=New
+      else {ArrayExchange M Key Old New} end
+   end
+   DictToRecord = Dictionary.toRecord
+   ArrayToRecord = Array.toRecord
+   fun {ToRecord Label M}
+      if {IsDictionary M} then {DictToRecord Label M}
+      elseif {IsRecord M} then {Adjoin M Label}
+      else {ArrayToRecord Label M} end
+   end
 end

mapping.html

@@ -85,6 +85,14 @@ <H2>Exports</H2>
 <DT><CODE>{Mapping.entries +M ?L}</CODE>
 <DT><CODE>{Mapping.toListInd +M ?L}</CODE>
 <DD>returns a list of the entries <CODE>Key#Value</CODE> in the mapping
+<DT><CODE>{Mapping.clone +M1 ?M2}</CODE>
+<DD>returns a clone <CODE>M2</CODE> of the mapping <CODE>M1</CODE>
+<DT><CODE>{Mapping.exchange +M +Key ?Old +New}</CODE>
+<DD>atomically exchanges the value for <CODE>Key</CODE> in mapping <CODE>M</CODE>:
+sets it to <CODE>New</CODE> while returning <CODE>Old</CODE>
+<DT><CODE>{Mapping.toRecord +Label +M ?R}</CODE>
+<DD>returns a record <CODE>R</CODE> with label <CODE>Label</CODE> representing
+the entries in mapping <CODE>M</CODE>
 </DL>
 
 <HR>