| /******************************************************************************* |
| * Copyright (c) 2010, 2021 Willink Transformations and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v2.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v20.html |
| * |
| * Contributors: |
| * E.D.Willink - initial API and implementation |
| *******************************************************************************/ |
| package org.eclipse.ocl.examples.test.xtext; |
| |
| import java.io.IOException; |
| import java.io.InputStream; |
| import java.io.OutputStream; |
| import java.io.StringWriter; |
| import java.lang.ref.WeakReference; |
| import java.util.HashMap; |
| import java.util.HashSet; |
| import java.util.Map; |
| import java.util.Set; |
| |
| import org.eclipse.emf.common.util.TreeIterator; |
| import org.eclipse.emf.common.util.URI; |
| import org.eclipse.emf.ecore.EAnnotation; |
| import org.eclipse.emf.ecore.EModelElement; |
| import org.eclipse.emf.ecore.EObject; |
| import org.eclipse.emf.ecore.EPackage; |
| import org.eclipse.emf.ecore.resource.Resource; |
| import org.eclipse.emf.ecore.resource.URIConverter; |
| import org.eclipse.jdt.annotation.NonNull; |
| import org.eclipse.ocl.common.internal.options.CommonOptions; |
| import org.eclipse.ocl.examples.xtext.tests.TestCaseAppender; |
| import org.eclipse.ocl.examples.xtext.tests.TestUtil; |
| import org.eclipse.ocl.examples.xtext.tests.XtextTestCase; |
| import org.eclipse.ocl.pivot.SequenceType; |
| import org.eclipse.ocl.pivot.Type; |
| import org.eclipse.ocl.pivot.internal.complete.CompleteClassInternal; |
| import org.eclipse.ocl.pivot.internal.complete.CompleteModelInternal; |
| import org.eclipse.ocl.pivot.internal.context.ModelContext; |
| import org.eclipse.ocl.pivot.internal.ecore.es2as.Ecore2AS; |
| import org.eclipse.ocl.pivot.internal.manager.MetamodelManagerInternal; |
| import org.eclipse.ocl.pivot.internal.messages.PivotMessagesInternal; |
| import org.eclipse.ocl.pivot.internal.utilities.EnvironmentFactoryInternal; |
| import org.eclipse.ocl.pivot.internal.utilities.OCLInternal; |
| import org.eclipse.ocl.pivot.internal.utilities.PivotConstantsInternal; |
| import org.eclipse.ocl.pivot.internal.values.CollectionTypeParametersImpl; |
| import org.eclipse.ocl.pivot.library.LibraryConstants; |
| import org.eclipse.ocl.pivot.resource.ASResource; |
| import org.eclipse.ocl.pivot.resource.CSResource; |
| import org.eclipse.ocl.pivot.uml.UMLStandaloneSetup; |
| import org.eclipse.ocl.pivot.utilities.ClassUtil; |
| import org.eclipse.ocl.pivot.utilities.EnvironmentFactory; |
| import org.eclipse.ocl.pivot.utilities.NameUtil; |
| import org.eclipse.ocl.pivot.utilities.OCL; |
| import org.eclipse.ocl.pivot.utilities.PivotConstants; |
| import org.eclipse.ocl.pivot.utilities.StringUtil; |
| import org.eclipse.ocl.pivot.utilities.ThreadLocalExecutor; |
| import org.eclipse.ocl.pivot.utilities.XMIUtil; |
| import org.eclipse.ocl.pivot.values.CollectionTypeParameters; |
| import org.eclipse.ocl.xtext.base.utilities.BaseCSResource; |
| import org.eclipse.ocl.xtext.base.utilities.ElementUtil; |
| import org.eclipse.ocl.xtext.basecs.ElementCS; |
| import org.eclipse.ocl.xtext.essentialocl.utilities.EssentialOCLCSResource; |
| import org.eclipse.ocl.xtext.oclinecorecs.OCLinEcoreCSPackage; |
| import org.eclipse.xtext.resource.impl.ListBasedDiagnosticConsumer; |
| import org.junit.Before; |
| |
| /** |
| * Tests that load a model and verify that there are no unresolved proxies as a result. |
| */ |
| public class EditTests extends XtextTestCase |
| { |
| public class DebugRef |
| { |
| public final Object object; |
| |
| DebugRef(Object object) { |
| this.object = object; |
| } |
| } |
| |
| @Override |
| @Before public void setUp() throws Exception { |
| TestUtil.doCompleteOCLSetup(); |
| TestUtil.doOCLstdlibSetup(); |
| super.setUp(); |
| } |
| |
| private void assertHasComments(@NonNull Resource aResource, @NonNull String @NonNull [] comments) { |
| Map<String, Integer> expected = new HashMap<String, Integer>(); |
| for (String comment : comments) { |
| Integer count = expected.get(comment); |
| count = (count != null) ? (count + 1) : 1; |
| expected.put(comment, count); |
| } |
| for (TreeIterator<EObject> tit = aResource.getAllContents(); tit.hasNext(); ) { |
| EObject eObject = tit.next(); |
| if (eObject instanceof EModelElement) { |
| EAnnotation eAnnotation = ((EModelElement)eObject).getEAnnotation(PivotConstantsInternal.DOCUMENTATION_ANNOTATION_SOURCE); |
| if (eAnnotation != null) { |
| String comment = eAnnotation.getDetails().get(PivotConstantsInternal.DOCUMENTATION_ANNOTATION_KEY); |
| Integer count = expected.get(comment); |
| assertTrue("Expected comment '" + comment + "' exists", (count != null) && (count > 0)); |
| expected.put(comment, (count != null ? count : 0) -1); |
| } |
| } |
| } |
| for (String comment : comments) { |
| Integer occurences = expected.get(comment); |
| assert occurences != null; |
| assertEquals("Expected comment '" + comment + "' extra occurences", 0, occurences.intValue()); |
| } |
| } |
| |
| public boolean debugStateRef(WeakReference<Type> sequenceMyType) { |
| DebugRef debugRef = new DebugRef(sequenceMyType.get()); |
| return debugRef.object == null; |
| } |
| |
| protected @NonNull Resource doRename(@NonNull EnvironmentFactory environmentFactory, @NonNull CSResource xtextResource, @NonNull Resource asResource, @NonNull String oldString, @NonNull String newString, |
| @NonNull String @NonNull[] asErrors, @NonNull String @NonNull[] ecoreErrors) throws IOException { |
| String contextMessage = "Renaming '" + oldString + "' to '" + newString + "'"; |
| // System.out.println("-----------------" + contextMessage + "----------------"); |
| replace(xtextResource, oldString, newString); |
| assertResourceErrors(contextMessage, xtextResource, asErrors); |
| assertNoResourceErrors(contextMessage, asResource); |
| boolean validSave = asErrors.length == 0; |
| if (validSave) { |
| assertNoValidationErrors(contextMessage, asResource); |
| } |
| Resource ecoreResource = as2ecore(environmentFactory, asResource, getTestFileURI("test.ecore"), ecoreErrors); |
| assertNoResourceErrors(contextMessage, ecoreResource); |
| return ecoreResource; |
| } |
| |
| protected @NonNull Resource getEcoreFromCS(@NonNull OCL ocl, @NonNull String testDocument, @NonNull URI ecoreURI) throws IOException { |
| @NonNull URI xtextURI = URI.createURI("test.oclinecore"); |
| CSResource xtextResource = ocl.getCSResource(xtextURI, testDocument); |
| assertNoResourceErrors("Loading Xtext", xtextResource); |
| Resource asResource = cs2as(xtextResource, null); |
| Resource ecoreResource = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI, NO_MESSAGES); |
| return ecoreResource; |
| } |
| |
| protected void replace(@NonNull CSResource xtextResource, String oldString, String newString) { |
| String xtextContent = ElementUtil.getRawText((ElementCS) xtextResource.getContents().get(0)); |
| int index = xtextContent.indexOf(oldString); |
| assert index >= 0; |
| xtextResource.update(index, oldString.length(), newString); |
| } |
| |
| public void testEdit_Paste_NsURI() throws Exception { |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| String testDocument = |
| "package example : ex = 'http://www.example.org/examples/example.ecore'\n" + |
| "{\n" + |
| " class Example\n" + |
| " {\n" + |
| " attribute name : String[?];\n" + |
| " property children : Example[*] { ordered composes };\n" + |
| " }\n" + |
| "}\n"; |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument); |
| asResource = cs2as(xtextResource, null); |
| @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| } |
| // |
| // Change NsURI. |
| // |
| { |
| replace(xtextResource, "http://www.example.org/examples/example.ecore", "http://www.example.org/examples/example1.ecore"); |
| assertNoResourceErrors("Pasting operation", xtextResource); |
| assertNoValidationErrors("Pasting operation", xtextResource); |
| assertNoResourceErrors("Pasting operation", asResource); |
| assertNoValidationErrors("Pasting operation", asResource); |
| URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| } |
| // |
| // Revert NsURI. |
| // |
| { |
| replace(xtextResource, "http://www.example.org/examples/example1.ecore", "http://www.example.org/examples/example.ecore"); |
| assertNoResourceErrors("Unpasting operation", xtextResource); |
| assertNoValidationErrors("Unpasting operation", xtextResource); |
| assertNoResourceErrors("Unpasting operation", asResource); |
| assertNoValidationErrors("Unpasting operation", asResource); |
| URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| } |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Paste_OCLinEcore() throws Exception { |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| String oldDocument = |
| "package example : ex = 'http://www.example.org/examples/example.ecore'\n" + |
| "{\n" + |
| " class Example\n" + |
| " {\n" + |
| " attribute name : String[?];\n" + |
| " property children : Example[*] { ordered composes };\n" + |
| " }\n" + |
| "}\n"; |
| String newDocument = |
| "import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';\n" + |
| "\n" + |
| "package tutorial : tut = 'http://www.eclipse.org/mdt/ocl/oclinecore/tutorial'\n" + |
| "{\n" + |
| " class Library\n" + |
| " {\n" + |
| " attribute name : String;\n" + |
| " property loans : Loan[*] { composes };\n" + |
| " }\n" + |
| " \n" + |
| " class Loan\n" + |
| " {\n" + |
| " }\n" + |
| "}\n"; |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, oldDocument); |
| asResource = cs2as(xtextResource, null); |
| @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| } |
| // |
| // Change NsURI. |
| // |
| { |
| replace(xtextResource, oldDocument.trim(), newDocument.trim()); |
| assertNoResourceErrors("Pasting operation", xtextResource); |
| assertNoValidationErrors("Pasting operation", xtextResource); |
| assertNoResourceErrors("Pasting operation", asResource); |
| assertNoValidationErrors("Pasting operation", asResource); |
| URI ecoreURI2 = getTestFileURI("models2/test2.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| } |
| // |
| // Revert NsURI. |
| // |
| { |
| replace(xtextResource, newDocument.trim(), oldDocument.trim()); |
| assertNoResourceErrors("Unpasting operation", xtextResource); |
| assertNoValidationErrors("Unpasting operation", xtextResource); |
| assertNoResourceErrors("Unpasting operation", asResource); |
| assertNoValidationErrors("Unpasting operation", asResource); |
| URI ecoreURI3 = getTestFileURI("models2/test3.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| } |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Paste_OCLstdlib_541380() throws Exception { |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| String testDocument = |
| "library lib : lib = 'http://Bug541380.oclstdlib'\n" |
| + "{\n" |
| + " type Bag(T) : BagType conformsTo Collection(T) {}\n" |
| + " type Boolean : BooleanType conformsTo OclAny => 'java.lang.Boolean' {}\n" |
| + " type Class conformsTo OclAny {} \n" |
| + " type Collection(T) : CollectionType conformsTo OclAny {}\n" |
| + " type Integer : PrimitiveType conformsTo Real => 'org.eclipse.ocl.pivot.values.IntegerValue' {}\n" |
| + " type Map(K,V) : MapType conformsTo OclAny {}\n" |
| + " type Metaclass(T) : Metaclass conformsTo OclAny {}\n" |
| + " type OclAny : AnyType {\n" |
| // + " operation \"=\"(object2 : OclAny) : Boolean;\n" |
| + " }\n" |
| + " type OclComparable conformsTo OclAny {\n" |
| + " operation compareTo(that : OclSelf) : Integer[1] => 'org.eclipse.ocl.pivot.library.oclany.OclComparableCompareToOperation'; \n" |
| + " }\n" |
| + " type OclElement conformsTo OclAny {} \n" |
| + " abstract type OclEnumeration conformsTo OclType {}\n" |
| + " type OclInvalid : InvalidType conformsTo OclVoid {}\n" |
| + " type OclLambda conformsTo OclAny {} \n" |
| + " type OclSelf : SelfType conformsTo OclAny {}\n" |
| + " type OclTuple conformsTo OclAny {} \n" |
| + " abstract type OclType conformsTo OclElement {}\n" |
| + " type OclVoid : VoidType conformsTo OclAny {}\n" |
| + " type OrderedCollection(T) : CollectionType conformsTo Collection(T) {}\n" |
| + " type OrderedSet(T) : OrderedSetType conformsTo Collection(T) {}\n" |
| + " type Real : PrimitiveType conformsTo OclAny => 'org.eclipse.ocl.pivot.values.RealValue' {}\n" |
| + " type Sequence(T) : SequenceType conformsTo Collection(T) {}\n" |
| + " type Set(T) : SetType conformsTo Collection(T) {}\n" |
| + " type String : PrimitiveType conformsTo OclAny => 'java.lang.String' {}\n" |
| + " type UniqueCollection(T) : CollectionType conformsTo Collection(T) {}\n" |
| + " type UnlimitedNatural : PrimitiveType conformsTo Integer => 'org.eclipse.ocl.pivot.values.UnlimitedNaturalValue' {}\n" |
| + "}\n"; |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI outputURI = getTestFileURI("Bug541380.oclstdlib"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument); |
| asResource = cs2as(xtextResource, null); |
| // @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(ocl, asResource, ecoreURI1, NO_MESSAGES); |
| assertNoResourceErrors("Loading operation", xtextResource); |
| assertNoValidationErrors("Loading operation", xtextResource); |
| assertNoResourceErrors("Loading operation", asResource); |
| assertNoValidationErrors("Loading operation", asResource); |
| URI ecoreURI1 = getTestFileURI("Bug541380.oclstdlib1.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| } |
| // |
| // Change metatype. |
| // |
| String newDocument = testDocument.replace("type Boolean : PrimitiveType conformsTo", "type BooleanType conformsTo"); |
| { |
| TestCaseAppender.INSTANCE.uninstall(); |
| replace(xtextResource, "type Boolean : BooleanType conformsTo", "type Boolean conformsTo"); |
| // assertNoResourceErrors("Pasting operation", xtextResource); |
| // assertNoValidationErrors("Pasting operation", xtextResource); |
| // assertNoResourceErrors("Pasting operation", asResource); |
| // assertNoValidationErrors("Pasting operation", asResource); |
| URI ecoreURI2 = getTestFileURI("Bug541380.oclstdlib2.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| TestCaseAppender.INSTANCE.install(); |
| } |
| // |
| // Revert metatype. |
| // |
| { |
| replace(xtextResource, "type Boolean conformsTo", "type Boolean : BooleanType conformsTo"); |
| assertNoResourceErrors("Unpasting operation", xtextResource); |
| assertNoValidationErrors("Unpasting operation", xtextResource); |
| assertNoResourceErrors("Unpasting operation", asResource); |
| assertNoValidationErrors("Unpasting operation", asResource); |
| URI ecoreURI3 = getTestFileURI("Bug541380.oclstdlib3.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| } |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Paste_operation_394057() throws Exception { |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| // OCLDelegateDomain.initialize(null); |
| // OCLDelegateDomain.initialize(null, OCLConstants.OCL_DELEGATE_URI); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| String testDocument = |
| "package tutorial : tuttut = 'http://www.eclipse.org/mdt/ocl/oclinecore/tutorial'\n" + |
| "{\n" + |
| " class Library\n" + |
| " {\n" + |
| " property books#library : Book[*] { composes };\n" + |
| " /*$$*/\n" + |
| " }\n" + |
| " class Book\n" + |
| " {\n" + |
| " attribute name : String;\n" + |
| " property library#books : Library[?];\n" + |
| " }\n" + |
| "}\n"; |
| String pasteText = |
| "operation packageLabels(packages : Book[*] { !unique, ordered }) : String\n" + |
| "{\n" + |
| " body: packages?->sortedBy(name)?->iterate(p; acc : String = '' | acc + ' ' + p.name);\n" + // FIXME should not need second ?-> |
| "}"; |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument); |
| asResource = cs2as(xtextResource, null); |
| @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| } |
| // |
| // Change "/*$$*/" to "pasteText". |
| // |
| { |
| replace(xtextResource, "/*$$*/", pasteText); |
| assertNoResourceErrors("Pasting operation", xtextResource); |
| assertNoValidationErrors("Pasting operation", xtextResource); |
| assertNoResourceErrors("Pasting operation", asResource); |
| assertNoValidationErrors("Pasting operation", asResource); |
| URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| } |
| // |
| // Change "pasteText" back to "/*$$*/". |
| // |
| { |
| replace(xtextResource, pasteText, "/*$$*/"); |
| assertNoResourceErrors("Unpasting operation", xtextResource); |
| assertNoValidationErrors("Unpasting operation", xtextResource); |
| assertNoResourceErrors("Unpasting operation", asResource); |
| assertNoValidationErrors("Unpasting operation", asResource); |
| URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| @SuppressWarnings("unused") Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| } |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Paste_473249() throws Exception { |
| // BaseLinkingService.DEBUG_RETRY.setState(true); |
| UMLStandaloneSetup.init(); |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| // OCLDelegateDomain.initialize(null); |
| // OCLDelegateDomain.initialize(null, OCLConstants.OCL_DELEGATE_URI); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| String testDocument = |
| "import ecore : 'http://www.eclipse.org/emf/2002/Ecore' ;\n" + |
| "import uml : 'http://www.eclipse.org/uml2/5.0.0/UML' ;\n" + |
| "\n" + |
| "package UML2EcoreMapping : u2e = 'http://www.eclipse.org/ocl/2012/UML2EcoreMapping'\n" + |
| "{\n" + |
| " class CreateOperation extends OperationMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(newName) + ' <= ' + 'operationLabels(oldOperations)';\n" + |
| " }\n" + |
| " attribute newName : String[1];\n" + |
| " }\n" + |
| " class CreatePackage extends PackageMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(newName) + ' <= ' + packageLabels(oldPackages);\n" + |
| " }\n" + |
| " attribute newName : String[1];\n" + |
| " attribute nsPrefix : String[1];\n" + |
| " attribute nsURI : String[1];\n" + |
| " attribute isASmetamodel : Boolean[1] = 'false';\n" + |
| " attribute ecoreFileStem : String[?];\n" + |
| " property typeMappings : TypeMapping[*] { ordered composes };\n" + |
| " }\n" + |
| " class CreateProperty extends PropertyMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(newName) + ' <= ' + propertyLabels(oldProperties);\n" + |
| " }\n" + |
| " attribute newName : String[1];\n" + |
| " attribute newIsDerived : ecore::EBooleanObject[?];\n" + |
| " attribute newIsNullFree : ecore::EBooleanObject[?];\n" + |
| " attribute newIsResolveProxies : ecore::EBooleanObject[?];\n" + |
| " attribute newIsTransient : ecore::EBooleanObject[?];\n" + |
| " attribute newIsUnsettable : ecore::EBooleanObject[?];\n" + |
| " attribute newIsVolatile : ecore::EBooleanObject[?];\n" + |
| " attribute newLowerBound : ecore::EIntegerObject[?];\n" + |
| " property opposite : uml::Property[?];\n" + |
| " }\n" + |
| " class CreateType extends TypeMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(newName) + ' <= ' + typeLabels(oldTypes);\n" + |
| " }\n" + |
| " attribute newName : String[1];\n" + |
| " attribute newInstanceTypeName : String[?];\n" + |
| " attribute newIsSerializable : ecore::EBooleanObject[?];\n" + |
| " property orderedSuperTypes : uml::Type[*] { ordered };\n" + |
| " property excludeProperties : uml::Property[*] { ordered };\n" + |
| " property includeProperties : uml::Property[*] { ordered };\n" + |
| " property excludeTypes : uml::Type[*] { ordered };\n" + |
| " property operationMappings : OperationMapping[*] { ordered composes };\n" + |
| " property propertyMappings : PropertyMapping[*] { ordered composes };\n" + |
| " invariant UniqueCreatePropertyNames: propertyMappings->selectByKind(CreateProperty)->isUnique(newName);\n" + |
| " }\n" + |
| " class DeleteOperation extends OperationMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(oldName) + ' <= ' + operationLabels(oldOperations);\n" + |
| " }\n" + |
| " attribute oldName : String[1];\n" + |
| " }\n" + |
| " class DeletePackage extends PackageMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: oldName;\n" + |
| " }\n" + |
| " attribute oldName : String[1];\n" + |
| " property deleteTypes : DeleteType[*] { ordered composes };\n" + |
| " }\n" + |
| " class DeleteProperty extends PropertyMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(oldName) + ' <= ' + propertyLabels(oldProperties);\n" + |
| " }\n" + |
| " attribute oldName : String[1];\n" + |
| " }\n" + |
| " class DeleteType extends TypeMapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: nameLabel(oldName) + ' <= ' + typeLabels(oldTypes);\n" + |
| " }\n" + |
| " attribute oldName : String[1];\n" + |
| " property operationMappings : OperationMapping[*] { ordered composes };\n" + |
| " property propertyMappings : PropertyMapping[*] { ordered composes };\n" + |
| " }\n" + |
| " abstract class Mapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: 'default-label';\n" + |
| " }\n" + |
| " operation nameLabel(name : String[?]) : String[1]\n" + |
| " {\n" + |
| " body: if name = null then 'null' else name endif;\n" + |
| " }\n" + |
| " operation operationLabels(operations : uml::Operation[*] { ordered }) : String[1]\n" + |
| " {\n" + |
| " body: operations->sortedBy(nameLabel(name))->iterate(p; acc : String = '' | let type : uml::Type = if p.class <> null then p.class else p.interface endif in acc + ' ' + nameLabel(p.class.package.name) + '::' + nameLabel(p.class.name) + '::' + nameLabel(p.name));\n" + |
| " }\n" + |
| " operation packageLabel(p : uml::Package[?]) : String[1]\n" + |
| " {\n" + |
| " body: if p <> null then nameLabel(p.name) else 'null' endif;\n" + |
| " }\n" + |
| " operation packageLabels(packages : uml::Package[*] { ordered }) : String[1]\n" + |
| " {\n" + |
| " body: packages->sortedBy(nameLabel(name))->iterate(p; acc : String = '' | acc + ' ' + packageLabel(p));\n" + |
| " }\n" + |
| " operation propertyLabel(p : uml::Property[?]) : String[1]\n" + |
| " {\n" + |
| " body: if p <> null then let t = if p.class <> null then p.class else p.association endif in typeLabel(t) + '::' + nameLabel(p.name) else 'null' endif;\n" + |
| " }\n" + |
| " operation propertyLabels(properties : uml::Property[*] { ordered }) : String[1]\n" + |
| " {\n" + |
| " body: properties->sortedBy(nameLabel(name))->iterate(p; acc : String = '' | acc + ' ' + propertyLabel(p));\n" + |
| " }\n" + |
| " operation typeLabel(t : uml::Type[?]) : String[1]\n" + |
| " {\n" + |
| " body: if t <> null then packageLabel(t.package) + '::' + nameLabel(t.name) else 'null' endif;\n" + |
| " }\n" + |
| " operation typeLabels(types : uml::Type[*] { ordered }) : String[1]\n" + |
| " {\n" + |
| " body: types->sortedBy(nameLabel(name))->iterate(t; acc : String = '' | acc + ' ' + typeLabel(t));\n" + |
| " }\n" + |
| " attribute label : String[1] { transient }\n" + |
| " {\n" + |
| " initial: label();\n" + |
| " }\n" + |
| " }\n" + |
| " class Mappings\n" + |
| " {\n" + |
| " property mappings : Mapping[*] { ordered composes };\n" + |
| " }\n" + |
| " abstract class PackageMapping extends Mapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: packageLabels(oldPackages);\n" + |
| " }\n" + |
| " property oldPackages : uml::Package[*] { ordered };\n" + |
| " }\n" + |
| " abstract class OperationMapping extends Mapping\n" + |
| " {\n" + |
| " property oldOperations : uml::Operation[*] { ordered };\n" + |
| " }\n" + |
| " abstract class PropertyMapping extends Mapping\n" + |
| " {\n" + |
| " property oldProperties : uml::Property[*] { ordered };\n" + |
| " }\n" + |
| " abstract class TypeMapping extends Mapping\n" + |
| " {\n" + |
| " operation label() : String[1]\n" + |
| " {\n" + |
| " body: typeLabels(oldTypes);\n" + |
| " }\n" + |
| " property oldTypes : uml::Type[*] { ordered };\n" + |
| " }\n" + |
| "}"; |
| CSResource xtextResource; |
| // System.out.println("------Load--------------------------------"); |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("Bug473249a.ecore"); |
| URI outputURI = getTestFileURI("Bug473249.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument); |
| // System.out.println("------cs2as--------------------------------"); |
| asResource = cs2as(xtextResource, null); |
| // System.out.println("------as2ecore--------------------------------"); |
| @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| } |
| // |
| // Change "/*$$*/" to "pasteText". |
| // |
| { |
| // System.out.println("------replace--------------------------------"); |
| replace(xtextResource, "'operationLabels(oldOperations)'", "operationLabels(oldOperations)"); |
| assertNoResourceErrors("Pasting operation", xtextResource); |
| // System.out.println("------validate--------------------------------"); |
| assertNoValidationErrors("Pasting operation", xtextResource); |
| assertNoResourceErrors("Pasting operation", asResource); |
| assertNoValidationErrors("Pasting operation", asResource); |
| URI ecoreURI2 = getTestFileURI("Bug473249b.ecore"); |
| // System.out.println("------as2ecore--------------------------------"); |
| @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| } |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Reclass_ecore_383285() throws Exception { |
| String testDocument_class = |
| "package p1 : p2 = 'p3' {\n" + |
| " class C : 'java.lang.Object';\n" + |
| "}\n"; |
| String testDocument_datatype = |
| "package p1 : p2 = 'p3' {\n" + |
| " datatype C : 'java.lang.Object';\n" + |
| "}\n"; |
| URI ecoreURI_class = getTestFileURI("test-class.ecore"); |
| URI ecoreURI_datatype = getTestFileURI("test-datatype.ecore"); |
| OCL ocl_class = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource_class = getEcoreFromCS(ocl_class, testDocument_class, ecoreURI_class); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| OCL ocl_datatype = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource_datatype = getEcoreFromCS(ocl_datatype, testDocument_datatype, ecoreURI_datatype); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument_class); |
| asResource = cs2as(xtextResource, null); |
| Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource_class, ecoreResource1); |
| } |
| // |
| // Change "class" to "datatype" and see EClass change to EDataType. |
| // |
| { |
| replace(xtextResource, "class", "datatype"); |
| assertNoResourceErrors("Reclassing to datatype", xtextResource); |
| URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| TestUtil.assertSameModel(ecoreResource_datatype, ecoreResource2); |
| } |
| // |
| // Change "datatype" back to "class" and see EDataType change back to EClass. |
| // |
| { |
| replace(xtextResource, "datatype", "class"); |
| assertNoResourceErrors("Reclassing to class", xtextResource); |
| URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource_class, ecoreResource3); |
| } |
| ocl_class.dispose(); |
| ocl_datatype.dispose(); |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Comments() throws Exception { |
| String testDocument_uncommented = |
| "package p1 : p2 = 'p3' {\n" + |
| " class C : 'java.lang.Object';\n" + |
| "}\n"; |
| String testDocument_commented = |
| "package p1 : p2 = 'p3' {\n" + |
| " /* a comment */\n" + |
| " class C : 'java.lang.Object';\n" + |
| "}\n"; |
| String testDocument_recommented = |
| "package p1 : p2 = 'p3' {\n" + |
| " /*\n" + |
| " * yet \n" + |
| " * another \n" + |
| " * comment\n" + |
| " */\n" + |
| " class C : 'java.lang.Object';\n" + |
| "}\n"; |
| URI ecoreURI_uncommented = getTestFileURI("test-uncommented.ecore"); |
| URI ecoreURI_commented = getTestFileURI("test-commented.ecore"); |
| URI ecoreURI_recommented = getTestFileURI("test-recommented.ecore"); |
| OCL ocl_uncommented = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource_uncommented = getEcoreFromCS(ocl_uncommented, testDocument_uncommented, ecoreURI_uncommented); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| OCL ocl_commented = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource_commented = getEcoreFromCS(ocl_commented, testDocument_commented, ecoreURI_commented); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| OCL ocl_recommented = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource_recommented = getEcoreFromCS(ocl_recommented, testDocument_recommented, ecoreURI_recommented); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| assertHasComments(ecoreResource_uncommented, new @NonNull String @NonNull []{}); |
| assertHasComments(ecoreResource_commented, new @NonNull String @NonNull []{"a comment"}); |
| assertHasComments(ecoreResource_recommented, new @NonNull String @NonNull []{"yet\nanother\ncomment"}); |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument_uncommented); |
| asResource = cs2as(xtextResource, null); |
| Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource_uncommented, ecoreResource1); |
| } |
| // |
| // Change "class" to "/* a comment */class". |
| // |
| { |
| replace(xtextResource, "class", "/* a comment */class"); |
| assertNoResourceErrors("Adding comment", xtextResource); |
| URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, SUPPRESS_VALIDATION); |
| TestUtil.assertSameModel(ecoreResource_commented, ecoreResource2); |
| } |
| // |
| // Change "/* a comment */" to "/* yet\n* another\n * comment */". |
| // |
| { |
| replace(xtextResource, "/* a comment */", "/* yet\n* another\n * comment */"); |
| assertNoResourceErrors("Changing comment", xtextResource); |
| URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource_recommented, ecoreResource3); |
| } |
| // |
| // Change "/* yet\n* another\n * comment */" back to nothing. |
| // |
| { |
| replace(xtextResource, "/* yet\n* another\n * comment */", ""); |
| assertNoResourceErrors("Removing comment", xtextResource); |
| URI ecoreURI4 = getTestFileURI("test4.ecore"); |
| Resource ecoreResource4 = as2ecore(environmentFactory, asResource, ecoreURI4, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource_uncommented, ecoreResource4); |
| } |
| ocl_uncommented.dispose(); |
| ocl_commented.dispose(); |
| ocl_recommented.dispose(); |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Refresh_ecore_382230() throws Exception { |
| // OCLDelegateDomain.initialize(null); |
| // OCLDelegateDomain.initialize(null, OCLConstants.OCL_DELEGATE_URI); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| OCL ocl0 = OCL.newInstance(getProjectMap()); |
| String testDocument = |
| "package tutorial : tuttut = 'http://www.eclipse.org/mdt/ocl/oclinecore/tutorial'\n" + |
| "{\n" + |
| " class Library\n" + |
| " {\n" + |
| " property books#library : Book[*] { composes };\n" + |
| " }\n" + |
| " class Book\n" + |
| " {\n" + |
| " property library#books : Library[?];\n" + |
| " property name : String;\n" + |
| " invariant NameNotEmpty: name->notEmpty();\n" + |
| " }\n" + |
| "}\n"; |
| URI ecoreURI = createEcoreFile(ocl0, "RefreshTest.ecore", testDocument, true); |
| ocl0.dispose(); |
| // |
| // Load and instrument test document |
| // |
| OCLInternal ocl1 = OCLInternal.newInstance(getProjectMap(), null); |
| Resource ecoreResource = ClassUtil.nonNullEMF(ocl1.getResourceSet().getResource(ecoreURI, true)); |
| assertNoResourceErrors("Ecore load", ecoreResource); |
| assertNoValidationErrors("Ecore load", ecoreResource); |
| ASResource asResource = ocl1.ecore2as(ecoreResource); |
| assertNoResourceErrors("Pivot load", asResource); |
| assertNoValidationErrors("Pivot load", asResource); |
| Set<EObject> loadPivotContent = new HashSet<EObject>(); |
| for (TreeIterator<EObject> tit = asResource.getAllContents(); tit.hasNext(); ) { |
| EObject eObject = tit.next(); |
| // System.out.println(ClassUtil.debugSimpleName(eObject)); |
| loadPivotContent.add(eObject); |
| } |
| { |
| BaseCSResource xtextResource1 = (BaseCSResource) ocl1.getResourceSet().createResource(ecoreURI.appendFileExtension("oclinecore"), OCLinEcoreCSPackage.eCONTENT_TYPE); |
| xtextResource1.setURI(ecoreURI); |
| ocl1.as2cs(asResource, xtextResource1); |
| assertNoResourceErrors("Xtext load", xtextResource1); |
| assertNoValidationErrors("Xtext load", xtextResource1); |
| ListBasedDiagnosticConsumer diagnosticsConsumer1 = new ListBasedDiagnosticConsumer(); |
| xtextResource1.update(diagnosticsConsumer1); |
| Set<EObject> parsePivotContent = new HashSet<EObject>(); |
| for (TreeIterator<EObject> tit = asResource.getAllContents(); tit.hasNext(); ) { |
| EObject eObject = tit.next(); |
| // System.out.println(ClassUtil.debugSimpleName(eObject)); |
| parsePivotContent.add(eObject); |
| } |
| assertEquals(loadPivotContent.size(), parsePivotContent.size()); |
| assertEquals(loadPivotContent, parsePivotContent); |
| } |
| |
| // |
| // Reload and re-instrument test document |
| // |
| StringWriter writer = new StringWriter(); |
| OutputStream outputStream = new URIConverter.WriteableOutputStream(writer, "UTF-8"); |
| ecoreResource.save(outputStream, XMIUtil.createSaveOptions()); |
| ecoreResource.unload(); |
| InputStream inputStream = new URIConverter.ReadableInputStream(writer.toString().replace("tuttut", "tut"), "UTF-8"); |
| ecoreResource.load(inputStream, null); |
| assertNoResourceErrors("Ecore reload", ecoreResource); |
| assertNoValidationErrors("Ecore reload", ecoreResource); |
| Ecore2AS ecore2as = Ecore2AS.getAdapter(ecoreResource, ocl1.getEnvironmentFactory()); |
| ecore2as.update(asResource, ClassUtil.nonNullEMF(ecoreResource.getContents())); |
| assertNoResourceErrors("Pivot reload", ecoreResource); |
| assertNoValidationErrors("Pivot reload", ecoreResource); |
| Set<EObject> newPivotContent = new HashSet<EObject>(); |
| for (TreeIterator<EObject> tit = asResource.getAllContents(); tit.hasNext(); ) { |
| EObject eObject = tit.next(); |
| // System.out.println(PivotUtil.debugSimpleName(eObject)); |
| newPivotContent.add(eObject); |
| } |
| assertEquals(loadPivotContent.size(), newPivotContent.size()); |
| assertEquals(loadPivotContent, newPivotContent); |
| { |
| BaseCSResource xtextResource2 = (BaseCSResource) ocl1.getResourceSet().createResource(ecoreURI.appendFileExtension("oclinecore"), OCLinEcoreCSPackage.eCONTENT_TYPE); |
| xtextResource2.setURI(ecoreURI); |
| ocl1.as2cs(asResource, xtextResource2); |
| assertNoResourceErrors("Xtext load", xtextResource2); |
| assertNoValidationErrors("Xtext load", xtextResource2); |
| ListBasedDiagnosticConsumer diagnosticsConsumer2 = new ListBasedDiagnosticConsumer(); |
| xtextResource2.update(diagnosticsConsumer2); |
| Set<EObject> reparsePivotContent = new HashSet<EObject>(); |
| for (TreeIterator<EObject> tit = asResource.getAllContents(); tit.hasNext(); ) { |
| EObject eObject = tit.next(); |
| // System.out.println(PivotUtil.debugSimpleName(eObject)); |
| reparsePivotContent.add(eObject); |
| } |
| assertEquals(loadPivotContent.size(), reparsePivotContent.size()); |
| assertEquals(loadPivotContent, reparsePivotContent); |
| } |
| } |
| |
| public void testEdit_Rename_ecore() throws Exception { |
| String testDocument = |
| "module m1 \n" + |
| "package p1 : p2 = 'p3' {\n" + |
| "}\n"; |
| URI ecoreURI0 = getTestFileURI("test0.ecore"); |
| OCL ocl1 = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource0 = getEcoreFromCS(ocl1, testDocument, ecoreURI0); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| EnvironmentFactory environmentFactory = ocl.getEnvironmentFactory(); |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument); |
| asResource = cs2as(xtextResource, null); |
| Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource0, ecoreResource1); |
| } |
| // |
| // Inserting a leading space has no Ecore effect. |
| // |
| { |
| xtextResource.update(0, 0, " "); |
| assertNoResourceErrors("Adding space", xtextResource); |
| URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| Resource ecoreResource2 = as2ecore(environmentFactory, asResource, ecoreURI2, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource0, ecoreResource2); |
| } |
| // |
| // Deleting the leading space has no Ecore effect. |
| // |
| { |
| xtextResource.update(0, 1, ""); |
| assertNoResourceErrors("Deleting space", xtextResource); |
| URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| Resource ecoreResource3 = as2ecore(environmentFactory, asResource, ecoreURI3, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource0, ecoreResource3); |
| } |
| // |
| // Changing "p1" to "pkg" renames the package. |
| // |
| { |
| replace(xtextResource, "p1", "pkg"); |
| assertNoResourceErrors("Renaming", xtextResource); |
| URI ecoreURI4 = getTestFileURI("test4.ecore"); |
| Resource ecoreResource4 = as2ecore(environmentFactory, asResource, ecoreURI4, NO_MESSAGES); |
| ((EPackage)ecoreResource0.getContents().get(0)).setName("pkg"); |
| TestUtil.assertSameModel(ecoreResource0, ecoreResource4); |
| } |
| ocl1.dispose(); |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Rename_Restore_ecore() throws Exception { |
| String testDocument = |
| "package TestPackage : tp = 'TestPackage'\n" + |
| "{\n" + |
| " class TestClass1 {\n" + |
| " property testProperty1 : Integer;\n" + |
| " operation testOperation(i : Integer) : Integer;\n" + |
| " invariant testInvariant: 1 = 0;\n" + |
| " }\n" + |
| " class TestClass2 {\n" + |
| " property testProperty2 : TestClass1[1];\n" + |
| " property testProperty3 : Integer[*];\n" + |
| " invariant testInvariant: testProperty2.testProperty1 = testProperty2.testOperation(123456);\n" + |
| " }\n" + |
| "}\n"; |
| URI ecoreURI0 = getTestFileURI("test0.ecore"); |
| OCL ocl1 = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource0 = getEcoreFromCS(ocl1, testDocument, ecoreURI0); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| OCLInternal ocl = OCLInternal.newInstance(getProjectMap(), null); |
| EnvironmentFactoryInternal environmentFactory = ocl.getEnvironmentFactory(); |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| CSResource xtextResource = ClassUtil.nonNullState(ocl.getCSResource(outputURI, testDocument)); |
| Resource asResource = cs2as(xtextResource, null); |
| { |
| Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource0, ecoreResource1); |
| } |
| Type pivotTestClass1 = ClassUtil.nonNullState(ocl.getMetamodelManager().getPrimaryType("TestPackage", "TestClass1")); |
| // |
| // Changing "TestClass1" to "Testing" renames a type and breaks the invariant. |
| // |
| doRename(environmentFactory, xtextResource, asResource, "TestClass1", "Testing", |
| // ClassUtil.bind(OCLMessages.Unresolved_ERROR_, "Type", pivotTestClass1.getName()), |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedType_ERROR_, "", pivotTestClass1.getName()), |
| StringUtil.bind(PivotMessagesInternal.UnresolvedProperty_ERROR_, "OclInvalid", "testProperty1"), |
| StringUtil.bind(PivotMessagesInternal.UnresolvedOperationCall_ERROR_, "OclInvalid", "testOperation", "123456")), |
| SUPPRESS_VALIDATION); |
| // |
| // Changing "Testing" back to "TestClass1" restores the type and the invariant. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "Testing", "TestClass1", NO_MESSAGES, NO_MESSAGES)); |
| pivotTestClass1 = ocl.getMetamodelManager().getPrimaryType("TestPackage", "TestClass1"); |
| // |
| // Changing "testProperty1" to "tProperty" renames the property and breaks the invariant. |
| // |
| doRename(environmentFactory, xtextResource, asResource, "testProperty1", "tProperty", |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedProperty_ERROR_, pivotTestClass1 + "", "testProperty1")), |
| SUPPRESS_VALIDATION); |
| // |
| // Changing "tProperty" back to "testProperty" restores the property and the invariant. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "tProperty", "testProperty1", NO_MESSAGES, NO_MESSAGES)); |
| // |
| // Changing "testOperation" to "tOperation" renames the operation and breaks the invariant. |
| // |
| doRename(environmentFactory, xtextResource, asResource, "testOperation", "tOperation", |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedOperationCall_ERROR_, pivotTestClass1 + "", "testOperation", "123456")), |
| SUPPRESS_VALIDATION); |
| // |
| // Changing "tOperation" back to "testOperation" restores the operation and the invariant. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "tOperation", "testOperation", NO_MESSAGES, NO_MESSAGES)); |
| // |
| // Changing "testOperation(i : Integer)" to "testOperation()" mismatches the operation signature and breaks the invariant. |
| // |
| doRename(environmentFactory, xtextResource, asResource, "testOperation(i : Integer)", "testOperation()", |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedOperationCall_ERROR_, pivotTestClass1 + "", "testOperation", "123456")), |
| SUPPRESS_VALIDATION); |
| // |
| // Changing "testOperation()" back to "testOperation(i : Integer)" restores the operation and the invariant. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "testOperation()", "testOperation(i : Integer)", NO_MESSAGES, NO_MESSAGES)); |
| // |
| // Changing "testOperation(i : Integer)" to "testOperation(s : String)" mismatches the operation signature and breaks the invariant. |
| // |
| doRename(environmentFactory, xtextResource, asResource, "testOperation(i : Integer)", "testOperation(s : String)", |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedOperationCall_ERROR_, pivotTestClass1 + "", "testOperation", "Integer")), |
| SUPPRESS_VALIDATION); |
| // |
| // Changing "testOperation()" back to "testOperation(i : Integer)" restores the operation and the invariant. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "testOperation(s : String)", "testOperation(i : Integer)", NO_MESSAGES, NO_MESSAGES)); |
| // |
| ocl1.dispose(); |
| ocl.dispose(); |
| } |
| |
| public void testEdit_StaleReference_ecore() throws Exception { |
| String targetRelease = System.getProperty("targetRelease"); |
| if (targetRelease != null) { |
| System.err.println(getTestName() + " skipped for " + targetRelease + " - parse failure"); |
| return; |
| } |
| String testDocument = |
| "package TestPackage : tp = 'TestPackage'\n" + |
| "{\n" + |
| " class TestClass1 {\n" + |
| " property testProperty1 : Integer;\n" + |
| " operation testOperation() : Integer;\n" + |
| " invariant testInvariant: 1 = 0;\n" + |
| " }\n" + |
| " class TestClass2 {\n" + |
| " property testProperty2 : TestClass1[*];\n" + |
| " invariant testInvariant: testProperty2?->select(testOperation() = testProperty1)->isEmpty();\n" + |
| " }\n" + |
| "}\n"; |
| URI ecoreURI0 = getTestFileURI("test0.ecore"); |
| // System.out.println("*************load-reference*********************************************************"); |
| OCL ocl1 = OCL.newInstance(getProjectMap()); |
| Resource ecoreResource0 = getEcoreFromCS(ocl1, testDocument, ecoreURI0); |
| ThreadLocalExecutor.resetEnvironmentFactory(); |
| URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.oclinecore"); |
| OCLInternal ocl = OCLInternal.newInstance(getProjectMap(), null); |
| EnvironmentFactoryInternal environmentFactory = ocl.getEnvironmentFactory(); |
| CSResource xtextResource = ocl.getCSResource(outputURI, testDocument); |
| Resource asResource = cs2as(xtextResource, null); |
| { |
| Resource ecoreResource1 = as2ecore(environmentFactory, asResource, ecoreURI1, NO_MESSAGES); |
| TestUtil.assertSameModel(ecoreResource0, ecoreResource1); |
| } |
| MetamodelManagerInternal metamodelManager = ocl.getMetamodelManager(); |
| Type pivotTestClass1 = ClassUtil.nonNullState(metamodelManager.getPrimaryType("TestPackage", "TestClass1")); |
| String testClassName2 = NameUtil.qualifiedNameFor(metamodelManager.getPrimaryType("TestPackage", "TestClass2")); |
| // |
| // Changing "TestClass1" to "Testing" renames a type and breaks the referredProperty/referredOperation. |
| // |
| String message2 = StringUtil.bind(PivotMessagesInternal.ValidationConstraintIsInvalid_ERROR_, PivotConstantsInternal.INVARIANT_ROLE, testClassName2, |
| "\"testProperty2?->select(testOperation() = testProperty1)->isEmpty()\"\n" + |
| " The 'CallExp::TypeIsNotInvalid' constraint is violated for '1_.oclBadOperation()'\n" + |
| " The 'VariableExp::TypeIsNotInvalid' constraint is violated for '1_'\n" + |
| " The 'VariableDeclaration::TypeIsNotInvalid' constraint is violated for '1_ : OclInvalid[1]'"); |
| doRename(environmentFactory, xtextResource, asResource, "TestClass1", "Testing", |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedType_ERROR_, "", pivotTestClass1.getName())), |
| getMessages(message2)); |
| // |
| // Changing "Testing" back to "TestClass1" restores the type and the referredProperty/referredOperation. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "Testing", "TestClass1", NO_MESSAGES, NO_MESSAGES)); |
| pivotTestClass1 = ClassUtil.nonNullState(metamodelManager.getPrimaryType("TestPackage", "TestClass1")); |
| // |
| // Changing "TestClass1" to "Testing" renames a type and breaks the referredProperty/referredOperation. |
| // |
| doRename(environmentFactory, xtextResource, asResource, "TestClass1", "Testing", |
| getMessages(StringUtil.bind(PivotMessagesInternal.UnresolvedType_ERROR_, "", pivotTestClass1.getName())), |
| getMessages(message2)); |
| // |
| // Changing "Testing" back to "TestClass1" restores the type and the referredProperty/referredOperation. |
| // |
| TestUtil.assertSameModel(ecoreResource0, doRename(environmentFactory, xtextResource, asResource, "Testing", "TestClass1", NO_MESSAGES, NO_MESSAGES)); |
| pivotTestClass1 = metamodelManager.getPrimaryType("TestPackage", "TestClass1"); |
| // |
| ocl1.dispose(); |
| ocl.dispose(); |
| } |
| |
| public void testEdit_StaleSpecialization() throws Exception { |
| OCLInternal ocl = OCLInternal.newInstance(getProjectMap(), null); |
| EnvironmentFactoryInternal environmentFactory = ocl.getEnvironmentFactory(); |
| MetamodelManagerInternal metamodelManager = environmentFactory.getMetamodelManager(); |
| CompleteModelInternal completeModel = environmentFactory.getCompleteModel(); |
| String testDocument = |
| "import '" + LibraryConstants.STDLIB_URI + "';\n" + |
| "library ocl : ocl = '" + LibraryConstants.STDLIB_URI + "' {\n" + |
| "type MyType conformsTo OclAny{\n" + |
| "operation testFunction() : Boolean;\n" + |
| "}\n" + |
| "}\n"; |
| URI outputURI = getTestFileURI("test.oclstdlib"); |
| ModelContext modelContext = new ModelContext(environmentFactory, outputURI); |
| EssentialOCLCSResource xtextResource = (EssentialOCLCSResource) modelContext.createBaseResource(testDocument); |
| Resource asResource = cs2as(xtextResource, null); |
| assertResourceErrors("Loading input", xtextResource); |
| assertNoResourceErrors("Loading input", asResource); |
| // |
| Type myType = ClassUtil.nonNullState(metamodelManager.getPrimaryType(LibraryConstants.STDLIB_URI, "MyType")); |
| SequenceType sequenceType = ocl.getStandardLibrary().getSequenceType(); |
| CollectionTypeParameters<@NonNull Type> typeParameters = new CollectionTypeParametersImpl<@NonNull Type>(myType, true, null, null); |
| CompleteClassInternal sequenceCompleteClass = metamodelManager.getCompleteClass(sequenceType); |
| WeakReference<Type> sequenceMyType = new WeakReference<Type>(completeModel.findCollectionType(sequenceCompleteClass, typeParameters)); |
| assertNull(sequenceMyType.get()); |
| // |
| doRename(environmentFactory, xtextResource, asResource, "Boolean", "Sequence(MyType)", NO_MESSAGES, NO_MESSAGES); |
| sequenceMyType = new WeakReference<Type>(completeModel.findCollectionType(sequenceCompleteClass, typeParameters)); |
| assertNotNull(sequenceMyType.get()); |
| // |
| doRename(environmentFactory, xtextResource, asResource, "Sequence(MyType)", "Set(MyType)", NO_MESSAGES, NO_MESSAGES); |
| System.gc(); |
| sequenceMyType = new WeakReference<Type>(completeModel.findCollectionType(sequenceCompleteClass, typeParameters)); |
| boolean isNull = debugStateRef(sequenceMyType); |
| sequenceMyType = null; |
| assertTrue(isNull); |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Paste_CompleteOCL() throws Exception { |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| // OCLDelegateDomain.initialize(null); |
| // OCLDelegateDomain.initialize(null, OCLConstants.OCL_DELEGATE_URI); |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| String testDocument = |
| "package ocl\n" + |
| "context IterateExp\n" + |
| "inv True: true\n" + |
| "/*$$*/\n" + |
| "context IteratorExp\n" + |
| "def: IsTrue() : Boolean = true\n" + |
| "inv True: IsTrue()\n" + |
| "endpackage\n"; |
| String pasteText = |
| "context IterateExp\n" + |
| "inv False: true\n"; |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| // URI ecoreURI1 = getTestFileURI("test1.ecore"); |
| URI outputURI = getTestFileURI("test.ocl"); |
| xtextResource = ocl.getCSResource(outputURI, testDocument); |
| asResource = cs2as(xtextResource, null); |
| assertNoResourceErrors("Loading", xtextResource); |
| assertNoValidationErrors("Loading", xtextResource); |
| assertNoResourceErrors("Loading", asResource); |
| assertNoValidationErrors("Loading", asResource); |
| // @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI1, true); |
| } |
| // |
| // Change "/*$$*/" to "pasteText". |
| // |
| { |
| replace(xtextResource, "/*$$*/", pasteText); |
| assertNoResourceErrors("Pasting operation", xtextResource); |
| assertNoValidationErrors("Pasting operation", xtextResource); |
| assertNoResourceErrors("Pasting operation", asResource); |
| assertNoValidationErrors("Pasting operation", asResource); |
| // URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| // @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI2, false); |
| } |
| // |
| // Change "pasteText" back to "/*$$*/". |
| // |
| { |
| // replace(xtextResource, pasteText, "/*$$*/"); |
| // assertNoResourceErrors("Unpasting operation", xtextResource); |
| // assertNoValidationErrors("Unpasting operation", xtextResource); |
| // assertNoResourceErrors("Unpasting operation", asResource); |
| // assertNoValidationErrors("Unpasting operation", asResource); |
| // URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| // @SuppressWarnings("unused") Resource ecoreResource3 = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI3, true); |
| } |
| ocl.dispose(); |
| } |
| |
| public void testEdit_Paste_OCLstdlib() throws Exception { |
| OCL ocl = OCL.newInstance(getProjectMap()); |
| String goodString = "coercion toUnlimitedNatural"; |
| String badString = "coer cion toUnlimitedNatural"; |
| CommonOptions.DEFAULT_DELEGATION_MODE.setDefaultValue(PivotConstants.OCL_DELEGATE_URI_PIVOT); |
| CSResource xtextResource; |
| Resource asResource; |
| { |
| @NonNull URI libURI = URI.createPlatformResourceURI("org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib", true); |
| xtextResource = ocl.getCSResource(libURI); |
| asResource = cs2as(xtextResource, null); |
| assertNoResourceErrors("Loading", xtextResource); |
| assertNoValidationErrors("Loading", xtextResource); |
| assertNoResourceErrors("Loading", asResource); |
| assertNoValidationErrors("Loading", asResource); |
| // @SuppressWarnings("unused") Resource ecoreResource1 = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI1, true); |
| } |
| // |
| // Change "coercion" to "coer cion" - a catastrophic syntax error |
| // |
| { |
| replace(xtextResource, goodString, badString); |
| assertResourceErrors("Pasting operation", xtextResource, "mismatched input 'coer' expecting '}'", "missing EOF at 'type'"); |
| // assertNoValidationErrors("Pasting operation", xtextResource); |
| assertNoResourceErrors("Pasting operation", asResource); |
| assertNoValidationErrors("Pasting operation", asResource); |
| // URI ecoreURI2 = getTestFileURI("test2.ecore"); |
| // @SuppressWarnings("unused") Resource ecoreResource2 = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI2, false); |
| } |
| // |
| // Change "coer cion" back to "coercion". |
| // |
| { |
| replace(xtextResource, badString, goodString); |
| assertNoResourceErrors("Unpasting operation", xtextResource); |
| assertNoValidationErrors("Unpasting operation", xtextResource); |
| assertNoResourceErrors("Unpasting operation", asResource); |
| assertNoValidationErrors("Unpasting operation", asResource); |
| // URI ecoreURI3 = getTestFileURI("test3.ecore"); |
| // @SuppressWarnings("unused") Resource ecoreResource3 = as2ecore(ocl.getEnvironmentFactory(), asResource, ecoreURI3, true); |
| } |
| ocl.dispose(); |
| } |
| } |
