org.jmlspecs.jmlunit.strategies
Class LongNonNegativeStrategyDecorator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.LongAbstractStrategy
      org.jmlspecs.jmlunit.strategies.LongAbstractFilteringStrategyDecorator
          org.jmlspecs.jmlunit.strategies.LongNonNegativeStrategyDecorator

All Implemented Interfaces:

LongStrategyType, StrategyType

public class LongNonNegativeStrategyDecorator

extends LongAbstractFilteringStrategyDecorator

A decorator for strategies that filters out that filters out negative test data.

Author:

Gary T. Leavens

Field Summary

 

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

 

Constructor Summary

LongNonNegativeStrategyDecorator(LongStrategyType strat)

 

Method Summary
boolean	approve(long elem)

 

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

longIterator

 

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

iterator

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

LongNonNegativeStrategyDecorator

public LongNonNegativeStrategyDecorator(LongStrategyType strat)

approve

public boolean approve(long elem)

Description copied from class: LongAbstractFilteringStrategyDecorator

Return true if the element is to be returned by the getLong() method.