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