![]() |
|
Navigation |
Synopsis Visual and browsable error messages in the IDE.
Syntax
Description Just after parsing and produce a ParseTree, an editor will collect all Message annotations and use these to annotate the editor text and fill the error view of the IDE.
If a messages annotation is encountered on a ParseTree node, the messages will be registered as well, but sub-trees will not be searched for further messages.
![]() |