Class 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 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 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
      • 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
      • 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.
        Parameters:
        op - some object
        b - 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.