comparison test/runtime/7158988/FieldMonitor.java @ 7124:ab65fa23f8e9

Remove overloading of filter(Class<F>) in NodeIterable<Node> returned by Graph.getNodes() : getNodes().filter(MergeNode.class) is not the same as getNodes(MergeNode.class)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 03 Dec 2012 13:56:13 +0100
parents 19e197e2a1af
children a7f9a1195d86
comparison
equal deleted inserted replaced
7123:b914b9b4c578 7124:ab65fa23f8e9