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. All rights reserved.