uk.ac.man.cs.rainbow.deadlock
Class StateEngine.EventStackEager

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.deadlock.StateEngine.EventStackEager

All Implemented Interfaces:

StateEngine.EventStack

Enclosing class:

StateEngine

public class StateEngine.EventStackEager

extends Object

implements StateEngine.EventStack

Stack of channel events. Acts to minimise the amount of memory it uses, and as such is suitable for deadlock checkers. INTERNAL USE ONLY

See Also:

StateEngine.EAGER_POP

Method Summary

Enumeration	elements() Get an enumeration of all the elements on the stack.
Enumeration	elements(int limit) Get an enumeration of the elements on the stack up to the given point.
void	push(StateEngine.ChannelEvent e) Add an event to the end of the stack.
void	setSize(int size) Set the size of the stack.
int	size() How many events are on the stack?

Methods inherited from class java.lang.Object

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

Method Detail

push

public void push(StateEngine.ChannelEvent e)

Description copied from interface: StateEngine.EventStack

Add an event to the end of the stack. May also be null to mark the end of a step.

Specified by:

push in interface StateEngine.EventStack

size

public int size()

Description copied from interface: StateEngine.EventStack

How many events are on the stack?

Specified by:

size in interface StateEngine.EventStack

setSize

public void setSize(int size)

Description copied from interface: StateEngine.EventStack

Set the size of the stack. Used to pop off loads of elements at once (a single pop is not very useful!)

Specified by:

setSize in interface StateEngine.EventStack

elements

public Enumeration elements()

Description copied from interface: StateEngine.EventStack

Get an enumeration of all the elements on the stack.

Specified by:

elements in interface StateEngine.EventStack

elements

public Enumeration elements(int limit)

Description copied from interface: StateEngine.EventStack

Get an enumeration of the elements on the stack up to the given point.

Specified by:

elements in interface StateEngine.EventStack