org.jmlspecs.jmlunit.strategies
Class LongNonNegativeIteratorDecorator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.LongAbstractIterator
      org.jmlspecs.jmlunit.strategies.LongAbstractFilteringIteratorDecorator
          org.jmlspecs.jmlunit.strategies.LongNonNegativeIteratorDecorator

All Implemented Interfaces:

Cloneable, IndefiniteIterator, LongIterator

public class LongNonNegativeIteratorDecorator

extends LongAbstractFilteringIteratorDecorator

An indefinite iterator that filters out negative test data.

Author:

Gary T. Leavens

Field Summary

 

Fields inherited from class org.jmlspecs.jmlunit.strategies.LongAbstractFilteringIteratorDecorator

 

Constructor Summary

LongNonNegativeIteratorDecorator(LongIterator iter)

 

Method Summary
boolean	approve(long elem)           Return true just when the argument is not negative.

 

Methods inherited from class org.jmlspecs.jmlunit.strategies.LongAbstractFilteringIteratorDecorator

advance, atEnd, clone, getLong, initialize, toString

 

Methods inherited from class org.jmlspecs.jmlunit.strategies.LongAbstractIterator

get

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

LongNonNegativeIteratorDecorator

public LongNonNegativeIteratorDecorator(LongIterator iter)

approve

public boolean approve(long elem)

Return true just when the argument is not negative.