Uses of Class
org.jmlspecs.models.JMLInteger

Packages that use JMLInteger

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.

Uses of JMLInteger in org.jmlspecs.models

Fields in org.jmlspecs.models declared as JMLInteger

static JMLInteger	JMLInteger.ZERO The JMLInteger that represents zero.
static JMLInteger	JMLInteger.ONE The JMLInteger that represents one.

Methods in org.jmlspecs.models that return JMLInteger

JMLInteger	JMLInteger.negated() Return a new object containing the negation of this object's integer value.
JMLInteger	JMLInteger.plus(JMLInteger i2) Return a new object containing the sum of this object's integer value and that of the given argument.
JMLInteger	JMLInteger.minus(JMLInteger i2) Return a new object containing the difference between this object's integer value and that of the given argument.
JMLInteger	JMLInteger.times(JMLInteger i2) Return a new object containing the product of this object's integer value and that of the given argument.
JMLInteger	JMLInteger.dividedBy(JMLInteger i2) Return a new object containing the quotient of this object's integer value divided by that of the given argument.
JMLInteger	JMLInteger.remainderBy(JMLInteger i2) Return a new object containing the remainder of this object's integer value divided by that of the given argument.

Methods in org.jmlspecs.models with parameters of type JMLInteger

JMLInteger	JMLInteger.plus(JMLInteger i2) Return a new object containing the sum of this object's integer value and that of the given argument.
JMLInteger	JMLInteger.minus(JMLInteger i2) Return a new object containing the difference between this object's integer value and that of the given argument.
JMLInteger	JMLInteger.times(JMLInteger i2) Return a new object containing the product of this object's integer value and that of the given argument.
JMLInteger	JMLInteger.dividedBy(JMLInteger i2) Return a new object containing the quotient of this object's integer value divided by that of the given argument.
JMLInteger	JMLInteger.remainderBy(JMLInteger i2) Return a new object containing the remainder of this object's integer value divided by that of the given argument.
boolean	JMLInteger.greaterThan(JMLInteger i2) Tell whether this object's integer value is strictly greater than that of the given argument.
boolean	JMLInteger.lessThan(JMLInteger i2) Tell whether this object's integer value is strictly less than that of the given argument.
boolean	JMLInteger.greaterThanOrEqualTo(JMLInteger i2) Tell whether this object's integer value is greater than or equal to that of the given argument.
boolean	JMLInteger.lessThanOrEqualTo(JMLInteger i2) Tell whether this object's integer value is less than or equal to that of the given argument.