|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.core.commands.common.EventManager
org.eclipse.ui.part.WorkbenchPart
org.eclipse.ui.part.ViewPart
sota.gui.views.CFGView
public class CFGView
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 |
---|
private CFGPlotter cfgPlotter
private ASTFunctionNode functionNode
private GraphManager gcm
public static final java.lang.String ID
private final boolean PIN_SOURCE
private final boolean SHOW_NUMBERS
Constructor Detail |
---|
public CFGView()
Method Detail |
---|
private void createActions()
public void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
createPartControl
in class org.eclipse.ui.part.WorkbenchPart
public void guiUpdate(ASTManager ast)
GuiUpdateListener
guiUpdate
in interface GuiUpdateListener
ast
- der aktuelle ASTManagerpublic void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
propertyChange
in interface org.eclipse.jface.util.IPropertyChangeListener
public void selectionChanged(org.eclipse.ui.IWorkbenchPart part, org.eclipse.jface.viewers.ISelection selection)
selectionChanged
in interface org.eclipse.ui.ISelectionListener
public void setFocus()
setFocus
in interface org.eclipse.ui.IWorkbenchPart
setFocus
in class org.eclipse.ui.part.WorkbenchPart
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |