Use preconditions and aspects.
Closed this issue · 1 comments
darkestkhan commented
Now that Ada 2012 compilers are more mature and widespread we should make use of some of Ada 2012 features, in particular aspects (for import) and preconditions (to check if supplied enums are correct argument for given subprogram).
darkestkhan commented
Done. Fixed in b7d5fa1