JML

org.jmlspecs.jmlunit.strategies
Class BooleanAbstractIterator

java.lang.Object
  extended byorg.jmlspecs.jmlunit.strategies.BooleanAbstractIterator
All Implemented Interfaces:
BooleanIterator, Cloneable, IndefiniteIterator
Direct Known Subclasses:
BooleanAbstractFilteringIteratorDecorator, BooleanArrayIterator, BooleanCompositeIterator

public abstract class BooleanAbstractIterator
extends Object
implements BooleanIterator

Common code for iterators over values of type boolean that implement the BooleanIterator interface.

Author:
Gary T. Leavens

Constructor Summary
BooleanAbstractIterator()
           
 
Method Summary
 Object clone()
          Return a copy of this iterator in the same state as this object.
 Object get()
          Return the current element in this iteration.
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.jmlspecs.jmlunit.strategies.BooleanIterator
getBoolean
 
Methods inherited from interface org.jmlspecs.jmlunit.strategies.IndefiniteIterator
advance, atEnd
 

Constructor Detail

BooleanAbstractIterator

public BooleanAbstractIterator()
Method Detail

get

public Object get()
Description copied from interface: IndefiniteIterator
Return the current element in this iteration. This method may be called multiple times, and does not advance the state of the iterator when it is called. The idea is to permit several similar copies to be returned (e.g., clones) each time it is called.

Specified by:
get in interface BooleanIterator

clone

public Object clone()
Description copied from interface: BooleanIterator
Return a copy of this iterator in the same state as this object.

Specified by:
clone in interface BooleanIterator
Overrides:
clone in class Object

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.