|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |