public class RevisionCompareView
extends javax.swing.JPanel
implements java.beans.PropertyChangeListener
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
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 |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
RevisionCompareView()
Default Ctor: Creates the view
|
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> |
revision(BaseRevisionOperator<T> op)
Helper method: Runs a revision on BaseRevisionOperator interfaces which only allows the revision with one
formula.
|
private <T extends Formula> |
revision(CredibilityRevision<T> op)
Helper method: Runs a revision using the credibility revision operator interface.
|
private <T 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.
|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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
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
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
private static final long serialVersionUID
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.JButton btnUp
protected javax.swing.JButton btnDown
protected javax.swing.JButton btnAdd
protected javax.swing.JButton btnRemove
protected javax.swing.JSlider sliderStep
protected javax.swing.JTextArea txtResultLeft
protected javax.swing.JTextArea txtResultRight
protected javax.swing.JTextArea txtBeliefBases
private javax.swing.DefaultListModel<java.util.Collection<? extends Formula>> lstModel
protected javax.swing.JList<java.util.Collection<? extends Formula>> lstBeliefBases
private void createBeliefbaseControl()
private void createCompareView()
private void createUpperBar()
public void propertyChange(java.beans.PropertyChangeEvent evt)
propertyChange
in interface java.beans.PropertyChangeListener
private void beliefbasesUpdated()
private void updateRevision()
private java.lang.String updateRevision(java.lang.Object op, boolean b)
private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>> revision(CredibilityRevision<T> op)
op
- The operator used to perform the revision.private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>> revision(MultipleBaseRevisionOperator<T> op)
op
- The operator used to perform the revision.private <T extends Formula> java.util.Map<java.lang.Integer,java.util.Collection<? extends Formula>> revision(BaseRevisionOperator<T> op)
op
- The operator used to perform the revision