Reporting error summaries to the user.
Strategy details
|
|
ATerm
|
report-area(ATerm err, ATerm descr, ATerm file, ATerm area)
|
Presents the 'area' in the file at stderr.
|
|
|
|
ATerm
|
report-error(ATerm producer, ATerm error)
|
|
File
|
report.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Parameters
|
ATerm
producer
|
error Error
|
|
No information available.
|
|
|
|
ATerm
|
report-error-summary(ATerm summary)
|
|
File
|
report.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Parameters
|
ATerm
summary
|
Summary -> Summary
|
|
Reports an error summary to the stderr.
The current term should be a FILE, stdin, or a string (preferred)
|
|
|
|
ATerm
|
report-location(ATerm err, ATerm descr, ATerm location)
|
|
File
|
report.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Parameters
|
No information available.
|
|
|
|
ATerm
|
report-location(ATerm err, ATerm descr, ATerm location)
|
|
File
|
report.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Parameters
|
ATerm
err
|
location Location
|
|
No information available.
|
|
|