pnuts.lang
Interface ParseEnvironment
public interface ParseEnvironment
This class defines how to handle ParseException thrown by the parser. The
instances can be passed to Pnuts.parse(..) method in order to customize the
way of error recovery of parsing.
handleParseException
void handleParseException(ParseException e)
throws ParseException
- Thie method defines how to deal with parse errors
- Parameters:
e
- a ParseException object passed by the parser
- Throws:
ParseException
- this method may rethrow the ParseException