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++; }