public virtual void PopLoop()
{
_loopLabels.Pop();
}
// TODO: Remove
/// <summary>
/// Returns a new global node index.
/// Warning: This method should not be called directly. It is used by the GraphNode constructor.
/// </summary>
public int GetNewNodeIndex()
{
return(nodeIndexPool.Count > 0 ? nodeIndexPool.Pop() : nextNodeIndex++);
}
