Package jadex.commons

Interface IBreakpointPanel

    • Field Detail

      • EVENT_TYPE_SELECTED

        static final java.lang.String EVENT_TYPE_SELECTED
        Event type for changed breakpoint selection (e.g. chosen for display).
        See Also:
        Constant Field Values
    • Method Detail

      • addBreakpointListener

        void addBreakpointListener​(IChangeListener listener)
        Add a listener to receive breakpoint selected events.
        Parameters:
        listener - The change listener.
      • removeBreakpointListener

        void removeBreakpointListener​(IChangeListener listener)
        Remove a listener from receiving breakpoint selected events.
        Parameters:
        listener - The change listener.
      • getSelectedBreakpoints

        java.lang.String[] getSelectedBreakpoints()
        Get the currently selected breakpoints. Selected breakpoints should be displayed or highlighted (if possible).
        Returns:
        An array of selected breakpoints.
      • setSelectedBreakpoints

        void setSelectedBreakpoints​(java.lang.String[] breakpoints)
        Set the currently selected breakpoints. Update the selection in the breakpoint list. Throws an event.
        Parameters:
        breakpoints - The currently selected breakpoints.
      • dispose

        void dispose()
        Dispose the panel, when the gui is closed.