pipe.gui
Class Animator

java.lang.Object
  |
  +--pipe.gui.Animator

All Implemented Interfaces:

java.awt.event.ActionListener, Constants, java.util.EventListener

public class Animator

extends java.lang.Object

implements java.awt.event.ActionListener, Constants

Inner Class Summary

(package private) class

Animator.RandomFiringThread

Field Summary

(package private) GuiFrame	animatorAppGui
(package private) GuiView	animatorAppView
(package private) CreateGui	animatortheApp
private static int	clock
private static int	count
private java.util.ArrayList	firedTransitions
private static int	forwardcount
(package private) Transition	lastTransition
(package private) Transition	nextTransition
(package private) DataLayer	pnmlCopy
(package private) DataLayer	pnmlOriginal
private static int	totalcount

Fields inherited from interface pipe.gui.Constants

ADDTOKEN, ARC, DEFAULT_BACKGROUND_COLOR, DEFAULT_DIRECTORY, DEFAULT_ELEMENT_COLOR, DEFAULT_ELEMENT_TYPE, DEFAULT_FILENAME, DELETE, DELTOKEN, DRAW, FIRE, MOVE, PLACE, RANDOM, START, STEPBACKWARD, STEPFORWARD, STOP, TRANSITION

Constructor Summary

Animator()

Animator(CreateGui theApp, GuiFrame appGui, GuiView appView, DataLayer original)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
void	disableTransitions()
void	highlightEnabledTransitions()
void	passTransition(Transition last)
void	restoreModel()
void	startRandomFiring(int numberSequences)
void	stepBack()
void	stepForward()
void	storeModel()
void	unhighlightDisabledTransitions()

Methods inherited from class java.lang.Object

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

Field Detail

animatorAppGui

GuiFrame animatorAppGui

pnmlOriginal

DataLayer pnmlOriginal

pnmlCopy

DataLayer pnmlCopy

animatorAppView

GuiView animatorAppView

animatortheApp

CreateGui animatortheApp

lastTransition

Transition lastTransition

nextTransition

Transition nextTransition

firedTransitions

private java.util.ArrayList firedTransitions

count

private static int count

forwardcount

private static int forwardcount

totalcount

private static int totalcount

clock

private static int clock

Constructor Detail

Animator

public Animator()

Animator

public Animator(CreateGui theApp,
                GuiFrame appGui,
                GuiView appView,
                DataLayer original)

Method Detail

highlightEnabledTransitions

public void highlightEnabledTransitions()

unhighlightDisabledTransitions

public void unhighlightDisabledTransitions()

disableTransitions

public void disableTransitions()

storeModel

public void storeModel()

restoreModel

public void restoreModel()

startRandomFiring

public void startRandomFiring(int numberSequences)

stepBack

public void stepBack()

stepForward

public void stepForward()

passTransition

public void passTransition(Transition last)

actionPerformed

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

Specified by:

actionPerformed in interface java.awt.event.ActionListener