- All Known Implementing Classes:
- GMFFConstants.ParseLocContext, GrammarConstants.LabelContext, MMIOConstants.FileContext, MMIOConstants.LineColumnContext, MMJException.FormatContext, PaConstants.StepContext, PaConstants.TheoremContext, SetMMConstants.NotSetMMContext, UtilConstants.RunParmContext
- Enclosing class:
- MMJException
public static interface MMJException.ErrorContext
An error context is an extra piece of information about the location of
the error, such as "Theorem X" or "Line 2". These decorate the error
message (before or after) and are usually added by specialized methods in
a class that wrap the exceptions that are thrown. The context list is
ordered, but only one of each type of context is allowed, so that there
is no danger of double-annotating the position of an error.
- Author:
- Mario