public void Push(AstNode node, ParserState state)
{
if (_count == _data.Length)
{
ExtendData();
}
_data[_count] = new ParserStackElement(StackElementType.Node, node, state);
_count++;
}
private void ExtendData()
{
ParserStackElement[] newData = new ParserStackElement[_data.Length + SizeIncrement];
Array.Copy(_data, newData, _data.Length);
_data = newData;
}
private void ExtendData() {
ParserStackElement[] newData = new ParserStackElement[_data.Length + SizeIncrement];
Array.Copy(_data, newData, _data.Length);
_data = newData;
}
public void Push(AstNode node, ParserState state) {
if (_count == _data.Length)
ExtendData();
_data[_count] = new ParserStackElement(StackElementType.Node, node, state);
_count++;
}