|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.lang.Thread
zeus.visualiser.society.AnimationQueue
| Nested Class Summary | |
class |
AnimationQueue.Animation
|
(package private) class |
AnimationQueue.AnimationQueueConstraint
|
(package private) class |
AnimationQueue.AnimationQueueItem
|
(package private) class |
AnimationQueue.ImageLabel
|
| Field Summary | |
(package private) static int |
ARROWS
|
(package private) static int |
count
|
(package private) static int |
FLUSH_QUEUE_LIMIT
if we attempt to add more than FLUSH_QUEUE_LIMIT items to the queue it gets emptied - to stop it overflowing. |
(package private) Graph |
graph
|
(package private) int |
length
|
(package private) static int |
LETTER
|
(package private) int |
mode
|
protected java.util.Vector |
queue
|
protected boolean |
running
|
(package private) long |
speed
|
| Fields inherited from class java.lang.Thread |
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY |
| Constructor Summary | |
AnimationQueue(Graph graph)
|
|
| Method Summary | |
void |
add(Performative msg,
GraphNode sender,
GraphNode receiver,
java.awt.Color color)
|
private void |
debug(java.lang.String str)
|
(package private) void |
flush()
|
(package private) int |
getLength()
|
(package private) int |
getMode()
|
(package private) long |
getSpeed()
|
void |
run()
|
(package private) void |
setLength(int L)
|
(package private) void |
setMode(int s)
|
(package private) void |
setSpeed(long s)
|
(package private) void |
terminate()
|
| Methods inherited from class java.lang.Thread |
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getContextClassLoader, getName, getPriority, getThreadGroup, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setName, setPriority, sleep, sleep, start, stop, stop, suspend, toString, yield |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
static final int LETTER
static final int ARROWS
static int FLUSH_QUEUE_LIMIT
static int count
long speed
int length
int mode
Graph graph
protected java.util.Vector queue
protected boolean running
| Constructor Detail |
public AnimationQueue(Graph graph)
| Method Detail |
void flush()
void setSpeed(long s)
long getSpeed()
int getMode()
int getLength()
void setMode(int s)
void setLength(int L)
void terminate()
public void add(Performative msg,
GraphNode sender,
GraphNode receiver,
java.awt.Color color)
private void debug(java.lang.String str)
public void run()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||