nz.ac.waikato.modeljunit.timing
Class TimedTransition

java.lang.Object
  nz.ac.waikato.modeljunit.Transition
      nz.ac.waikato.modeljunit.timing.TimedTransition

public class TimedTransition
extends Transition

Field Summary

protected int

time_

Constructor Summary

TimedTransition(int time, java.lang.Object start, java.lang.String action, java.lang.Object end)

Method Summary

int	hashCode() Returns the hashscode for a timed transition.
java.lang.String	toString()

Methods inherited from class nz.ac.waikato.modeljunit.Transition

equals, getAction, getEndState, getStartState

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

time_

protected int time_

Constructor Detail

TimedTransition

public TimedTransition(int time,
                       java.lang.Object start,
                       java.lang.String action,
                       java.lang.Object end)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Transition

hashCode

public int hashCode()

Returns the hashscode for a timed transition. The time that a transition is taken is ignored when comparing transitions.

Overrides:

hashCode in class Transition