Class SimpleRevisionCompareView
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- javax.swing.JPanel
-
- net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
-
- All Implemented Interfaces:
java.awt.image.ImageObserver
,java.awt.MenuContainer
,java.beans.PropertyChangeListener
,java.io.Serializable
,java.util.EventListener
,javax.accessibility.Accessible
public class SimpleRevisionCompareView extends javax.swing.JPanel implements java.beans.PropertyChangeListener
The default view for a revision compare. This class is responsible to create the hierarchy of widgets and delegates its inputs to the RevisionComparePresenter. Everytime an update occurs the output of the revision is updated. This class is based in spirit on the RevisionCompareView in the beliefdynamics.gui package.- Author:
- Sebastian Homann, Tim Janus
- 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
-
-
Field Summary
Fields Modifier and Type Field Description protected javax.swing.JButton
btnAddLeft
protected javax.swing.JButton
btnAddRight
protected javax.swing.JButton
btnRunRevision
protected javax.swing.JComboBox<BaseRevisionOperator<?>>
cbOperatorLeft
protected javax.swing.JComboBox<BaseRevisionOperator<?>>
cbOperatorRight
protected javax.swing.JList<AnswerSet>
lstLeftAnswerSets
protected javax.swing.JList<AnswerSet>
lstRightAnswerSets
private static long
serialVersionUID
kill warningprotected javax.swing.JTextArea
txtBeliefBase
protected javax.swing.JTextArea
txtNewBeliefs
protected javax.swing.JTextArea
txtResultLeft
protected javax.swing.JTextArea
txtResultRight
-
Fields inherited from class javax.swing.JComponent
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
-
-
Constructor Summary
Constructors Constructor Description SimpleRevisionCompareView()
Default Ctor: Creates the view
-
Method Summary
Modifier and Type Method Description private javax.swing.JPanel
guiGetAnswerSetView()
private javax.swing.JPanel
guiGetButtons()
private javax.swing.JPanel
guiGetInput()
private javax.swing.JPanel
guiGetOperatorControls()
private javax.swing.JPanel
guiGetRevisionResult()
void
propertyChange(java.beans.PropertyChangeEvent evt)
Reacts to property change events to keep the view up to date.-
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, 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, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
-
-
-
-
Field Detail
-
serialVersionUID
private static final long serialVersionUID
kill warning- See Also:
- Constant Field Values
-
cbOperatorLeft
protected javax.swing.JComboBox<BaseRevisionOperator<?>> cbOperatorLeft
-
cbOperatorRight
protected javax.swing.JComboBox<BaseRevisionOperator<?>> cbOperatorRight
-
btnAddLeft
protected javax.swing.JButton btnAddLeft
-
btnAddRight
protected javax.swing.JButton btnAddRight
-
btnRunRevision
protected javax.swing.JButton btnRunRevision
-
txtResultLeft
protected javax.swing.JTextArea txtResultLeft
-
txtResultRight
protected javax.swing.JTextArea txtResultRight
-
txtBeliefBase
protected javax.swing.JTextArea txtBeliefBase
-
txtNewBeliefs
protected javax.swing.JTextArea txtNewBeliefs
-
lstLeftAnswerSets
protected javax.swing.JList<AnswerSet> lstLeftAnswerSets
-
lstRightAnswerSets
protected javax.swing.JList<AnswerSet> lstRightAnswerSets
-
-
Method Detail
-
guiGetAnswerSetView
private javax.swing.JPanel guiGetAnswerSetView()
-
guiGetRevisionResult
private javax.swing.JPanel guiGetRevisionResult()
-
guiGetInput
private javax.swing.JPanel guiGetInput()
-
guiGetOperatorControls
private javax.swing.JPanel guiGetOperatorControls()
-
guiGetButtons
private javax.swing.JPanel guiGetButtons()
-
propertyChange
public void propertyChange(java.beans.PropertyChangeEvent evt)
Reacts to property change events to keep the view up to date. The presenter is responsible to register the view at the correct data-model.- Specified by:
propertyChange
in interfacejava.beans.PropertyChangeListener
-
-