package lcm.lcm;

import java.io.*;

public final class LCMDataOutputStream implements DataOutput
{
    byte buf[];
    int pos;

    public LCMDataOutputStream()
    {
	this(512);
    }

    public LCMDataOutputStream(int sz)
    {
	this.buf = new byte[sz];
    }

    public LCMDataOutputStream(byte buf[])
    {
	this.buf = buf;
    }

    public void reset()
    {
	pos = 0;
    }

    void ensureSpace(int needed)
    {
	if (pos+needed >= buf.length) {
	    byte buf2[] = new byte[buf.length*2];
	    System.arraycopy(buf, 0, buf2, 0, pos);
	    buf = buf2;
	} 
    }

    public void write(byte b[])
    {
	ensureSpace(b.length);
	System.arraycopy(b, 0, buf, pos, b.length);
	pos += b.length;
    }

    public void write(byte b[], int off, int len)
    {
	ensureSpace(len);
	System.arraycopy(b, off, buf, pos, len);
	pos += len;
    }

    public void write(int b)
    {
	ensureSpace(1);
	buf[pos++] = (byte) b;
    }

    public void writeBoolean(boolean v)
    {
	ensureSpace(1);
	buf[pos++] = v ? (byte) 1 : (byte) 0;
    }

    public void writeByte(int v)
    {
	ensureSpace(1);
	buf[pos++] = (byte) v;
    }

    public void writeBytes(String s)
    {
	ensureSpace(s.length());
	for (int i = 0; i < s.length(); i++) {
	    buf[pos++] = (byte) s.charAt(i);
	}
    }

    public void writeChar(int v)
    {
	writeShort(v);
    }

    public void writeChars(String s)
    {
	ensureSpace(2*s.length());
	for (int i = 0; i < s.length(); i++) {
	    int v = s.charAt(i);
	    buf[pos++] = (byte) (v>>>8);
	    buf[pos++] = (byte) (v>>>0);
	}
    }

    /** Write a zero-terminated string consisting of 8 bit characters. **/
    public void writeStringZ(String s)
    {
	ensureSpace(s.length()+1);
	for (int i = 0; i < s.length(); i++) {
	    buf[pos++] = (byte) s.charAt(i);
	}
	buf[pos++] = 0;
    }

    public void writeDouble(double v)
    {
	writeLong(Double.doubleToLongBits(v));
    }

    public void writeFloat(float v)
    {
	writeInt(Float.floatToIntBits(v));
    }

    public void writeInt(int v)
    {
	ensureSpace(4);
	buf[pos++] = (byte) (v>>>24);
	buf[pos++] = (byte) (v>>>16);
	buf[pos++] = (byte) (v>>>8);
	buf[pos++] = (byte) (v>>>0);
    }

    public void writeLong(long v)
    {
	ensureSpace(8);
	buf[pos++] = (byte) (v>>>56);
	buf[pos++] = (byte) (v>>>48);
	buf[pos++] = (byte) (v>>>40);
	buf[pos++] = (byte) (v>>>32);
	buf[pos++] = (byte) (v>>>24);
	buf[pos++] = (byte) (v>>>16);
	buf[pos++] = (byte) (v>>>8);
	buf[pos++] = (byte) (v>>>0);
    }

    public void writeShort(int v)
    {
	ensureSpace(2);
	buf[pos++] = (byte) (v>>>8);
	buf[pos++] = (byte) (v>>>0);
    }

    public void writeUTF(String s)
    {
	assert(false);
    }

    /** Makes a copy of the internal buffer. **/
    public byte[] toByteArray()
    {
	byte b[] = new byte[pos];
	System.arraycopy(buf, 0, b, 0, pos);
	return b;
    }

    /** Returns the internal buffer, which may be longer than the
     * buffer that has been written to so far. 
     **/
    public byte[] getBuffer()
    {
	return buf;
    }

    /** Get the number of bytes that have been written to the buffer. **/
    public int size()
    {
	return pos;
    }
}

@@ -447,24 +447,145 @@
 f.length) %7B%0A
+%09    // compute new power-of-two capacity%0A%09    int newlen = buf.length;%0A%09    while (newlen %3C pos+needed)%0A%09%09newlen *= 2;%0A%0A
 %09    byte bu
@@ -604,20 +604,14 @@
 yte%5B
-buf.length*2
+newlen
 %5D;%0A%09

fix lcmdataoutputstream bug in ensureSize