dk.brics.string.stringoperations
Class Basic

java.lang.Object
  extended by dk.brics.string.stringoperations.Basic

public class Basic
extends Object

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

BINARY_FALSE

public static final char BINARY_FALSE
See Also:
Constant Field Values

BINARY_TRUE

public static final char BINARY_TRUE
See Also:
Constant Field Values
Method Detail

getBinaryBooleanCharSet

public static CharSet getBinaryBooleanCharSet()

getBinaryBooleans

public static Automaton getBinaryBooleans()

getEmptyCharSet

public static CharSet getEmptyCharSet()

getName

public static String getName(Automaton a)
Constructs name for the given automaton.


getPrefixesOf

public static Automaton getPrefixesOf(Automaton automaton)
Returns an automaton accepting every prefix of every string accepted by the specified automaton. Prefixes of S include both the empty string and S itself.

The resulting automaton will be deterministic if and only if the input automaton was deterministic.


getSubstringsOf

public static Automaton getSubstringsOf(Automaton automaton)
Returns an automaton accepting every substring of every string accepted by the specified automaton.


getSuffixesOf

public static Automaton getSuffixesOf(Automaton automaton)
Returns an automaton accepting every suffix of every string accepted by the specified automaton. Suffixes of S include both the empty string and S itself.

The resulting automaton will be deterministic if and only if the input automaton was deterministic.


getUnicodeDigits

public static Automaton getUnicodeDigits()
Returns an automaton accepting all characters considered digits by Character.isDigit(char).

Note that unicode defines more digit characters than the traditional 0...9 digits.


getUnicodeLetters

public static Automaton getUnicodeLetters()
Returns an automaton accepting all characters considered letters by Character.isLetter(char).


getUnicodeLettersAndDigits

public static Automaton getUnicodeLettersAndDigits()
Returns an automaton accepting all characters considered digits or letters by Character.isLetterOrDigit(char).


getUnicodeLowerCase

public static Automaton getUnicodeLowerCase()
Returns an automaton accepting all characters considered lower case by Character.isLowerCase(char).


getUnicodeSpaceChars

public static Automaton getUnicodeSpaceChars()
Returns an automaton accepting all characters considered space characters by Character.isSpaceChar(char).


getUnicodeTitleCase

public static Automaton getUnicodeTitleCase()
Returns an automaton accepting all characters considered title case by Character.isTitleCase(char).


getUnicodeUpperCase

public static Automaton getUnicodeUpperCase()
Returns an automaton accepting all characters considered upper case by Character.isUpperCase(char).


getUnicodeWhitespace

public static Automaton getUnicodeWhitespace()
Returns an automaton accepting all characters considered whitespace by Character.isWhitespace(char).


makeAnyString

public static Automaton makeAnyString()
Returns automaton for any string.


makeBinaryBoolean

public static Automaton makeBinaryBoolean(boolean b)

makeBinaryBooleanCharSet

public static CharSet makeBinaryBooleanCharSet(boolean b)

makeBooleanString

public static Automaton makeBooleanString()
Returns automaton for string values of Boolean.


makeByteString

public static Automaton makeByteString()
Returns automaton for string values of Byte.


makeCharacterString

public static Automaton makeCharacterString()
Returns automaton for string values of Character.


makeConstString

public static Automaton makeConstString(String s)
Returns automaton for the given constant string.


makeDoubleString

public static Automaton makeDoubleString()
Returns automaton for string values of Double.


makeEmptyString

public static Automaton makeEmptyString()
Returns automaton for the empty string.


makeFloatString

public static Automaton makeFloatString()
Returns automaton for string values of Float.


makeIntegerString

public static Automaton makeIntegerString()
Returns automaton for string values of Integer.


makeLongString

public static Automaton makeLongString()
Returns automaton for string values of Long.


makeNoString

public static Automaton makeNoString()
Returns automaton for no string.


makeObjectString

public static Automaton makeObjectString()
Returns automaton for values of Object.toString().


makeShortString

public static Automaton makeShortString()
Returns automaton for string values of Short.



Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.