org.jmlspecs.jmlunit.strategies
Class ByteNonNegativeIteratorDecorator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.ByteAbstractIterator
      org.jmlspecs.jmlunit.strategies.ByteAbstractFilteringIteratorDecorator
          org.jmlspecs.jmlunit.strategies.ByteNonNegativeIteratorDecorator

All Implemented Interfaces:

ByteIterator, Cloneable, IndefiniteIterator

public class ByteNonNegativeIteratorDecorator

extends ByteAbstractFilteringIteratorDecorator

An indefinite iterator that filters out negative test data.

Author:

Gary T. Leavens

Field Summary

 

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

 

Constructor Summary

ByteNonNegativeIteratorDecorator(ByteIterator iter)

 

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

 

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

advance, atEnd, clone, getByte, initialize, toString

 

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

get

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

ByteNonNegativeIteratorDecorator

public ByteNonNegativeIteratorDecorator(ByteIterator iter)

approve

public boolean approve(byte elem)

Return true just when the argument is not negative.