Examples with SetMinus org.btrplace.safeplace.spec.term.SetMinus used on opensource projects

Example 1 with SetMinus

use of org.btrplace.safeplace.spec.term.SetMinus in project scheduler by btrplace.

the class MinusTest method testCollections.

@Test
public void testCollections() {
    Constant v1 = new Constant(Arrays.asList(1, 2), new SetType(IntType.getInstance()));
    Constant v2 = new Constant(Arrays.asList(2, 5), new SetType(IntType.getInstance()));
    Minus<?> p = new SetMinus(v1, v2);
    Set<?> s = (Set<?>) p.eval(new Context());
    Assert.assertEquals(s.size(), 1);
    Assert.assertEquals(p.type(), new SetType(IntType.getInstance()));
}

Example 2 with SetMinus

use of org.btrplace.safeplace.spec.term.SetMinus in project scheduler by btrplace.

the class MinusTest method testBadCollections.

@Test(expectedExceptions = { RuntimeException.class })
public void testBadCollections() throws RuntimeException {
    Constant v1 = new Constant(Arrays.asList(1, 2), new SetType(IntType.getInstance()));
    Constant v2 = new Constant(Collections.singletonList(VMStateType.getInstance().parse("running")), new SetType(VMStateType.getInstance()));
    @SuppressWarnings("unused") SetMinus bad = new SetMinus(v1, v2);
}