ErrorHandler

All Known Implementing Classes:: CLI.PrintErrorHandler, DefaultErrorHandler, StrictErrorHandler

public interface ErrorHandler

Handler for parse errors.

Method Summary

Modifier and Type

Method

Description

void

error(GalimatiasParseException error)

void

fatalError(GalimatiasParseException error)

Method Details
- error
  
  void error(GalimatiasParseException error) throws GalimatiasParseException
  
  Throws:
  
  GalimatiasParseException
- fatalError
  
  void fatalError(GalimatiasParseException error)