Example #1
0
 public void Push(StringCollection names, ArrayList sourceLocations) {
     this.calls.Push(call);
     this.call = new CallInfo();
     this.call.names = names;
     this.call.sourceLocations = sourceLocations;
 }
Example #2
0
 public void Pop() {
     if (this.calls.Count <= 0) {
         Debug.Assert(false); return;
     }
     call = (CallInfo)this.calls.Pop();
 }
Example #3
0
 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;
 }