changeset 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 b914b9b4c578
children 1baf7f1e3f23
files graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Graph.java
diffstat 1 files changed, 0 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Graph.java	Mon Dec 03 13:53:53 2012 +0100
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Graph.java	Mon Dec 03 13:56:13 2012 +0100
@@ -303,15 +303,6 @@
                 return new NodeIterator();
             }
 
-            @SuppressWarnings("unchecked")
-            @Override
-            public <F extends Node> NodeIterable<F> filter(Class<F> clazz) {
-                if (IterableNodeType.class.isAssignableFrom(clazz)) {
-                    return getNodes((Class) clazz);
-                }
-                return super.filter(clazz);
-            }
-
             @Override
             public int count() {
                 return getNodeCount();