public class ProofTreeView extends javax.swing.JPanel implements TabPanel
Modifier and Type | Class and Description |
---|---|
class |
ProofTreeView.ProofRenderer |
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
static ColorSettings.ColorProperty |
BISQUE_COLOR |
static ColorSettings.ColorProperty |
DARK_BLUE_COLOR |
static ColorSettings.ColorProperty |
DARK_GREEN_COLOR |
static ColorSettings.ColorProperty |
DARK_RED_COLOR |
static ColorSettings.ColorProperty |
GRAY_COLOR |
static ColorSettings.ColorProperty |
LIGHT_BLUE_COLOR |
static ColorSettings.ColorProperty |
ORANGE_COLOR |
static ColorSettings.ColorProperty |
PINK_COLOR |
static javax.swing.KeyStroke |
searchKeyStroke
KeYStroke for the search panel: STRG+SHIFT+F
|
TacletInfoToggle |
tacletInfoToggle |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
ProofTreeView()
creates a new proof tree
|
ProofTreeView(KeYMediator m)
creates a new proof tree
|
Modifier and Type | Method and Description |
---|---|
protected void |
collapseClosedNodes()
Collapse all subtrees that are closed
|
protected void |
collapseOthers(javax.swing.tree.TreePath path)
Collapse all branches which are not below path
|
protected void |
finalize() |
javax.swing.JComponent |
getComponent() |
GUIProofTreeModel |
getDelegateModel() |
javax.swing.Icon |
getIcon() |
KeYMediator |
getMediator()
returns the mediator to communicate with the model
|
ProofTreePopupFactory |
getProofTreePopupFactory() |
ProofTreeView.ProofRenderer |
getRenderer() |
java.lang.String |
getTitle() |
protected void |
layoutKeYComponent()
layout the component
|
protected void |
makeNodeExpanded(Node n) |
void |
makeNodeVisible(Node n)
moves the scope of the tree view to the given node so that it
is visible
|
void |
removeProofs(Proof[] ps) |
boolean |
selectAbove() |
boolean |
selectBelow() |
void |
showSearchPanel() |
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
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPermissions, getTitleActions, getTitleCActions
public static final ColorSettings.ColorProperty GRAY_COLOR
public static final ColorSettings.ColorProperty BISQUE_COLOR
public static final ColorSettings.ColorProperty LIGHT_BLUE_COLOR
public static final ColorSettings.ColorProperty DARK_BLUE_COLOR
public static final ColorSettings.ColorProperty DARK_GREEN_COLOR
public static final ColorSettings.ColorProperty DARK_RED_COLOR
public static final ColorSettings.ColorProperty PINK_COLOR
public static final ColorSettings.ColorProperty ORANGE_COLOR
public static final javax.swing.KeyStroke searchKeyStroke
public final TacletInfoToggle tacletInfoToggle
public ProofTreeView(KeYMediator m)
public ProofTreeView()
protected void finalize() throws java.lang.Throwable
finalize
in class java.lang.Object
java.lang.Throwable
public ProofTreeView.ProofRenderer getRenderer()
protected void layoutKeYComponent()
public KeYMediator getMediator()
public boolean selectAbove()
public boolean selectBelow()
public void removeProofs(Proof[] ps)
public void makeNodeVisible(Node n)
protected void makeNodeExpanded(Node n)
protected void collapseClosedNodes()
protected void collapseOthers(javax.swing.tree.TreePath path)
public void showSearchPanel()
public javax.swing.JComponent getComponent()
getComponent
in interface TabPanel
public GUIProofTreeModel getDelegateModel()
public ProofTreePopupFactory getProofTreePopupFactory()
Copyright © 2003-2019 The KeY-Project.