Class MatchResultViewer.MatchResultFSMGraphController

    • Constructor Detail

      • MatchResultFSMGraphController

        protected MatchResultFSMGraphController()
    • Method Detail

      • drawNode

        public Figure drawNode​(java.lang.Object node)
        Description copied from class: AbstractGraphController
        Draw the given node: create a figure, place it in the canvas, and associate the figure with the node. This should only be called when the object is in the model but does not yet have a figure associated with it. The location of the figure should be set if some location is appropriate for it.
        Specified by:
        drawNode in interface GraphController
        Overrides:
        drawNode in class AbstractGraphController
      • _createControllers

        protected void _createControllers()
        Description copied from class: FSMGraphController
        Create the controllers for nodes in this graph. In this class, controllers with FULL access are created. This is called by the constructor, so derived classes that override this must be careful not to reference local variables defined in the derived classes, because the derived classes will not have been fully constructed by the time this is called.
        Overrides:
        _createControllers in class FSMGraphController