/**
* File: EvaluateHandler.java Created: 30.07.2009
*
* /****************************************************************************
* *** Copyright (c) 2009-2010 University of Augsburg, Germany <www.ds-lab.org>
*
* 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: Christian Saad, Programming distributed Systems Lab, University
* of Augsburg - initial API and implementation
*******************************************************************************/
package de.uniAugsburg.MAF.dfa.jwt.ui.token.toolbar;
import java.util.Set;
import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.emf.ecore.resource.ResourceSet;
import org.eclipse.jwt.meta.model.processes.Activity;
import org.eclipse.jwt.we.misc.util.GeneralHelper;
import de.uniAugsburg.MAF.dfa.jwt.JWTAnalysis;
import de.uniAugsburg.MAF.dfa.jwt.ui.UIVisualizerHelper;
import de.uniAugsburg.MAF.dfa.jwt.ui.toolbar.VisualizationHandler;
import de.uniAugsburg.MAF.dfa.jwt.util.ErrorDisplay;
public class CalculateTokensHandler extends AbstractHandler
{
/*
* (non-Javadoc)
*
* @seeorg.eclipse.core.commands.AbstractHandler#execute(org.eclipse.core.
* commands. ExecutionEvent)
*/
public Object execute(ExecutionEvent event) throws ExecutionException
{
try
{
if (GeneralHelper.getActiveInstance()
.getPageText(GeneralHelper.getActiveInstance().getActivePage()).contains("["))
{
ErrorDisplay
.displayErrorString("analysis cannot be performed on virtual activities");
return null;
}
Set<Object> selectedActivitySet = UIVisualizerHelper.getSelectedActivity();
if (selectedActivitySet == null)
return null;
UIVisualizerHelper.closeOldActivities((Activity) selectedActivitySet.iterator().next());
ResourceSet rS = GeneralHelper.getActiveInstance().getDisplayedActivityModel()
.eResource().getResourceSet();
boolean visualize = VisualizationHandler.visualization;
JWTAnalysis.getInstance().analyze(rS, JWTAnalysis.ANALYSIS_TF_TOKEN, visualize);
}
catch (Exception e)
{
ErrorDisplay.displayException(e);
}
return null;
}
}
|