|
|||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.automaton.DatatypesAutomatonProvider
public class DatatypesAutomatonProvider
Automaton provider based on Datatypes
.
Constructor Summary | |
---|---|
DatatypesAutomatonProvider()
Constructs a new automaton provider that recognizes all names from Datatypes.get(String) . |
|
DatatypesAutomatonProvider(boolean enable_unicodeblocks,
boolean enable_unicodecategories,
boolean enable_xml)
Constructs a new automaton provider that recognizes some of the names from Datatypes.get(String) |
Method Summary | |
---|---|
Automaton |
getAutomaton(String name)
Returns automaton of the given name. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DatatypesAutomatonProvider()
Datatypes.get(String)
.
public DatatypesAutomatonProvider(boolean enable_unicodeblocks, boolean enable_unicodecategories, boolean enable_xml)
Datatypes.get(String)
enable_unicodeblocks
- if true, enable Unicode block namesenable_unicodecategories
- if true, enable Unicode category namesenable_xml
- if true, enable XML related namesMethod Detail |
---|
public Automaton getAutomaton(String name)
AutomatonProvider
getAutomaton
in interface AutomatonProvider
name
- automaton name
|
|||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |