org.mates.ui.graphical
Class GraphicalUserInterface

java.lang.Object
  org.mates.ui.graphical.GraphicalUserInterface

All Implemented Interfaces:

java.awt.event.ActionListener, javax.swing.event.ChangeListener, EventListener, java.util.EventListener, javax.swing.event.TreeSelectionListener, UserInterface, java.awt.event.WindowListener

public class GraphicalUserInterface

extends java.lang.Object

implements UserInterface, EventListener, java.awt.event.ActionListener, javax.swing.event.ChangeListener, java.awt.event.WindowListener, javax.swing.event.TreeSelectionListener

Nested Class Summary

class

GraphicalUserInterface.ScreenshotPainter Class to encapsulate the paint method of the GUI's TopologyVisualizer instance, for taking screenshots.

Constructor Summary

GraphicalUserInterface(java.awt.Container parent)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
boolean	exit(int status)
TopologyVisualizer	getTopologyVisualizer() Returns the topology visualizer used by the GUI.
void	handleEvent(Event event) Callback function for handling an event.
void	processEvents()
void	runExperiment(Experiment experiment) Causes this user interface to run an experiment.
void	setGreetingProvider(GreetingProvider gp) Sets the greeting provider for this user interface.
void	setInterruptEnabled(boolean b)
void	setResetEnabled(boolean b)
void	setRunEnabled(boolean b)
void	setRunUntilEnabled(boolean b)
void	setStepEnabled(boolean b)
void	setTopologyVisualizer(TopologyVisualizer topology_visualizer) Sets the topology visualizer to be used by the GUI.
void	stateChanged(javax.swing.event.ChangeEvent ce)
void	valueChanged(javax.swing.event.TreeSelectionEvent e)
void	windowActivated(java.awt.event.WindowEvent e)
void	windowClosed(java.awt.event.WindowEvent e)
void	windowClosing(java.awt.event.WindowEvent we)
void	windowDeactivated(java.awt.event.WindowEvent e)
void	windowDeiconified(java.awt.event.WindowEvent e)
void	windowIconified(java.awt.event.WindowEvent e)
void	windowOpened(java.awt.event.WindowEvent e)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GraphicalUserInterface

public GraphicalUserInterface(java.awt.Container parent)

Method Detail

getTopologyVisualizer

public TopologyVisualizer getTopologyVisualizer()

Returns the topology visualizer used by the GUI.

setTopologyVisualizer

public void setTopologyVisualizer(TopologyVisualizer topology_visualizer)

Sets the topology visualizer to be used by the GUI.

setGreetingProvider

public void setGreetingProvider(GreetingProvider gp)

Description copied from interface: UserInterface

Sets the greeting provider for this user interface. The greeting supplied by the greeting provider is intended to be displayed by the user interface.

Specified by:

setGreetingProvider in interface UserInterface

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent ce)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

windowActivated

public void windowActivated(java.awt.event.WindowEvent e)

Specified by:

windowActivated in interface java.awt.event.WindowListener

windowClosed

public void windowClosed(java.awt.event.WindowEvent e)

Specified by:

windowClosed in interface java.awt.event.WindowListener

windowDeactivated

public void windowDeactivated(java.awt.event.WindowEvent e)

Specified by:

windowDeactivated in interface java.awt.event.WindowListener

windowDeiconified

public void windowDeiconified(java.awt.event.WindowEvent e)

Specified by:

windowDeiconified in interface java.awt.event.WindowListener

windowIconified

public void windowIconified(java.awt.event.WindowEvent e)

Specified by:

windowIconified in interface java.awt.event.WindowListener

windowOpened

public void windowOpened(java.awt.event.WindowEvent e)

Specified by:

windowOpened in interface java.awt.event.WindowListener

windowClosing

public void windowClosing(java.awt.event.WindowEvent we)

Specified by:

windowClosing in interface java.awt.event.WindowListener

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

exit

public boolean exit(int status)

runExperiment

public void runExperiment(Experiment experiment)

Description copied from interface: UserInterface

Causes this user interface to run an experiment.

Specified by:

runExperiment in interface UserInterface

handleEvent

public void handleEvent(Event event)

Description copied from interface: EventListener

Callback function for handling an event.

Specified by:

handleEvent in interface EventListener

processEvents

public void processEvents()

valueChanged

public void valueChanged(javax.swing.event.TreeSelectionEvent e)

Specified by:

valueChanged in interface javax.swing.event.TreeSelectionListener

setStepEnabled

public void setStepEnabled(boolean b)

setRunEnabled

public void setRunEnabled(boolean b)

setRunUntilEnabled

public void setRunUntilEnabled(boolean b)

setResetEnabled

public void setResetEnabled(boolean b)

setInterruptEnabled

public void setInterruptEnabled(boolean b)