|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Byte | |
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. |
Uses of Byte in java.lang |
Methods in java.lang that return Byte | |
static Byte |
Byte.valueOf(String s,
int radix)
|
static Byte |
Byte.valueOf(String s)
|
static Byte |
Byte.decode(String nm)
|
Methods in java.lang with parameters of type Byte | |
int |
Byte.compareTo(Byte anotherByte)
|
Uses of Byte in org.jmlspecs.models |
Methods in org.jmlspecs.models that return Byte | |
Byte |
JMLByte.getByte()
Return an Byte object containing the byte value in this object. |
Constructors in org.jmlspecs.models with parameters of type Byte | |
JMLByte(Byte inByte)
Initialize this object to the given byte. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |