changeset 17439:e9c8742148c1

Truffle: NeverValidAssumption can be invalidated.
author Chris Seaton <chris.seaton@oracle.com>
date Tue, 14 Oct 2014 15:06:49 +0100
parents df548b06c259
children 935de03661c1
files graal/com.oracle.truffle.api.test/src/com/oracle/truffle/api/test/utilities/NeverValidAssumptionTest.java graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/NeverValidAssumption.java
diffstat 2 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.truffle.api.test/src/com/oracle/truffle/api/test/utilities/NeverValidAssumptionTest.java	Tue Oct 14 13:35:13 2014 +0200
+++ b/graal/com.oracle.truffle.api.test/src/com/oracle/truffle/api/test/utilities/NeverValidAssumptionTest.java	Tue Oct 14 15:06:49 2014 +0100
@@ -50,10 +50,12 @@
         assertFalse(assumption.isValid());
     }
 
-    @Test(expected = UnsupportedOperationException.class)
-    public void testCannotInvalidate() {
+    @Test
+    public void testInvalidateDoesNothing() {
         final NeverValidAssumption assumption = NeverValidAssumption.INSTANCE;
         assumption.invalidate();
+        assumption.invalidate();
+        assumption.invalidate();
     }
 
 }
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/NeverValidAssumption.java	Tue Oct 14 13:35:13 2014 +0200
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/utilities/NeverValidAssumption.java	Tue Oct 14 15:06:49 2014 +0100
@@ -45,7 +45,6 @@
 
     @Override
     public void invalidate() {
-        throw new UnsupportedOperationException("Cannot invalidate this assumption - it is never valid");
     }
 
     @Override