blob: 28c0f38a8732ee87cc668fc8c33234e0a8d3b5dc [file] [log] [blame]
/*****************************************************************************
* Copyright (c) 2019 CEA LIST, and others.
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* Nicolas FAUVERGUE (CEA LIST) nicolas.fauvergue@cea.fr - Initial API and implementation
*
*****************************************************************************/
package org.eclipse.papyrus.sysml16.validation.tests.rules.allocations;
import java.util.List;
import org.eclipse.emf.common.util.Diagnostic;
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
import org.eclipse.emf.transaction.RollbackException;
import org.eclipse.emf.transaction.TransactionalEditingDomain;
import org.eclipse.emf.transaction.impl.InternalTransaction;
import org.eclipse.emf.transaction.impl.InternalTransactionalEditingDomain;
import org.eclipse.emf.transaction.util.TransactionUtil;
import org.eclipse.emf.validation.service.ConstraintRegistry;
import org.eclipse.emf.validation.service.IConstraintDescriptor;
import org.eclipse.papyrus.infra.emf.gmf.command.GMFtoEMFCommandWrapper;
import org.eclipse.papyrus.infra.services.validation.commands.ValidateModelCommand;
import org.eclipse.papyrus.sysml16.allocations.AllocationsPackage;
import org.eclipse.papyrus.sysml16.util.SysMLResource;
import org.eclipse.papyrus.sysml16.validation.Activator;
import org.eclipse.papyrus.sysml16.validation.internal.utils.DiagnosticUtil;
import org.eclipse.papyrus.uml.service.validation.internal.UMLDiagnostician;
import org.eclipse.uml2.uml.Abstraction;
import org.eclipse.uml2.uml.Model;
import org.eclipse.uml2.uml.Realization;
import org.eclipse.uml2.uml.UMLFactory;
import org.eclipse.uml2.uml.util.UMLUtil.StereotypeApplicationHelper;
import org.junit.Assert;
import org.junit.Test;
/**
* Test on CONSTRAINT_ID constraint
*
*/
@SuppressWarnings("nls")
public class AllocateOnlyAbstractionModelConstraintTest {
public static final String CONSTRAINT_ID = "constraint.allocate.onlyabstraction";
/**
* Test method for the constraint
*
* @throws InterruptedException
* @throws RollbackException
*/
@Test
public void checkRuleValidation() throws InterruptedException, RollbackException {
ResourceSetImpl resourceSet = new ResourceSetImpl();
Model model = SysMLResource.createSysMLModel(resourceSet);
Assert.assertFalse("the SysML profil must be applied.", model.getAppliedProfiles().isEmpty());
Abstraction validAllocate = UMLFactory.eINSTANCE.createAbstraction();
validAllocate.setName("validAllocate");
model.getPackagedElements().add(validAllocate);
StereotypeApplicationHelper.getInstance(null).applyStereotype(validAllocate, AllocationsPackage.eINSTANCE.getAllocate(), null);
Realization invalidAllocate = UMLFactory.eINSTANCE.createRealization();
invalidAllocate.setName("invalidAllocate");
model.getPackagedElements().add(invalidAllocate);
StereotypeApplicationHelper.getInstance(null).applyStereotype(invalidAllocate, AllocationsPackage.eINSTANCE.getAllocate(), null);
TransactionalEditingDomain.Factory.INSTANCE.createEditingDomain(resourceSet);
InternalTransactionalEditingDomain editingDomain = (InternalTransactionalEditingDomain) TransactionUtil.getEditingDomain(model);
final ValidateModelCommand validateModelCommand = new ValidateModelCommand(model, new UMLDiagnostician());
InternalTransaction startTransaction = editingDomain.startTransaction(false, null);
editingDomain.getCommandStack().execute(GMFtoEMFCommandWrapper.wrap(validateModelCommand));
startTransaction.commit();
// check that the constraint exist
ConstraintRegistry instance = ConstraintRegistry.getInstance();
IConstraintDescriptor descriptor = instance.getDescriptor(Activator.PLUGIN_ID, CONSTRAINT_ID);
Assert.assertNotNull("Constraint is missing " + CONSTRAINT_ID, descriptor);
List<Diagnostic> constraintDiagnosticList = DiagnosticUtil.findDiagnosticBySource(validateModelCommand.getDiagnostic(), Activator.PLUGIN_ID + "." + CONSTRAINT_ID);
Assert.assertEquals("The rule " + CONSTRAINT_ID + " should not trigger an issue for this use case ", 0, DiagnosticUtil.filterDiagnosticsByElement(constraintDiagnosticList, validAllocate).size());
// FIXME the diagnostic is returning 2 failures instead of one
// Assert.assertEquals("The rule "+CONSTRAINT_ID+" should trigger an issue for this use case ", 1, DiagnosticUtil.filterDiagnosticsByElement(constraintDiagnosticList, invalidAllocate).size());
}
}