Examples with Assumption com.oracle.truffle.api.Assumption used on opensource projects

Example 16 with Assumption

use of com.oracle.truffle.api.Assumption in project graal by oracle.

the class UnionAssumptionTest method testCheck.

@Test
public void testCheck() throws InvalidAssumptionException {
    final Assumption first = Truffle.getRuntime().createAssumption("first");
    final Assumption second = Truffle.getRuntime().createAssumption("second");
    final UnionAssumption union = new UnionAssumption(first, second);
    union.check();
}

Example 17 with Assumption

use of com.oracle.truffle.api.Assumption in project graal by oracle.

the class UnionAssumptionTest method testFirstInvalidateIsValid.

@Test
public void testFirstInvalidateIsValid() {
    final Assumption first = Truffle.getRuntime().createAssumption("first");
    final Assumption second = Truffle.getRuntime().createAssumption("second");
    final UnionAssumption union = new UnionAssumption(first, second);
    first.invalidate();
    assertFalse(union.isValid());
}

Example 18 with Assumption

use of com.oracle.truffle.api.Assumption in project graal by oracle.

the class UnionAssumptionTest method testSecondInvalidateCheck.

@Test(expected = InvalidAssumptionException.class)
public void testSecondInvalidateCheck() throws InvalidAssumptionException {
    final Assumption first = Truffle.getRuntime().createAssumption("first");
    final Assumption second = Truffle.getRuntime().createAssumption("second");
    final UnionAssumption union = new UnionAssumption(first, second);
    second.invalidate();
    union.check();
}

Example 19 with Assumption

use of com.oracle.truffle.api.Assumption in project graal by oracle.

the class UnionAssumptionTest method testFirstInvalidateCheck.

@Test(expected = InvalidAssumptionException.class)
public void testFirstInvalidateCheck() throws InvalidAssumptionException {
    final Assumption first = Truffle.getRuntime().createAssumption("first");
    final Assumption second = Truffle.getRuntime().createAssumption("second");
    final UnionAssumption union = new UnionAssumption(first, second);
    first.invalidate();
    union.check();
}

Example 20 with Assumption

use of com.oracle.truffle.api.Assumption in project graal by oracle.

the class UnionAssumptionTest method testSecondInvalidateIsValid.

@Test
public void testSecondInvalidateIsValid() {
    final Assumption first = Truffle.getRuntime().createAssumption("first");
    final Assumption second = Truffle.getRuntime().createAssumption("second");
    final UnionAssumption union = new UnionAssumption(first, second);
    second.invalidate();
    assertFalse(union.isValid());
}