Uses of Class
org.jmlspecs.models.JMLString

Packages that use JMLString

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

Fields in org.jmlspecs.models declared as JMLString

private JMLString	JMLValueSet_JML_TestData.ia Helper test data
static JMLString	JMLString.EMPTY The empty JMLString.
private JMLString	JMLString_JML_Test.TestCompareTo$1.another Argument another
private JMLString	JMLString_JML_Test.TestEqualsIgnoreCase.another Argument another
private JMLString	JMLString_JML_Test.TestConcat.s Argument s

Methods in org.jmlspecs.models that return JMLString

JMLString	JMLString.concat(JMLString s) Produce a new JMLString that is the concatentation of two JMLStrings.
JMLString	JMLString.concat(String s) Produce a new JMLString that is the concatentation of the JMLString and a String.
JMLString	JMLString.concat(char c) Produce a new JMLString that is the concatentation of the JMLString and a char.

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

int	JMLString.compareTo(JMLString another) Compares this to another.
boolean	JMLString.equalsIgnoreCase(JMLString another) Are these strings equal, except for case?
JMLString	JMLString.concat(JMLString s) Produce a new JMLString that is the concatentation of two JMLStrings.

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

JMLString_JML_Test.TestClone(JMLString receiver$)
Initialize this instance.

JMLString_JML_Test.TestCompareTo(JMLString receiver$, Object op2)
Initialize this instance.

JMLString_JML_Test.TestEquals(JMLString receiver$, Object s)
Initialize this instance.

JMLString_JML_Test.TestEqualsIgnoreCase(JMLString receiver$, JMLString another)
Initialize this instance.

JMLString_JML_Test.TestHashCode(JMLString receiver$)
Initialize this instance.

JMLString_JML_Test.TestToString(JMLString receiver$)
Initialize this instance.

JMLString_JML_Test.TestConcat(JMLString receiver$, JMLString s)
Initialize this instance.