# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1354539373 -3600
# Node ID ab65fa23f8e9eced2a94249e54f9f6f4e64a4097
# Parent  b914b9b4c578a92f808a268e9f92e7f57542a6de
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)

diff -r b914b9b4c578 -r ab65fa23f8e9 graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Graph.java
--- 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();