public void rgc_enlarge_buffer_size( int new_size )
{
int bufsize = this.bufsiz;
if (new_size < bufsize)
return;
if (bufsize == 2)
foreign.fail( "input-port",
"Can't enlarge buffer for non bufferized port (see the user manual for details)",
this );
else {
byte[] obuffer = buffer;
byte[] nbuffer = new byte[new_size];
for ( int i= 0 ; i < bufsize ; ++i )
nbuffer[i]= obuffer[i];
this.bufsiz= new_size;
buffer= nbuffer;
}
}