Package dk.brics.automaton
Class DatatypesAutomatonProvider
- java.lang.Object
-
- dk.brics.automaton.DatatypesAutomatonProvider
-
- All Implemented Interfaces:
AutomatonProvider
public class DatatypesAutomatonProvider extends Object implements AutomatonProvider
Automaton provider based onDatatypes
.
-
-
Constructor Summary
Constructors Constructor Description DatatypesAutomatonProvider()
Constructs 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)
-
-
-
Constructor Detail
-
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 Detail
-
getAutomaton
public Automaton getAutomaton(String name)
Description copied from interface:AutomatonProvider
Returns automaton of the given name.- Specified by:
getAutomaton
in interfaceAutomatonProvider
- Parameters:
name
- automaton name- Returns:
- automaton
-
-