public void No(object mark, Source source) { Enter(null, source, "no"); Leave(null); Leave(mark); }
public void No(object mark, Source source, string message) { Enter(null, source, "no: " + message); Leave(null); Leave(mark); }
public void Yes(object mark, Source source) { Enter(null, source, "yes"); Leave(null); Leave(mark); }
private void OnEnter(Source source, string label, object tag, object link) { for (int n = 0; n < indent; n++) Console.Write(" "); Console.WriteLine(label); indent++; }
public void Enter(object mark, Source source, string label) { marks.Push(mark); if (EnterEvent != null) EnterEvent(source, label, nextTag, nextLink); nextTag = null; nextLink = null; }
public RuntimeObject(Source source) { this.source = source; }
public void Single(Source source, string label) { Enter(null, source, label); Leave(null); }
public ParseException(Source source, Set<string> errorStrings, string got) : base(source + ": expecting " + FormatSet(errorStrings) + ", got " + got) { this.source = source; }