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

Methods

Modifier and Type	Method and Description
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