tic.ErrorHandler

An ErrorHandler handles user-created errors. It can be reached from python using the global error_handler object and outputs errors through the error reporting stack explained in Handling Errors.

.handle(tic.Error)

Handles the given error in the error handler of the compiler system. This can also lead to changes in the editor GUI which imports the compiler or just to console outputs. The Error object has to be created using its constructor first.