Class DatatypesAutomatonProvider

    • Field Detail

      • enable_unicodeblocks

        private boolean enable_unicodeblocks
      • enable_unicodecategories

        private boolean enable_unicodecategories
      • enable_xml

        private boolean enable_xml
    • Constructor Detail

      • 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 Detail

      • getAutomaton

        public Automaton getAutomaton​(java.lang.String name)
        Description copied from interface: AutomatonProvider
        Returns automaton of the given name.
        Specified by:
        getAutomaton in interface AutomatonProvider
        Parameters:
        name - automaton name
        Returns:
        automaton