Class FormattingMigrator.FormattedString

  • Enclosing class:
    FormattingMigrator

    protected class FormattingMigrator.FormattedString
    extends java.lang.Object
    • Field Detail

      • formatting

        protected java.lang.String[] formatting
      • semantic

        protected java.lang.String semantic
    • Constructor Detail

      • FormattedString

        public FormattedString​(java.lang.String source)
      • FormattedString

        public FormattedString​(java.lang.String semantic,
                               java.lang.String[] formatting)
    • Method Detail

      • charAt

        public char charAt​(int index)
      • indexOf

        public int indexOf​(java.lang.String str,
                           int fromIndex)
      • length

        public int length()
      • substring

        public java.lang.String substring​(int index,
                                          int lenght)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object