Uses of Class
org.multijava.mjc.CNumericType

Packages that use CNumericType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CNumericType in org.jmlspecs.checker

Subclasses of CNumericType in org.jmlspecs.checker

class

JmlNumericType This class represents the JML primitive numeric types bigint and real.

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

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

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

Uses of CNumericType in org.multijava.mjc

Fields in org.multijava.mjc declared as CNumericType

static CNumericType	CStdType.Byte
static CNumericType	CStdType.Integer
static CNumericType	CStdType.Long
static CNumericType	CStdType.Double
static CNumericType	CStdType.Float
static CNumericType	CStdType.Short
static CNumericType	CStdType.Char

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

private void	JOrdinalLiteral.setValue(Number newValue, CNumericType newType) Sets value to the smallest numeric type that can contain newValue and sets type to newType.
void	CNumericType.genCastTo(CNumericType dest, CodeSequence code) Generates a sequence of bytecodes

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

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

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