public final class BasicAutomata extends Object
Modifier and Type | Method and Description |
---|---|
static Automaton |
makeAnyChar()
Returns a new (deterministic) automaton that accepts any single character.
|
static Automaton |
makeAnyString()
Returns a new (deterministic) automaton that accepts all strings.
|
static Automaton |
makeChar(char c)
Returns a new (deterministic) automaton that accepts a single character of the given value.
|
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).
|
static Automaton |
makeCharSet(String set)
Returns a new (deterministic) automaton that accepts a single character in the given set.
|
static Automaton |
makeDecimalValue(String value)
Constructs automaton that accept strings representing the given decimal number.
|
static Automaton |
makeEmpty()
Returns a new (deterministic) automaton with the empty language.
|
static Automaton |
makeEmptyString()
Returns a new (deterministic) automaton that accepts only the empty string.
|
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.
|
static Automaton |
makeIntegerValue(String value)
Constructs automaton that accept strings representing the given integer.
|
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.
|
static Automaton |
makeMaxInteger(String n)
Constructs automaton that accept strings representing nonnegative integers
that are not larger than the given value.
|
static Automaton |
makeMinInteger(String n)
Constructs automaton that accept strings representing nonnegative integers
that are not less that the given value.
|
static Automaton |
makeString(String s)
Returns a new (deterministic) automaton that accepts the single given string.
|
static Automaton |
makeStringMatcher(String s)
Constructs deterministic automaton that matches strings that contain the given substring.
|
static Automaton |
makeStringUnion(CharSequence... strings)
Returns a new (deterministic and minimal) automaton that accepts the union of the
given set of strings.
|
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.
|
public static Automaton makeAnyChar()
public static Automaton makeAnyString()
public static Automaton makeChar(char c)
public static Automaton makeCharRange(char min, char max)
public static Automaton makeCharSet(String set)
public static Automaton makeDecimalValue(String value)
value
- string representation of decimal numberpublic static Automaton makeEmpty()
public static Automaton makeEmptyString()
public static Automaton makeFractionDigits(int i)
i
- max number of necessary fraction digitspublic static Automaton makeIntegerValue(String value)
value
- string representation of integerpublic static Automaton makeInterval(int min, int max, int digits) throws IllegalArgumentException
min
- minimal value of intervalmax
- 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 fixedIllegalArgumentException
- if min>max or if numbers in the interval cannot be expressed
with the given fixed number of digitspublic static Automaton makeMaxInteger(String n)
n
- string representation of maximum valuepublic static Automaton makeMinInteger(String n)
n
- string representation of minimum valuepublic static Automaton makeString(String s)
public static Automaton makeStringMatcher(String s)
public static Automaton makeStringUnion(CharSequence... strings)
StringUnionOperations
public static Automaton makeTotalDigits(int i)
i
- max number of necessary digitsCopyright © 2001-2017 Anders Møller.