Syntax checking/Parser

important classes

EIFFEL_PARSER

• has a feature parse(file)

CLASS_AS

• AST of a class

ERROR

• deferred; superclass of all error types like EIFFEL_ERROR or SYNTAX_ERROR
• features line, column: INTEGER give location of error

ERROR_HANDLER

• feature error_list: ERROR is a list of errors found by the parser

SHARED_ERROR_HANDLER

• singleton used by all relevant classes

EIFFEL_CLASS_C

• features build_ast and parse_ast show how the parser can be used.