From f4e0cd59986e085eefb378e0b1fef9bf2c968fc1 Mon Sep 17 00:00:00 2001
From: Alberto Debiasi <adebiasi@fbk.eu>
Date: Wed, 13 May 2020 17:25:42 +0200
Subject: [PATCH] Add headers in missing classes in contract folder.
Change-Id: I6e89c582f521a64a9381ec5ca0af6dbbb0955149
---
.../XsapAnalysisPreferencePage.java | 69 +++--
.../profile/chesscontract/util/Constants.java | 25 +-
.../transformations/commands/ExportSmv.java | 273 +++++++++---------
.../test/runtime/tests/AllTests.java | 35 ++-
.../runtime/tests/TestBasicOperations.java | 7 +
.../tests/TestBasicOperationsHeadless.java | 7 +
.../tests/TestSafetyAnalysisOperations.java | 7 +
.../runtime/tests/TestVAndVOperations.java | 7 +
.../tests/TestVandVOperationsOSLC.java | 7 +
.../test/runtime/util/TestResultsUtil.java | 7 +
10 files changed, 257 insertions(+), 187 deletions(-)
diff --git a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
index 86f096bdc..7206cec86 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
@@ -1,31 +1,38 @@
-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");
+ }
+
+}
diff --git a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/Constants.java b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/Constants.java
index 405424301..768a05aeb 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/Constants.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/Constants.java
@@ -1,9 +1,16 @@
-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";
+}
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/ExportSmv.java b/plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/ExportSmv.java
index de74451d2..01c0c706b 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/ExportSmv.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/ExportSmv.java
@@ -1,133 +1,140 @@
-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;
+ }
+
+}
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
index a7be1d0bc..15adac33a 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java
@@ -1,14 +1,21 @@
-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 {
+}
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
index 322096c82..95dc05443 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
@@ -1,3 +1,10 @@
+/*******************************************************************************
+ * 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;
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
index ad2157464..c1e38288d 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
@@ -1,3 +1,10 @@
+/*******************************************************************************
+ * 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;
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
index 42d7f7db8..015c8bc1a 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
@@ -1,3 +1,10 @@
+/*******************************************************************************
+ * 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;
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
index 6c5e9810e..ad3b2a898 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
@@ -1,3 +1,10 @@
+/*******************************************************************************
+ * 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;
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
index 93d673a0d..3e3f0d2fe 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVandVOperationsOSLC.java
@@ -1,3 +1,10 @@
+/*******************************************************************************
+ * 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;
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/util/TestResultsUtil.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/util/TestResultsUtil.java
index 1d0a530a2..f5ba6db31 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/util/TestResultsUtil.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/util/TestResultsUtil.java
@@ -1,3 +1,10 @@
+/*******************************************************************************
+ * 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;
--
GitLab