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.


Method Summary
 void handleParseException(ParseException e)
          Thie method defines how to deal with parse errors
 

Method Detail

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