append(char[] source, int start, int count) | org::jdom::input::TextBuffer | [inline] |
clear() | org::jdom::input::TextBuffer | [inline] |
size() | org::jdom::input::TextBuffer | [inline] |
TextBuffer() | org::jdom::input::TextBuffer | [inline] |
toString() | org::jdom::input::TextBuffer | [inline] |