Hackeython Working Group: Error Reporting

Shepard: Mattias

Motivation

Error reporting in KeY is important since it is a tool with quite a lot of interaction.

However, it is not always done as neatly as it should be:

• Sometimes errors are reported at completely wrong spots in the code
• Sometimes code with errors is parsed but partially ignored.
• The issue reporting window sometimes crashes.
• The builtin editor "jumps" within the code due to code highlighting.

Idea

The goal of this working group is to identify and hunt down as many error reporting problems as possible.

Possible Discussion Points

n/a