Package dk.brics.automaton
Class DatatypesAutomatonProvider
java.lang.Object
dk.brics.automaton.DatatypesAutomatonProvider
- All Implemented Interfaces:
AutomatonProvider
Automaton provider based on
Datatypes
.-
Constructor Summary
ConstructorsConstructorDescriptionConstructs a new automaton provider that recognizes all names fromDatatypes.get(String)
.DatatypesAutomatonProvider
(boolean enable_unicodeblocks, boolean enable_unicodecategories, boolean enable_xml) Constructs a new automaton provider that recognizes some of the names fromDatatypes.get(String)
-
Method Summary
-
Constructor Details
-
DatatypesAutomatonProvider
public DatatypesAutomatonProvider()Constructs a new automaton provider that recognizes all names fromDatatypes.get(String)
. -
DatatypesAutomatonProvider
public DatatypesAutomatonProvider(boolean enable_unicodeblocks, boolean enable_unicodecategories, boolean enable_xml) Constructs a new automaton provider that recognizes some of the names fromDatatypes.get(String)
- Parameters:
enable_unicodeblocks
- if true, enable Unicode block namesenable_unicodecategories
- if true, enable Unicode category namesenable_xml
- if true, enable XML related names
-
-
Method Details
-
getAutomaton
Description copied from interface:AutomatonProvider
Returns automaton of the given name.- Specified by:
getAutomaton
in interfaceAutomatonProvider
- Parameters:
name
- automaton name- Returns:
- automaton
-