Uses of Interface
java.util.Iterator

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

ImpLauncher.tools 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.