public void MinMaxSumTest()
{
OclSet source = TestUtils.CreateIntSet(1, 2, 3);
TestUtils.AreEqual((OclInteger)6, source.sum((OclInteger)0, (x, y) => x + y));
TestUtils.AreEqual((OclInteger)1, source.min <OclInteger>((x, y) => x.min(y)));
TestUtils.AreEqual((OclInteger)3, source.max <OclInteger>((x, y) => x.max(y)));
}
public void FlattenTest()
{
OclSet level1 = TestUtils.CreateIntSet(1, 2);
OclSet level2 = new OclSet(level1.oclType(), level1, level1);
OclSet level3 = new OclSet(level2.oclType(), level2, level2);
TestUtils.AreEqual(TestUtils.CreateIntSet(1, 2), level1.flatten());
TestUtils.AreEqual(TestUtils.CreateIntSet(1, 2), level2.flatten());
TestUtils.AreEqual(TestUtils.CreateIntSet(1, 2), level3.flatten());
}
public void ProductTest()
{
OclBag a = TestUtils.CreateIntBag(1, 2);
OclBag b = TestUtils.CreateIntBag(1, 3);
OclTupleType tupleType = OclTupleType.Tuple(OclTupleType.Part("first", OclInteger.Type), OclTupleType.Part("second", OclInteger.Type));
OclSet pr = new OclSet(tupleType,
new OclTuple(tupleType, (OclInteger)1, (OclInteger)1),
new OclTuple(tupleType, (OclInteger)1, (OclInteger)3),
new OclTuple(tupleType, (OclInteger)2, (OclInteger)1),
new OclTuple(tupleType, (OclInteger)2, (OclInteger)3)
);
TestUtils.AreEqual(pr, a.product(b));
}
public void UnorderedClosureTest()
{
Func <OclInteger, OclAny> body = x => new OclSequence(OclInteger.Type, x.div((OclInteger)2), x.op_UnaryNegation());
OclBag l = TestUtils.CreateIntBag();
TestUtils.AreEqual(TestUtils.CreateIntSet(), l.closure(OclInteger.Type, body));
l = l.including(OclInteger.Type, (OclInteger)3);
TestUtils.AreEqual(TestUtils.CreateIntSet(3, 1, 0, -1, -3), l.closure(OclInteger.Type, body));
l = l.including(OclInteger.Type, (OclInteger)16);
OclSet set = TestUtils.CreateIntSet(0, 1, 2, 3, 4, 8, 16, -1, -2, -3, -4, -8, -16);
TestUtils.AreEqual(set, l.closure(OclInteger.Type, body));
l = l.including(OclInteger.Type, (OclInteger)(-4));
TestUtils.AreEqual(set, l.closure(OclInteger.Type, body));
}
public void IterationsTest()
{
OclSet source = TestUtils.CreateIntSet(1, 2, 3);
TestUtils.AreEqual(TestUtils.CreateIntSet(2, 3), source.select <OclInteger>(x => x >= (OclInteger)2));
TestUtils.AreEqual(TestUtils.CreateIntSet(1), source.reject <OclInteger>(x => x >= (OclInteger)2));
TestUtils.AreEqual(TestUtils.CreateIntBag(0, 1, 1), source.collectNested <OclInteger, OclInteger>(OclInteger.Type, x => x.div((OclInteger)2)));
TestUtils.AreEqual(TestUtils.CreateIntOrderedSet(3, 2, 1), source.sortedBy <OclInteger, OclInteger>(x => - x));
TestUtils.AreEqual((OclInteger)1, source.any <OclInteger>(x => x < (OclInteger)2));
TestUtils.AreEqual(OclBoolean.True, source.one <OclInteger>(x => x < (OclInteger)2));
TestUtils.AreEqual(OclBoolean.False, source.one <OclInteger>(x => x < (OclInteger)3));
TestUtils.AreEqual(OclBoolean.True, source.exists <OclInteger>(x => x < (OclInteger)2));
TestUtils.AreEqual(OclBoolean.False, source.exists <OclInteger>(x => x < (OclInteger)1));
TestUtils.AreEqual(OclBoolean.False, source.forAll <OclInteger>(x => x < (OclInteger)2));
TestUtils.AreEqual(OclBoolean.True, source.forAll <OclInteger>(x => x < (OclInteger)4));
TestUtils.AreEqual(OclBoolean.True, source.isUnique <OclInteger, OclReal>(x => x / (OclInteger)2));
TestUtils.AreEqual(OclBoolean.False, source.isUnique <OclInteger, OclReal>(x => x.div((OclInteger)2)));
}
public void OperationsTest()
{
OclSet source = TestUtils.CreateIntSet(1, 2, 3, 1);
TestUtils.AreEqual((OclInteger)3, source.size());
TestUtils.AreEqual((OclBoolean)true, source.includes((OclInteger)1));
TestUtils.AreEqual((OclBoolean)false, source.excludes((OclInteger)1));
TestUtils.AreEqual((OclInteger)1, source.count((OclInteger)1));
TestUtils.AreEqual((OclBoolean)false, source.includesAll(TestUtils.CreateIntSet(1, 4)));
TestUtils.AreEqual((OclBoolean)false, source.excludesAll(TestUtils.CreateIntSet(1, 4)));
TestUtils.AreEqual((OclBoolean)false, source.isEmpty());
TestUtils.AreEqual((OclBoolean)true, source.notEmpty());
TestUtils.AreEqual(TestUtils.CreateIntSet(2, 3), source.excluding((OclInteger)1));
TestUtils.AreEqual(TestUtils.CreateIntSet(1, 2, 3, 4), source.including(OclInteger.Type, (OclInteger)4));
TestUtils.AreEqual(TestUtils.CreateIntSet(1, 2, 3, 5), source.union(OclInteger.Type, TestUtils.CreateIntSet(1, 3, 5)));
TestUtils.AreEqual(TestUtils.CreateIntSet(1, 3), source.intersection(TestUtils.CreateIntSet(1, 3, 5)));
TestUtils.AreEqual(TestUtils.CreateIntSet(2, 5), source.symmetricDifference(TestUtils.CreateIntSet(1, 3, 5)));
TestUtils.AreEqual(TestUtils.CreateIntSet(2), source.op_Subtraction(TestUtils.CreateIntSet(1, 3, 5)));
}
