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.
private JMLChar	JMLChar_JML_Test.TestPlus.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestMinus.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestTimes.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestDividedBy.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestRemainderBy.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestGreaterThan.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestLessThan.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestGreaterThanOrEqualTo.i2 Argument i2
private JMLChar	JMLChar_JML_Test.TestLessThanOrEqualTo.i2 Argument i2

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.

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

JMLChar_JML_Test.TestClone(JMLChar receiver$)
Initialize this instance.

JMLChar_JML_Test.TestCharValue(JMLChar receiver$)
Initialize this instance.

JMLChar_JML_Test.TestGetChar(JMLChar receiver$)
Initialize this instance.

JMLChar_JML_Test.TestHashCode(JMLChar receiver$)
Initialize this instance.

JMLChar_JML_Test.TestCompareTo(JMLChar receiver$, Object op2)
Initialize this instance.

JMLChar_JML_Test.TestEquals(JMLChar receiver$, Object obj)
Initialize this instance.

JMLChar_JML_Test.TestToString(JMLChar receiver$)
Initialize this instance.

JMLChar_JML_Test.TestIntValue(JMLChar receiver$)
Initialize this instance.

JMLChar_JML_Test.TestPlus(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestMinus(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestTimes(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestDividedBy(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestRemainderBy(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestGreaterThan(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestLessThan(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestGreaterThanOrEqualTo(JMLChar receiver$, JMLChar i2)
Initialize this instance.

JMLChar_JML_Test.TestLessThanOrEqualTo(JMLChar receiver$, JMLChar i2)
Initialize this instance.