public void ImpliesTest()
{
Assert.IsTrue((bool)OclBoolean.implies(FalseFunc, FalseFunc));
Assert.IsFalse((bool)OclBoolean.implies(TrueFunc, FalseFunc));
Assert.IsTrue((bool)OclBoolean.implies(FalseFunc, TrueFunc));
Assert.IsTrue((bool)OclBoolean.implies(TrueFunc, TrueFunc));
Assert.IsTrue((bool)OclBoolean.implies(FalseFunc, InvalidFunc));
Assert.IsTrue((bool)OclBoolean.implies(InvalidFunc, TrueFunc));
Assert.Throws(typeof(Exception), () => OclBoolean.implies(TrueFunc, InvalidFunc));
Assert.Throws(typeof(Exception), () => OclBoolean.implies(InvalidFunc, FalseFunc));
Assert.Throws(typeof(AggregateException), () => OclBoolean.implies(InvalidFunc, InvalidFunc));
Assert.Throws(typeof(ArgumentNullException), () => OclBoolean.implies(TrueFunc, NullFunc));
Assert.Throws(typeof(NullReferenceException), () => OclBoolean.implies(NullFunc, FalseFunc));
Assert.Throws(typeof(AggregateException), () => OclBoolean.implies(NullFunc, NullFunc));
}
public void AllInstancesTest()
{
TestUtils.AreEqual(new OclSet(OclBoolean.Type, (OclBoolean)false, (OclBoolean)true), OclBoolean.allInstances());
}
