public void Push(AstNode node, ParserState state) { if (_count == _data.Length) { ExtendData(); } _data[_count] = new ParserStackElement(node, state); _count++; }
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(node, state); _count++; }