|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Long | |
| java.lang | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
| 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.dis | |
| Uses of Long in java.lang |
| Methods in java.lang that return Long | |
static Long |
Long.valueOf(String s,
int radix)
|
static Long |
Long.valueOf(String s)
|
static Long |
Long.decode(String nm)
|
static Long |
Long.getLong(String nm)
|
static Long |
Long.getLong(String nm,
long val)
|
static Long |
Long.getLong(String nm,
Long val)
|
| Methods in java.lang with parameters of type Long | |
static Long |
Long.getLong(String nm,
Long val)
|
int |
Long.compareTo(Long anotherLong)
|
| Uses of Long in org.jmlspecs.models |
| Methods in org.jmlspecs.models that return Long | |
Long |
JMLLong.getLong()
Return an Long object containing the long value in this object. |
| Constructors in org.jmlspecs.models with parameters of type Long | |
JMLLong(Long inLong)
Initialize this object to the given long. |
|
| Uses of Long in org.multijava.dis |
| Methods in org.multijava.dis with parameters of type Long | |
private static String |
Disassembler.convertLongLiteral(Long t)
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||