LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

Unify parsing exceptions and hide implementation details #74

Closed mtf90 closed 8 months ago

mtf90 commented 8 months ago

This PR removes any public references to the generated ParserExceptions of the JavaCC grammars and instead uses our in-house FormatException. Furthermore, the FormatException is now a checked exception because according to the official guidelines, we can reasonably expect our clients to recover from a malformed input.