public void Push(int label) { EntryRec rec = new EntryRec(); rec.Label = label; rec.StringLabel = ""; this.fItems.Add(rec); }
public void Push(int label, ExitKind ek) { EntryRec rec = new EntryRec(); rec.Label = label; rec.StringLabel = ""; rec.EK = ek; this.fItems.Add(rec); }