public void append ( DigitBuffer other ) { check ( other . size ) ; System . arraycopy ( other . buf , 0 , buf , size , other . size ) ; size += other . size ; }
Append the contents of the other buffer to this one .