comparison graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/GraphPrintVisitor.java @ 10481:29e9a5d18c70

Clean up.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 23 Jun 2013 20:50:18 +0200
parents 98b004bf3985
children 494b818b527c
comparison
equal deleted inserted replaced
10480:aa685bff0926 10481:29e9a5d18c70
207 nodeElem.appendChild(properties); 207 nodeElem.appendChild(properties);
208 nodesElement.appendChild(nodeElem); 208 nodesElement.appendChild(nodeElem);
209 209
210 setNodeProperty(node, "name", node.getClass().getSimpleName().replaceFirst("Node$", "")); 210 setNodeProperty(node, "name", node.getClass().getSimpleName().replaceFirst("Node$", ""));
211 NodeInfo nodeInfo = node.getClass().getAnnotation(NodeInfo.class); 211 NodeInfo nodeInfo = node.getClass().getAnnotation(NodeInfo.class);
212 if (nodeInfo != null && !nodeInfo.shortName().isEmpty()) { 212 if (nodeInfo != null) {
213 setNodeProperty(node, "shortName", nodeInfo.shortName()); 213 setNodeProperty(node, "kind", nodeInfo.kind());
214 } 214 if (!nodeInfo.shortName().isEmpty()) {
215 setNodeProperty(node, "nodeType", (Node.class.isAssignableFrom(node.getClass()) ? Node.class.getSimpleName() : "other")); 215 setNodeProperty(node, "shortName", nodeInfo.shortName());
216 setNodeProperty(node, "nodeClass", node.getClass().getSimpleName()); 216 }
217 copyDebugProperties(node); // TODO: may overwrite property "name"? (currently allowed) 217 }
218 setNodeProperty(node, "class", node.getClass().getSimpleName());
218 readNodeProperties((Node) node); 219 readNodeProperties((Node) node);
220 copyDebugProperties(node);
219 } 221 }
220 } 222 }
221 223
222 private Element getPropertyElement(Object node, String propertyName) { 224 private Element getPropertyElement(Object node, String propertyName) {
223 Element nodeElem = getElementByObject(node); 225 Element nodeElem = getElementByObject(node);