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

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

Modifier and Type	Field and 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 warning
protected 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

Fields inherited from class java.awt.Component

accessibleContext, 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
RevisionCompareView() Default Ctor: Creates the view

Method Summary

Modifier and Type	Method and 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, 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, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

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

Constructor Detail

RevisionCompareView

public RevisionCompareView()

Default Ctor: Creates the view

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 interface java.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.

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.