changeset 15138:48145633717c

rename FalsePredicate to ContradictionPredicate
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 11 Apr 2014 18:17:21 +0200
parents 4a162f0b59d7
children 220dd370ef9b
files graal/com.oracle.graal.graph/src/com/oracle/graal/graph/iterators/NodePredicates.java
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/iterators/NodePredicates.java	Fri Apr 11 18:16:32 2014 +0200
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/iterators/NodePredicates.java	Fri Apr 11 18:17:21 2014 +0200
@@ -27,7 +27,7 @@
 public abstract class NodePredicates {
 
     private static final TautologyPredicate TAUTOLOGY = new TautologyPredicate();
-    private static final FalsePredicate FALSE = new FalsePredicate();
+    private static final ContradictionPredicate CONTRADICTION = new ContradictionPredicate();
     private static final IsNullPredicate IS_NULL = new IsNullPredicate();
     private static final IsNotNullPredicate IS_NOT_NULL = new IsNotNullPredicate();
 
@@ -36,7 +36,7 @@
     }
 
     public static NodePredicate alwaysFalse() {
-        return FALSE;
+        return CONTRADICTION;
     }
 
     public static NodePredicate isNull() {
@@ -85,7 +85,7 @@
         }
 
         public NodePredicate negate() {
-            return FALSE;
+            return CONTRADICTION;
         }
 
         public NodePredicate or(NodePredicate np) {
@@ -93,7 +93,7 @@
         }
     }
 
-    static final class FalsePredicate implements NodePredicate {
+    static final class ContradictionPredicate implements NodePredicate {
 
         @Override
         public boolean apply(Node n) {