org.tigris.mbt.conditions
Class EdgeCoverage

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

public class EdgeCoverage
extends StopCondition

Constructor Summary

EdgeCoverage()

EdgeCoverage(double limit)

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

EdgeCoverage

public EdgeCoverage()

EdgeCoverage

public EdgeCoverage(double limit)

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