Package org.graphwalker.core.condition

Class EdgeCoverage

java.lang.Object

org.graphwalker.core.condition.StopConditionBase

org.graphwalker.core.condition.CoverageStopConditionBase

org.graphwalker.core.condition.EdgeCoverage

All Implemented Interfaces:

StopCondition

public class EdgeCoverage
extends CoverageStopConditionBase

EdgeCoverage

The EdgeCoverage stop condition is fulfilled when the percentage of visited edges in the model is greater than, or equal, to the percentage given as a parameter to the constructor.

Author:

Nils Olsson

Field Summary

Fields inherited from interface org.graphwalker.core.condition.StopCondition

FULFILLMENT_LEVEL

Constructor Summary

Constructors

Constructor	Description
EdgeCoverage(int percent)

Method Summary

Modifier and Type	Method	Description
double	getFulfilment()
boolean	isFulfilled()

Methods inherited from class org.graphwalker.core.condition.CoverageStopConditionBase

getPercent, getPercentAsDouble

Methods inherited from class org.graphwalker.core.condition.StopConditionBase

getContext, getValue, setContext, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

EdgeCoverage

public EdgeCoverage(int percent)

Method Details

isFulfilled

public boolean isFulfilled()

Specified by:

isFulfilled in interface StopCondition

Overrides:

isFulfilled in class StopConditionBase

getFulfilment

public double getFulfilment()