Uses of Interface

Packages that use Iterator
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
org.jmlspecs.checker Contains the source code for a parser and typechecker for JML annotations and java code. 
org.jmlspecs.jmlrac Generates Java classes from JML specifications that check assertions at runtime. 
org.jmlspecs.jmlunit Generates JUnit test classes from JML specifications. 
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.models This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package. 
org.multijava.launcher The launcher allows the user to access all of the tools in MJ. 
org.multijava.mjc Implements mjc, a MultiJava compiler. 
org.multijava.mjdoc.mjdoc_142 The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
org.multijava.util.testing Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language

Uses of Iterator in java.util

Subinterfaces of Iterator in java.util
 interface ListIterator
          JML's specification of java.util.Iterator.

Methods in java.util that return Iterator
abstract  Iterator List.iterator()
abstract  Iterator Collection.iterator()
abstract  Iterator AbstractCollection.iterator()
 Iterator AbstractList.iterator()
abstract  Iterator Set.iterator()
 Iterator HashSet.iterator()
(package private)  Iterator HashMap.newKeyIterator()
(package private)  Iterator HashMap.newValueIterator()
(package private)  Iterator HashMap.newEntryIterator()
 Iterator AbstractSequentialList.iterator()
 Iterator SubList.iterator()
 Iterator TreeSet.iterator()

Uses of Iterator in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return Iterator
 Iterator JmlDataGroupMemberMap.keyGroupIterator()
 Iterator JmlAssignableFieldSet.iterator()

Uses of Iterator in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return Iterator
 Iterator RacParser.RacMethodDeclaration.iterator()
abstract  Iterator RacNode.iterator()
          Returns an interator that iterates over elements (sequence of RAC nodes) of this node.
 Iterator RacParser.RacStatement.iterator()
 Iterator RacParser.RacBlock.iterator()
 Iterator TransMethod.SpecCaseCollector.iterator()
          Returns an iterator over all collected spec cases.

Uses of Iterator in org.jmlspecs.jmlunit

Classes in org.jmlspecs.jmlunit that implement Iterator
protected  class TestClassGenerator.MethodsIterator
          A composite control abstraction useful in this class.

Fields in org.jmlspecs.jmlunit declared as Iterator
private  Iterator TestClassGenerator.MethodsIterator.methods
          The non-inherited methods.
private  Iterator TestClassGenerator.MethodsIterator.inheritedMethods
          The inherited methods.

Uses of Iterator in org.jmlspecs.jmlunit.strategies

Fields in org.jmlspecs.jmlunit.strategies declared as Iterator
private  Iterator IteratorAbstractAdapter.iter
          The underlying iterator

Methods in org.jmlspecs.jmlunit.strategies that return Iterator
protected abstract  Iterator IteratorAbstractAdapter.cloneIterator(Iterator iter)
          Return a clone of the argument iterator

Methods in org.jmlspecs.jmlunit.strategies with parameters of type Iterator
protected abstract  Iterator IteratorAbstractAdapter.cloneIterator(Iterator iter)
          Return a clone of the argument iterator

Constructors in org.jmlspecs.jmlunit.strategies with parameters of type Iterator
IteratorAbstractAdapter(Iterator iter)
          Initialize this indefinite iterator to iterate over the elements that iter iterates over.

Uses of Iterator in org.jmlspecs.models

Subinterfaces of Iterator in org.jmlspecs.models
 interface JMLIterator
          A combination of JMLType and java.util.Iterator.

Classes in org.jmlspecs.models that implement Iterator
 class JMLEnumerationToIterator
          A wrapper that makes any JMLEnumeration into a JMLIterator that does not support the remove operation.

Uses of Iterator in org.multijava.launcher

Subinterfaces of Iterator in org.multijava.launcher
 interface ResettableIterator
          Extention of Iterator that allows resetting the Iterator to its initial position.

Classes in org.multijava.launcher that implement Iterator
protected static class Launcher.ToolIterator
          The Iterator that uses an ArrayList to cycle through Hashtables that hold the tool descriptions and AbstractToolLaunchers to enable the launchers to run the various tools.

Fields in org.multijava.launcher declared as Iterator
protected  Iterator
          Iterator through all the tools.

Constructors in org.multijava.launcher with parameters of type Iterator
ImpLauncher(String name, Iterator tools, String logoName)
          Constructor for the ImpLauncher

Uses of Iterator in org.multijava.mjc

Classes in org.multijava.mjc that implement Iterator
(package private) static class JCompilationUnit.JCompilationUnit$1
(package private) static class JCompilationUnit.JCompilationUnit$4

Fields in org.multijava.mjc declared as Iterator
private static Iterator JCompilationUnit.EMPTY_ITERATOR
private  Iterator CAbstractMethodSet.Iterator.self

Methods in org.multijava.mjc that return Iterator
private static Iterator JCompilationUnit.makeIterator(ArrayList[] l_f)
          Generates an iterator for looping through the cartesian cross-product of the sets of types.

Uses of Iterator in org.multijava.mjdoc.mjdoc_142

Methods in org.multijava.mjdoc.mjdoc_142 with parameters of type Iterator
 void MjdocStandard.generateEMCUCycle(Iterator i)
protected  void MjdocAllClassesFrameWriter.printAllGF(Iterator i)
          Print links for all the GFs.

Uses of Iterator in org.multijava.util.testing

Classes in org.multijava.util.testing that implement Iterator
 class ExternalInputIterator
          This is a utility class that is an iterator over the lines produced by an external executable.
 class FileIterator
          This is a utility class that is an iterator over the lines produced by reading a file.


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.