| /******************************************************************************* | |
| * Copyright (C) 2017 Fondazione Bruno Kessler. | |
| * 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: | |
| * Alberto Debiasi - initial API and implementation | |
| ******************************************************************************/ | |
| package org.polarsys.chess.verificationService.ui.commands.debug; | |
| import org.eclipse.core.commands.ExecutionEvent; | |
| import org.eclipse.core.runtime.IProgressMonitor; | |
| import org.polarsys.chess.service.core.model.ChessSystemModel; | |
| import eu.fbk.eclipse.standardtools.ExecOcraCommands.ui.services.OCRAExecService; | |
| import eu.fbk.eclipse.standardtools.utils.ui.commands.AbstractAsyncJobCommand; | |
| public class ContractRefinementOnFileCommand extends AbstractAsyncJobCommand { | |
| private OCRAExecService ocraExecService = OCRAExecService.getInstance(ChessSystemModel.getInstance()); | |
| public ContractRefinementOnFileCommand() { | |
| super("Contract Refinement on oss file"); | |
| } | |
| @Override | |
| public void execJobCommand(ExecutionEvent event, IProgressMonitor monitor) throws Exception { | |
| ocraExecService.executeCheckContractRefinement(monitor); | |
| } | |
| } |