|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use JMLTypeException | |
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. |
Uses of JMLTypeException in org.jmlspecs.models |
Constructors in org.jmlspecs.models that throw JMLTypeException | |
JMLByte(String s)
Initialize this object to the given byte. |
|
JMLShort(String s)
Initialize this object to the given short. |
|
JMLInteger(String s)
Initialize this object to the given integer. |
|
JMLLong(String s)
Initialize this object to the given long. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |