Class DatatypesAutomatonProvider

java.lang.Object
dk.brics.automaton.DatatypesAutomatonProvider
All Implemented Interfaces:
AutomatonProvider

public class DatatypesAutomatonProvider extends Object implements AutomatonProvider
Automaton provider based on Datatypes.
  • Constructor Details

    • DatatypesAutomatonProvider

      public DatatypesAutomatonProvider()
      Constructs a new automaton provider that recognizes all names from Datatypes.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 from Datatypes.get(String)
      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 Details