Implement Dataflow Error Handling in the Execution Interpreter

[4e6]

Summary

The Runtime has a special value (a Sentry) for the Dataflow Errors. We want to treat it in a special way in the interpreter, allowing us to continue the program execution in case of dataflow errors.

Value

Better error reporting in the IDE.

Specification

• Ping-pong the sentry in the IdExecutionInstrument
  • When the runtime encounters a sentry (value) it throws a SentryException
  • IdExecutionInstrument#onException catches the SentryException,
    calls an appropriate error callback that notifies about the dataflow error
    (a SentryException should have an external id or a location of the failed expression),
    and tries to continue execution, by returning another sentry with an extended stack trace

Acceptance Criteria & Test Cases

• In case of dataflow errors, the interpreter continues execution.