JML

org.jmlspecs.jmlunit.strategies
Class ByteAbstractStrategy

java.lang.Object
  extended byorg.jmlspecs.jmlunit.strategies.ByteAbstractStrategy
All Implemented Interfaces:
ByteStrategyType, StrategyType
Direct Known Subclasses:
ByteAbstractFilteringStrategyDecorator, ByteCompositeStrategy, ByteExtensibleStrategy, ByteExtensibleStrategyDecorator

public abstract class ByteAbstractStrategy
extends Object
implements ByteStrategyType

Common code for strategies for providing test data of type byte.

Author:
Gary T. Leavens

Constructor Summary
ByteAbstractStrategy()
           
 
Method Summary
 IndefiniteIterator iterator()
          Return the byteIterator.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.jmlspecs.jmlunit.strategies.ByteStrategyType
byteIterator
 

Constructor Detail

ByteAbstractStrategy

public ByteAbstractStrategy()
Method Detail

iterator

public IndefiniteIterator iterator()
Return the byteIterator.

Specified by:
iterator in interface StrategyType

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.