Martin Hořeňovský 4e85267203 Add fatalErrorEncountered method to Reporter/Listener interface
An empty default implementation is provided to keep backward compatibility.
Called when signal or Structured Exception is encountered.

Related to #1005
2017-09-14 19:57:59 +02:00
..
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-06 15:44:42 +01:00
2017-09-07 17:25:15 +02:00
2017-08-30 15:53:39 +02:00
2017-08-30 15:53:39 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-06 15:44:42 +01:00
2017-07-27 11:32:01 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-08-14 09:14:49 +01:00
2017-09-07 17:25:15 +02:00
2017-08-30 12:20:21 +02:00