Search in sources :

Example 1 with SetPlus

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

the class PlusTest method testCollections.

@Test
public void testCollections() {
    Constant v1 = new Constant(new HashSet<>(Arrays.asList(1, 2)), new SetType(IntType.getInstance()));
    Constant v2 = new Constant(new HashSet<>(Arrays.asList(4, 5)), new SetType(IntType.getInstance()));
    Plus<?> p = new SetPlus(v1, v2);
    Set<?> s = (Set<?>) p.eval(new Context());
    Assert.assertEquals(s.size(), 4);
    Assert.assertEquals(p.type(), new SetType(IntType.getInstance()));
}
Also used : Context(org.btrplace.safeplace.testing.verification.spec.Context) Set(java.util.Set) HashSet(java.util.HashSet) SetType(org.btrplace.safeplace.spec.type.SetType) Constant(org.btrplace.safeplace.spec.term.Constant) SetPlus(org.btrplace.safeplace.spec.term.SetPlus) Test(org.testng.annotations.Test)

Example 2 with SetPlus

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

the class PlusTest method testBadCollections.

@Test(expectedExceptions = { RuntimeException.class })
public void testBadCollections() throws RuntimeException {
    Constant v1 = new Constant(new HashSet<>(Arrays.asList(1, 2)), new SetType(IntType.getInstance()));
    Constant v2 = new Constant(new HashSet<>(Collections.singletonList(VMStateType.getInstance().parse("running"))), new SetType(VMStateType.getInstance()));
    @SuppressWarnings("unused") SetPlus bad = new SetPlus(v1, v2);
}
Also used : SetType(org.btrplace.safeplace.spec.type.SetType) Constant(org.btrplace.safeplace.spec.term.Constant) SetPlus(org.btrplace.safeplace.spec.term.SetPlus) Test(org.testng.annotations.Test)

Aggregations

Constant (org.btrplace.safeplace.spec.term.Constant)2 SetPlus (org.btrplace.safeplace.spec.term.SetPlus)2 SetType (org.btrplace.safeplace.spec.type.SetType)2 Test (org.testng.annotations.Test)2 HashSet (java.util.HashSet)1 Set (java.util.Set)1 Context (org.btrplace.safeplace.testing.verification.spec.Context)1