Method appendBytes

src/java/edu/mit/jgss/DerHeader.java:58–74

(byte[] append)

    }

    public void appendBytes(byte[] append) {

        if (headerBytes == null) {
            headerBytes = new byte[append.length];
            System.arraycopy(append, 0, headerBytes, 0, append.length);
        } else {
            /* merge into tmp array */
            byte[] tmp = new byte[headerBytes.length + append.length];
            System.arraycopy(headerBytes, 0, tmp, 0, headerBytes.length);
            System.arraycopy(append, 0, tmp, headerBytes.length, append.length);

            /* copy back into object array */
            headerBytes = new byte[headerBytes.length + append.length];
            System.arraycopy(tmp, 0, headerBytes, 0, tmp.length);
        }

    }
}