protected class MatchResultViewer.MatchResultFSMGraphController extends FSMGraphController
FSMGraphController.LinkCreator, FSMGraphController.NewStateAction
WithIconGraphController.NewPortAction
BasicGraphController.OpenBaseClassAction, BasicGraphController.SchematicContextMenuFactory, BasicGraphController.UnitSolverDialogAction
_attributeController, _modalTransitionController, _stateController, _transitionController
_editIconAction, _portController, _removeIconAction
_animated, _animationRenderer, _configureAction, _configureMenuFactory, _menuCreator, _menuFactory, _openBaseClassAction, _unitSolverDialogAction
Modifier | Constructor and Description |
---|---|
protected |
MatchResultFSMGraphController() |
Modifier and Type | Method and Description |
---|---|
protected void |
_createControllers()
Create the controllers for nodes in this graph.
|
Figure |
drawNode(java.lang.Object node)
Draw the given node: create a figure, place it in the canvas,
and associate the figure with the node.
|
_initializeInteraction, addToMenuAndToolbar, initializeInteraction, setConfiguration
_addHotKeys, event, getEdgeController, getNodeController
_getManager, _report, _report, executionError, executionFinished, managerStateChanged
getNewPortLocation
_areThereActiveErrorHighlights, _getClearAllErrorHighlightsChangeRequest, clearAllErrorHighlights, clearAnimation, getAnimationDelay, getConfiguration, getConfigureMenuFactory, getFrame, highlightError, message, setAnimationDelay, setFigure, setFrame, valueChanged
addEdge, addEdge, addGraphViewListener, addNode, addNode, addNode, addNode, clear, clearEdge, clearNode, dispatch, drawEdge, drawNode, getFigure, getGraphModel, getGraphPane, getSelectionModel, removeEdge, removeGraphViewListener, removeNode, rerender, rerenderEdge, rerenderNode, setGraphModel, setGraphPane, setSelectionModel
public Figure drawNode(java.lang.Object node)
AbstractGraphController
drawNode
in interface GraphController
drawNode
in class AbstractGraphController
protected void _createControllers()
FSMGraphController
_createControllers
in class FSMGraphController