|
|||||
| 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 names| Method Detail |
|---|
public Automaton getAutomaton(String name)
AutomatonProvider
getAutomaton in interface AutomatonProvidername - automaton name
|
|||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||