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.