Uses of Class
org.multijava.mjc.MJMathMode

Packages that use MJMathMode

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 MJMathMode in org.jmlspecs.checker

Subclasses of MJMathMode in org.jmlspecs.checker

class

JMLMathMode

Fields in org.jmlspecs.checker declared as MJMathMode

protected MJMathMode

JmlExpressionContext.arithmeticMode

Methods in org.jmlspecs.checker that return MJMathMode

MJMathMode	JmlContext.arithmeticMode() Indicates the integral arithmetic mode that should be used.
MJMathMode	JmlExpressionContext.arithmeticMode()
MJMathMode	JmlCompilationUnitContext.arithmeticMode()

Uses of MJMathMode in org.multijava.mjc

Fields in org.multijava.mjc declared as MJMathMode

protected MJMathMode

CExpressionContext.arithmeticMode

Methods in org.multijava.mjc that return MJMathMode

abstract MJMathMode	CContextType.arithmeticMode() Indicates the integral arithmetic mode that should be used.
MJMathMode	CContext.arithmeticMode() Indicates the integral arithmetic mode that should be used.
static MJMathMode	MJMathMode.newMJMathMode(byte mm)
static MJMathMode	MJMathMode.newMJMathMode()
MJMathMode	CCompilationUnitContext.arithmeticMode()
MJMathMode	CExpressionContext.arithmeticMode()