Skip to content
Snippets Groups Projects
Commit 4496fe3f authored by Stefano puri's avatar Stefano puri
Browse files

add selection of FLA analysisContext to be used to run the analysis

parent 9c317545
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
+ 28
− 26
View file @ 4496fe3f
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Fla
Bundle-SymbolicName: org.polarsys.chess.fla;singleton:=true
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: org.polarsys.chess.fla.launch.Activator
Require-Bundle: org.eclipse.ui,
org.eclipse.core.runtime,
org.eclipse.core.resources,
org.eclipse.ui.ide,
org.eclipse.papyrus.infra.core,
org.eclipse.papyrus.editor,
org.eclipse.papyrus.uml.diagram.composite,
org.eclipse.papyrus.uml.diagram.clazz,
org.eclipse.papyrus.sysml.diagram.internalblock,
org.eclipse.papyrus.infra.gmfdiag.common,
org.eclipse.papyrus.infra.widgets.toolbox,
org.eclipse.gmf.runtime.diagram.ui,
org.eclipse.m2m.qvt.oml,
org.polarsys.chess.chessmlprofile,
org.polarsys.chess.core,
org.polarsys.chess.service,
org.polarsys.chess.fla.flamm,
org.polarsys.chess.fla.flaxml
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Fla
Bundle-SymbolicName: org.polarsys.chess.fla;singleton:=true
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: org.polarsys.chess.fla.launch.Activator
Require-Bundle: org.eclipse.ui,
org.eclipse.core.runtime,
org.eclipse.core.resources,
org.eclipse.ui.ide,
org.eclipse.papyrus.infra.core,
org.eclipse.papyrus.editor,
org.eclipse.papyrus.uml.diagram.composite,
org.eclipse.papyrus.uml.diagram.clazz,
org.eclipse.papyrus.sysml.diagram.internalblock,
org.eclipse.papyrus.infra.gmfdiag.common,
org.eclipse.papyrus.infra.widgets.toolbox,
org.eclipse.gmf.runtime.diagram.ui,
org.eclipse.m2m.qvt.oml,
org.polarsys.chess.chessmlprofile,
org.polarsys.chess.core,
org.polarsys.chess.service,
org.polarsys.chess.fla.flamm,
org.polarsys.chess.fla.flaxml,
org.polarsys.chess.m2m,
org.eclipse.uml2.uml
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/launch/FlaAnalysisCommand.java
+ 285
− 179
View file @ 4496fe3f
/*******************************************************************************
* CHESS core plugin
*
* Copyright (C) 2011-2015
* Mälardalen University, Sweden
*
*
* 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
*******************************************************************************/
package org.polarsys.chess.fla.launch;
import java.util.List;
import java.lang.reflect.InvocationTargetException;
import org.eclipse.core.runtime.Path;
import org.eclipse.core.runtime.Status;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IContainer;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.jface.dialogs.ProgressMonitorDialog;
import org.eclipse.ui.IFileEditorInput;
import org.eclipse.uml2.uml.Classifier;
import org.eclipse.uml2.uml.Model;
import org.eclipse.uml2.uml.UMLPackage;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.emf.common.util.URI;
import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.ecore.util.EcoreUtil;
import org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart;
import org.eclipse.gmf.runtime.notation.impl.DiagramImpl;
import org.polarsys.chess.fla.impl.FlaAnalysisRunner;
import org.polarsys.chess.core.notifications.ResourceNotification;
import org.polarsys.chess.core.util.uml.ResourceUtils;
import org.polarsys.chess.core.views.DiagramStatus;
import org.eclipse.papyrus.editor.PapyrusMultiDiagramEditor;
import org.eclipse.papyrus.infra.core.services.ServiceException;
import org.eclipse.papyrus.sysml.diagram.internalblock.edit.part.InternalBlockDiagramEditPart;
import org.eclipse.papyrus.uml.diagram.clazz.part.UMLDiagramEditor;
import org.eclipse.papyrus.uml.diagram.composite.edit.parts.CompositeStructureDiagramEditPart;
import org.polarsys.chess.service.utils.CHESSEditorUtils;
public class FlaAnalysisCommand extends AbstractHandler {
private IFile modelFile;
private URI modelURI;
protected List<IFile> files;
List<? extends Object> arguments;
private Model umlModel = null;
private IContainer targetFolder;
protected UMLDiagramEditor diagramEditor=null;
protected DiagramEditPart diagramEditPart;
protected PapyrusMultiDiagramEditor papyrusEditor;
private static final String DI_SUFFIX = ".di";
private static final String UML_SUFFIX = ".uml";
public static final String COMMAND_ID = "org.polarsys.chess.fla.analysis.command";
@Override
public Object execute(ExecutionEvent event) throws ExecutionException {
final PapyrusMultiDiagramEditor editor = CHESSEditorUtils.getCHESSEditor();
final DiagramStatus ds = CHESSEditorUtils.getDiagramStatus(editor);
Classifier rootComponent = getCurrentComponent(editor, ds);
if (rootComponent == null) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Cannot identify root component");
Activator.getDefault().getLog().log(status);
throw new ExecutionException("Error during FLA analysis");
}
IFileEditorInput input = (IFileEditorInput)editor.getEditorInput() ;
IFile file = input.getFile();
IProject activeProject = file.getProject();
Path path = new Path(activeProject.getName() + "/" + changeSuffix(input.getFile().getName(), DI_SUFFIX,UML_SUFFIX));
modelURI = URI.createPlatformResourceURI(changeSuffix(input.getFile().getFullPath().toString(), DI_SUFFIX,UML_SUFFIX), true);
modelFile = ResourcesPlugin.getWorkspace().getRoot().getFile(path);
long startTime = System.currentTimeMillis();
Shell shell = new Shell();
try {
ds.setUserAction(false);
ProgressMonitorDialog pmDialog = new ProgressMonitorDialog(shell);
FlaAnalysisRunner analysisRunner = new FlaAnalysisRunner();
analysisRunner.setModelURI(modelURI);
targetFolder = modelFile.getProject().getFolder("FLA_Analysis");
analysisRunner.setTargetFolder(targetFolder);
analysisRunner.setDiagramEditPart(diagramEditPart);
Resource resource = ResourceUtils.getUMLResource(editor.getServicesRegistry());
umlModel = (Model) EcoreUtil.getObjectByType(resource.getContents(), UMLPackage.Literals.MODEL);
analysisRunner.setRootComponent(rootComponent.getQualifiedName());
analysisRunner.setChessResource(resource);
pmDialog.run(true, true, analysisRunner);
activeProject.refreshLocal(IResource.DEPTH_INFINITE, null);
} catch (InvocationTargetException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
throw new ExecutionException("Error during FLA analysis", e);
} catch (CoreException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
throw new ExecutionException("Error during FLA analysis", e);
} catch (InterruptedException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
} catch (ServiceException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
} finally {
ds.setUserAction(true);
}
long endTime = System.currentTimeMillis();
org.polarsys.chess.core.util.CHESSProjectSupport.printlnToCHESSConsole("*** Elapsed time " + (endTime - startTime) / 1e3 + " s ***");
return null;
}
private String changeSuffix(String string, String oldSuffix, String newSuffix){
String newString = string;
if (newString.endsWith(oldSuffix)){
newString = newString.substring(0, newString.length() - oldSuffix.length());
newString += newSuffix;
}
return newString;
}
private Classifier getCurrentComponent(PapyrusMultiDiagramEditor editor, DiagramStatus ds) {
if (editor == null || ds == null) {
return null;
}
Classifier rootComponent = null;
try {
Object editPart = getEditPart();
if (editPart == null || ( !(editPart instanceof CompositeStructureDiagramEditPart) && !(editPart instanceof InternalBlockDiagramEditPart)) )
throw new Exception("FLA analysis cannot be performed on this element");
final DiagramEditPart csd_ep = (DiagramEditPart) editPart;
diagramEditPart = csd_ep;
DiagramImpl diagram = (DiagramImpl) csd_ep.getModel();
rootComponent = (Classifier) diagram.getElement();
} catch (Exception e) {
e.printStackTrace();
ResourceNotification.showInfo(e.getMessage());
}
return rootComponent;
}
private Object getEditPart() {
Object ep = null;
try {
ep = CHESSEditorUtils.getDiagramGraphicalViewer().getRootEditPart().getChildren().get(0);
} catch (Exception e) {
//Catch NPE
return null;
}
return ep;
}
/*******************************************************************************
* CHESS core plugin
*
* Copyright (C) 2011-2015
* Mälardalen University, Sweden
*
*
* 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
*******************************************************************************/
package org.polarsys.chess.fla.launch;
import java.util.ArrayList;
import java.util.List;
import java.lang.reflect.InvocationTargetException;
import org.eclipse.core.runtime.Path;
import org.eclipse.core.runtime.Status;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IContainer;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.jface.dialogs.ProgressMonitorDialog;
import org.eclipse.jface.window.Window;
import org.eclipse.ui.IFileEditorInput;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.handlers.HandlerUtil;
import org.eclipse.uml2.uml.Class;
import org.eclipse.uml2.uml.Classifier;
import org.eclipse.uml2.uml.Element;
import org.eclipse.uml2.uml.InstanceSpecification;
import org.eclipse.uml2.uml.Model;
import org.eclipse.uml2.uml.NamedElement;
import org.eclipse.uml2.uml.Stereotype;
import org.eclipse.uml2.uml.UMLPackage;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.common.util.URI;
import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.ecore.util.EcoreUtil;
import org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart;
import org.eclipse.gmf.runtime.notation.impl.DiagramImpl;
import org.polarsys.chess.fla.impl.FlaAnalysisRunner;
import org.polarsys.chess.m2m.ui.AnalysisContextSelectionDialog;
import org.polarsys.chess.chessmlprofile.Core.CHGaResourcePlatform;
import org.polarsys.chess.chessmlprofile.Dependability.FailurePropagation.FailurePropagationAnalysis;
import org.polarsys.chess.chessmlprofile.util.Constants;
import org.polarsys.chess.core.notifications.ResourceNotification;
import org.polarsys.chess.core.util.uml.ResourceUtils;
import org.polarsys.chess.core.views.DiagramStatus;
import org.eclipse.papyrus.editor.PapyrusMultiDiagramEditor;
import org.eclipse.papyrus.infra.core.services.ServiceException;
import org.eclipse.papyrus.sysml.diagram.internalblock.edit.part.InternalBlockDiagramEditPart;
import org.eclipse.papyrus.uml.diagram.clazz.part.UMLDiagramEditor;
import org.eclipse.papyrus.uml.diagram.composite.edit.parts.CompositeStructureDiagramEditPart;
import org.polarsys.chess.service.utils.CHESSEditorUtils;
public class FlaAnalysisCommand extends AbstractHandler {
private IFile modelFile;
private URI modelURI;
protected List<IFile> files;
List<? extends Object> arguments;
private Model umlModel = null;
private IContainer targetFolder;
protected UMLDiagramEditor diagramEditor=null;
protected DiagramEditPart diagramEditPart;
protected PapyrusMultiDiagramEditor papyrusEditor;
private static final String DI_SUFFIX = ".di";
private static final String UML_SUFFIX = ".uml";
public static final String COMMAND_ID = "org.polarsys.chess.fla.analysis.command";
@Override
public Object execute(ExecutionEvent event) throws ExecutionException {
final PapyrusMultiDiagramEditor editor = CHESSEditorUtils.getCHESSEditor();
final DiagramStatus ds = CHESSEditorUtils.getDiagramStatus(editor);
Classifier rootComponent = null;
//get the current component from the current CSD or IBD
//rootComponent = getCurrentComponent(editor, ds);
//TODO using analysisContext
rootComponent = getClassifierFromAnalysisContext(event, editor);
//TODO using analysis context: get edit part (for the back propagation)
try {
Object editPart = getEditPart();
final DiagramEditPart csd_ep = (DiagramEditPart) editPart;
diagramEditPart = csd_ep;
} catch (Exception e) {
e.printStackTrace();
}
//
if (rootComponent == null) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Cannot identify root component");
Activator.getDefault().getLog().log(status);
throw new ExecutionException("Error during FLA analysis: Cannot identify root component from the AnalysisContext.");
}
IFileEditorInput input = (IFileEditorInput)editor.getEditorInput() ;
IFile file = input.getFile();
IProject activeProject = file.getProject();
Path path = new Path(activeProject.getName() + "/" + changeSuffix(input.getFile().getName(), DI_SUFFIX,UML_SUFFIX));
modelURI = URI.createPlatformResourceURI(changeSuffix(input.getFile().getFullPath().toString(), DI_SUFFIX,UML_SUFFIX), true);
modelFile = ResourcesPlugin.getWorkspace().getRoot().getFile(path);
long startTime = System.currentTimeMillis();
Shell shell = new Shell();
try {
ds.setUserAction(false);
ProgressMonitorDialog pmDialog = new ProgressMonitorDialog(shell);
FlaAnalysisRunner analysisRunner = new FlaAnalysisRunner();
analysisRunner.setModelURI(modelURI);
targetFolder = modelFile.getProject().getFolder("FLA_Analysis");
analysisRunner.setTargetFolder(targetFolder);
analysisRunner.setDiagramEditPart(diagramEditPart);
Resource resource = ResourceUtils.getUMLResource(editor.getServicesRegistry());
umlModel = (Model) EcoreUtil.getObjectByType(resource.getContents(), UMLPackage.Literals.MODEL);
analysisRunner.setRootComponent(rootComponent.getQualifiedName());
analysisRunner.setChessResource(resource);
pmDialog.run(true, true, analysisRunner);
activeProject.refreshLocal(IResource.DEPTH_INFINITE, null);
} catch (InvocationTargetException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
throw new ExecutionException("Error during FLA analysis", e);
} catch (CoreException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
throw new ExecutionException("Error during FLA analysis", e);
} catch (InterruptedException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
} catch (ServiceException e) {
IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e);
Activator.getDefault().getLog().log(status);
} finally {
ds.setUserAction(true);
}
long endTime = System.currentTimeMillis();
org.polarsys.chess.core.util.CHESSProjectSupport.printlnToCHESSConsole("*** Elapsed time " + (endTime - startTime) / 1e3 + " s ***");
return null;
}
private String changeSuffix(String string, String oldSuffix, String newSuffix){
String newString = string;
if (newString.endsWith(oldSuffix)){
newString = newString.substring(0, newString.length() - oldSuffix.length());
newString += newSuffix;
}
return newString;
}
private Classifier getCurrentComponent(PapyrusMultiDiagramEditor editor, DiagramStatus ds) {
if (editor == null || ds == null) {
return null;
}
Classifier rootComponent = null;
try {
Object editPart = getEditPart();
if (editPart == null || ( !(editPart instanceof CompositeStructureDiagramEditPart) && !(editPart instanceof InternalBlockDiagramEditPart)) )
throw new Exception("FLA analysis cannot be performed on this element");
final DiagramEditPart csd_ep = (DiagramEditPart) editPart;
diagramEditPart = csd_ep;
DiagramImpl diagram = (DiagramImpl) csd_ep.getModel();
rootComponent = (Classifier) diagram.getElement();
} catch (Exception e) {
e.printStackTrace();
ResourceNotification.showInfo(e.getMessage());
}
return rootComponent;
}
private Object getEditPart() {
Object ep = null;
try {
ep = CHESSEditorUtils.getDiagramGraphicalViewer().getRootEditPart().getChildren().get(0);
} catch (Exception e) {
//Catch NPE
return null;
}
return ep;
}
private Classifier getClassifierFromAnalysisContext(ExecutionEvent event, PapyrusMultiDiagramEditor editor){
Resource inResource = null;
Shell activeShell = null;
if (!(CHESSEditorUtils.isCHESSProject(editor)))
return null;
try {
inResource = ResourceUtils.getUMLResource(((PapyrusMultiDiagramEditor) editor).getServicesRegistry());
} catch (ServiceException e) {
e.printStackTrace();
MessageDialog.openError(activeShell, "CHESS", "Unable to load the model");
}
IWorkbenchWindow window = null;
try {
window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
} catch (ExecutionException e) {
// TODO Auto-generated catch block
e.printStackTrace();
return null;
}
activeShell = window.getShell();
final Model model = (Model) inResource.getContents().get(0);
//open a dialog to select the analysis context to be analyzed
//first get all the classes stereotyped as SaAnalysisContext
final List<Class> selection = new ArrayList<Class>();
EList<Element> elemList = model.allOwnedElements();
for (Element elem : elemList) {
//we're looking for a class stereotyped <<FailurePropagationAnalysis>>
if(elem instanceof Class && elem.getAppliedStereotype(Constants.FLA_ANALYSIS) != null){
//as additional constraint, no workload is specified
FailurePropagationAnalysis saAnalysisCtx = (FailurePropagationAnalysis) elem.getStereotypeApplication
(elem.getAppliedStereotype(Constants.FLA_ANALYSIS));
selection.add((Class) elem);
}
}
if(selection.size() == 0){
MessageDialog.openWarning(activeShell, "CHESS", "no suitable analysis contexts in the model");
return null;
}
//then open the dialog
String contextQN = null;
AnalysisContextSelectionDialog dialog = new AnalysisContextSelectionDialog(activeShell, selection, "Select FLA Context to analyze");
if (dialog.open() == Window.OK) {
}else{
return null;
}
contextQN = dialog.getContext();
if(contextQN == null || contextQN.isEmpty()){
return null;
}
for (Element elem : model.allOwnedElements()) {
Stereotype saAnalysisContextStereo = elem.getAppliedStereotype(Constants.FLA_ANALYSIS);
if(saAnalysisContextStereo != null &&
((NamedElement) elem).getQualifiedName().equals(contextQN)){
FailurePropagationAnalysis saAnalysisContext = (FailurePropagationAnalysis) elem.getStereotypeApplication(saAnalysisContextStereo);
CHGaResourcePlatform plat = (CHGaResourcePlatform) saAnalysisContext.getPlatform().get(0);
InstanceSpecification instance = plat.getBase_InstanceSpecification();
if (instance == null || instance.getClassifiers() == null || instance.getClassifiers().size()==0)
return null;
return instance.getClassifiers().get(0);
}
}
return null;
}
}
\ No newline at end of file
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