sota.gui.views
Class CFGView

java.lang.Object
  extended by org.eclipse.core.commands.common.EventManager
      extended by org.eclipse.ui.part.WorkbenchPart
          extended by org.eclipse.ui.part.ViewPart
              extended by sota.gui.views.CFGView
All Implemented Interfaces:
java.util.EventListener, org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IPersistable, org.eclipse.ui.ISelectionListener, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.IWorkbenchPart3, org.eclipse.ui.part.IWorkbenchPartOrientation, GuiUpdateListener

public class CFGView
extends org.eclipse.ui.part.ViewPart
implements GuiUpdateListener, org.eclipse.ui.ISelectionListener, org.eclipse.jface.util.IPropertyChangeListener

Stellt die Ansicht des Kontrollflussgraphen dar.


Field Summary
private  CFGPlotter cfgPlotter
           
private  ASTFunctionNode functionNode
           
private  GraphManager gcm
           
static java.lang.String ID
           
private  boolean PIN_SOURCE
           
private  boolean SHOW_NUMBERS
           
 
Fields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE
 
Constructor Summary
CFGView()
           
 
Method Summary
private  void createActions()
          Erstellt die Aktionen für diese Ansicht.
 void createPartControl(org.eclipse.swt.widgets.Composite parent)
           
 void guiUpdate(ASTManager ast)
          Wird bei der GUI-Aktualisierung aufgerufen.
 void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
           
 void selectionChanged(org.eclipse.ui.IWorkbenchPart part, org.eclipse.jface.viewers.ISelection selection)
           
 void setFocus()
           
 
Methods inherited from class org.eclipse.ui.part.ViewPart
checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartName
 
Methods inherited from class org.eclipse.ui.part.WorkbenchPart
addPartPropertyListener, addPropertyListener, dispose, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy
 
Methods inherited from class org.eclipse.core.commands.common.EventManager
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.ui.IWorkbenchPart
addPropertyListener, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener
 
Methods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapter
 

Field Detail

cfgPlotter

private CFGPlotter cfgPlotter

functionNode

private ASTFunctionNode functionNode

gcm

private GraphManager gcm

ID

public static final java.lang.String ID
See Also:
Constant Field Values

PIN_SOURCE

private final boolean PIN_SOURCE
See Also:
Constant Field Values

SHOW_NUMBERS

private final boolean SHOW_NUMBERS
See Also:
Constant Field Values
Constructor Detail

CFGView

public CFGView()
Method Detail

createActions

private void createActions()
Erstellt die Aktionen für diese Ansicht.


createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)
Specified by:
createPartControl in interface org.eclipse.ui.IWorkbenchPart
Specified by:
createPartControl in class org.eclipse.ui.part.WorkbenchPart

guiUpdate

public void guiUpdate(ASTManager ast)
Description copied from interface: GuiUpdateListener
Wird bei der GUI-Aktualisierung aufgerufen.

Specified by:
guiUpdate in interface GuiUpdateListener
Parameters:
ast - der aktuelle ASTManager

propertyChange

public void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
Specified by:
propertyChange in interface org.eclipse.jface.util.IPropertyChangeListener

selectionChanged

public void selectionChanged(org.eclipse.ui.IWorkbenchPart part,
                             org.eclipse.jface.viewers.ISelection selection)
Specified by:
selectionChanged in interface org.eclipse.ui.ISelectionListener

setFocus

public void setFocus()
Specified by:
setFocus in interface org.eclipse.ui.IWorkbenchPart
Specified by:
setFocus in class org.eclipse.ui.part.WorkbenchPart