Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Output antlr error to a logger instead of System.err #1868

Merged
merged 1 commit into from
Jul 11, 2024
Merged

Output antlr error to a logger instead of System.err #1868

merged 1 commit into from
Jul 11, 2024

Conversation

TwoOfTwelve
Copy link
Contributor

This PR makes antlr write syntax errors to the logger instead of System.err.

Relates to #1866

@TwoOfTwelve TwoOfTwelve mentioned this pull request Jul 11, 2024
Merged
@sonarcloud SonarCloud
Copy link

sonarcloud bot commented Jul 11, 2024

Quality Gate Passed Quality Gate passed for 'JPlag Plagiarism Detector'

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
100.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

@tsaglam tsaglam added bug Issue/PR that involves a bug minor Minor issue/feature/contribution/change labels Jul 11, 2024
@tsaglam tsaglam merged commit 5455e73 into develop Jul 11, 2024
44 checks passed
@tsaglam tsaglam deleted the feature/antlrLogging branch July 11, 2024 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tsaglam tsaglam tsaglam approved these changes

Assignees
No one assigned
Labels
bug Issue/PR that involves a bug minor Minor issue/feature/contribution/change
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TwoOfTwelve @tsaglam