de.uka.ilkd.key.gui.join

Class JoinDialog.ContentPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.Box

de.uka.ilkd.key.gui.join.JoinDialog.ContentPanel

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

Enclosing class:

JoinDialog

private static class JoinDialog.ContentPanel
extends javax.swing.Box

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	JoinDialog.ContentPanel.ContentItem

Nested classes/interfaces inherited from class javax.swing.Box

javax.swing.Box.AccessibleBox, javax.swing.Box.Filler

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
private javax.swing.JList<JoinDialog.ContentPanel.ContentItem>	choiceList
private PredicateEstimator	estimator
private ClickableMessageBox	infoBox
private javax.swing.JScrollPane	infoBoxPane
private javax.swing.JLabel	infoPredicate
private javax.swing.JLabel	joinHeadline
private CheckedUserInput	predicateInput
private Proof	proof
private SequentViewer	sequentViewer1
private SequentViewer	sequentViewer2
private static long	serialVersionUID

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
ContentPanel(java.util.List<ProspectivePartner> partnerList, Proof proof, PredicateEstimator estimator, CheckedUserInput.CheckedUserInputListener listener, Services services)

Method Summary

Modifier and Type	Method and Description
private void	create()
private javax.swing.Box	createLeftAlignedComponent(javax.swing.JComponent comp)
private void	fill(java.util.List<ProspectivePartner> partnerList, Services services)
private javax.swing.JList<JoinDialog.ContentPanel.ContentItem>	getChoiceList()
private javax.swing.JLabel	getHeadline()
private ClickableMessageBox	getInfoBox()
private javax.swing.JComponent	getInfoBoxPane()
private javax.swing.JLabel	getInfoPredicate()
private CheckedUserInput	getPredicateInput()
JoinDialog.ContentPanel.ContentItem	getSelectedItem()
ProspectivePartner	getSelectedPartner()
private SequentViewer	getSequentViewer1()
private SequentViewer	getSequentViewer2()
private void	refreshInfoBox(java.lang.String reason)
private void	selectionChanged(int index)

Methods inherited from class javax.swing.Box

createGlue, createHorizontalBox, createHorizontalGlue, createHorizontalStrut, createRigidArea, createVerticalBox, createVerticalGlue, createVerticalStrut, getAccessibleContext, paintComponent, setLayout

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, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, paramString, 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, updateUI

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, 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

See Also:

Constant Field Values

sequentViewer1

private SequentViewer sequentViewer1

sequentViewer2

private SequentViewer sequentViewer2

choiceList

private javax.swing.JList<JoinDialog.ContentPanel.ContentItem> choiceList

predicateInput

private CheckedUserInput predicateInput

joinHeadline

private javax.swing.JLabel joinHeadline

infoPredicate

private javax.swing.JLabel infoPredicate

infoBox

private ClickableMessageBox infoBox

infoBoxPane

private javax.swing.JScrollPane infoBoxPane

proof

private final Proof proof

estimator

private final PredicateEstimator estimator

Constructor Detail

ContentPanel

public ContentPanel(java.util.List<ProspectivePartner> partnerList,
                    Proof proof,
                    PredicateEstimator estimator,
                    CheckedUserInput.CheckedUserInputListener listener,
                    Services services)

Method Detail

fill

private void fill(java.util.List<ProspectivePartner> partnerList,
                  Services services)

selectionChanged

private void selectionChanged(int index)

createLeftAlignedComponent

private javax.swing.Box createLeftAlignedComponent(javax.swing.JComponent comp)

create

private void create()

refreshInfoBox

private void refreshInfoBox(java.lang.String reason)

getInfoBoxPane

private javax.swing.JComponent getInfoBoxPane()

getInfoBox

private ClickableMessageBox getInfoBox()

getInfoPredicate

private javax.swing.JLabel getInfoPredicate()

getPredicateInput

private CheckedUserInput getPredicateInput()

getChoiceList

private javax.swing.JList<JoinDialog.ContentPanel.ContentItem> getChoiceList()

getHeadline

private javax.swing.JLabel getHeadline()

getSequentViewer1

private SequentViewer getSequentViewer1()

getSequentViewer2

private SequentViewer getSequentViewer2()

getSelectedPartner

public ProspectivePartner getSelectedPartner()

getSelectedItem

public JoinDialog.ContentPanel.ContentItem getSelectedItem()