Uses of Class
org.jmlspecs.models.JMLByte

Packages that use JMLByte

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

Fields in org.jmlspecs.models declared as JMLByte

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

Methods in org.jmlspecs.models that return JMLByte

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

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

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