diff graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/NodeUtil.java @ 14569:5e04917e6616

Truffle: renamed NodeFilter to NodeCountFilter and changed it to have inclusive implementation semantics.
author Christian Humer <christian.humer@gmail.com>
date Mon, 17 Mar 2014 18:46:39 +0100
parents 9c01fabfb167
children 762c9aceb7d8
line wrap: on
line diff
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/NodeUtil.java	Mon Mar 17 14:57:14 2014 +0100
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/NodeUtil.java	Mon Mar 17 18:46:39 2014 +0100
@@ -574,19 +574,19 @@
         return countNodes(root, null, false);
     }
 
-    public static int countNodes(Node root, NodeFilter filter) {
+    public static int countNodes(Node root, NodeCountFilter filter) {
         return countNodes(root, filter, false);
     }
 
-    public static int countNodes(Node root, NodeFilter filter, boolean visitInlinedCallNodes) {
+    public static int countNodes(Node root, NodeCountFilter filter, boolean visitInlinedCallNodes) {
         NodeCountVisitor nodeCount = new NodeCountVisitor(filter, visitInlinedCallNodes);
         root.accept(nodeCount);
         return nodeCount.nodeCount;
     }
 
-    public interface NodeFilter {
+    public interface NodeCountFilter {
 
-        boolean isFiltered(Node node);
+        boolean isCounted(Node node);
 
     }
 
@@ -594,16 +594,16 @@
 
         private final boolean visitInlinedCallNodes;
         int nodeCount;
-        private final NodeFilter filter;
+        private final NodeCountFilter filter;
 
-        private NodeCountVisitor(NodeFilter filter, boolean visitInlinedCallNodes) {
+        private NodeCountVisitor(NodeCountFilter filter, boolean visitInlinedCallNodes) {
             this.filter = filter;
             this.visitInlinedCallNodes = visitInlinedCallNodes;
         }
 
         @Override
         public boolean visit(Node node) {
-            if (filter == null || !filter.isFiltered(node)) {
+            if (filter == null || filter.isCounted(node)) {
                 nodeCount++;
             }