Class Pattern


  • public class Pattern
    extends Object
    A class analogous to java.util.regex.Pattern but for SymbolLists.
    Since:
    1.4
    Author:
    David Huen
    • Method Detail

      • getName

        public String getName()
        return the String label associated with this pattern.
      • matcher

        public Matcher matcher​(SymbolList sl)
        Creates a matcher that will match the given input against this pattern.
        Parameters:
        sl - SymbolList against which match is to be made.
        Returns:
        A new matcher for this pattern.
      • patternExpanded

        public String patternExpanded()
        returns the actual String used to construct the regex with all ambiguities expanded. //FIXME: do something about unicode strings and conversion back to something sensible.