public abstract class VisualizingUserInterface extends UserInterface implements java.awt.event.WindowListener
UserInterface.NullUserInterface
inputHistory, 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, warningOutputFac
public void init(MainControl mainControl)
UserInterface
init
in class UserInterface
mainControl
- 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 UserInterface
ArrangeException
public boolean refreshGraphOutput(java.lang.String titleKey)
refreshGraphOutput
in class UserInterface
titleKey
- the key of the visualization to refresh.protected void algorithmStartMessage(java.lang.String titleKey)
algorithmStartMessage
in class UserInterface
titleKey
- the key of the visualization.protected boolean algorithmOutputStep(java.lang.String titleKey, java.lang.String outputComment, boolean lastStep)
algorithmOutputStep
in class UserInterface
titleKey
- 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 UserInterface
titleKey
- the key of the visualization to close.public void windowActivated(java.awt.event.WindowEvent arg0)
windowActivated
in interface java.awt.event.WindowListener
public void windowClosed(java.awt.event.WindowEvent ev)
windowClosed
in interface java.awt.event.WindowListener
public void windowClosing(java.awt.event.WindowEvent ev)
windowClosing
in interface java.awt.event.WindowListener
public void windowDeactivated(java.awt.event.WindowEvent arg0)
windowDeactivated
in interface java.awt.event.WindowListener
public void windowDeiconified(java.awt.event.WindowEvent arg0)
windowDeiconified
in interface java.awt.event.WindowListener
public void windowIconified(java.awt.event.WindowEvent arg0)
windowIconified
in interface java.awt.event.WindowListener
public void windowOpened(java.awt.event.WindowEvent arg0)
windowOpened
in interface java.awt.event.WindowListener
public void derivAlgorithmMessage(java.lang.String titleKey, java.lang.String message)
derivAlgorithmMessage
in class UserInterface
public void close()
close
in class UserInterface
public GraphFilesTable getGraphFileSet()