public interface AppendableCharSequence
extends java.lang.CharSequence
void append(java.lang.CharSequence chars)
chars
- the characters to be appendedvoid setLength(int length)
length
- the new lengthCopyright (c) 2004-2014 Saxonica Limited. All rights reserved.