public void testCollectionType_01()
{
AstOclModelElementFactory factory1 = AstOclModelElementFactoryManager.getInstance(umlModel.getOclPackage());
CollectionTypeImpl type1 = (CollectionTypeImpl)factory1.createSetType(getClassifier("Integer"));
CollectionTypeImpl type2 = (CollectionTypeImpl)factory1.createSetType(getClassifier("Real"));
CollectionTypeImpl type3 =
(CollectionTypeImpl)factory1.createSetType(factory1.createSetType(getClassifier("Real")));
CollectionTypeImpl type4 = (CollectionTypeImpl)factory1.createBagType(getClassifier("Integer"));
CollectionTypeImpl type5 = (CollectionTypeImpl)factory1.createBagType(getClassifier("Real"));
CollectionTypeImpl type6 = (CollectionTypeImpl)factory1.createBagType(getClassifier("Boolean"));
CollectionTypeImpl type7 = (CollectionTypeImpl)factory1.createOrderedSetType(getClassifier("Integer"));
CollectionTypeImpl type8 = (CollectionTypeImpl)factory1.createSetType(getClassifier("Film"));
CollectionTypeImpl type9 = (CollectionTypeImpl)factory1.createSetType(getClassifier("SpecialFilm"));
CollectionTypeImpl type10 = (CollectionTypeImpl)factory1.createCollectionType(getClassifier("OclAny"));
Assert.AreEqual("Integer", type1.getInnerMostElementType().getName());
Assert.AreEqual("Real", type3.getInnerMostElementType().getName());
Assert.AreEqual("Set(Real)", type1.getMostSpecificCommonSuperType(type2).getName());
Assert.AreEqual("Collection(Integer)", type1.getMostSpecificCommonSuperType(type4).getName());
Assert.AreEqual("Set(OclAny)", type1.getMostSpecificCommonSuperType(type3).getName());
Assert.AreEqual("OclAny", type1.getMostSpecificCommonSuperType(getClassifier("Integer")).getName());
Assert.AreEqual("Collection(Real)", type1.getMostSpecificCommonSuperType(type5).getName());
Assert.AreEqual("Collection(OclAny)", type1.getMostSpecificCommonSuperType(type6).getName());
Assert.IsTrue(getClassifier("Integer").conformsTo(getClassifier("Real")));
Assert.IsTrue(getClassifier("Integer").conformsTo(getClassifier("OclAny")));
Assert.IsTrue(type1.conformsTo(type2));
Assert.IsFalse(type2.conformsTo(type1));
Assert.IsFalse(type1.conformsTo(type3));
Assert.IsFalse(type1.conformsTo(type4));
Assert.IsTrue(type1.conformsTo(type1.getMostSpecificCommonSuperType(type2)));
Assert.IsTrue(type1.conformsTo(type1.getMostSpecificCommonSuperType(type5)));
Assert.IsTrue(type1.conformsTo(type1.getMostSpecificCommonSuperType(type6)));
Assert.IsFalse(type1.conformsTo(getClassifier("Integer")));
Assert.IsTrue(type1.conformsTo(getClassifier("OclAny")));
type1.setInnerMostElementType(getClassifier("Real"));
Assert.AreEqual("Real", type1.getInnerMostElementType().getName());
Assert.AreEqual("Set(Real)", type1.getName());
Assert.IsTrue(type7.conformsTo(type1));
Assert.IsFalse(type1.conformsTo(type7));
Assert.IsTrue(type7.conformsTo(type7.createGenericCollectionType(type7.getInnerMostElementType())));
Assert.IsTrue(type9.conformsTo(type8));
Assert.IsTrue(type9.conformsTo(type10));
Assert.IsFalse(type8.conformsTo(type9));
}
public void testTupleType()
{
AstOclModelElementFactory factory1 = AstOclModelElementFactoryManager.getInstance(umlModel.getOclPackage());
factory1.resetTypes();
TupleTypeImpl type1 = (TupleTypeImpl)factory1.createTupleType();
type1.addElement("a", getClassifier(("Integer")));
type1.addElement("b", getClassifier(("Boolean")));
TupleTypeImpl type2 = (TupleTypeImpl)factory1.createTupleType();
type2.addElement("a", getClassifier(("Real")));
type2.addElement("b", getClassifier(("Boolean")));
TupleTypeImpl type3 = (TupleTypeImpl)factory1.createTupleType();
type3.addElement("a", getClassifier(("Integer")));
type3.addElement("b", getClassifier(("Integer")));
TupleTypeImpl type4 = (TupleTypeImpl)factory1.createTupleType();
type4.addElement("a", getClassifier(("Real")));
type4.addElement("c", getClassifier(("Boolean")));
TupleTypeImpl type5 = (TupleTypeImpl)factory1.createTupleType();
type5.addElement("a", getClassifier(("Integer")));
type5.addElement("b", getClassifier(("Boolean")));
type5.addElement("c", getClassifier(("Boolean")));
TupleTypeImpl type6 = (TupleTypeImpl)factory1.createTupleType();
type6.addElement("a", getClassifier(("Integer")));
TupleTypeImpl type7 = (TupleTypeImpl)factory1.createTupleType();
type7.addElement("a", getClassifier(("Integer")));
type7.addElement("b", type1);
Assert.IsTrue(type1.conformsTo(type2));
Assert.IsFalse(type1.conformsTo(type3));
Assert.IsFalse(type1.conformsTo(type4));
Assert.IsFalse(type1.conformsTo(type5));
Assert.IsFalse(type1.conformsTo(type6));
Assert.IsNotNull(type1.lookupAttribute("a"));
Assert.AreEqual("Integer", type1.lookupAttribute("a").getFeatureType().getName());
Assert.AreEqual("Tuple(a : Integer, b : Boolean)", type1.getName());
Assert.AreEqual("Tuple(a : Integer, b : Boolean, c : Boolean)", type5.getName());
foreach (TuplePartType part in type1.getTupleParts())
{
}
CollectionTypeImpl col = (CollectionTypeImpl)factory1.createSetType(type1);
Assert.AreEqual("Set(Tuple(a : Integer, b : Boolean))", col.getName());
CollectionTypeImpl col2 = (CollectionTypeImpl)factory1.createSetType(type7);
Assert.AreEqual("Set(Tuple(a : Integer, b : Tuple(a : Integer, b : Boolean)))", col2.getName());
}