package dfatool.handlers;

import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.handlers.HandlerUtil;

import dfatool.strategy.verification.Decomposition;
import dfatool.strategy.verification.Strategy;

public class DecomposeHandler extends AbstractHandler{

	@Override
	public Object execute(ExecutionEvent event){
		try{
		Decomposition d = new Decomposition();
		d.decompose();
		IWorkbenchWindow window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
		new Strategy().verifyDeadlockFreedomOfNetwork(window.getShell());
		}catch (Exception e){
			
		}
		
		return null;
	}
	

}
