|
||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Operations on strings, modeled as automata and charset operations.
This code may be used under the terms of the GNU General Public License.
|
||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |