Uses of Class
java.lang.Number

Packages that use Number

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.math	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of Number in java.lang

Subclasses of Number in java.lang

class	Byte JML's specification of java.lang.Byte.
class	Double JML's specification of java.lang.Double.
class	Float JML's specification of java.lang.Float.
class	Integer JML's specification of java.lang.Integer.
class	Long JML's specification of java.lang.Long.
class	Short JML's specification of java.lang.Short.

Uses of Number in java.math

Subclasses of Number in java.math

class	BigDecimal
class	BigInteger JML's specification of java.math.BigInteger.

Uses of Number in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return Number

Number

JmlOrdinalLiteral.numberValue() Returns a Number that represents the value of this literal.

Constructors in org.jmlspecs.checker with parameters of type Number

JmlOrdinalLiteral(TokenReference where, Number value, CNumericType type)
Construct a node in the parsing tree

Uses of Number in org.jmlspecs.models.resolve

Subclasses of Number in org.jmlspecs.models.resolve

class

NaturalNumber The natural numbers.

Uses of Number in org.multijava.mjc

Fields in org.multijava.mjc declared as Number

protected Number	JOrdinalLiteral.value
private Number	JRealLiteral.value

Methods in org.multijava.mjc that return Number

abstract Number	JNumberLiteral.numberValue() get a Number that represents the value of this literal Do not call before typecheck
Number	JOrdinalLiteral.numberValue() Returns a Number that represents the value of this literal.
Number	JCharLiteral.numberValue() get a Number that represents the value of this literal Do not call before typecheck
Number	JRealLiteral.numberValue() Get a Number that represents the value of this literal.

Methods in org.multijava.mjc with parameters of type Number

private void	JOrdinalLiteral.setValue(Number newValue, CNumericType newType) Sets value to the smallest numeric type that can contain newValue and sets type to newType.
private void	JRealLiteral.setValue(Number newValue) Sets the value of this to the given value.

Constructors in org.multijava.mjc with parameters of type Number

JOrdinalLiteral(TokenReference where, Number value, CNumericType type)
Construct a node in the parsing tree

JRealLiteral(TokenReference where, Number value, CType type)
Construct a node in the parsing tree