Uses of Class
org.jmlspecs.models.resolve.StringOfObject

Packages that use StringOfObject

org.jmlspecs.models.resolve

This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of StringOfObject in org.jmlspecs.models.resolve

Fields in org.jmlspecs.models.resolve declared as StringOfObject

static StringOfObject	StringOfObject.EMPTY The empty string of objects.
private StringOfObject	StringOfObject_JML_Test.TestExt.s Argument s
private StringOfObject[]	StringOfObject_JML_Test.TestProduct.a Argument a
private StringOfObject[]	StringOfObject_JML_Test.TestProductFrom.a Argument a
private StringOfObject[]	StringOfObject_JML_Test.TestProductFromTo.a Argument a
private StringOfObject	StringOfObject_JML_Test.TestConcat.s Argument s
private StringOfObject	StringOfObject_JML_Test.TestComposedWith.s Argument s
private StringOfObject	StringOfObject_JML_Test.TestIsPrefix.s2 Argument s2
private StringOfObject	StringOfObject_JML_Test.TestIsProperPrefix.s2 Argument s2
private StringOfObject	StringOfObject_JML_Test.TestIsProperSuffix.s2 Argument s2
private StringOfObject	StringOfObject_JML_Test.TestIsSuffix.s2 Argument s2

Methods in org.jmlspecs.models.resolve that return StringOfObject

static StringOfObject	StringOfObject.singleton(Object elem) Make a singleton string of objects containing just the given object.
static StringOfObject	StringOfObject.ext(StringOfObject s, Object elem) Extend the given string by placing the given element at the end.
static StringOfObject	StringOfObject.from(Object[] a) Make an array of objects into a string.
static StringOfObject	StringOfObject.from(Collection c) Make a collection into a string.
static StringOfObject	StringOfObject.product(StringOfObject[] a) Compose all the elements of a in order.
static StringOfObject	StringOfObject.productFrom(StringOfObject[] a, int fromIndex) Compose all the elements of a in order, starting at the given index.
static StringOfObject	StringOfObject.productFromTo(StringOfObject[] a, int fromIndex, int toIndex) Compose all the elements of a in order, starting with fromIndex, and including elements up to but not including toIndex.
StringOfObject	StringOfObject.ext(Object elem) Extend a string with a new element at the end.
StringOfObject	StringOfObject.add(Object elem) Add an element to a string at the end.
StringOfObject	StringOfObject.addFront(Object elem) Add an element to a string at the front.
StringOfObject	StringOfObject.addAfterIndex(int afterThisOne, Object elem) Add an element to a string after the given index.
StringOfObject	StringOfObject.addBeforeIndex(int beforeThisOne, Object elem) Add an element to a string before the given index.
StringOfObject	StringOfObject.concat(StringOfObject s) Concatenate this with s.
StringOfObject	StringOfObject.composedWith(StringOfObject s) Compose this with s.
StringOfObject	StringOfObject.addAll(Collection c) Add all the elements of c, at the end of this string, in the order determined by c's iterator.
StringOfObject	StringOfObject.addAll(Object[] c) Add all the elements of c at the end of this string, in order from the smallest to the largest index.
StringOfObject	StringOfObject.rev() Return the reverse of the string.
StringOfObject	StringOfObject.reverse() Return the reverse of the string.
StringOfObject	StringOfObject.pow(int n) Compose this string with itself the given number of times.

Methods in org.jmlspecs.models.resolve with parameters of type StringOfObject

static StringOfObject	StringOfObject.ext(StringOfObject s, Object elem) Extend the given string by placing the given element at the end.
static StringOfObject	StringOfObject.product(StringOfObject[] a) Compose all the elements of a in order.
static StringOfObject	StringOfObject.productFrom(StringOfObject[] a, int fromIndex) Compose all the elements of a in order, starting at the given index.
static StringOfObject	StringOfObject.productFromTo(StringOfObject[] a, int fromIndex, int toIndex) Compose all the elements of a in order, starting with fromIndex, and including elements up to but not including toIndex.
StringOfObject	StringOfObject.concat(StringOfObject s) Concatenate this with s.
StringOfObject	StringOfObject.composedWith(StringOfObject s) Compose this with s.
boolean	StringOfObject.isPrefix(StringOfObject s2) Tell whether this string occurs as a prefix of the given argument string.
boolean	StringOfObject.isProperPrefix(StringOfObject s2) Tell whether this string occurs as a proper prefix of the given argument string.
boolean	StringOfObject.isProperSuffix(StringOfObject s2) Tell whether this string occurs as a proper suffix of the given argument string.
boolean	StringOfObject.isSuffix(StringOfObject s2) Tell whether this string occurs as a suffix of the given argument string.

Constructors in org.jmlspecs.models.resolve with parameters of type StringOfObject

StringOfObject_JML_Test.TestExt(StringOfObject s, Object elem)
Initialize this instance.

StringOfObject_JML_Test.TestProduct(StringOfObject[] a)
Initialize this instance.

StringOfObject_JML_Test.TestProductFrom(StringOfObject[] a, int fromIndex)
Initialize this instance.

StringOfObject_JML_Test.TestProductFromTo(StringOfObject[] a, int fromIndex, int toIndex)
Initialize this instance.

StringOfObject_JML_Test.TestGet(StringOfObject receiver$, int index)
Initialize this instance.

StringOfObject_JML_Test.TestInt_size(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestLength(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestAdd(StringOfObject receiver$, Object elem)
Initialize this instance.

StringOfObject_JML_Test.TestAddFront(StringOfObject receiver$, Object elem)
Initialize this instance.

StringOfObject_JML_Test.TestAddAfterIndex(StringOfObject receiver$, int afterThisOne, Object elem)
Initialize this instance.

StringOfObject_JML_Test.TestAddBeforeIndex(StringOfObject receiver$, int beforeThisOne, Object elem)
Initialize this instance.

StringOfObject_JML_Test.TestConcat(StringOfObject receiver$, StringOfObject s)
Initialize this instance.

StringOfObject_JML_Test.TestComposedWith(StringOfObject receiver$, StringOfObject s)
Initialize this instance.

StringOfObject_JML_Test.TestAddAll(StringOfObject receiver$, Collection c)
Initialize this instance.

StringOfObject_JML_Test.TestRev(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestReverse(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestPow(StringOfObject receiver$, int n)
Initialize this instance.

StringOfObject_JML_Test.TestEquals(StringOfObject receiver$, Object x)
Initialize this instance.

StringOfObject_JML_Test.TestClone(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestOccurs_ct(StringOfObject receiver$, Object y)
Initialize this instance.

StringOfObject_JML_Test.TestHas(StringOfObject receiver$, Object elem)
Initialize this instance.

StringOfObject_JML_Test.TestIsEmpty(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestHashCode(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestToString(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestIterator(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestElements(StringOfObject receiver$)
Initialize this instance.

StringOfObject_JML_Test.TestIsPrefix(StringOfObject receiver$, StringOfObject s2)
Initialize this instance.

StringOfObject_JML_Test.TestIsProperPrefix(StringOfObject receiver$, StringOfObject s2)
Initialize this instance.

StringOfObject_JML_Test.TestIsProperSuffix(StringOfObject receiver$, StringOfObject s2)
Initialize this instance.

StringOfObject_JML_Test.TestIsSuffix(StringOfObject receiver$, StringOfObject s2)
Initialize this instance.