Examples with NeverValidAssumption com.oracle.truffle.api.utilities.NeverValidAssumption used on opensource projects

Example 1 with NeverValidAssumption

use of com.oracle.truffle.api.utilities.NeverValidAssumption in project graal by oracle.

the class NeverValidAssumptionTest method testIsValid.

@Test
public void testIsValid() {
    final NeverValidAssumption assumption = NeverValidAssumption.INSTANCE;
    assertFalse(assumption.isValid());
}

Example 2 with NeverValidAssumption

use of com.oracle.truffle.api.utilities.NeverValidAssumption in project graal by oracle.

the class NeverValidAssumptionTest method testCheck.

@Test
public void testCheck() {
    final NeverValidAssumption assumption = NeverValidAssumption.INSTANCE;
    try {
        assumption.check();
        fail();
    } catch (InvalidAssumptionException e) {
    } catch (Exception e) {
        fail();
    }
}

Example 3 with NeverValidAssumption

use of com.oracle.truffle.api.utilities.NeverValidAssumption in project graal by oracle.

the class NeverValidAssumptionTest method testInvalidateDoesNothing.

@Test
public void testInvalidateDoesNothing() {
    final NeverValidAssumption assumption = NeverValidAssumption.INSTANCE;
    assumption.invalidate();
    assumption.invalidate();
    assumption.invalidate();
}