org.kahina.core.edit.breakpoint

Class SingleNodeConstraintPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

All Implemented Interfaces:

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

public class SingleNodeConstraintPanel
extends javax.swing.JPanel
implements java.awt.event.ActionListener, java.awt.event.MouseListener

See Also:

Serialized Form

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

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

Constructors

Constructor and Description
SingleNodeConstraintPanel(NodeConstraintOptions constrOptions, KahinaInstance<?,?,?,?> kahina)
SingleNodeConstraintPanel(NodeConstraintOptions constrOptions, KahinaInstance<?,?,?,?> kahina, KahinaSimpleProperty pattern)

Method Summary

Methods

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
void	addElementaryConstraint(int rowID)
java.util.List<KahinaSimpleProperty>	getBasePatterns()
NodeConstraintOptions	getConstrOptions()
KahinaSimpleProperty	getMarkedPattern()
KahinaSimpleProperty	getNodeConstraint()
KahinaSimpleProperty	getRootPattern()
void	hint(java.lang.String hint)
void	hint(java.lang.String hint, java.awt.Color color)
boolean	introduceConjunction(KahinaSimpleProperty arg1, KahinaSimpleProperty arg2)
boolean	introduceDisjunction(KahinaSimpleProperty arg1, KahinaSimpleProperty arg2)
boolean	introduceImplication(KahinaSimpleProperty arg1, KahinaSimpleProperty arg2)
void	introduceNegation(KahinaSimpleProperty argument)
void	mouseClicked(java.awt.event.MouseEvent arg0)
void	mouseEntered(java.awt.event.MouseEvent arg0)
void	mouseExited(java.awt.event.MouseEvent arg0)
void	mousePressed(java.awt.event.MouseEvent arg0)
void	mouseReleased(java.awt.event.MouseEvent arg0)
void	removeAllMarkings()
void	removeElementaryConstraint(int rowID)
void	setConstrOptions(NodeConstraintOptions constrOptions)
void	setHintPanel(BreakpointEditorHintPanel hintPanel)
void	setMarked(boolean mark)
void	setNodeConstraint(KahinaSimpleProperty e)
void	setNodeSelectionMode(int selectionMode)
void	setRootPattern(KahinaSimpleProperty newRoot)
void	setSynchronized(boolean sync)
void	takeOverStructure(SingleNodeConstraintPanel panel)
java.lang.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, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, 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, 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, transferFocusBackward, 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,
                         KahinaInstance<?,?,?,?> kahina)

SingleNodeConstraintPanel

public SingleNodeConstraintPanel(NodeConstraintOptions constrOptions,
                         KahinaInstance<?,?,?,?> kahina,
                         KahinaSimpleProperty pattern)

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 KahinaSimpleProperty getMarkedPattern()

getBasePatterns

public java.util.List<KahinaSimpleProperty> getBasePatterns()

setRootPattern

public void setRootPattern(KahinaSimpleProperty newRoot)

getRootPattern

public KahinaSimpleProperty getRootPattern()

getNodeConstraint

public KahinaSimpleProperty getNodeConstraint()

setNodeConstraint

public void setNodeConstraint(KahinaSimpleProperty e)

actionPerformed

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

Specified by:

actionPerformed in interface java.awt.event.ActionListener

introduceNegation

public void introduceNegation(KahinaSimpleProperty argument)

introduceConjunction

public boolean introduceConjunction(KahinaSimpleProperty arg1,
                           KahinaSimpleProperty arg2)

introduceDisjunction

public boolean introduceDisjunction(KahinaSimpleProperty arg1,
                           KahinaSimpleProperty arg2)

introduceImplication

public boolean introduceImplication(KahinaSimpleProperty arg1,
                           KahinaSimpleProperty arg2)

addElementaryConstraint

public void addElementaryConstraint(int rowID)

removeElementaryConstraint

public void removeElementaryConstraint(int rowID)

hint

public void hint(java.lang.String hint)

hint

public void hint(java.lang.String hint,
        java.awt.Color color)

setMarked

public void setMarked(boolean mark)

removeAllMarkings

public void removeAllMarkings()

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent arg0)

Specified by:

mouseClicked in interface java.awt.event.MouseListener

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent arg0)

Specified by:

mouseEntered in interface java.awt.event.MouseListener

mouseExited

public void mouseExited(java.awt.event.MouseEvent arg0)

Specified by:

mouseExited in interface java.awt.event.MouseListener

mousePressed

public void mousePressed(java.awt.event.MouseEvent arg0)

Specified by:

mousePressed in interface java.awt.event.MouseListener

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent arg0)

Specified by:

mouseReleased in interface java.awt.event.MouseListener

setNodeSelectionMode

public void setNodeSelectionMode(int selectionMode)

toString

public java.lang.String toString()

Overrides:

toString in class java.awt.Component