+ public MapList(MapList map)
+ {
+ this.fromRange = new int[]
+ { map.fromRange[0], map.fromRange[1] };
+ this.toRange = new int[]
+ { map.toRange[0], map.toRange[1] };
+ this.fromRatio = map.fromRatio;
+ this.toRatio = map.toRatio;
+ if (map.fromShifts != null)
+ {
+ this.fromShifts = new Vector();
+ Enumeration e = map.fromShifts.elements();
+ while (e.hasMoreElements())
+ {
+ int[] el = (int[]) e.nextElement();
+ fromShifts.addElement(new int[]
+ { el[0], el[1] });
+ }
+ }
+ if (map.toShifts != null)
+ {
+ this.toShifts = new Vector();
+ Enumeration e = map.toShifts.elements();
+ while (e.hasMoreElements())
+ {
+ int[] el = (int[]) e.nextElement();
+ toShifts.addElement(new int[]
+ { el[0], el[1] });
+ }
+ }
+ }