dk.brics.automaton

Class DatatypesAutomatonProvider

public class DatatypesAutomatonProvider extends Object implements AutomatonProvider

Automaton provider based on Datatypes.

Constructor Summary
	DatatypesAutomatonProvider() Constructs a new automaton provider that recognizes all names from get.
	DatatypesAutomatonProvider(boolean enable_unicodeblocks, boolean enable_unicodecategories, boolean enable_xml) Constructs a new automaton provider that recognizes some of the names from

Method Summary
Automaton	getAutomaton(String name)

Constructor Detail

DatatypesAutomatonProvider

public DatatypesAutomatonProvider()

Constructs a new automaton provider that recognizes all names from get.

DatatypesAutomatonProvider

public DatatypesAutomatonProvider(boolean enable_unicodeblocks, boolean enable_unicodecategories, boolean enable_xml)

Constructs a new automaton provider that recognizes some of the names from get

Parameters: enable_unicodeblocks if true, enable Unicode block names enable_unicodecategories if true, enable Unicode category names enable_xml if true, enable XML related names

Method Detail

getAutomaton

public Automaton getAutomaton(String name)