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