dip.gui
Class PhaseSelector

java.lang.Object
  dip.gui.PhaseSelector

public class PhaseSelector

extends java.lang.Object

Manages all (except for select) items in the History menu.

This object is created by ClientFrame, and can be used by other classes via the getPhaseSelector() method in ClientFrame.

Constructor Summary

PhaseSelector(ClientFrame parent)
Create a PhaseSelector object.

Method Summary

void	close() Cleanup the PhaseSelector object
void	first() Go to the first (initial) phase.
int	getCurrentPhasePosition() Get the current phase position.
int	getPhaseCount() Get the total number of phases.
void	last() Go to the last phase.
void	next() Go to the next phase, if possible.
void	previous() Go to the Previous phase, if possible.

Methods inherited from class java.lang.Object

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

Constructor Detail

PhaseSelector

public PhaseSelector(ClientFrame parent)

Create a PhaseSelector object.

Method Detail

close

public void close()

Cleanup the PhaseSelector object

previous

public void previous()

Go to the Previous phase, if possible.

next

public void next()

Go to the next phase, if possible.

first

public void first()

Go to the first (initial) phase.

last

public void last()

Go to the last phase.

getPhaseCount

public int getPhaseCount()

Get the total number of phases.

getCurrentPhasePosition

public int getCurrentPhasePosition()

Get the current phase position.