Uses of Class
java.lang.ArithmeticException

Packages that use ArithmeticException

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 ArithmeticException in org.jmlspecs.models

Methods in org.jmlspecs.models that throw ArithmeticException

abstract BigInteger	JMLInfiniteInteger.finiteValue() Assuming this integer is finite, return its value.
abstract JMLInfiniteInteger	JMLInfiniteInteger.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
abstract JMLInfiniteInteger	JMLInfiniteInteger.pow(int n) Return this integer raised to the argument's power.
BigInteger	JMLPositiveInfinity.finiteValue() Throw an ArithmeticException.
JMLInfiniteInteger	JMLPositiveInfinity.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLPositiveInfinity.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLPositiveInfinity.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
JMLInfiniteInteger	JMLPositiveInfinity.pow(int n) Return this integer raised to the argument's power.
JMLInfiniteInteger	JMLFiniteInteger.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
BigInteger	JMLNegativeInfinity.finiteValue() Throw an ArithmeticException.
JMLInfiniteInteger	JMLNegativeInfinity.divide(JMLInfiniteInteger n) Return the quotient of this integer divided by the argument.
JMLInfiniteInteger	JMLNegativeInfinity.remainder(JMLInfiniteInteger n) Return the remainder of this integer divided by the argument.
JMLInfiniteInteger	JMLNegativeInfinity.mod(JMLInfiniteInteger n) Return this integer modulo the argument.
JMLInfiniteInteger	JMLNegativeInfinity.pow(int n) Return this integer raised to the argument's power.

Uses of ArithmeticException in org.multijava.mjc

Methods in org.multijava.mjc that return ArithmeticException

private static ArithmeticException	SafeIntegralArithmetic.newArithException(String expr)
private static ArithmeticException	SafeIntegralArithmetic.newArithException(String operatorAndSignature, long arg1, long arg2)