Package net.sf.tweety.beliefdynamics.gui
Class RevisionCompareView
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- javax.swing.JPanel
-
- net.sf.tweety.beliefdynamics.gui.RevisionCompareView
-
- All Implemented Interfaces:
java.awt.image.ImageObserver
,java.awt.MenuContainer
,java.beans.PropertyChangeListener
,java.io.Serializable
,java.util.EventListener
,javax.accessibility.Accessible
public class RevisionCompareView 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.- Author:
- 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
btnAdd
protected javax.swing.JButton
btnDown
protected javax.swing.JButton
btnRemove
protected javax.swing.JButton
btnUp
protected javax.swing.JComboBox<BaseRevisionOperator<?>>
cbOperatorLeft
protected javax.swing.JComboBox<BaseRevisionOperator<?>>
cbOperatorRight
protected javax.swing.JCheckBox
checkIterativeLeft
protected javax.swing.JCheckBox
checkIterativeRight
protected javax.swing.JList<java.util.Collection<? extends Formula>>
lstBeliefBases
private javax.swing.DefaultListModel<java.util.Collection<? extends Formula>>
lstModel
private static long
serialVersionUID
kill warningprotected javax.swing.JSlider
sliderStep
protected javax.swing.JTextArea
txtBeliefBases
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 RevisionCompareView()
Default Ctor: Creates the view
-
Method Summary
Modifier and Type Method Description private void
beliefbasesUpdated()
Helper method.private void
createBeliefbaseControl()
Helper method: Creates the belief base control panel, there one can change the ordering of the belief bases for the revision and add or remove belief bases.private void
createCompareView()
Helper method: Creates the controls to show the comparison between the two selected revision methods it is located at the center of this view.private void
createUpperBar()
Helper method: Creates the control bar at the top of this view which allows the user to change the revision operators used for comparison.void
propertyChange(java.beans.PropertyChangeEvent evt)
Reacts to property change events to keep the view up to date.private <T extends Formula>
java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>>revision(BaseRevisionOperator<T> op)
Helper method: Runs a revision on BaseRevisionOperator interfaces which only allows the revision with one formula.private <T extends Formula>
java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>>revision(CredibilityRevision<T> op)
Helper method: Runs a revision using the credibility revision operator interface.private <T extends Formula>
java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>>revision(MultipleBaseRevisionOperator<T> op)
Helper method: Runs a revision of using multiple belief bases with the MultipleBaseRevisionOperator.private void
updateRevision()
Helper method: Updates the revision on both operators because the data set has changed.private java.lang.String
updateRevision(java.lang.Object op, boolean b)
Helper method: got called if the revision process needs an update: It performs the revision for the left and right operator and saves the result to the result text areas.-
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
-
checkIterativeLeft
protected javax.swing.JCheckBox checkIterativeLeft
-
checkIterativeRight
protected javax.swing.JCheckBox checkIterativeRight
-
btnUp
protected javax.swing.JButton btnUp
-
btnDown
protected javax.swing.JButton btnDown
-
btnAdd
protected javax.swing.JButton btnAdd
-
btnRemove
protected javax.swing.JButton btnRemove
-
sliderStep
protected javax.swing.JSlider sliderStep
-
txtResultLeft
protected javax.swing.JTextArea txtResultLeft
-
txtResultRight
protected javax.swing.JTextArea txtResultRight
-
txtBeliefBases
protected javax.swing.JTextArea txtBeliefBases
-
lstModel
private javax.swing.DefaultListModel<java.util.Collection<? extends Formula>> lstModel
-
lstBeliefBases
protected javax.swing.JList<java.util.Collection<? extends Formula>> lstBeliefBases
-
-
Method Detail
-
createBeliefbaseControl
private void createBeliefbaseControl()
Helper method: Creates the belief base control panel, there one can change the ordering of the belief bases for the revision and add or remove belief bases. It is at the bottom of this view.
-
createCompareView
private void createCompareView()
Helper method: Creates the controls to show the comparison between the two selected revision methods it is located at the center of this view.
-
createUpperBar
private void createUpperBar()
Helper method: Creates the control bar at the top of this view which allows the user to change the revision operators used for comparison.
-
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
-
beliefbasesUpdated
private void beliefbasesUpdated()
Helper method. Updates the text field representing all the loaded belief bases in the order they revision will occur.
-
updateRevision
private void updateRevision()
Helper method: Updates the revision on both operators because the data set has changed.
-
updateRevision
private java.lang.String updateRevision(java.lang.Object op, boolean b)
Helper method: got called if the revision process needs an update: It performs the revision for the left and right operator and saves the result to the result text areas.- Parameters:
op
- some objectb
- some boolean- Returns:
- a string
-
revision
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>> revision(CredibilityRevision<T> op)
Helper method: Runs a revision using the credibility revision operator interface. This means an ordered list of programs can be revised in one step.- Parameters:
op
- The operator used to perform the revision.- Returns:
- A map of steps of the revision process to the belief bases.
-
revision
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>> revision(MultipleBaseRevisionOperator<T> op)
Helper method: Runs a revision of using multiple belief bases with the MultipleBaseRevisionOperator. It simulates the revision by iteratively revise the different belief bases- Parameters:
op
- The operator used to perform the revision.- Returns:
- A map of steps of the revision process to the belief bases.
-
revision
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>> revision(BaseRevisionOperator<T> op)
Helper method: Runs a revision on BaseRevisionOperator interfaces which only allows the revision with one formula. It simulates the revision of two belief bases by revising the formulas of the second belief base one after another.- Parameters:
op
- The operator used to perform the revision- Returns:
- A map of steps of the revision process to the belief bases.
-
-