org.kahina.core.gui.breakpoint
Class SingleNodeConstraintPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  org.kahina.core.gui.breakpoint.SingleNodeConstraintPanel

All Implemented Interfaces:

ActionListener, MouseListener, ImageObserver, MenuContainer, Serializable, EventListener, Accessible

public class SingleNodeConstraintPanel
extends JPanel
implements ActionListener, MouseListener

See Also:

Serialized Form

Nested Class Summary

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

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

SingleNodeConstraintPanel(NodeConstraintOptions constrOptions, KahinaController control)

SingleNodeConstraintPanel(NodeConstraintOptions constrOptions, KahinaController control, TreePatternNode patternNode)

Method Summary

void	actionPerformed(ActionEvent e)
void	addElementaryConstraint(int rowID)
List<TreeNodePattern>	getBasePatterns()
NodeConstraintOptions	getConstrOptions()
TreeNodePattern	getMarkedPattern()
TreeNodePattern	getNodeConstraint()
TreeNodePattern	getRootPattern()
void	hint(String hint)
void	hint(String hint, Color color)
boolean	introduceConjunction(TreeNodePattern arg1, TreeNodePattern arg2)
boolean	introduceDisjunction(TreeNodePattern arg1, TreeNodePattern arg2)
boolean	introduceImplication(TreeNodePattern arg1, TreeNodePattern arg2)
void	introduceNegation(TreeNodePattern argument)
void	mouseClicked(MouseEvent arg0)
void	mouseEntered(MouseEvent arg0)
void	mouseExited(MouseEvent arg0)
void	mousePressed(MouseEvent arg0)
void	mouseReleased(MouseEvent arg0)
void	removeAllMarkings()
void	removeElementaryConstraint(int rowID)
void	setConstrOptions(NodeConstraintOptions constrOptions)
void	setHintPanel(BreakpointEditorHintPanel hintPanel)
void	setMarked(boolean mark)
void	setNodeConstraint(TreeNodePattern e)
void	setRootPattern(TreeNodePattern newRoot)
void	setSynchronized(boolean sync)
void	takeOverStructure(SingleNodeConstraintPanel panel)
String	toString()

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, 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, 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, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Constructor Detail

SingleNodeConstraintPanel

public SingleNodeConstraintPanel(NodeConstraintOptions constrOptions,
                                 KahinaController control)

SingleNodeConstraintPanel

public SingleNodeConstraintPanel(NodeConstraintOptions constrOptions,
                                 KahinaController control,
                                 TreePatternNode patternNode)

Method Detail

takeOverStructure

public void takeOverStructure(SingleNodeConstraintPanel panel)

setHintPanel

public void setHintPanel(BreakpointEditorHintPanel hintPanel)

setSynchronized

public void setSynchronized(boolean sync)

getConstrOptions

public NodeConstraintOptions getConstrOptions()

setConstrOptions

public void setConstrOptions(NodeConstraintOptions constrOptions)

getMarkedPattern

public TreeNodePattern getMarkedPattern()

getBasePatterns

public List<TreeNodePattern> getBasePatterns()

setRootPattern

public void setRootPattern(TreeNodePattern newRoot)

getRootPattern

public TreeNodePattern getRootPattern()

getNodeConstraint

public TreeNodePattern getNodeConstraint()

setNodeConstraint

public void setNodeConstraint(TreeNodePattern e)

actionPerformed

public void actionPerformed(ActionEvent e)

Specified by:

actionPerformed in interface ActionListener

introduceNegation

public void introduceNegation(TreeNodePattern argument)

introduceConjunction

public boolean introduceConjunction(TreeNodePattern arg1,
                                    TreeNodePattern arg2)

introduceDisjunction

public boolean introduceDisjunction(TreeNodePattern arg1,
                                    TreeNodePattern arg2)

introduceImplication

public boolean introduceImplication(TreeNodePattern arg1,
                                    TreeNodePattern arg2)

addElementaryConstraint

public void addElementaryConstraint(int rowID)

removeElementaryConstraint

public void removeElementaryConstraint(int rowID)

hint

public void hint(String hint)

hint

public void hint(String hint,
                 Color color)

setMarked

public void setMarked(boolean mark)

removeAllMarkings

public void removeAllMarkings()

mouseClicked

public void mouseClicked(MouseEvent arg0)

Specified by:

mouseClicked in interface MouseListener

mouseEntered

public void mouseEntered(MouseEvent arg0)

Specified by:

mouseEntered in interface MouseListener

mouseExited

public void mouseExited(MouseEvent arg0)

Specified by:

mouseExited in interface MouseListener

mousePressed

public void mousePressed(MouseEvent arg0)

Specified by:

mousePressed in interface MouseListener

mouseReleased

public void mouseReleased(MouseEvent arg0)

Specified by:

mouseReleased in interface MouseListener

toString

public String toString()

Overrides:

toString in class Component