|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.string.stringoperations.Basic
public class Basic
Basic automata.
Field Summary | |
---|---|
static char |
BINARY_FALSE
|
static char |
BINARY_TRUE
|
Method Summary | |
---|---|
static CharSet |
getBinaryBooleanCharSet()
|
static Automaton |
getBinaryBooleans()
|
static CharSet |
getEmptyCharSet()
|
static String |
getName(Automaton a)
Constructs name for the given automaton. |
static Automaton |
getPrefixesOf(Automaton automaton)
Returns an automaton accepting every prefix of every string accepted by the specified automaton. |
static Automaton |
getSubstringsOf(Automaton automaton)
Returns an automaton accepting every substring of every string accepted by the specified automaton. |
static Automaton |
getSuffixesOf(Automaton automaton)
Returns an automaton accepting every suffix of every string accepted by the specified automaton. |
static Automaton |
getUnicodeDigits()
Returns an automaton accepting all characters considered digits by Character.isDigit(char) . |
static Automaton |
getUnicodeLetters()
Returns an automaton accepting all characters considered letters by Character.isLetter(char) . |
static Automaton |
getUnicodeLettersAndDigits()
Returns an automaton accepting all characters considered digits or letters by Character.isLetterOrDigit(char) . |
static Automaton |
getUnicodeLowerCase()
Returns an automaton accepting all characters considered lower case by Character.isLowerCase(char) . |
static Automaton |
getUnicodeSpaceChars()
Returns an automaton accepting all characters considered space characters by Character.isSpaceChar(char) . |
static Automaton |
getUnicodeTitleCase()
Returns an automaton accepting all characters considered title case by Character.isTitleCase(char) . |
static Automaton |
getUnicodeUpperCase()
Returns an automaton accepting all characters considered upper case by Character.isUpperCase(char) . |
static Automaton |
getUnicodeWhitespace()
Returns an automaton accepting all characters considered whitespace by Character.isWhitespace(char) . |
static Automaton |
makeAnyString()
Returns automaton for any string. |
static Automaton |
makeBinaryBoolean(boolean b)
|
static CharSet |
makeBinaryBooleanCharSet(boolean b)
|
static Automaton |
makeBooleanString()
Returns automaton for string values of Boolean. |
static Automaton |
makeByteString()
Returns automaton for string values of Byte. |
static Automaton |
makeCharacterString()
Returns automaton for string values of Character. |
static Automaton |
makeConstString(String s)
Returns automaton for the given constant string. |
static Automaton |
makeDoubleString()
Returns automaton for string values of Double. |
static Automaton |
makeEmptyString()
Returns automaton for the empty string. |
static Automaton |
makeFloatString()
Returns automaton for string values of Float. |
static Automaton |
makeIntegerString()
Returns automaton for string values of Integer. |
static Automaton |
makeLongString()
Returns automaton for string values of Long. |
static Automaton |
makeNoString()
Returns automaton for no string. |
static Automaton |
makeObjectString()
Returns automaton for values of Object.toString(). |
static Automaton |
makeShortString()
Returns automaton for string values of Short. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final char BINARY_FALSE
public static final char BINARY_TRUE
Method Detail |
---|
public static CharSet getBinaryBooleanCharSet()
public static Automaton getBinaryBooleans()
public static CharSet getEmptyCharSet()
public static String getName(Automaton a)
public static Automaton getPrefixesOf(Automaton automaton)
public static Automaton getSubstringsOf(Automaton automaton)
public static Automaton getSuffixesOf(Automaton automaton)
public static Automaton getUnicodeDigits()
Character.isDigit(char)
.
Note that unicode defines more digit characters than the traditional 0...9 digits.
public static Automaton getUnicodeLetters()
Character.isLetter(char)
.
public static Automaton getUnicodeLettersAndDigits()
Character.isLetterOrDigit(char)
.
public static Automaton getUnicodeLowerCase()
Character.isLowerCase(char)
.
public static Automaton getUnicodeSpaceChars()
Character.isSpaceChar(char)
.
public static Automaton getUnicodeTitleCase()
Character.isTitleCase(char)
.
public static Automaton getUnicodeUpperCase()
Character.isUpperCase(char)
.
public static Automaton getUnicodeWhitespace()
Character.isWhitespace(char)
.
public static Automaton makeAnyString()
public static Automaton makeBinaryBoolean(boolean b)
public static CharSet makeBinaryBooleanCharSet(boolean b)
public static Automaton makeBooleanString()
public static Automaton makeByteString()
public static Automaton makeCharacterString()
public static Automaton makeConstString(String s)
public static Automaton makeDoubleString()
public static Automaton makeEmptyString()
public static Automaton makeFloatString()
public static Automaton makeIntegerString()
public static Automaton makeLongString()
public static Automaton makeNoString()
public static Automaton makeObjectString()
public static Automaton makeShortString()
|
||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |