Class Settings.PatternErrMakeIndex

  • Enclosing class:
    Settings

    public class Settings.PatternErrMakeIndex
    extends Object
    • Constructor Detail

      • PatternErrMakeIndex

        public PatternErrMakeIndex()
    • Method Detail

      • addText

        public void addText​(String pattern)