(Map other)
| 33 | final static public PersistentTreeMap EMPTY = new PersistentTreeMap(); |
| 34 | |
| 35 | static public IPersistentMap create(Map other){ |
| 36 | IPersistentMap ret = EMPTY; |
| 37 | for(Object o : other.entrySet()) |
| 38 | { |
| 39 | Map.Entry e = (Entry) o; |
| 40 | ret = ret.assoc(e.getKey(), e.getValue()); |
| 41 | } |
| 42 | return ret; |
| 43 | } |
| 44 | |
| 45 | public PersistentTreeMap(){ |
| 46 | this(RT.DEFAULT_COMPARATOR); |