Custom exceptions for XMLParsing

Ecdar / j-Ecdar

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.

MIT License

4 stars 9 forks source link

Custom exceptions for XMLParsing #78

Open Brandhoej opened 2 years ago

Brandhoej commented 2 years ago

The XMLParser currently uses IllegalStateException for handling invalid model features. As pointed out here an exception like InvalidModelException is more fitting. Based on this comment we could have pre-checkers for each particular operation and aggregate the exceptions and report them back.