Create configurable and reusable CIF precondition checker
Currently, each application has its own precondition checker, e.g., CifToUppaalPreChecker
, CifToSupremicaPreChecker
, etc. There is a lot of duplication between them. It may be nice to have a single, configurable and reusable precondition checker, in the cif.common
project.
Obviously, different applications/transformations have different preconditions. Therefore, each precondition check should be configurable. We could have an enum
with all possible preconditions, and then applications just make a selection from the enum literals and pass that the precondition checker, along with the specification to be checked.
The benefits are:
- Reduced effort to make new precondition checkers.
- Consistent precondition violation messages for all applications.
- Less code duplication and maintenance.