Ecdar / Ecdar/Ecdar-GUI

Add Logging

Open
#148 0 comments 0 reactions 0 assignees View on GitHub
enhancement good first issue
Dominant language
Java
Stars
3
Forks
5
PR merge metrics
No merged PRs in 30d

Description

The current approach to exceptions and errors in the GUI is to either print the stack trace to the terminal or ignore them in the `catch` statements. The appropriate thing to do would be to log these errors.

## Suggested Approach
Use the [`java.util.logging`](https://docs.oracle.com/javase/7/docs/api/java/util/logging/package-summary.html), go through all `catch` bodies, and add relevant information to the log. Beware that some of the exceptions are thrown at times where they might just be handled with a call to `showToast()`.

I would propose using a file for logging, as it seems to be the standard approach, but the name of the file and its location should be considered and tested across all platforms through the generated distributions.

> :information_source: I have marked this issue with https://github.com/Ecdar/Ecdar-GUI/labels/good%20first%20issue, not because it will be very isolated. However, what the appropriate information would be for each log entry should be thoroughly considered

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.