public abstract class VisualizingUserInterface extends UserInterface implements java.awt.event.WindowListener
UserInterface.NullUserInterfaceinputHistory, NONE, printResults, printWarnings, progressSender| Constructor and Description |
|---|
VisualizingUserInterface() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
algorithmOutputStep(java.lang.String titleKey,
java.lang.String outputComment,
boolean lastStep)
Refreshes the output of an algorithm visualization.
|
protected void |
algorithmStartMessage(java.lang.String titleKey)
Called whenever an algorithm visualization starts.
|
void |
close() |
void |
closeGraphFilesFrame()
Closes the graph files frame
|
boolean |
closeGraphView(java.lang.String titleKey)
Closes the frame of the visualization with the given key and removes the visualization from the hash table
|
void |
derivAlgorithmMessage(java.lang.String titleKey,
java.lang.String message)
Associates the given message with the given title key of an algorithm visualization and prints the message if
the visualization is active.
|
protected <VertexType,EdgeType> |
derivShowGraph(GraphLibrary<VertexType,EdgeType> graph,
java.lang.String titleKey,
java.lang.String layout,
int width,
int height,
boolean manualUpdate,
boolean enableModification)
Creates a new graph visualization with the given title key containing the given graph or replaces the
visualization with the given title with the given graph, if such a visualization exists.
|
ArgumentComponentManager |
getArgumentComponentManager()
Returns the argument components manager instance
|
GraphFilesTable |
getGraphFileSet()
Initializes the graph files list (if not already initialized) and returns the list
|
void |
init(MainControl mainControl)
Initializes this instance.
|
boolean |
refreshGraphOutput(java.lang.String titleKey)
Repaints the frame of the visualization with the given key.
|
boolean |
showGraphFilesFrame()
Initializes the graph files list (if not already initialized) and displays the graph file selection window at
the screen center with a width and height of 400 and 600 pixels
|
boolean |
showGraphFilesFrame(int left,
int top,
int right,
int bottom)
Initializes the graph files list (if not already initialized) and displays the graph file selection window at
the specified rectangle in screen coordinates
|
void |
windowActivated(java.awt.event.WindowEvent arg0) |
void |
windowClosed(java.awt.event.WindowEvent ev) |
void |
windowClosing(java.awt.event.WindowEvent ev) |
void |
windowDeactivated(java.awt.event.WindowEvent arg0) |
void |
windowDeiconified(java.awt.event.WindowEvent arg0) |
void |
windowIconified(java.awt.event.WindowEvent arg0) |
void |
windowOpened(java.awt.event.WindowEvent arg0) |
algorithmMessage, algorithmOutputStep, algorithmOutputStep, clearProgressMessage, clearProgressMessage, derivedPrintWarning, derivedResultOutput, derivedUserOutput, errorOutput, errorOutput, finishAlgorithmOutput, finishAlgorithmOutput, getAlgoVisualizationHeight, getAlgoVisualizationLayout, getAlgoVisualizationWidth, getInputHistory, getMainControl, getOperationThread, getOutputStreamFile, getProgressSender, hasScriptThread, hideProgressOutput, hideProgressOutput, initializeMessage, insertInput, isAlgorithmVisualizationActive, mainLoop, pause, removeOperationThread, removeScriptThread, resultOutput, setAlgorithmOutputActive, setAlgorithmVisualizationParameters, setOperationThread, setOutputStreamFile, setPrintResults, setPrintWarnings, setProgress, setProgress, setProgressMessage, setProgressMessage, setProgressSender, setScriptThread, showGraph, showGraph, showGraph, showGraph, showGraph, signalUserInput, simulateUserInput, startAlgorithmOutput, startInitialization, startMessage, startProgressOutput, startProgressOutput, userInput, userOutput, userOutput, warningOutput, warningOutputFacpublic void init(MainControl mainControl)
UserInterfaceinit in class UserInterfacemainControl - the main control of the program.public boolean showGraphFilesFrame(int left,
int top,
int right,
int bottom)
public boolean showGraphFilesFrame()
public void closeGraphFilesFrame()
public ArgumentComponentManager getArgumentComponentManager()
protected <VertexType,EdgeType> boolean derivShowGraph(GraphLibrary<VertexType,EdgeType> graph, java.lang.String titleKey, java.lang.String layout, int width, int height, boolean manualUpdate, boolean enableModification) throws ArrangeException
derivShowGraph in class UserInterfaceArrangeExceptionpublic boolean refreshGraphOutput(java.lang.String titleKey)
refreshGraphOutput in class UserInterfacetitleKey - the key of the visualization to refresh.protected void algorithmStartMessage(java.lang.String titleKey)
algorithmStartMessage in class UserInterfacetitleKey - the key of the visualization.protected boolean algorithmOutputStep(java.lang.String titleKey,
java.lang.String outputComment,
boolean lastStep)
algorithmOutputStep in class UserInterfacetitleKey - the key of the algorithm visualization to refresh.outputComment - an optional comment of the step.lastStep - if true, then the current step is assumed to be the last step of the algorithm
visualization.public boolean closeGraphView(java.lang.String titleKey)
closeGraphView in class UserInterfacetitleKey - the key of the visualization to close.public void windowActivated(java.awt.event.WindowEvent arg0)
windowActivated in interface java.awt.event.WindowListenerpublic void windowClosed(java.awt.event.WindowEvent ev)
windowClosed in interface java.awt.event.WindowListenerpublic void windowClosing(java.awt.event.WindowEvent ev)
windowClosing in interface java.awt.event.WindowListenerpublic void windowDeactivated(java.awt.event.WindowEvent arg0)
windowDeactivated in interface java.awt.event.WindowListenerpublic void windowDeiconified(java.awt.event.WindowEvent arg0)
windowDeiconified in interface java.awt.event.WindowListenerpublic void windowIconified(java.awt.event.WindowEvent arg0)
windowIconified in interface java.awt.event.WindowListenerpublic void windowOpened(java.awt.event.WindowEvent arg0)
windowOpened in interface java.awt.event.WindowListenerpublic void derivAlgorithmMessage(java.lang.String titleKey,
java.lang.String message)
derivAlgorithmMessage in class UserInterfacepublic void close()
close in class UserInterfacepublic GraphFilesTable getGraphFileSet()