comparison truffle/com.oracle.truffle.object/src/com/oracle/truffle/object/debug/GraphvizShapeVisitor.java @ 22088:22ce537a52fd

remove ShapeVisitor from the API
author Andreas Woess <andreas.woess@oracle.com>
date Mon, 17 Aug 2015 15:37:26 +0200
parents 9c8c0937da41
children dc83cc1f94f2
comparison
equal deleted inserted replaced
22087:5d9e5f866821 22088:22ce537a52fd
57 } 57 }
58 sb.append("];"); 58 sb.append("];");
59 59
60 for (Entry<? extends Transition, ? extends Shape> entry : transitions.entrySet()) { 60 for (Entry<? extends Transition, ? extends Shape> entry : transitions.entrySet()) {
61 Shape dst = entry.getValue(); 61 Shape dst = entry.getValue();
62 dst.accept(this); 62 ((ShapeImpl) dst).accept(this);
63 assert drawn.contains(dst); 63 assert drawn.contains(dst);
64 64
65 sb.append(prefix).append(getId(shape)).append("->").append(prefix).append(getId(dst)); 65 sb.append(prefix).append(getId(shape)).append("->").append(prefix).append(getId(dst));
66 sb.append(" [label=\"").append(escapeString(entry.getKey().getShortName())).append("\"]"); 66 sb.append(" [label=\"").append(escapeString(entry.getKey().getShortName())).append("\"]");
67 sb.append(";"); 67 sb.append(";");