Package dk.brics.string.stringoperations

Operations on strings, modeled as automata and charset operations.

See:
Description

Class Summary

AssertContainedInOther
AssertContainsOther
AssertEmpty	Asserts that the string is empty.
AssertEndsWith	Asserts that the second string is a suffix of the first string.
AssertEquals	String operation asserting that one string is equal to another.
AssertHasLength	Asserts that the string has a length between min and max (inclusive)
AssertHasNotLength	Asserts that the string does not have a length between min and max (inclusive)
AssertInLanguage
AssertNotContainsOther
AssertNotEmpty	Asserts that the string is not empty.
AssertNotEquals	String operation asserting that one string is equal to another.
AssertPrefixOf	Asserts that the first string is a prefix of the second.
AssertStartsWith	Asserts that the second string is a prefix of the first string.
AssertSuffixOf	Asserts that the first string is a suffix of the second.
Basic	Basic automata.
BinaryOperation	Abstract superclass for binary operations.
BooleanToString	Converts a primitive boolean to a string.
CharAt1	Automaton operation for String.charAt(int) with a constant index.
CharAt2	Automaton operation for String.charAt(int) with a non-constant index.
Contains	Automaton operation for String.contains(String).
Delete	Automaton operation for StringBuffer.delete(int,int).
DeleteCharAt	Automaton operation for StringBuffer.deleteCharAt(int).
Insert	Automaton operation for StringBuffer.insert(int,Object) and related methods.
Operation	Abstract superclass for operations on standard automata.
Postfix	Automaton operation for StringBuffer.substring(int).
Prefix	Automaton operation for StringBuffer.substring(0,int).
Replace1	Automaton operation for String.replace(char,char) where both characters are known.
Replace2	Automaton operation for String.replace(char,char) where only the first character is known.
Replace3	Automaton operation for String.replace(char,char) where only the second character is known.
Replace4	Automaton operation for String.replace(char,char) where neither character is known.
Replace5	Automaton operation for StringBuffer.replace(int,int,String).
Replace6	Automaton operation for String.replace(CharSequence,CharSequence) where both arguments are known.
Reverse	Automaton operation for StringBuffer.reverse().
SetCharAt1	Automaton operation for StringBuffer.setCharAt(int,char) where the character is known.
SetCharAt2	Automaton operation for StringBuffer.setCharAt(int,char) where the character is unknown.
SetLength	Automaton operation for StringBuffer.setLength(int).
Split	Automaton operation used for String.split(String).
Substring	Automaton operation for StringBuffer.substring(int,int).
ToLowerCase	Automaton operation for String.toLowerCase().
ToUpperCase	Automaton operation for String.toUpperCase().
Trim	Automaton operation for String.trim().
UnaryOperation	Abstract superclass for unary operations.

Package dk.brics.string.stringoperations Description

Operations on strings, modeled as automata and charset operations.

This code may be used under the terms of the GNU General Public License.

Author:

Anders Møller <amoeller@cs.au.dk>