# HG changeset patch # User Lukas Stadler # Date 1411120277 -7200 # Node ID ae749a34de4994cfb6af18ffccd0f03383141c3c # Parent 44a408dcd4a4dc04b6521f9a880af7513f7de8c0 use "NEW_" instead of "OLD_" for new properties in IGV diff -r 44a408dcd4a4 -r ae749a34de49 src/share/tools/IdealGraphVisualizer/Difference/src/com/sun/hotspot/igv/difference/Difference.java --- a/src/share/tools/IdealGraphVisualizer/Difference/src/com/sun/hotspot/igv/difference/Difference.java Thu Sep 18 17:43:28 2014 +0200 +++ b/src/share/tools/IdealGraphVisualizer/Difference/src/com/sun/hotspot/igv/difference/Difference.java Fri Sep 19 11:51:17 2014 +0200 @@ -41,7 +41,7 @@ public static final String VALUE_CHANGED = "changed"; public static final String VALUE_SAME = "same"; public static final String VALUE_DELETED = "deleted"; - public static final String OLD_PREFIX = "OLD_"; + public static final String NEW_PREFIX = "NEW_"; public static final String MAIN_PROPERTY = "name"; public static final double LIMIT = 100.0; public static final String[] IGNORE_PROPERTIES = new String[]{"idx", "debug_idx"}; @@ -360,7 +360,7 @@ String s = firstNode.getProperties().get(p.getName()); if (!p.getValue().equals(s)) { difference = true; - n.getProperties().setProperty(OLD_PREFIX + p.getName(), p.getValue()); + n.getProperties().setProperty(NEW_PREFIX + p.getName(), p.getValue()); } } @@ -368,7 +368,7 @@ String s = otherNode.getProperties().get(p.getName()); if (s == null && p.getValue().length() > 0) { difference = true; - n.getProperties().setProperty(OLD_PREFIX + p.getName(), ""); + n.getProperties().setProperty(NEW_PREFIX + p.getName(), ""); } }