justin-millman / Kvasir / 9629804096 / 2

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.

1612 of 1636 branches covered (98.53%)

Branch coverage included in aggregate %.

3768 of 3808 relevant lines covered (98.95%)

1544.92 hits per line