justin-millman / Kvasir / 9629804096

99%

master: 98%

push

github

Use Generic Attributes for [DataConverter], [Check], and [Check.Complex] Annotations

This commit changes the [DataConverter], [Check], and [Check.Complex] annotations to be generic, rather than taking the
type as a constructor argument. This allows for compile-time interface enforcement, and in the case of [DataConverter] a
compile-time check for default constructibility. Because the generic argument is only relevant on construction to
construct the underlying object, new abstract non-generic base classes have been introduced; these are necessary for the
Translation layer to operate on e.g. all [Check] constraints equivalently regardless of what their generic argument was.

3297 of 3402 branches covered (96.91%)

Branch coverage included in aggregate %.

32 of 32 new or added lines in 4 files covered. (100.0%)

5328 of 5366 relevant lines covered (99.29%)

3447.4 hits per line