# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1346678008 -7200
# Node ID b2b0ec1a6a39903945cb016b8d2f37c822e4ecdb
# Parent  6f8b6fc03c961fff28b58fae64d5139b307f6cb2
IGV : avoid collisions between node's properties and some reserved properties of the IGV

diff -r 6f8b6fc03c96 -r b2b0ec1a6a39 src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/serialization/BinaryParser.java
--- a/src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/serialization/BinaryParser.java	Mon Sep 03 15:12:28 2012 +0200
+++ b/src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/serialization/BinaryParser.java	Mon Sep 03 15:13:28 2012 +0200
@@ -525,6 +525,7 @@
         }
     }
 
+    @Override
     public GraphDocument parse() throws IOException {
         GraphDocument doc = new GraphDocument();
         folderStack.push(doc);
@@ -659,6 +660,9 @@
             int propCount = readShort();
             for (int j = 0; j < propCount; j++) {
                 String key = readPoolObject(String.class);
+                if (key.equals("hasPredecessor") || key.equals("name") || key.equals("class")) {
+                    key = "!data." + key;
+                }
                 Object value = readPropertyObject();
                 properties.setProperty(key, value != null ? value.toString() : "null");
                 props.put(key, value);