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.

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

NumberFormatException thrown by ErrorProne parser #96

Open
djh82 opened this issue Aug 18, 2020 · 2 comments
Open

NumberFormatException thrown by ErrorProne parser #96

djh82 opened this issue Aug 18, 2020 · 2 comments

Comments

@djh82
Copy link
Contributor

djh82 commented Aug 18, 2020

Following error was thrown:

java.lang.NumberFormatException: For input string: "none -target 1.8 -source 1.8 -g"

It seems odd that the regex used by GoogleErrorProneParser doesn't enforce that capture group 5 is a number, since it immediately tries to call Integer.parseInt on it.

@tomasbjerre
Copy link
Owner

There are also other issues reported on errorprone. Best might be tonremove it.

Sadly they dont seem to understand the importance of google/error-prone#444

Also #95 may be an alternative to replace errorprone parser.

@djh82
Copy link
Contributor Author

djh82 commented Aug 18, 2020

OK, we use error prone a lot. I'd implement the ability to output in a known format....if I knew they were going to accept it/at least engage.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants