public void Push(StringCollection names, ArrayList sourceLocations) { this.calls.Push(call); this.call = new CallInfo(); this.call.names = names; this.call.sourceLocations = sourceLocations; }
public void Pop() { if (this.calls.Count <= 0) { Debug.Assert(false); return; } call = (CallInfo)this.calls.Pop(); }
public void Push(StringCollection names, ArrayList sourceLocations, bool isTemplateInstance){ this.calls.Push(call); this.call = new CallInfo(); this.call.names = names; this.call.sourceLocations = sourceLocations; this.call.isTemplateInstance = isTemplateInstance; }