edu.rice.cs.drjava.ui
Class BreakpointsPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  edu.rice.cs.drjava.ui.TabbedPanel
                      edu.rice.cs.drjava.ui.RegionsTreePanel<Breakpoint>
                          edu.rice.cs.drjava.ui.BreakpointsPanel

All Implemented Interfaces:

DropTargetListener, ImageObserver, MenuContainer, Serializable, EventListener, Accessible

public class BreakpointsPanel
extends RegionsTreePanel<Breakpoint>

Panel for displaying the breakpoints. This class is a swing view class and hence should only be accessed from the event-handling thread.

Version:

$Id$

See Also:

Serialized Form

Nested Class Summary

protected static class

BreakpointsPanel.BreakpointRegionTreeUserObj Class that gets put into the tree.

Nested classes/interfaces inherited from class edu.rice.cs.drjava.ui.RegionsTreePanel

RegionsTreePanel.DefaultState, RegionsTreePanel.IChangeState, RegionsTreePanel.RegionMouseAdapter, RegionsTreePanel.RegionTree, RegionsTreePanel.RegionTreeUserObj<R extends OrderedDocumentRegion>

Nested classes/interfaces inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

protected Debugger	_debugger
protected JButton	_enableDisableButton
protected JButton	_goToButton
protected JButton	_removeAllButton
protected JButton	_removeButton

Fields inherited from class edu.rice.cs.drjava.ui.RegionsTreePanel

_buttonPanel, _changeState, _docToTreeNode, _frame, _leftPane, _model, _regionManager, _regionPopupMenu, _regionToTreeNode, _regTree, _regTreeModel, _rootNode, _title, DEFAULT_STATE, dtcr

Fields inherited from class edu.rice.cs.drjava.ui.TabbedPanel

_closeButton, _closePanel, _displayed, _mainPanel

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

BreakpointsPanel(MainFrame frame, RegionManager<Breakpoint> breakpointManager)
Constructs a new breakpoints panel.

Method Summary

protected void	_updateButtons() Update button state and text.
protected void	closeIfEmpty() Overloaded for BreakpointsPanel, do not close the panel if the tree becomes empty.
protected void	enableDisableBreakpoint() Toggle breakpoint's enable/disable flag.
protected void	goToRegion() Go to region.
protected JComponent[]	makeButtons() Creates the buttons for controlling the regions.
protected AbstractAction[]	makePopupMenuActions() Makes the popup menu actions.
protected RegionsTreePanel.RegionTreeUserObj<Breakpoint>	makeRegionTreeUserObj(Breakpoint bp) Factory method to create user objects put in the tree.
protected void	performDefaultAction() Action performed when the Enter key is pressed.

Methods inherited from class edu.rice.cs.drjava.ui.RegionsTreePanel

_close, _remove, _requestFocusInWindow, addRegion, collapseAll, expandAll, expandTree, getSelectedRegions, reload, removeRegion, requestFocusInWindow, updateButtons, updatePanel

Methods inherited from class edu.rice.cs.drjava.ui.TabbedPanel

addCloseListener, dragEnter, dragExit, dragOver, drop, dropActionChanged, getName, isDisplayed, setDisplayed, setVisible

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_goToButton

protected JButton _goToButton

_enableDisableButton

protected JButton _enableDisableButton

_removeButton

protected JButton _removeButton

_removeAllButton

protected JButton _removeAllButton

_debugger

protected final Debugger _debugger

Constructor Detail

BreakpointsPanel

public BreakpointsPanel(MainFrame frame,
                        RegionManager<Breakpoint> breakpointManager)

Constructs a new breakpoints panel. This is swing view class and hence should only be accessed from the event-handling thread.

Parameters:

frame - the MainFrame

Method Detail

performDefaultAction

protected void performDefaultAction()

Action performed when the Enter key is pressed. Should be overridden.

Overrides:

performDefaultAction in class RegionsTreePanel<Breakpoint>

makeButtons

protected JComponent[] makeButtons()

Creates the buttons for controlling the regions. Should be overridden.

Overrides:

makeButtons in class RegionsTreePanel<Breakpoint>

_updateButtons

protected void _updateButtons()

Update button state and text.

Overrides:

_updateButtons in class RegionsTreePanel<Breakpoint>

closeIfEmpty

protected void closeIfEmpty()

Overloaded for BreakpointsPanel, do not close the panel if the tree becomes empty.

Overrides:

closeIfEmpty in class RegionsTreePanel<Breakpoint>

makePopupMenuActions

protected AbstractAction[] makePopupMenuActions()

Makes the popup menu actions. Should be overridden if additional actions besides "Go to" and "Remove" are added.

Overrides:

makePopupMenuActions in class RegionsTreePanel<Breakpoint>

goToRegion

protected void goToRegion()

Go to region.

Overrides:

goToRegion in class RegionsTreePanel<Breakpoint>

enableDisableBreakpoint

protected void enableDisableBreakpoint()

Toggle breakpoint's enable/disable flag.

makeRegionTreeUserObj

protected RegionsTreePanel.RegionTreeUserObj<Breakpoint> makeRegionTreeUserObj(Breakpoint bp)

Factory method to create user objects put in the tree. If subclasses extend RegionTreeUserObj, they need to override this method.

Overrides:

makeRegionTreeUserObj in class RegionsTreePanel<Breakpoint>