Uses of Class
org.jmlspecs.models.JMLShort

Packages that use JMLShort

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

Fields in org.jmlspecs.models declared as JMLShort

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

Methods in org.jmlspecs.models that return JMLShort

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

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

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