nz.ac.waikato.modeljunit
Class TransitionPair

java.lang.Object
  nz.ac.waikato.modeljunit.TransitionPair

public class TransitionPair
extends java.lang.Object

A transition pair is a pair of transitions (incoming,outgoing). They have the property that incoming.getEndState().equals(outgoing.getStartState()). (The constructor checks this and will throw an IllegalArgumentException if it is not true).

Author:

marku

Constructor Summary

TransitionPair(Transition in, Transition out)

Method Summary

boolean	equals(java.lang.Object other)
Transition	getIncoming()
Transition	getOutgoing()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionPair

public TransitionPair(Transition in,
                      Transition out)

Method Detail

getIncoming

public Transition getIncoming()

getOutgoing

public Transition getOutgoing()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object