org.tigris.mbt.conditions
Class StateCoverage

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

public class StateCoverage
extends StopCondition

Constructor Summary

StateCoverage()

StateCoverage(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

StateCoverage

public StateCoverage()

StateCoverage

public StateCoverage(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