Skip to content
Snippets Groups Projects
Commit f4e0cd59 authored by Alberto Debiasi's avatar Alberto Debiasi
Browse files

Add headers in missing classes in contract folder. 

Change-Id: I6e89c582f521a64a9381ec5ca0af6dbbb0955149
parent 44bc673f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 257 additions and 187 deletions
plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
+ 38
− 31
View file @ f4e0cd59
package org.polarsys.chess.contracts.integration.preferences;
import org.eclipse.jface.preference.DirectoryFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
import org.polarsys.chess.contracts.integration.Activator;
public class XsapAnalysisPreferencePage extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage{
public static final String XSAP_PATH = "XSAP_PATH";
public XsapAnalysisPreferencePage() {
super(GRID);
}
@Override
protected void createFieldEditors() {
DirectoryFieldEditor xsapPathDirEditor = new DirectoryFieldEditor(XSAP_PATH, "xSAP scripts directory:",
getFieldEditorParent());
addField(xsapPathDirEditor);
}
@Override
public void init(IWorkbench workbench) {
setPreferenceStore(Activator.getDefault().getPreferenceStore());
setDescription("Preferences page for xSAP Analysis Tool");
}
}
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.integration.preferences;
import org.eclipse.jface.preference.DirectoryFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
import org.polarsys.chess.contracts.integration.Activator;
public class XsapAnalysisPreferencePage extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage{
public static final String XSAP_PATH = "XSAP_PATH";
public XsapAnalysisPreferencePage() {
super(GRID);
}
@Override
protected void createFieldEditors() {
DirectoryFieldEditor xsapPathDirEditor = new DirectoryFieldEditor(XSAP_PATH, "xSAP scripts directory:",
getFieldEditorParent());
addField(xsapPathDirEditor);
}
@Override
public void init(IWorkbench workbench) {
setPreferenceStore(Activator.getDefault().getPreferenceStore());
setDescription("Preferences page for xSAP Analysis Tool");
}
}
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/Constants.java
+ 16
− 9
View file @ f4e0cd59
package org.polarsys.chess.contracts.profile.chesscontract.util;
public class Constants {
public static String ContractRefinementAnalysis = "CHESSContract::ContractRefinementAnalysisContext";
public static final String CONTRACT = "CHESSContract::Contract";
public static final String CONTRACT_PROP = "CHESSContract::ContractProperty";
public static final String DELEGATION_CONST = "CHESSContract::DelegationConstraint";
public static final String FORMAL_PROP = "CHESSContract::FormalProperty";
}
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.profile.chesscontract.util;
public class Constants {
public static String ContractRefinementAnalysis = "CHESSContract::ContractRefinementAnalysisContext";
public static final String CONTRACT = "CHESSContract::Contract";
public static final String CONTRACT_PROP = "CHESSContract::ContractProperty";
public static final String DELEGATION_CONST = "CHESSContract::DelegationConstraint";
public static final String FORMAL_PROP = "CHESSContract::FormalProperty";
}
plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/ExportSmv.java
+ 140
− 133
View file @ f4e0cd59
package org.polarsys.chess.contracts.transformations.commands;
import java.io.File;
import java.io.IOException;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Status;
import org.eclipse.core.runtime.jobs.Job;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.jface.viewers.ISelection;
import org.eclipse.jface.viewers.ITreeSelection;
import org.eclipse.papyrus.emf.facet.custom.metamodel.v0_2_0.internal.treeproxy.EObjectTreeElement;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.FileDialog;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.ui.ISelectionService;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.handlers.HandlerUtil;
import org.eclipse.uml2.uml.Class;
import org.eclipse.uml2.uml.Package;
import org.polarsys.chess.chessmlprofile.ComponentModel.ComponentType;
import org.polarsys.chess.contracts.transformations.main.GenerateErrorModel;
import org.polarsys.chess.core.notifications.ResourceNotification;
import org.polarsys.chess.core.profiles.CHESSProfileManager;
import org.polarsys.chess.core.util.uml.UMLUtils;
import org.polarsys.chess.core.views.ViewUtils;
public class ExportSmv extends AbstractHandler{
public Object execute(ExecutionEvent event) throws ExecutionException {
IWorkbenchWindow window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
final Shell activeShell = window.getShell();
final Class selected = getSelection(window);
if(selected != null){
FileDialog dialog = new FileDialog(activeShell,SWT.SAVE);
dialog.setFilterNames(new String[] { "SMV" });
dialog.setFilterExtensions(new String[] { "*.smv" });
String dir = dialog.open();
if(dir != null){
final File targetDir = (new File(dialog.getFilterPath()));
String systemQN = selected.getQualifiedName();
final List<String> args = new ArrayList<String>();
args.add(systemQN);
String systemName = systemQN.substring(systemQN.lastIndexOf("::")+2);
args.add(systemName);
args.add(dialog.getFileName().replaceFirst(".smv", ""));
Job job = new Job("Exporting to SMV"){
@Override
protected IStatus run(IProgressMonitor monitor) {
monitor.beginTask("operation in progress ...", 3);
try{
monitor.subTask("transforming...");
GenerateErrorModel gen = new GenerateErrorModel(selected, targetDir, args);
gen.doGenerate(null);
monitor.worked(1);
}catch (IOException e) {
e.printStackTrace();
}
monitor.done();
if (monitor.isCanceled())
return Status.CANCEL_STATUS;
return Status.OK_STATUS;
}
};
job.setUser(true);
job.setPriority(Job.SHORT);
job.schedule();
}else{
return null;
}
}
ResourceNotification.showOk("Element exported correctly");
return null;
}
private Class getSelection(IWorkbenchWindow window ) {
ISelectionService selectionService = window.getSelectionService();
ISelection selectionX = selectionService.getSelection();
if (!(selectionX instanceof ITreeSelection)){
ResourceNotification.showOk("Selection not valid: select a single resource on the ModelExplorer");
return null;
}
ITreeSelection treesel = (ITreeSelection)selectionX;
if (treesel.getPaths().length == 0 || treesel.getPaths().length > 1){
ResourceNotification.showError("Selection not valid: select a single resource on the ModelExplorer");
return null;
}
Object obj = treesel.getFirstElement();
if (!(obj instanceof EObjectTreeElement)){
ResourceNotification.showError("Selection not valid: select a single resource on the ModelExplorer");
}
EObject eobj = ((EObjectTreeElement) obj).getEObject();
final Package view = ViewUtils.getView(eobj);
// final Model umlModel = view.getModel();
final Class umlClass = (Class) eobj;
if (!ViewUtils.isDesignView(view, CHESSProfileManager.SYSTEM_VIEW) &&
!ViewUtils.isDesignView(view, CHESSProfileManager.COMPONENT_VIEW)) {
ResourceNotification.showError("Selection not valid: please select a resource of the SystemView or of the ComponentView");
return null;
}
if (ViewUtils.isDesignView(view, CHESSProfileManager.COMPONENT_VIEW)){
if (UMLUtils.getStereotypeApplication(umlClass, ComponentType.class)!= null){
ResourceNotification.showError("Selection not valid: ComponentType");
return null;
}
}
return umlClass;
}
}
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.transformations.commands;
import java.io.File;
import java.io.IOException;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Status;
import org.eclipse.core.runtime.jobs.Job;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.jface.viewers.ISelection;
import org.eclipse.jface.viewers.ITreeSelection;
import org.eclipse.papyrus.emf.facet.custom.metamodel.v0_2_0.internal.treeproxy.EObjectTreeElement;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.FileDialog;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.ui.ISelectionService;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.handlers.HandlerUtil;
import org.eclipse.uml2.uml.Class;
import org.eclipse.uml2.uml.Package;
import org.polarsys.chess.chessmlprofile.ComponentModel.ComponentType;
import org.polarsys.chess.contracts.transformations.main.GenerateErrorModel;
import org.polarsys.chess.core.notifications.ResourceNotification;
import org.polarsys.chess.core.profiles.CHESSProfileManager;
import org.polarsys.chess.core.util.uml.UMLUtils;
import org.polarsys.chess.core.views.ViewUtils;
public class ExportSmv extends AbstractHandler{
public Object execute(ExecutionEvent event) throws ExecutionException {
IWorkbenchWindow window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
final Shell activeShell = window.getShell();
final Class selected = getSelection(window);
if(selected != null){
FileDialog dialog = new FileDialog(activeShell,SWT.SAVE);
dialog.setFilterNames(new String[] { "SMV" });
dialog.setFilterExtensions(new String[] { "*.smv" });
String dir = dialog.open();
if(dir != null){
final File targetDir = (new File(dialog.getFilterPath()));
String systemQN = selected.getQualifiedName();
final List<String> args = new ArrayList<String>();
args.add(systemQN);
String systemName = systemQN.substring(systemQN.lastIndexOf("::")+2);
args.add(systemName);
args.add(dialog.getFileName().replaceFirst(".smv", ""));
Job job = new Job("Exporting to SMV"){
@Override
protected IStatus run(IProgressMonitor monitor) {
monitor.beginTask("operation in progress ...", 3);
try{
monitor.subTask("transforming...");
GenerateErrorModel gen = new GenerateErrorModel(selected, targetDir, args);
gen.doGenerate(null);
monitor.worked(1);
}catch (IOException e) {
e.printStackTrace();
}
monitor.done();
if (monitor.isCanceled())
return Status.CANCEL_STATUS;
return Status.OK_STATUS;
}
};
job.setUser(true);
job.setPriority(Job.SHORT);
job.schedule();
}else{
return null;
}
}
ResourceNotification.showOk("Element exported correctly");
return null;
}
private Class getSelection(IWorkbenchWindow window ) {
ISelectionService selectionService = window.getSelectionService();
ISelection selectionX = selectionService.getSelection();
if (!(selectionX instanceof ITreeSelection)){
ResourceNotification.showOk("Selection not valid: select a single resource on the ModelExplorer");
return null;
}
ITreeSelection treesel = (ITreeSelection)selectionX;
if (treesel.getPaths().length == 0 || treesel.getPaths().length > 1){
ResourceNotification.showError("Selection not valid: select a single resource on the ModelExplorer");
return null;
}
Object obj = treesel.getFirstElement();
if (!(obj instanceof EObjectTreeElement)){
ResourceNotification.showError("Selection not valid: select a single resource on the ModelExplorer");
}
EObject eobj = ((EObjectTreeElement) obj).getEObject();
final Package view = ViewUtils.getView(eobj);
// final Model umlModel = view.getModel();
final Class umlClass = (Class) eobj;
if (!ViewUtils.isDesignView(view, CHESSProfileManager.SYSTEM_VIEW) &&
!ViewUtils.isDesignView(view, CHESSProfileManager.COMPONENT_VIEW)) {
ResourceNotification.showError("Selection not valid: please select a resource of the SystemView or of the ComponentView");
return null;
}
if (ViewUtils.isDesignView(view, CHESSProfileManager.COMPONENT_VIEW)){
if (UMLUtils.getStereotypeApplication(umlClass, ComponentType.class)!= null){
ResourceNotification.showError("Selection not valid: ComponentType");
return null;
}
}
return umlClass;
}
}
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
+ 21
− 14
View file @ f4e0cd59
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;
@RunWith(Suite.class)
@SuiteClasses({
TestBasicOperations.class, TestBasicOperationsHeadless.class, TestSafetyAnalysisOperations.class, TestVAndVOperations.class
,TestVandVOperationsOSLC.class
})
public class AllTests {
}
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;
@RunWith(Suite.class)
@SuiteClasses({
TestBasicOperations.class, TestBasicOperationsHeadless.class, TestSafetyAnalysisOperations.class, TestVAndVOperations.class
,TestVandVOperationsOSLC.class
})
public class AllTests {
}
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
+ 7
− 0
View file @ f4e0cd59
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import java.io.File;
......
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
+ 7
− 0
View file @ f4e0cd59
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import java.io.File;
......
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
+ 7
− 0
View file @ f4e0cd59
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import java.io.File;
......
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
+ 7
− 0
View file @ f4e0cd59
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import java.io.File;
......
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
+ 7
− 0
View file @ f4e0cd59
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.tests;
import org.eclipse.lyo.client.oslc.OSLCConstants;
......
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/util/TestResultsUtil.java
+ 7
− 0
View file @ f4e0cd59
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* 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
******************************************************************************/
package org.polarsys.chess.contracts.verificationService.test.runtime.util;
import java.io.BufferedReader;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent