Uses of Class
org.jmlspecs.models.JMLLong

Packages that use JMLLong

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

Fields in org.jmlspecs.models declared as JMLLong

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

Methods in org.jmlspecs.models that return JMLLong

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

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

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