public final class MainWindow
extends javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
AUTO_MODE_TEXT |
CurrentGoalView |
currentGoalView
SequentView for the current goal
|
boolean |
frozen |
SequentViewSearchBar |
sequentViewSearchBar
Search bar for Sequent Views.
|
javax.swing.JMenu |
smtOptions
The menu for the SMT solver options
|
static int |
TOOLBAR_ICON_SIZE
size of the tool bar icons
|
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Modifier and Type | Method and Description |
---|---|
void |
addProblem(ProofAggregate plist) |
void |
addRecentFile(java.lang.String absolutePath)
A file to the menu of recent opened files.
|
void |
freezeExceptAutoModeButton()
Freeze the main window by blocking all input events, except those for the status line (i.e.
|
AutoModeAction |
getAutoModeAction() |
javax.swing.JToolBar |
getControlToolBar()
Returns the
JToolBar with the proof control. |
bibliothek.gui.dock.common.CControl |
getDockControl() |
bibliothek.gui.dock.common.intern.CDockable |
getDockProofListView() |
bibliothek.gui.dock.common.SingleCDockable |
getDockSequent() |
bibliothek.gui.dock.common.SingleCDockable |
getDockSourceView() |
ExitMainAction |
getExitMainAction()
Returns the
ExitMainAction that is used to exit the MainWindow . |
CurrentGoalView |
getGoalView()
Returns the current goal view.
|
javax.swing.Action |
getHidePackagePrefixToggleAction() |
static MainWindow |
getInstance() |
static MainWindow |
getInstance(boolean ensureIsVisible) |
KeYMediator |
getMediator()
return the mediator
|
NotificationManager |
getNotificationManager()
Returns the
NotificationManager . |
javax.swing.Action |
getOpenMostRecentFileAction() |
TaskTree |
getProofList() |
ProofTreeView |
getProofTreeView() |
RecentFileMenu |
getRecentFiles() |
java.util.List<Name> |
getSortedTermLabelNames() |
SourceViewFrame |
getSourceViewFrame() |
protected de.uka.ilkd.key.gui.MainStatusLine |
getStatusLine() |
javax.swing.Action |
getUnicodeToggleAction() |
WindowUserInterfaceControl |
getUserInterface() |
TermLabelVisibilityManager |
getVisibleTermLabels() |
static boolean |
hasInstance()
Checks if an instance of the main window is already created or not.
|
void |
loadPreferences(java.awt.Component component)
Load the properties of the named components under
component from
the system preferences. |
void |
loadProblem(java.io.File file) |
void |
loadProblem(java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes) |
void |
loadProofFromBundle(java.io.File proofBundle,
java.io.File proofPath)
Loads the proof with the given path from the proof bundle.
|
void |
makePrettyView() |
void |
notify(NotificationEvent event)
informs the NotificationManager about an event
|
void |
openExamples() |
void |
popupInformationMessage(java.lang.Object message,
java.lang.String title) |
void |
popupWarning(java.lang.Object message,
java.lang.String title) |
void |
savePreferences(java.awt.Component component)
Store the properties of the named components under
component to
the system preferences. |
void |
selectFirstTab()
Deprecated.
|
void |
setShowTacletInfo(boolean show)
Defines if talcet infos are shown or not.
|
void |
setStandardStatusLine()
Make the status line display a standard message, make progress bar and abort button invisible
|
void |
setStatusLine(java.lang.String status) |
void |
setStatusLine(java.lang.String str,
int max)
Display the given message in the status line, make progress bar and abort button visible, set
the progress bar range to the given value, set the current progress to zero
|
void |
syncPreferences()
Synchronised the system properties with the background storage system.
|
void |
unfreezeExceptAutoModeButton() |
void |
updateSMTSelectMenu()
update the selection menu for Decisionprocedures.
|
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, toFront
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public static final int TOOLBAR_ICON_SIZE
public static final java.lang.String AUTO_MODE_TEXT
public final SequentViewSearchBar sequentViewSearchBar
public final CurrentGoalView currentGoalView
public final javax.swing.JMenu smtOptions
public boolean frozen
public static MainWindow getInstance()
public static MainWindow getInstance(boolean ensureIsVisible)
public static boolean hasInstance()
Checks if an instance of the main window is already created or not.
This method is required, because the Eclipse integration of KeY has
to do some cleanup only if a MainWindow
instance exists.
true
MainWindow
exists and is available via getInstance()
, false
MainWindow
is not instantiated and will be instantiated via getInstance()
.public TermLabelVisibilityManager getVisibleTermLabels()
public bibliothek.gui.dock.common.CControl getDockControl()
public KeYMediator getMediator()
protected de.uka.ilkd.key.gui.MainStatusLine getStatusLine()
public void setStatusLine(java.lang.String status)
public void setStandardStatusLine()
public void setStatusLine(java.lang.String str, int max)
@Deprecated public void selectFirstTab()
public void freezeExceptAutoModeButton()
public void unfreezeExceptAutoModeButton()
public void makePrettyView()
public void updateSMTSelectMenu()
public ProofTreeView getProofTreeView()
public CurrentGoalView getGoalView()
public void addProblem(ProofAggregate plist)
public void notify(NotificationEvent event)
event
- the NotificationEventpublic void popupInformationMessage(java.lang.Object message, java.lang.String title)
public void popupWarning(java.lang.Object message, java.lang.String title)
public TaskTree getProofList()
public RecentFileMenu getRecentFiles()
public WindowUserInterfaceControl getUserInterface()
public javax.swing.Action getOpenMostRecentFileAction()
public javax.swing.Action getUnicodeToggleAction()
public javax.swing.Action getHidePackagePrefixToggleAction()
public void savePreferences(java.awt.Component component)
component
to
the system preferences.
This uses the Preferences
class to access the system preferences.
Preferences are not explicitly synchronised; this happens at application
end using syncPreferences()
. All components which are in the
component tree are queried.
component
- the non-null component whose preferences are to be savedPreferenceSaver
public final void loadPreferences(java.awt.Component component)
component
from
the system preferences.
This uses the Preferences
class to access the system preferences.
All components which are in the component tree are queried.
component
- the non-null component whose preferences are to be setPreferenceSaver
public final void syncPreferences()
This is typically called at application termination.
PreferenceSaver
public ExitMainAction getExitMainAction()
Returns the ExitMainAction
that is used to exit the MainWindow
.
This functionality is required because for instance other projects like the Eclipse integration has to close the main window.
ExitMainAction
.public NotificationManager getNotificationManager()
Returns the NotificationManager
.
This functionality is required because in other project is it
required to execute the automatic mode without opening the result dialog
which can be disabled in the NotificationManager
.
public void addRecentFile(@Nonnull java.lang.String absolutePath)
RecentFileMenu.addRecentFile(String)
public void openExamples()
public void loadProblem(java.io.File file)
public void loadProblem(java.io.File file, java.util.List<java.io.File> classPath, java.io.File bootClassPath, java.util.List<java.io.File> includes)
public void loadProofFromBundle(java.io.File proofBundle, java.io.File proofPath)
proofBundle
- the path of the proof bundleproofPath
- the path of the proof to load
(relative to the root of the bundle -> filename only)public java.util.List<Name> getSortedTermLabelNames()
public javax.swing.JToolBar getControlToolBar()
JToolBar
with the proof control.
This method is used by the Eclipse world to add additional features!
JToolBar
with the proof control.public void setShowTacletInfo(boolean show)
Used by the Eclipse integration.
show
- true
show taclet infos, false
hide taclet infos.public AutoModeAction getAutoModeAction()
public bibliothek.gui.dock.common.intern.CDockable getDockProofListView()
public bibliothek.gui.dock.common.SingleCDockable getDockSourceView()
public bibliothek.gui.dock.common.SingleCDockable getDockSequent()
public SourceViewFrame getSourceViewFrame()
Copyright © 2003-2019 The KeY-Project.