equal
deleted
inserted
replaced
648 java.util.Map oldMap = (java.util.Map)oldInstance; |
648 java.util.Map oldMap = (java.util.Map)oldInstance; |
649 java.util.Map newMap = (java.util.Map)newInstance; |
649 java.util.Map newMap = (java.util.Map)newInstance; |
650 // Remove the new elements. |
650 // Remove the new elements. |
651 // Do this first otherwise we undo the adding work. |
651 // Do this first otherwise we undo the adding work. |
652 if (newMap != null) { |
652 if (newMap != null) { |
653 for ( Object newKey : newMap.keySet() ) { |
653 for (Object newKey : newMap.keySet().toArray()) { |
654 // PENDING: This "key" is not in the right environment. |
654 // PENDING: This "key" is not in the right environment. |
655 if (!oldMap.containsKey(newKey)) { |
655 if (!oldMap.containsKey(newKey)) { |
656 invokeStatement(oldInstance, "remove", new Object[]{newKey}, out); |
656 invokeStatement(oldInstance, "remove", new Object[]{newKey}, out); |
657 } |
657 } |
658 } |
658 } |