Uses of Class
org.jmlspecs.models.JMLChar

Packages that use JMLChar

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

Fields in org.jmlspecs.models declared as JMLChar

static JMLChar

JMLChar.ZERO The JMLChar that represents zero.

Methods in org.jmlspecs.models that return JMLChar

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

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

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