/*******************************************************************************
* Copyright (c) 2007, 2012 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM - Initial API and implementation
*******************************************************************************/
package org.eclipse.ocl.uml.tests;
import java.util.Map;
import java.util.Set;
import junit.framework.AssertionFailedError;
import org.eclipse.emf.common.util.URI;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.ocl.expressions.OCLExpression;
import org.eclipse.uml2.uml.Classifier;
import org.eclipse.uml2.uml.InstanceSpecification;
import org.eclipse.uml2.uml.Package;
import org.eclipse.uml2.uml.UMLFactory;
import org.eclipse.uml2.uml.VisibilityKind;
import org.eclipse.uml2.uml.util.UMLUtil;
/**
* Tests involving constructs peculiar to the UML.
*
* @author Christian W. Damus (cwdamus)
*/
@SuppressWarnings("nls")
public class UMLTest
extends AbstractTestSuite {
Resource instanceResource;
Package instancePackage;
/**
* Tests that name look-up accounts for namespace imports.
*/
public void test_importedElements() {
expectModified = true;
Package imported = UMLFactory.eINSTANCE.createPackage();
imported
.createOwnedClass("Foo", false).createOwnedAttribute("boo", getUMLBoolean());
fruitPackage.createPackageImport(imported);
parseConstraint("package ocltest context Fruit " +
"inv: self.oclIsKindOf(Foo) implies self.oclAsType(Foo).boo " +
"endpackage");
}
/**
* Tests the navigation of properties that are redefined in the actual type
* of an instance specification (redefinition already handled internally by
* generated code).
*/
public void test_redefinedProperties() {
InstanceSpecification apple1 = instantiate(instancePackage, apple);
InstanceSpecification apple2 = instantiate(instancePackage, apple);
InstanceSpecification apple3 = instantiate(instancePackage, apple);
Set<InstanceSpecification> apples = new java.util.HashSet<InstanceSpecification>();
apples.add(apple1);
apples.add(apple2);
apples.add(apple3);
InstanceSpecification anApple = instantiate(instancePackage, apple);
addValue(anApple, apple_appleFriends, apple1);
addValue(anApple, apple_appleFriends, apple2);
addValue(anApple, apple_appleFriends, apple3);
// access the redefined property
OCLExpression<Classifier> expr = parse("package ocltest context Fruit " +
"inv: self.friends" +
" endpackage");
// check that we got the value of the slot for the redefining property
assertEquals(apples, evaluate(expr, anApple));
}
/**
* Tests parsing static operation calls using the dot.
*/
public void test_staticOperations_dot_bug164887() {
expectModified = true;
try {
fruit_ripen.setIsStatic(true);
// access via an instance
parseConstraint("package ocltest context Apple " +
"inv: self.ripen(Color::black)" +
" endpackage");
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit.ripen(Color::black)" +
" endpackage");
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit.ripen(ocltest::Color::black)" +
" endpackage");
} finally {
fruit_ripen.setIsStatic(false);
}
}
/**
* Tests parsing static operation calls using the double colon.
*/
public void test_staticOperations_colonColon_bug164887() {
expectModified = true;
try {
fruit_ripen.setIsStatic(true);
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit::ripen(Color::black)" +
" endpackage");
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit::ripen(ocltest::Color::black)" +
" endpackage");
} finally {
fruit_ripen.setIsStatic(false);
}
}
/**
* Tests parsing static attribute calls using the dot.
*/
public void test_staticAttributes_dot_bug164887() {
expectModified = true;
try {
fruit_color.setIsStatic(true);
// access via an instance
parseConstraint("package ocltest context Apple " +
"inv: self.color = Color::black" +
" endpackage");
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit.color = Color::black" +
" endpackage");
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit.color = ocltest::Color::black" +
" endpackage");
} finally {
fruit_color.setIsStatic(false);
}
}
/**
* Tests parsing static attribute calls using the double colon.
*/
public void test_staticAttributes_colonColon_bug164887() {
expectModified = true;
try {
fruit_color.setIsStatic(true);
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit::color = Color::black" +
" endpackage");
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit::color = ocltest::Color::black" +
" endpackage");
} finally {
fruit_color.setIsStatic(false);
}
}
/**
* Tests validation of static operation calls using the dot (in particular,
* that the operation is static).
*/
public void test_staticOperations_dot_val_bug164887() {
try {
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit.ripen(Color::black)" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
try {
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit.ripen(ocltest::Color::black)" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
}
/**
* Tests validation of static operation calls using the double colon (in
* particular, that the operation is static).
*/
public void test_staticOperations_colonColon_val_bug164887() {
try {
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit::ripen(Color::black)" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
try {
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit::ripen(ocltest::Color::black)" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
}
/**
* Tests validation of static attribute calls using the dot (in particular,
* that the operation is static).
*/
public void test_staticAttributes_dot_val_bug164887() {
try {
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit.color = Color::black" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
try {
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit.color = ocltest::Color::black" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
}
/**
* Tests validation of static attribute calls using the double colon (in
* particular, that the operation is static).
*/
public void test_staticAttributes_colonColon_val_bug164887() {
try {
// access via an unqualified type name
parseConstraint("package ocltest context Apple " +
"inv: Fruit::color = Color::black" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
try {
// access via a qualified type name
parseConstraint("package UML context Classifier " +
"inv: ocltest::Fruit::color = ocltest::Color::black" +
" endpackage");
fail("Should have failed to parse");
} catch (AssertionFailedError e) {
// success
System.out
.println("Got expected error: " + e.getLocalizedMessage());
}
}
/**
* Test accessing operations that are aliased by the
* <tt><<eOperation>></tt> stereotype.
*/
public void test_aliasedOperation_bug184753() {
OCLExpression<Classifier> expr = parseConstraint(
"package UML context Namespace " +
"inv: self.importedMember()->isEmpty()" +
" endpackage");
try {
assertNotSame(getInvalid(), evaluate(expr, getUMLMetamodel()));
} catch (RuntimeException e) {
fail("Failed to evaluate: " + e.getLocalizedMessage());
}
}
/**
* Test accessing attributes that are aliased by the
* <tt><<eAttribute>></tt> stereotype.
*/
public void test_aliasedAttribute_bug184753() {
OCLExpression<Classifier> expr = parseConstraint(
"package ocltest context Aliased " +
"inv: self.isAliased" +
" endpackage");
Map<String, String> options = new java.util.HashMap<String, String>();
options.put(UMLUtil.UML2EcoreConverter.OPTION__ECORE_TAGGED_VALUES,
UMLUtil.OPTION__PROCESS);
EPackage epkg = UMLUtil.convertToEcore(fruitPackage, options).iterator().next();
try {
resourceSet.getPackageRegistry().put(epkg.getNsURI(), epkg);
// create an instance. Note that the class name is aliased, too
EObject instance = epkg.getEFactoryInstance().create(
(EClass) epkg.getEClassifier("HasAliases"));
// the attribute alias
instance.eSet(instance.eClass().getEStructuralFeature("aliased"),
Boolean.TRUE);
assertEquals(Boolean.TRUE, evaluate(expr, instance));
} catch (RuntimeException e) {
fail("Failed to evaluate: " + e.getLocalizedMessage());
} finally {
resourceSet.getPackageRegistry().remove(epkg.getNsURI());
}
}
/**
* Test accessing private attributes in general classifiers.
*/
public void test_privateAttributeInheritance_214224() {
expectModified = true;
fruit_color.setVisibility(VisibilityKind.PRIVATE_LITERAL);
EPackage epkg = UMLUtil.convertToEcore(fruitPackage, null).iterator().next();
try {
resourceSet.getPackageRegistry().put(epkg.getNsURI(), epkg);
OCLExpression<Classifier> expr = parseConstraint(
"package ocltest context Apple " +
"inv: self.color <> Color::brown" +
" endpackage");
// create an instance
EObject instance = epkg.getEFactoryInstance().create(
(EClass) epkg.getEClassifier("Apple"));
assertEquals(Boolean.TRUE, evaluate(expr, instance));
} catch (Exception e) {
fail("Failed to parse or evaluate: " + e.getLocalizedMessage());
}
}
/**
* Test accessing private operations in general classifiers.
*/
public void test_privateOperationInheritance_214224() {
expectModified = true;
fruit_preferredColor.setVisibility(VisibilityKind.PRIVATE_LITERAL);
EPackage epkg = UMLUtil.convertToEcore(fruitPackage, null).iterator().next();
try {
resourceSet.getPackageRegistry().put(epkg.getNsURI(), epkg);
OCLExpression<Classifier> expr = parseConstraint(
"package ocltest context Apple " +
"inv: self.preferredColor() <> Color::brown" +
" endpackage");
// provide a body for the private operation
parseConstraint(
"package ocltest context Fruit::preferredColor() : Color " +
"body: Color::red" +
" endpackage");
// create an instance
EObject instance = epkg.getEFactoryInstance().create(
(EClass) epkg.getEClassifier("Apple"));
assertEquals(Boolean.TRUE, evaluate(expr, instance));
} catch (Exception e) {
fail("Failed to parse or evaluate: " + e.getLocalizedMessage());
}
}
/**
* Test accessing private signal receptions in general classifiers.
*/
public void test_privateReceptionInheritance_214224() {
expectModified = true;
fruit.getOwnedReceptions().get(0).setVisibility(VisibilityKind.PRIVATE_LITERAL);
try {
parseConstraint(
"package ocltest context Apple " +
"inv: not self^Drop(?, ?)" +
" endpackage");
} catch (Exception e) {
fail("Failed to parse: " + e.getLocalizedMessage());
}
}
/**
* Test that getAppliedStereotypes is available and gives plausible results.
*/
public void test_appliedStereotypes_381237() {
Classifier metaclass = getMetaclass("Class");
helper.setContext(metaclass);
assertQueryTrue(metaclass, "self.getAppliedStereotypes()->size() = 1");
assertQueryTrue(metaclass, "self.getAppliedStereotype('StandardProfile::Metaclass') <> null");
assertQueryTrue(metaclass, "self.getAppliedStereotype('MetaClass') = null");
}
//
// Fixture methods
//
@Override
protected void setUp() {
super.setUp();
instanceResource = resourceSet.createResource(URI
.createFileURI("/tmp/instances.uml"));
instancePackage = umlf.createPackage();
instancePackage.setName("instances");
instanceResource.getContents().add(instancePackage);
}
}