|
|||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.automaton.BasicAutomata
public final class BasicAutomata
Construction of basic automata.
Method Summary | |
---|---|
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(java.lang.String set)
Returns a new (deterministic) automaton that accepts a single character in the given set. |
static Automaton |
makeDecimalValue(java.lang.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(java.lang.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(java.lang.String n)
Constructs automaton that accept strings representing nonnegative integers that are not larger than the given value. |
static Automaton |
makeMinInteger(java.lang.String n)
Constructs automaton that accept strings representing nonnegative integers that are not less that the given value. |
static Automaton |
makeString(java.lang.String s)
Returns a new (deterministic) automaton that accepts the single given string. |
static Automaton |
makeStringMatcher(java.lang.String s)
Constructs deterministic automaton that matches strings that contain the given substring. |
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
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(java.lang.String set)
public static Automaton makeDecimalValue(java.lang.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(java.lang.String value)
value
- string representation of integerpublic static Automaton makeInterval(int min, int max, int digits) throws java.lang.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 fixed
java.lang.IllegalArgumentException
- if min>max or if numbers in the interval cannot be expressed
with the given fixed number of digitspublic static Automaton makeMaxInteger(java.lang.String n)
n
- string representation of maximum valuepublic static Automaton makeMinInteger(java.lang.String n)
n
- string representation of minimum valuepublic static Automaton makeString(java.lang.String s)
public static Automaton makeStringMatcher(java.lang.String s)
public static Automaton makeTotalDigits(int i)
i
- max number of necessary digits
|
|||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |