public class StyledDocument extends Object
StyledDocument()
int
getLength()
void
insertString(int offset, String s, Object x)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public StyledDocument()
public int getLength()
public void insertString(int offset, String s, Object x) throws BadLocationException
BadLocationException