JML

Uses of Class
java.util.NoSuchElementException

Packages that use NoSuchElementException
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.mjc Implements mjc, a MultiJava compiler. 
 

Uses of NoSuchElementException in org.jmlspecs.jmlunit.strategies
 

Methods in org.jmlspecs.jmlunit.strategies that throw NoSuchElementException
 long LongAbstractFilteringIteratorDecorator.getLong()
          Return the current approved element.
 Object AbstractFilteringIteratorDecorator.get()
          Return the current approved element.
 double DoubleAbstractFilteringIteratorDecorator.getDouble()
          Return the current approved element.
 byte ByteAbstractFilteringIteratorDecorator.getByte()
          Return the current approved element.
 float FloatAbstractFilteringIteratorDecorator.getFloat()
          Return the current approved element.
 char CharAbstractFilteringIteratorDecorator.getChar()
          Return the current approved element.
 int IntAbstractFilteringIteratorDecorator.getInt()
          Return the current approved element.
 short ShortAbstractFilteringIteratorDecorator.getShort()
          Return the current approved element.
 boolean BooleanAbstractFilteringIteratorDecorator.getBoolean()
          Return the current approved element.
 long LongCompositeIterator.getLong()
          Return the next element in this iteration.
 char CharCompositeIterator.getChar()
          Return the next element in this iteration.
 short ShortCompositeIterator.getShort()
          Return the next element in this iteration.
 int IntCompositeIterator.getInt()
          Return the next element in this iteration.
 double DoubleCompositeIterator.getDouble()
          Return the next element in this iteration.
 float FloatCompositeIterator.getFloat()
          Return the next element in this iteration.
 boolean BooleanCompositeIterator.getBoolean()
          Return the next element in this iteration.
 byte ByteCompositeIterator.getByte()
          Return the next element in this iteration.
 

Uses of NoSuchElementException in org.jmlspecs.models
 

Subclasses of NoSuchElementException in org.jmlspecs.models
 class JMLNoSuchElementException
          Missing element exception used by various JML collection types and enumerators.
 

Uses of NoSuchElementException in org.multijava.mjc
 

Methods in org.multijava.mjc that throw NoSuchElementException
 Object JCompilationUnit.JCompilationUnit$1.next()
           
 Object JCompilationUnit.JCompilationUnit$4.next()
           
 


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.