Uses of Class
java.lang.Integer

Packages that use Integer

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.mjc	Implements mjc, a MultiJava compiler.

Uses of Integer in java.lang

Methods in java.lang that return Integer

static Integer	Integer.valueOf(String s, int radix)
static Integer	Integer.valueOf(String s)
static Integer	Integer.getInteger(String nm)
static Integer	Integer.getInteger(String nm, int val)
static Integer	Integer.getInteger(String nm, Integer val)
static Integer	Integer.decode(String nm)

Methods in java.lang with parameters of type Integer

static Integer	Integer.getInteger(String nm, Integer val)
int	Integer.compareTo(Integer anotherInteger)

Uses of Integer in org.jmlspecs.models

Fields in org.jmlspecs.models declared as Integer

private Integer	JMLObjectToObjectRelation_JML_TestData.i4
private Integer	JMLObjectToObjectRelation_JML_TestData.i3
private Integer	JMLObjectToObjectRelation_JML_TestData.i2
private Integer	JMLObjectToObjectRelation_JML_TestData.i1
private Integer	JMLObjectToObjectRelation_JML_TestData.i0

Methods in org.jmlspecs.models that return Integer

Integer

JMLInteger.getInteger() Return an Integer object containing the integer value in this object.

Constructors in org.jmlspecs.models with parameters of type Integer

JMLInteger(Integer inInteger)
Initialize this object to the given Integer's value.

Uses of Integer in org.multijava.mjc

Fields in org.multijava.mjc declared as Integer

private Integer

JSwitchLabel.label

Methods in org.multijava.mjc that return Integer

Integer

JSwitchLabel.getLabel()