org.tigris.mbt.conditions
Class TestCaseLength

java.lang.Object
  org.tigris.mbt.conditions.StopCondition
      org.tigris.mbt.conditions.TestCaseLength

public class TestCaseLength
extends StopCondition

Constructor Summary

TestCaseLength(int numberOfEdges)

Method Summary

double	getFulfillment()
boolean	isFulfilled()
String	toString()

Methods inherited from class org.tigris.mbt.conditions.StopCondition

getMachine, setMachine

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TestCaseLength

public TestCaseLength(int numberOfEdges)

Method Detail

isFulfilled

public boolean isFulfilled()

Specified by:

isFulfilled in class StopCondition

getFulfillment

public double getFulfillment()

Specified by:

getFulfillment in class StopCondition

toString

public String toString()

Overrides:

toString in class Object