Interface NodeSelectionSource

    • Method Detail

      • setFocusNode

        void setFocusNode​(net.sourceforge.pmd.lang.ast.Node node)
        Updates the UI to react to a change in focus node. This is called whenever some selection source in the tree records a change.
      • initNodeSelectionHandling

        default void initNodeSelectionHandling​(DesignerRoot root,
                                               org.reactfx.EventStream<? extends net.sourceforge.pmd.lang.ast.Node> mySelectionEvents,
                                               boolean alwaysHandleSelection)
        Initialises this component. Must be called by the component somewhere.
        Parameters:
        root - Instance of the app. Should be the same as ApplicationComponent.getDesignerRoot(), but the parameter here is to make it clear that ApplicationComponent.getDesignerRoot() must be initialized before this method is called.
        mySelectionEvents - Stream of nodes that should push an event each time the user selects a node from this control. The whole app will sync to this new selection.
        alwaysHandleSelection - Whether the component should handle selection events that originated from itself. For now some must, because they aggregate several selection sources (the NodeInfoPanelController). Splitting it into separate controls will remove the need for that.