private void ResizeHeaderTable()
{
int size = (int)(GROWTH_RATE * headerTableCount);
if (size < DEFAULT_HEADER_TABLE_INITIAL_SIZE)
{
size = DEFAULT_HEADER_TABLE_INITIAL_SIZE;
}
int[] oldAttributes = headerTableAttributes;
long[] oldAttributeCount = headerTableAttributeCount;
int[][] oldProperties = headerTableProperties;
headerTableAttributes = new int[size];
headerTableAttributeCount = new long[size];
headerTableProperties = new int[size][];
Array.Copy(oldAttributes, 0, this.headerTableAttributes, 0,
headerTableCount);
Array.Copy(oldAttributeCount, 0, this.headerTableAttributeCount, 0,
headerTableCount);
Array.Copy(oldProperties, 0, this.headerTableProperties, 0,
headerTableCount);
}
}