dk.brics.automaton

Class BasicAutomata

public final class BasicAutomata extends Object

Construction of basic automata.
Method Summary
static AutomatonmakeAnyChar()
Returns a new (deterministic) automaton that accepts any single character.
static AutomatonmakeAnyString()
Returns a new (deterministic) automaton that accepts all strings.
static AutomatonmakeChar(char c)
Returns a new (deterministic) automaton that accepts a single character of the given value.
static AutomatonmakeCharRange(char min, char max)
Returns a new (deterministic) automaton that accepts a single char whose value is in the given interval (including both end points).
static AutomatonmakeCharSet(String set)
Returns a new (deterministic) automaton that accepts a single character in the given set.
static AutomatonmakeDecimalValue(String value)
Constructs automaton that accept strings representing the given decimal number.
static AutomatonmakeEmpty()
Returns a new (deterministic) automaton with the empty language.
static AutomatonmakeEmptyString()
Returns a new (deterministic) automaton that accepts only the empty string.
static AutomatonmakeFractionDigits(int i)
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits in the fraction part.
static AutomatonmakeIntegerValue(String value)
Constructs automaton that accept strings representing the given integer.
static AutomatonmakeInterval(int min, int max, int digits)
Returns a new automaton that accepts strings representing decimal non-negative integers in the given interval.
static AutomatonmakeMaxInteger(String n)
Constructs automaton that accept strings representing nonnegative integers that are not larger than the given value.
static AutomatonmakeMinInteger(String n)
Constructs automaton that accept strings representing nonnegative integers that are not less that the given value.
static AutomatonmakeString(String s)
Returns a new (deterministic) automaton that accepts the single given string.
static AutomatonmakeStringMatcher(String s)
Constructs deterministic automaton that matches strings that contain the given substring.
static AutomatonmakeStringUnion(CharSequence... strings)
Returns a new (deterministic and minimal) automaton that accepts the union of the given set of strings.
static AutomatonmakeTotalDigits(int i)
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits.

Method Detail

makeAnyChar

public static Automaton makeAnyChar()
Returns a new (deterministic) automaton that accepts any single character.

makeAnyString

public static Automaton makeAnyString()
Returns a new (deterministic) automaton that accepts all strings.

makeChar

public static Automaton makeChar(char c)
Returns a new (deterministic) automaton that accepts a single character of the given value.

makeCharRange

public static Automaton makeCharRange(char min, char max)
Returns a new (deterministic) automaton that accepts a single char whose value is in the given interval (including both end points).

makeCharSet

public static Automaton makeCharSet(String set)
Returns a new (deterministic) automaton that accepts a single character in the given set.

makeDecimalValue

public static Automaton makeDecimalValue(String value)
Constructs automaton that accept strings representing the given decimal number. Surrounding whitespace is permitted.

Parameters: value string representation of decimal number

makeEmpty

public static Automaton makeEmpty()
Returns a new (deterministic) automaton with the empty language.

makeEmptyString

public static Automaton makeEmptyString()
Returns a new (deterministic) automaton that accepts only the empty string.

makeFractionDigits

public static Automaton makeFractionDigits(int i)
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits in the fraction part. Surrounding whitespace is permitted.

Parameters: i max number of necessary fraction digits

makeIntegerValue

public static Automaton makeIntegerValue(String value)
Constructs automaton that accept strings representing the given integer. Surrounding whitespace is permitted.

Parameters: value string representation of integer

makeInterval

public static Automaton makeInterval(int min, int max, int digits)
Returns a new automaton that accepts strings representing decimal non-negative integers in the given interval.

Parameters: min minimal value of interval max maximal value of inverval (both end points are included in the interval) digits if >0, use fixed number of digits (strings must be prefixed by 0's to obtain the right length) - otherwise, the number of digits is not fixed

Throws: IllegalArgumentException if min>max or if numbers in the interval cannot be expressed with the given fixed number of digits

makeMaxInteger

public static Automaton makeMaxInteger(String n)
Constructs automaton that accept strings representing nonnegative integers that are not larger than the given value.

Parameters: n string representation of maximum value

makeMinInteger

public static Automaton makeMinInteger(String n)
Constructs automaton that accept strings representing nonnegative integers that are not less that the given value.

Parameters: n string representation of minimum value

makeString

public static Automaton makeString(String s)
Returns a new (deterministic) automaton that accepts the single given string.

makeStringMatcher

public static Automaton makeStringMatcher(String s)
Constructs deterministic automaton that matches strings that contain the given substring.

makeStringUnion

public static Automaton makeStringUnion(CharSequence... strings)
Returns a new (deterministic and minimal) automaton that accepts the union of the given set of strings. The input character sequences are internally sorted in-place, so the input array is modified.

See Also: StringUnionOperations

makeTotalDigits

public static Automaton makeTotalDigits(int i)
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits. Surrounding whitespace is permitted.

Parameters: i max number of necessary digits

Copyright © 2001-2010 Anders Møller.