org.jmlspecs.jmlunit.strategies
Class NonNullStrategyDecorator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.AbstractFilteringStrategyDecorator
      org.jmlspecs.jmlunit.strategies.NonNullStrategyDecorator

All Implemented Interfaces:

StrategyType

public class NonNullStrategyDecorator

extends AbstractFilteringStrategyDecorator

A decorator that filters out null test data.

Author:

Gary T. Leavens

Field Summary

 

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

 

Constructor Summary

NonNullStrategyDecorator(StrategyType strat)

 

Method Summary
boolean	approve(Object elem)

 

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

iterator

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

NonNullStrategyDecorator

public NonNullStrategyDecorator(StrategyType strat)

approve

public boolean approve(Object elem)

Description copied from class: AbstractFilteringStrategyDecorator

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