org.eth.cyril.bugfixer.input

Class IntegerIntervalBound

java.lang.Object

org.eth.cyril.bugfixer.input.IntegerIntervalBound

All Implemented Interfaces:

Bound<java.lang.Integer>

class IntegerIntervalBound
extends java.lang.Object
implements Bound<java.lang.Integer>

Constructor Summary

Constructors

Constructor and Description
IntegerIntervalBound(int lower, int upper)

Method Summary

Modifier and Type	Method and Description
java.lang.String	describe() Describes this bound in a human-readable way.
java.lang.Integer	getRandomBoundedValue() Gets a random value from this bound.

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerIntervalBound

IntegerIntervalBound(int lower,
                     int upper)

Method Detail

getRandomBoundedValue

public java.lang.Integer getRandomBoundedValue()

Description copied from interface: Bound

Gets a random value from this bound.

Specified by:

getRandomBoundedValue in interface Bound<java.lang.Integer>

describe

public java.lang.String describe()

Description copied from interface: Bound

Describes this bound in a human-readable way.

Specified by:

describe in interface Bound<java.lang.Integer>