Package org.graphwalker.core.condition

Class DependencyEdgeCoverage

java.lang.Object

org.graphwalker.core.condition.StopConditionBase

org.graphwalker.core.condition.DependencyCoverageStopConditionBase

org.graphwalker.core.condition.DependencyEdgeCoverage

All Implemented Interfaces:

StopCondition

public class DependencyEdgeCoverage
extends DependencyCoverageStopConditionBase

DependencyEdgeCoverage

The DependencyEdgeCoverage stop condition is fulfilled when all the edges with dependency greater than, or equal, to the dependency given as a parameter to the constructor, are visited.

Author:

Miroslav Janeski

Field Summary

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

FULFILLMENT_LEVEL

Constructor Summary

Constructors

Constructor	Description
DependencyEdgeCoverage(int dependency)

Method Summary

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

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

getDependency, getDependencyAsDouble

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

DependencyEdgeCoverage

public DependencyEdgeCoverage(int dependency)

Method Details

isFulfilled

public boolean isFulfilled()

Specified by:

isFulfilled in interface StopCondition

Overrides:

isFulfilled in class StopConditionBase

getFulfilment

public double getFulfilment()