# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1346771386 -7200
# Node ID f70b0935485ba6c0eef8d5d7e00f79f060aef1d1
# Parent  9b017f213df8c61636b23ab81b0c21a07282341c
IGV : Add idx to binary graphs to help visualizing nodes during comparison

diff -r 9b017f213df8 -r f70b0935485b 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:20:39 2012 +0200
+++ b/src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/serialization/BinaryParser.java	Tue Sep 04 17:09:46 2012 +0200
@@ -657,10 +657,11 @@
             if (preds > 0) {
                 properties.setProperty("hasPredecessor", "true");
             }
+            properties.setProperty("idx", Integer.toString(id));
             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")) {
+                if (key.equals("hasPredecessor") || key.equals("name") || key.equals("class") || key.equals("id") || key.equals("idx")) {
                     key = "!data." + key;
                 }
                 Object value = readPropertyObject();