private static class JoinDialog.ContentPanel
extends javax.swing.Box
Modifier and Type | Class and Description |
---|---|
private static class |
JoinDialog.ContentPanel.ContentItem |
javax.swing.Box.AccessibleBox, javax.swing.Box.Filler
javax.swing.JComponent.AccessibleJComponent
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 |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
ContentPanel(java.util.List<ProspectivePartner> partnerList,
Proof proof,
PredicateEstimator estimator,
CheckedUserInput.CheckedUserInputListener listener,
Services services) |
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) |
createGlue, createHorizontalBox, createHorizontalGlue, createHorizontalStrut, createRigidArea, createVerticalBox, createVerticalGlue, createVerticalStrut, getAccessibleContext, paintComponent, setLayout
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
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
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
private SequentViewer sequentViewer1
private SequentViewer sequentViewer2
private javax.swing.JList<JoinDialog.ContentPanel.ContentItem> choiceList
private CheckedUserInput predicateInput
private javax.swing.JLabel joinHeadline
private javax.swing.JLabel infoPredicate
private ClickableMessageBox infoBox
private javax.swing.JScrollPane infoBoxPane
private final Proof proof
private final PredicateEstimator estimator
public ContentPanel(java.util.List<ProspectivePartner> partnerList, Proof proof, PredicateEstimator estimator, CheckedUserInput.CheckedUserInputListener listener, Services services)
private void fill(java.util.List<ProspectivePartner> partnerList, Services services)
private void selectionChanged(int index)
private javax.swing.Box createLeftAlignedComponent(javax.swing.JComponent comp)
private void create()
private void refreshInfoBox(java.lang.String reason)
private javax.swing.JComponent getInfoBoxPane()
private ClickableMessageBox getInfoBox()
private javax.swing.JLabel getInfoPredicate()
private CheckedUserInput getPredicateInput()
private javax.swing.JList<JoinDialog.ContentPanel.ContentItem> getChoiceList()
private javax.swing.JLabel getHeadline()
private SequentViewer getSequentViewer1()
private SequentViewer getSequentViewer2()
public ProspectivePartner getSelectedPartner()
public JoinDialog.ContentPanel.ContentItem getSelectedItem()