void TextParsed (ILocation location, string text) { if (text.Trim () != "") throw new ParseException (location, "Text not allowed here"); }