The Meta-Environment API

nl.cwi.sen1.tide.tool.ruleinspector
Class RuleEditor

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by nl.cwi.sen1.tide.tool.ruleinspector.RuleEditor
All Implemented Interfaces:
java.awt.event.ActionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, RuleSelectionListener, DebugProcessListener

 class RuleEditor
extends javax.swing.JPanel
implements RuleSelectionListener, java.awt.event.ActionListener, DebugProcessListener


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
(package private)  javax.swing.JTextArea action
           
(package private)  javax.swing.JLabel actionLabel
           
(package private)  javax.swing.JButton applyButton
           
(package private)  javax.swing.border.TitledBorder border
           
private static java.awt.Color COLOR_MODIFIED
           
private static java.awt.Color COLOR_UNMODIFIED
           
(package private)  javax.swing.JTextField condition
           
(package private)  javax.swing.JLabel conditionLabel
           
(package private)  javax.swing.JButton createButton
           
(package private)  javax.swing.JButton deleteButton
           
(package private)  javax.swing.JCheckBox enabled
           
(package private)  boolean modified
           
(package private)  javax.swing.JComboBox port
           
(package private)  javax.swing.JLabel portLabel
           
(package private)  DebugProcess process
           
(package private)  javax.swing.JButton revertButton
           
(package private)  Rule rule
           
(package private)  javax.swing.JLabel tag
           
 
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
RuleEditor(DebugProcess process)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent event)
           
 void cleanup()
           
 void clear()
           
 void evaluationResult(DebugProcess process, Expr expr, Expr value, java.lang.String tag)
           
 void ruleCreated(DebugProcess process, Rule rule)
           
 void ruleDeleted(DebugProcess process, Rule rule)
           
 void ruleModified(DebugProcess process, Rule rule)
           
 void ruleSelected(Rule rule)
           
 void ruleTriggered(DebugProcess process, Rule rule, Expr value)
           
private  void setModified(boolean on)
           
 
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, 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

COLOR_MODIFIED

private static final java.awt.Color COLOR_MODIFIED

COLOR_UNMODIFIED

private static final java.awt.Color COLOR_UNMODIFIED

process

DebugProcess process

rule

Rule rule

border

javax.swing.border.TitledBorder border

modified

boolean modified

tag

javax.swing.JLabel tag

enabled

javax.swing.JCheckBox enabled

portLabel

javax.swing.JLabel portLabel

port

javax.swing.JComboBox port

conditionLabel

javax.swing.JLabel conditionLabel

condition

javax.swing.JTextField condition

actionLabel

javax.swing.JLabel actionLabel

action

javax.swing.JTextArea action

createButton

javax.swing.JButton createButton

applyButton

javax.swing.JButton applyButton

revertButton

javax.swing.JButton revertButton

deleteButton

javax.swing.JButton deleteButton
Constructor Detail

RuleEditor

public RuleEditor(DebugProcess process)
Method Detail

cleanup

public void cleanup()

clear

public void clear()

ruleSelected

public void ruleSelected(Rule rule)
Specified by:
ruleSelected in interface RuleSelectionListener

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

setModified

private void setModified(boolean on)

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent event)
Specified by:
actionPerformed in interface java.awt.event.ActionListener

The Meta-Environment API