| /******************************************************************************* |
| * |
| * Copyright (c) 2013, 2015 Intecs SpA |
| * 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: |
| * Nicholas Pacini nicholas.pacini@intecs.it |
| * Stefano Puri stefano.puri@intecs.it |
| * Laura Baracchi laura.baracchi@intecs.it |
| * Initial API and implementation and/or initial documentation |
| *******************************************************************************/ |
| |
| package org.polarsys.chess.contracts.validation; |
| |
| import org.eclipse.emf.common.command.Command; |
| import org.eclipse.papyrus.commands.wrappers.GMFtoEMFCommandWrapper; |
| import org.eclipse.papyrus.infra.services.validation.handler.AbstractCommandHandler; |
| import org.polarsys.chess.contracts.validation.command.CHESSContractValidateCommand; |
| |
| public class CHESSContractValidationHandler extends AbstractCommandHandler { |
| |
| private CHESSContractValidateCommand foreverValidateCommand; |
| |
| @Override |
| public Command getCommand() { |
| String label = "Validate model for NuSMV3-OCRA analysis tool"; |
| foreverValidateCommand = new CHESSContractValidateCommand(label, Activator.PLUGIN_ID, getSelectedElement()); |
| return new GMFtoEMFCommandWrapper(foreverValidateCommand); |
| } |
| |
| } |