nl.cwi.sen1.tide.tool.srcviewer
Class ValuePopup

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  nl.cwi.sen1.tide.tool.srcviewer.ValuePopup

All Implemented Interfaces:

java.awt.event.ActionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, DebugProcessListener, ProcessStatusChangeListener

 class ValuePopup
extends javax.swing.JPanel
implements DebugProcessListener, ProcessStatusChangeListener, java.awt.event.ActionListener

Nested Class Summary

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

javax.swing.JPanel.AccessibleJPanel

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

javax.swing.JComponent.AccessibleJComponent

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

java.awt.Container.AccessibleAWTContainer

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

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

private javax.swing.Icon	closeIcon
private static java.awt.Color	COLOR_BACK_CLEAN
private static java.awt.Color	COLOR_BACK_DIRTY
private static java.awt.Color	COLOR_BORDER
private java.lang.String	content
private int	drag_trans_x
private int	drag_trans_y
private Expr	expr
private java.awt.Font	font
private ExprFormat	format
static int	ICON_SIZE
private int	id
private static java.lang.String	ITEM_EDIT_RULE
private static java.lang.String	ITEM_VIEW_VARIABLE
private java.lang.String	label
private ToolManager	manager
private javax.swing.JPopupMenu	menu
private java.awt.FontMetrics	metrics
private static int	next_id
private DebugProcess	process
private java.lang.String	tag_update
private static java.lang.String	TAG_UPDATE
private Rule	updateRule
private boolean	uptodate
private SourceFileViewer	viewer

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

ValuePopup(ToolManager manager, SourceFileViewer viewer, DebugProcess process, Expr expr, java.lang.String label, Expr initial_value, ExprFormat fmt)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent event)
void	closePopup()
void	evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
int	getDragTransX()
int	getDragTransY()
java.awt.Dimension	getPreferredSize()
Rule	getUpdateRule()
private javax.swing.Icon	loadIcon(java.lang.String name)
void	paint(java.awt.Graphics g)
void	processStatusChanged(DebugProcess process)
void	remove()
void	ruleCreated(DebugProcess process, Rule rule)
void	ruleDeleted(DebugProcess process, Rule rule)
void	ruleModified(DebugProcess process, Rule rule)
void	ruleTriggered(DebugProcess process, Rule rule, Expr value)
void	selectRule(DebugProcess process, Rule rule)
void	show(javax.swing.JComponent invoker, int x, int y)
void	showMenu(java.awt.Component parent, int x, int y)
void	startDragging(int start_x, int start_y)
void	updateValue()
private void	updateValue(Expr value)

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, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, 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, 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, setVisible, 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, 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, getName, 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, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

ICON_SIZE

public static final int ICON_SIZE

See Also:

Constant Field Values

TAG_UPDATE

private static final java.lang.String TAG_UPDATE

See Also:

Constant Field Values

COLOR_BACK_CLEAN

private static final java.awt.Color COLOR_BACK_CLEAN

COLOR_BACK_DIRTY

private static final java.awt.Color COLOR_BACK_DIRTY

COLOR_BORDER

private static final java.awt.Color COLOR_BORDER

ITEM_EDIT_RULE

private static final java.lang.String ITEM_EDIT_RULE

See Also:

Constant Field Values

ITEM_VIEW_VARIABLE

private static final java.lang.String ITEM_VIEW_VARIABLE

See Also:

Constant Field Values

next_id

private static int next_id

id

private int id

manager

private ToolManager manager

viewer

private SourceFileViewer viewer

tag_update

private java.lang.String tag_update

process

private DebugProcess process

updateRule

private Rule updateRule

expr

private Expr expr

label

private java.lang.String label

format

private ExprFormat format

uptodate

private boolean uptodate

content

private java.lang.String content

font

private java.awt.Font font

metrics

private java.awt.FontMetrics metrics

closeIcon

private javax.swing.Icon closeIcon

drag_trans_x

private int drag_trans_x

drag_trans_y

private int drag_trans_y

menu

private javax.swing.JPopupMenu menu

Constructor Detail

ValuePopup

public ValuePopup(ToolManager manager,
                  SourceFileViewer viewer,
                  DebugProcess process,
                  Expr expr,
                  java.lang.String label,
                  Expr initial_value,
                  ExprFormat fmt)

Method Detail

getUpdateRule

public Rule getUpdateRule()

loadIcon

private javax.swing.Icon loadIcon(java.lang.String name)

getPreferredSize

public java.awt.Dimension getPreferredSize()

Overrides:

getPreferredSize in class javax.swing.JComponent

paint

public void paint(java.awt.Graphics g)

Overrides:

paint in class javax.swing.JComponent

show

public void show(javax.swing.JComponent invoker,
                 int x,
                 int y)

remove

public void remove()

startDragging

public void startDragging(int start_x,
                          int start_y)

getDragTransX

public int getDragTransX()

getDragTransY

public int getDragTransY()

closePopup

public void closePopup()

updateValue

public void updateValue()

showMenu

public void showMenu(java.awt.Component parent,
                     int x,
                     int y)

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent event)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

processStatusChanged

public void processStatusChanged(DebugProcess process)

Specified by:

processStatusChanged in interface ProcessStatusChangeListener

updateValue

private void updateValue(Expr value)

ruleCreated

public void ruleCreated(DebugProcess process,
                        Rule rule)

Specified by:

ruleCreated in interface DebugProcessListener

ruleDeleted

public void ruleDeleted(DebugProcess process,
                        Rule rule)

Specified by:

ruleDeleted in interface DebugProcessListener

ruleModified

public void ruleModified(DebugProcess process,
                         Rule rule)

Specified by:

ruleModified in interface DebugProcessListener

ruleTriggered

public void ruleTriggered(DebugProcess process,
                          Rule rule,
                          Expr value)

Specified by:

ruleTriggered in interface DebugProcessListener

evaluationResult

public void evaluationResult(DebugProcess process,
                             Expr expr,
                             Expr value,
                             java.lang.String tag)

Specified by:

evaluationResult in interface DebugProcessListener

selectRule

public void selectRule(DebugProcess process,
                       Rule rule)