public static void ReleaseSetOfObjects(ref SetOfObjects setOfObjects) { if (setOfObjects != null) { setOfObjects.Clear(); GetContainers().m_setOfObjects = setOfObjects; setOfObjects = null; } }
/// <summary> /// /// </summary> /// <returns></returns> private void Eliminate() { var blocksAlreadyVisited = new SetOfObjects(); foreach (var block in this.cdfg.RootBlocks) { Contract.Assume(block != null); blocksAlreadyVisited.Clear(); this.Eliminate(block, blocksAlreadyVisited); } }
private void AddTransferInstructions() { var definedSSAVariables = new SetOfObjects(); var blocksAlreadyVisited = new SetOfObjects(); foreach (var block in this.cdfg.RootBlocks) { Contract.Assume(block != null); definedSSAVariables.Clear(); blocksAlreadyVisited.Clear(); this.AddTransferInstructions(block, definedSSAVariables, blocksAlreadyVisited); } }
public static SetOfObjects AcquireSetOfObjects(uint capacity) { SetOfObjects result = Acquire(ref GetContainers().m_setOfObjects); if (result != null) { result.Clear(); } else { result = new SetOfObjects(capacity); } return(result); }