public class ProofDifferenceView
extends bibliothek.gui.dock.common.DefaultMultipleCDockable
Modifier and Type | Class and Description |
---|---|
static class |
ProofDifferenceView.OpenDifferenceWithParent |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PROPERTY_LEFT_NODE |
static java.lang.String |
PROPERTY_RIGHT_NODE |
Constructor and Description |
---|
ProofDifferenceView(Node left,
Node right,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener) |
void |
addPropertyChangeListener(java.lang.String propertyName,
java.beans.PropertyChangeListener listener) |
protected javax.swing.JEditorPane |
createEditor(java.lang.String content) |
Node |
getLeft() |
Node |
getRight() |
Services |
getServices() |
boolean |
isHideCommonFormulas() |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener listener) |
void |
setHideCommonFormulas(boolean hideCommonFormulas) |
void |
setLeft(Node left) |
void |
setRight(Node right) |
getFactory, isRemoveOnClose, setControlAccess, setRemoveOnClose
add, add, addAction, addSeparator, asStation, createCommonDockable, getAction, getActionCount, getContentPane, getTitleIcon, getTitleIconHandling, getTitleText, getTitleToolTip, insertAction, insertSeparator, intern, isCloseable, isExternalizable, isMaximizable, isMinimizable, isStackable, remove, removeAction, removeAction, setCloseable, setExternalizable, setLayout, setMaximizable, setMinimizable, setStackable, setTitleIcon, setTitleIconHandling, setTitleText, setTitleToolTip
addCDockableLocationListener, addCDockablePropertyListener, addCDockableStateListener, addDoubleClickListener, addFocusListener, addKeyboardListener, addVetoClosingListener, control, getAction, getAndClearResizeRequest, getAutoBaseLocation, getBaseLocation, getClose, getColors, getControl, getControlAccess, getDefaultLocation, getDockableUniqueId, getExtendedMode, getFocusComponent, getFonts, getGrouping, getMinimizedSize, getParentStation, getWorkingArea, hasParent, init, isDockableVisible, isEnabled, isNormalizeable, isResizeLocked, isResizeLockedHorizontally, isResizeLockedVertically, isShowing, isSingleTabShown, isSticky, isStickySwitchable, isTitleShown, isVisible, propertyListeners, putAction, removeCDockableLocationListener, removeCDockablePropertyListener, removeCDockableStateListener, removeDoubleClickListener, removeFocusListener, removeKeyboardListener, removeVetoClosingListener, setDefaultLocation, setEnabled, setExtendedMode, setFocusComponent, setGrouping, setLocation, setLocationsAside, setLocationsAside, setLocationsAsideFocused, setMinimizedSize, setResizeLocked, setResizeLockedHorizontally, setResizeLockedVertically, setResizeRequest, setResizeRequest, setSingleTabShown, setSticky, setStickySwitchable, setTitleShown, setVisible, setWorkingArea, stateListeners, toFront, toFront, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addCDockableLocationListener, addCDockablePropertyListener, addCDockableStateListener, addDoubleClickListener, addFocusListener, addKeyboardListener, addVetoClosingListener, asStation, getAction, getAndClearResizeRequest, getAutoBaseLocation, getBaseLocation, getColors, getControl, getControlAccess, getExtendedMode, getFocusComponent, getFonts, getGrouping, getMinimizedSize, getParentStation, getWorkingArea, hasParent, intern, isCloseable, isDockableVisible, isEnabled, isExternalizable, isMaximizable, isMinimizable, isNormalizeable, isResizeLockedHorizontally, isResizeLockedVertically, isShowing, isSingleTabShown, isStackable, isSticky, isStickySwitchable, isTitleShown, isVisible, removeCDockableLocationListener, removeCDockablePropertyListener, removeCDockableStateListener, removeDoubleClickListener, removeFocusListener, removeKeyboardListener, removeVetoClosingListener, setExtendedMode, setLocation, setLocationsAside, setLocationsAside, setLocationsAsideFocused, setMinimizedSize, setSticky, setStickySwitchable, setVisible, setWorkingArea
public static final java.lang.String PROPERTY_LEFT_NODE
public static final java.lang.String PROPERTY_RIGHT_NODE
public ProofDifferenceView(@Nonnull Node left, @Nonnull Node right, KeYMediator mediator)
public void addPropertyChangeListener(java.lang.String propertyName, java.beans.PropertyChangeListener listener)
public void addPropertyChangeListener(java.beans.PropertyChangeListener listener)
public void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
public Services getServices()
@Nonnull public Node getLeft()
public void setLeft(@Nullable Node left)
@Nonnull public Node getRight()
public void setRight(@Nullable Node right)
protected javax.swing.JEditorPane createEditor(java.lang.String content)
public boolean isHideCommonFormulas()
public void setHideCommonFormulas(boolean hideCommonFormulas)
Copyright © 2003-2019 The KeY-Project.