org.tigris.mbt.conditions
Class ReachedState

java.lang.Object
  extended by org.tigris.mbt.conditions.StopCondition
      extended by org.tigris.mbt.conditions.ReachedState

public class ReachedState
extends StopCondition


Constructor Summary
ReachedState(String stateName)
           
 
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

ReachedState

public ReachedState(String stateName)
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