/**
* Writes <i>length</i> bytes into this pipe from the <i>buff</i> array starting from position
* <i>offset</i>.
*/
public synchronized void write(byte[] buff, int offset, int length) {
int freespace = freespace();
if (freespace < length) read(aux, 0, length - freespace);
super.write(buff, offset, length);
}
public void write(String str, String str2) {
out.write(str, str2);
}
/** Writes the specified byte to this pipe. */
public synchronized void write(byte b) {
if (freespace() == 0) read();
super.write(b);
}
public void writeError(XdmNode doc) {
errorPipe.write(doc);
}
