public class GTFrameController
extends java.lang.Object
implements javax.swing.event.ChangeListener, java.awt.event.KeyListener
Red (tfeng) |
Red (tfeng) |
Modifier and Type | Class and Description |
---|---|
static class |
GTFrameController.GTActorGraphModel |
static class |
GTFrameController.GTFSMGraphModel |
static interface |
GTFrameController.UpdateController |
Modifier | Constructor and Description |
---|---|
protected |
GTFrameController(GTFrame frame) |
Modifier and Type | Method and Description |
---|---|
protected AbstractBasicGraphModel |
_createGraphModel(NamedObj entity) |
protected GraphPane |
_createGraphPane(NamedObj entity) |
protected javax.swing.JComponent |
_createRightComponent(NamedObj entity) |
protected void |
_removeListeners() |
CompositeEntity |
getActiveModel() |
int |
getActiveTabIndex() |
Configuration |
getConfiguration() |
RunnableGraphController |
getGraphController() |
java.util.List<GraphPane> |
getGraphPanes() |
JGraph |
getJGraph()
Return the JGraph instance that this view uses to represent the
ptolemy model.
|
java.util.List<JGraph> |
getJGraphs() |
javax.swing.JTabbedPane |
getTabbedPane() |
TransformationRule |
getTransformationRule() |
boolean |
hasTabs() |
boolean |
isTableActive() |
void |
keyPressed(java.awt.event.KeyEvent e) |
void |
keyReleased(java.awt.event.KeyEvent e) |
void |
keyTyped(java.awt.event.KeyEvent e) |
void |
stateChanged(javax.swing.event.ChangeEvent event)
React to a change in the state of the tabbed pane.
|
protected GTFrameController(GTFrame frame)
public CompositeEntity getActiveModel()
public int getActiveTabIndex()
public Configuration getConfiguration()
public RunnableGraphController getGraphController()
public java.util.List<GraphPane> getGraphPanes()
public JGraph getJGraph()
BasicGraphFrame.getJGraph()
,
BasicGraphFrame.setJGraph(JGraph)
public java.util.List<JGraph> getJGraphs()
public javax.swing.JTabbedPane getTabbedPane()
public TransformationRule getTransformationRule()
public boolean hasTabs()
public boolean isTableActive()
public void keyPressed(java.awt.event.KeyEvent e)
keyPressed
in interface java.awt.event.KeyListener
public void keyReleased(java.awt.event.KeyEvent e)
keyReleased
in interface java.awt.event.KeyListener
public void keyTyped(java.awt.event.KeyEvent e)
keyTyped
in interface java.awt.event.KeyListener
public void stateChanged(javax.swing.event.ChangeEvent event)
stateChanged
in interface javax.swing.event.ChangeListener
event
- The event.protected AbstractBasicGraphModel _createGraphModel(NamedObj entity)
protected javax.swing.JComponent _createRightComponent(NamedObj entity)
protected void _removeListeners()