public interface AppendableCharSequence
extends java.lang.CharSequence
| Modifier and Type | Method and Description |
|---|---|
AppendableCharSequence |
cat(char c)
Append a single character to this CharSequence
|
AppendableCharSequence |
cat(java.lang.CharSequence chars)
Append characters to this CharSequence
|
void |
setLength(int length)
Set the length.
|
AppendableCharSequence cat(java.lang.CharSequence chars)
chars - the characters to be appendedAppendableCharSequence cat(char c)
c - the character to be appendedvoid setLength(int length)
length - the new lengthCopyright (c) 2004-2020 Saxonica Limited.