protected class FormattingMigrator.FormattedString
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.lang.String[] |
formatting |
protected java.lang.String |
semantic |
Constructor and Description |
---|
FormattingMigrator.FormattedString(java.lang.String source) |
FormattingMigrator.FormattedString(java.lang.String semantic,
java.lang.String[] formatting) |
Modifier and Type | Method and Description |
---|---|
char |
charAt(int index) |
int |
indexOf(java.lang.String str,
int fromIndex) |
int |
length() |
void |
migrateFrom(FormattingMigrator.FormattedString source,
FormattingMigrator.Mapping mapping) |
java.lang.String |
substring(int index,
int lenght) |
java.lang.String |
toString() |
protected java.lang.String[] formatting
protected java.lang.String semantic
public FormattingMigrator.FormattedString(java.lang.String source)
public FormattingMigrator.FormattedString(java.lang.String semantic, java.lang.String[] formatting)
public char charAt(int index)
public int indexOf(java.lang.String str, int fromIndex)
public int length()
public void migrateFrom(FormattingMigrator.FormattedString source, FormattingMigrator.Mapping mapping)
public java.lang.String substring(int index, int lenght)
public java.lang.String toString()
toString
in class java.lang.Object