/******************************************************************************* * Copyright (c) 2010-2015 Henshin developers. 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: * TU Berlin, University of Luxembourg, SES S.A. *******************************************************************************/ package de.tub.tfs.henshin.tggeditor.views.graphview; import org.eclipse.emf.ecore.EObject; import org.eclipse.emf.henshin.model.NamedElement; import org.eclipse.emf.henshin.model.NestedCondition; import org.eclipse.jface.action.IToolBarManager; import org.eclipse.ui.part.IPage; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteBPpgDeltaBasedToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteBPpgStateBasedToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteBTRulesToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteCCRulesToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteFPpgDeltaBasedToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteFPpgStateBasedToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteFTRulesToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.ExecuteITRulesToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.execution.RemoveMarkersToolBarAction; import de.tub.tfs.henshin.tggeditor.actions.validate.GraphValidToolBarAction; import de.tub.tfs.muvitor.ui.MuvitorPageBookView; public class GraphicalView extends MuvitorPageBookView { @Override protected String calculatePartName() { if(getModel().eContainer() instanceof NestedCondition){ return "NAC: " + ((NamedElement) getModel()).getName(); }else{ return "Graph: " + ((NamedElement) getModel()).getName(); } } @Override protected IPage createPageForModel(EObject forModel) { GraphicalPage page = new GraphicalPage(this); IToolBarManager toolBar = getViewSite().getActionBars().getToolBarManager(); toolBar.add(new GraphValidToolBarAction(this, (GraphicalPage) page)); toolBar.add(new ExecuteFTRulesToolBarAction(this, (GraphicalPage) page)); //NEW toolBar.add(new ExecuteITRulesToolBarAction(this, (GraphicalPage) page)); toolBar.add(new ExecuteBTRulesToolBarAction(this, (GraphicalPage) page)); toolBar.add(new ExecuteCCRulesToolBarAction(this, (GraphicalPage) page)); toolBar.add(new RemoveMarkersToolBarAction(this, (GraphicalPage) page)); toolBar.add(new ExecuteFPpgStateBasedToolBarAction(this, (GraphicalPage) page)); toolBar.add(new ExecuteBPpgStateBasedToolBarAction(this, (GraphicalPage) page)); //NEW toolBar.add(new ExecuteFPpgDeltaBasedToolBarAction(this, (GraphicalPage) page)); toolBar.add(new ExecuteBPpgDeltaBasedToolBarAction(this, (GraphicalPage) page)); return page; } }