public final class TopWindow
extends org.eclipse.swt.widgets.Composite
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
aboutText |
static java.lang.String |
helpURL |
static java.lang.String |
helpURLOld |
Modifier and Type | Method and Description |
---|---|
void |
addAnnotation(SourcePosition pos,
java.lang.String text)
Add annotation with given text at specified source position.
|
void |
addMarker(SourcePosition pos,
boolean marker)
Add marker at specified source position.
|
boolean |
ask(java.lang.String title,
java.lang.String question)
Open dialog to ask yes/no question.
|
boolean |
checkOpenProof()
Check whether proof is open (asking the user to close the proof).
|
void |
clearAnnotations(Source source)
Remove all annotations from denoted source.
|
boolean |
closeFile(java.io.File file)
Close file possibly edited in window
|
void |
closeTaskFolders()
Close in task tree folders that only contain closed tasks.
|
static TopWindow |
construct(MainSWT gui)
Construct window connected to GUI.
|
void |
createAnalyzeButtons()
Create buttons for analyze view.
|
void |
createEditor(java.io.File file)
Create editor for existing source file to be processed.
|
void |
createViews()
Create views.
|
void |
delete(java.io.File file)
Delete file/directory (recursively).
|
void |
displayAnalyzeView()
Display the analyze view from user thread (setting buttons and menu).
|
void |
displayDetailView()
Display the detail view from user thread (setting buttons and menu).
|
void |
displaySource(Source source)
Display source..
|
void |
displaySource(SourcePosition pos,
boolean marker)
Display source at denoted position.
|
void |
displayTasks(Symbol symbol)
Display the tasks associated to the symbol.
|
void |
displayVerifyView()
Display the analyze view from user thread (setting buttons and menu).
|
org.eclipse.swt.graphics.Image |
getAnalyzeImage()
Get analyze image for cancel buttons.
|
org.eclipse.swt.graphics.Color |
getBlackColor()
Get color black.
|
org.eclipse.swt.graphics.Image |
getCancelImage()
Get image for cancel buttons.
|
org.eclipse.swt.graphics.Image |
getClassImage()
Get class image.
|
org.eclipse.swt.graphics.Image |
getClassMethodImage()
Get class method image.
|
org.eclipse.swt.graphics.Image |
getClassVarImage()
Get class variable image.
|
org.eclipse.swt.graphics.Color |
getClosedColor()
Get color for closed tasks.
|
java.io.PrintWriter |
getConsole()
Get console output writer.
|
org.eclipse.swt.graphics.Image |
getConstructorImage()
Get constructor image.
|
org.eclipse.swt.graphics.Image |
getDeleteImage()
Get delete image.
|
org.eclipse.swt.graphics.Image |
getDetailImage()
Get detail image.
|
org.eclipse.swt.graphics.Image |
getErrorImage()
Get error image.
|
org.eclipse.swt.graphics.Image |
getFileImage()
Get image for generic files.
|
org.eclipse.swt.graphics.Image |
getFolderImage()
Get image for folders.
|
org.eclipse.swt.graphics.Image |
getFolderProcessImage()
Get process folder image.
|
int |
getFontSize()
Get current font size.
|
org.eclipse.swt.graphics.Image |
getFormulaImage()
Get formula image.
|
org.eclipse.swt.graphics.Image |
getObjectMethodImage()
Get object method image.
|
org.eclipse.swt.graphics.Image |
getObjectVarImage()
Get object variable image.
|
org.eclipse.swt.graphics.Image |
getOkayImage()
Get image for okay buttons.
|
org.eclipse.swt.graphics.Color |
getOpenColor()
Get color for open tasks.
|
org.eclipse.swt.graphics.Image |
getPackageImage()
Get package image.
|
org.eclipse.swt.graphics.Image |
getParameterImage()
Get parameter image.
|
org.eclipse.swt.graphics.Color |
getProofColor()
Get color for open tasks with a closed proof.
|
org.eclipse.swt.graphics.Image |
getRefreshImage()
Get refresh image.
|
org.eclipse.swt.graphics.Image |
getRunImage()
Get run image.
|
org.eclipse.swt.graphics.Image |
getSourceImage()
Get image for source files.
|
org.eclipse.swt.graphics.Image |
getTaskDoneImage()
Get done task image.
|
org.eclipse.swt.graphics.Image |
getTaskFailedImage()
Get failed task image.
|
org.eclipse.swt.graphics.Image |
getTaskNewImage()
Get new task image.
|
org.eclipse.swt.graphics.Image |
getTaskOpenImage()
Get open task image.
|
org.eclipse.swt.graphics.Image |
getTheoryImage()
Get theory image.
|
PackageSymbol |
getTopPackage()
Get top package.
|
org.eclipse.swt.graphics.Image |
getTypeImage()
Get type image.
|
org.eclipse.swt.graphics.Image |
getValueImage()
Get value image.
|
org.eclipse.swt.graphics.Color |
getWhiteColor()
Get color white.
|
void |
inform(java.lang.String title,
java.lang.String message)
Open information dialog.
|
void |
layout()
Handle layout issues.
|
void |
markSource(Source source,
boolean error)
Mark source to indicate whether it has/has not errors.
|
void |
open()
Open shell and perform initial processing of packages.
|
void |
print(Symbol symbol)
Print symbol on console.
|
void |
printDecl(Symbol symbol)
Print declaration/definition of symbol on console.
|
void |
processClass(ClassSymbol csymbol)
Process denoted class.
|
void |
processPackages()
Process packages in workspace.
|
void |
processTheory(TheorySymbol tsymbol)
Process denoted theory.
|
void |
propagateCondition(ParamSymbol method,
Statement statement,
Formula formula,
boolean pre)
Propagate condition through method body.
|
void |
redraw(org.eclipse.swt.widgets.TreeItem node,
Task task,
boolean color)
Redraw node to indicate status of task.
|
void |
redrawExplorers()
Process packages in workspace.
|
void |
redrawFileExplorer(java.io.File[] path)
Redraw file explorer view for denoted path.
|
void |
redrawOpenExplorer()
Redraw open task explorer.
|
void |
redrawSymbolExplorer(PackageSymbol top)
Redraw symbol explorer view for denoted package.
|
void |
refresh()
Perform refresh action.
|
void |
resize()
Resize shell.
|
void |
resizeFont()
Resize fonts in display areas.
|
void |
showMethodDetail(ParamSymbol symbol)
Show details of method body.
|
changed, drawBackground, getBackgroundMode, getChildren, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, setBackgroundMode, setFocus, setLayout, setLayoutDeferred, setTabList
computeTrim, getClientArea, getHorizontalBar, getScrollbarsMode, getVerticalBar
addControlListener, addDragDetectListener, addFocusListener, addGestureListener, addHelpListener, addKeyListener, addMenuDetectListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addMouseWheelListener, addPaintListener, addTouchListener, addTraverseListener, computeSize, computeSize, dragDetect, dragDetect, forceFocus, getAccessible, getBackground, getBackgroundImage, getBorderWidth, getBounds, getCursor, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getOrientation, getParent, getRegion, getShell, getSize, getTextDirection, getToolTipText, getTouchEnabled, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isFocusControl, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, print, redraw, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeGestureListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTouchListener, removeTraverseListener, requestLayout, setBackground, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, setDragDetect, setEnabled, setFont, setForeground, setLayoutData, setLocation, setLocation, setMenu, setOrientation, setParent, setRedraw, setRegion, setSize, setSize, setTextDirection, setToolTipText, setTouchEnabled, setVisible, toControl, toControl, toDisplay, toDisplay, traverse, traverse, traverse, update
addDisposeListener, addListener, dispose, getData, getData, getDisplay, getListeners, getStyle, isAutoDirection, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, reskin, setData, setData, toString
public static final java.lang.String aboutText
public static final java.lang.String helpURL
public static final java.lang.String helpURLOld
public static TopWindow construct(MainSWT gui)
gui
- the GUI.public void open()
public void resize()
public void layout()
layout
in class org.eclipse.swt.widgets.Composite
public boolean ask(java.lang.String title, java.lang.String question)
title
- the dialog titlequestion
- the question askedpublic boolean checkOpenProof()
public void inform(java.lang.String title, java.lang.String message)
title
- the dialog titlemessage
- the message textpublic void resizeFont()
public org.eclipse.swt.graphics.Image getOkayImage()
public org.eclipse.swt.graphics.Image getCancelImage()
public org.eclipse.swt.graphics.Image getSourceImage()
public org.eclipse.swt.graphics.Image getFolderImage()
public org.eclipse.swt.graphics.Image getFileImage()
public org.eclipse.swt.graphics.Image getAnalyzeImage()
public org.eclipse.swt.graphics.Image getRunImage()
public org.eclipse.swt.graphics.Image getRefreshImage()
public org.eclipse.swt.graphics.Image getDeleteImage()
public org.eclipse.swt.graphics.Image getPackageImage()
public org.eclipse.swt.graphics.Image getClassImage()
public org.eclipse.swt.graphics.Image getTheoryImage()
public org.eclipse.swt.graphics.Image getClassVarImage()
public org.eclipse.swt.graphics.Image getObjectVarImage()
public org.eclipse.swt.graphics.Image getConstructorImage()
public org.eclipse.swt.graphics.Image getClassMethodImage()
public org.eclipse.swt.graphics.Image getObjectMethodImage()
public org.eclipse.swt.graphics.Image getParameterImage()
public org.eclipse.swt.graphics.Image getErrorImage()
public org.eclipse.swt.graphics.Image getFolderProcessImage()
public org.eclipse.swt.graphics.Image getTaskNewImage()
public org.eclipse.swt.graphics.Image getTaskOpenImage()
public org.eclipse.swt.graphics.Image getTaskDoneImage()
public org.eclipse.swt.graphics.Image getTaskFailedImage()
public org.eclipse.swt.graphics.Image getTypeImage()
public org.eclipse.swt.graphics.Image getFormulaImage()
public org.eclipse.swt.graphics.Image getValueImage()
public org.eclipse.swt.graphics.Image getDetailImage()
public org.eclipse.swt.graphics.Color getOpenColor()
public org.eclipse.swt.graphics.Color getClosedColor()
public org.eclipse.swt.graphics.Color getProofColor()
public org.eclipse.swt.graphics.Color getBlackColor()
public org.eclipse.swt.graphics.Color getWhiteColor()
public void createAnalyzeButtons()
public void refresh()
public void createViews()
public void displayAnalyzeView()
public void displayVerifyView()
public void displayDetailView()
public void displayTasks(Symbol symbol)
symbol
- a symbolpublic void redrawFileExplorer(java.io.File[] path)
path
- the path to be used for redrawing.public void redrawSymbolExplorer(PackageSymbol top)
top
- the top-level package to be used for redrawing.public void closeTaskFolders()
public void redrawOpenExplorer()
public void displaySource(Source source)
source
- the source to be displayed.public void displaySource(SourcePosition pos, boolean marker)
pos
- the source position to be displayed.marker
- true if a marker is to be shown at that position.public void createEditor(java.io.File file)
file
- the file to be loaded and processed.public java.io.PrintWriter getConsole()
public void redraw(org.eclipse.swt.widgets.TreeItem node, Task task, boolean color)
node
- the node.task
- the task.color
- true if text is to be colored.public void processPackages()
public PackageSymbol getTopPackage()
public void redrawExplorers()
public void processClass(ClassSymbol csymbol)
csymbol
- the class to be processed.public void processTheory(TheorySymbol tsymbol)
tsymbol
- the theory to be processed.public boolean closeFile(java.io.File file)
file
- that is possibly editedpublic void delete(java.io.File file)
file
- file or directory to be deleted after confirmationpublic void addAnnotation(SourcePosition pos, java.lang.String text)
pos
- the position.text
- the text.public void markSource(Source source, boolean error)
source
- the source (may be null, indicating no source).error
- true iff source has errorpublic void clearAnnotations(Source source)
source
- the source from which to remove the annotations
(may be null indicating no source)public void addMarker(SourcePosition pos, boolean marker)
pos
- the position.marker
- iff false only previous marker is erasedpublic void print(Symbol symbol)
symbol
- the symbol to be printed.public void printDecl(Symbol symbol)
symbol
- the symbol whose declaration/definition is to be printed.public int getFontSize()
public void showMethodDetail(ParamSymbol symbol)
symbol
- the method whose details are to be shown.public void propagateCondition(ParamSymbol method, Statement statement, Formula formula, boolean pre)
method
- the method.statement
- the statement to which the condition applies.formula
- the formula representing the condition.pre
- true if condition applies to prestate