grow() public method

public grow ( int capacity ) : void
capacity int
return void
Exemplo n.º 1
0
 public override sealed OutStream w(int v)
 {
     if (p.m_pos + 1 >= p.m_buf.Length)
     {
         p.grow(p.m_pos + 1);
     }
     p.m_buf[p.m_pos++] = (byte)v;
     if (p.m_pos > p.m_size)
     {
         p.m_size = p.m_pos;
     }
     return(this);
 }
Exemplo n.º 2
0
 public override InStream unread(int n)
 {
     // unreading a buffer is a bit weird - the typical case
     // is that we are pushing back the byte we just read in
     // which case we can just rewind the position; however
     // if we pushing back a different byte then we need
     // to shift the entire buffer and insert the byte
     if (p.m_pos > 0 && p.m_buf[p.m_pos - 1] == (byte)n)
     {
         p.m_pos--;
     }
     else
     {
         if (p.m_size + 1 >= p.m_buf.Length)
         {
             p.grow(p.m_size + 1);
         }
         System.Array.Copy(p.m_buf, p.m_pos, p.m_buf, p.m_pos + 1, p.m_size);
         p.m_buf[p.m_pos] = (byte)n;
         p.m_size++;
     }
     return(this);
 }