org.eclipse.viatra.addon.viewers.runtime.zest.extensions

Class ViatraViewersZestViewSupport

java.lang.Object

org.eclipse.viatra.addon.viewers.runtime.extensions.ViatraViewersPartSupport

org.eclipse.viatra.addon.viewers.runtime.extensions.ViatraViewersViewSupport

org.eclipse.viatra.addon.viewers.runtime.extensions.jface.ViatraViewersJFaceViewSupport

org.eclipse.viatra.addon.viewers.runtime.zest.extensions.ViatraViewersZestViewSupport

All Implemented Interfaces:

org.eclipse.jface.viewers.ISelectionProvider

public class ViatraViewersZestViewSupport
extends ViatraViewersJFaceViewSupport

Support class for ViewParts based on a single Zest GraphViewer.

Field Summary

Fields inherited from class org.eclipse.viatra.addon.viewers.runtime.extensions.ViatraViewersPartSupport

configuration

Constructor Summary

Constructors

Constructor and Description
ViatraViewersZestViewSupport(org.eclipse.ui.IViewPart _owner, ViewersComponentConfiguration _config, org.eclipse.viatra.query.runtime.api.IModelConnectorTypeEnum _scope, org.eclipse.gef4.zest.core.viewers.GraphViewer _graphViewer)

Method Summary

Methods

Modifier and Type	Method and Description
org.eclipse.jface.action.MenuManager	createLayoutMenu()
void	createToolbar()
org.eclipse.gef4.zest.core.viewers.GraphViewer	getGraphViewer()

Methods inherited from class org.eclipse.viatra.addon.viewers.runtime.extensions.jface.ViatraViewersJFaceViewSupport

addSelectionChangedListener, dispose, getSelection, removeSelectionChangedListener, setSelection

Methods inherited from class org.eclipse.viatra.addon.viewers.runtime.extensions.ViatraViewersViewSupport

createPartControl

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ViatraViewersZestViewSupport

public ViatraViewersZestViewSupport(org.eclipse.ui.IViewPart _owner,
                            ViewersComponentConfiguration _config,
                            org.eclipse.viatra.query.runtime.api.IModelConnectorTypeEnum _scope,
                            org.eclipse.gef4.zest.core.viewers.GraphViewer _graphViewer)

Method Detail

getGraphViewer

public org.eclipse.gef4.zest.core.viewers.GraphViewer getGraphViewer()

createToolbar

public void createToolbar()

createLayoutMenu

public org.eclipse.jface.action.MenuManager createLayoutMenu()