Class PingRequirement

java.lang.Object

org.jcsp.net.Requirement

org.jcsp.net.PingRequirement

class PingRequirement
extends Requirement

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	acceptableDifference

Fields inherited from class Requirement

booValue, comparator, dblValue, intValue, name, specName, strValue, type

Constructor Summary

Constructors

Constructor	Description
PingRequirement(int intValue, int acceptableDifference)

Method Summary

Modifier and Type	Method	Description
boolean	matches(Specification spec)

Methods inherited from class Object

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

Field Details

acceptableDifference

final int acceptableDifference

Constructor Details

PingRequirement

PingRequirement(int intValue,
 int acceptableDifference)

Method Details

matches

public boolean matches(Specification spec)

Overrides:

matches in class Requirement