public interface AppendableCharSequence
extends java.lang.CharSequence
Modifier and Type | Method and Description |
---|---|
void |
append(java.lang.CharSequence chars)
Append characters to this CharSequence
|
void |
setLength(int length)
Set the length.
|
void append(java.lang.CharSequence chars)
chars
- the characters to be appendedvoid setLength(int length)
length
- the new lengthCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.