| TypeSystemUtils |   | 87% | | 88% | 28 | 194 | 48 | 423 | 5 | 33 | 0 | 1 |
| FunctorSubtypingViolation | | 0% | | 0% | 15 | 15 | 20 | 20 | 5 | 5 | 1 | 1 |
| SetterMethod | | 68% | | 51% | 37 | 56 | 19 | 80 | 2 | 8 | 0 | 1 |
| GetterMethod | | 59% | | 41% | 30 | 43 | 22 | 68 | 2 | 8 | 0 | 1 |
| Utils | | 91% | | 90% | 16 | 92 | 28 | 279 | 4 | 27 | 0 | 1 |
| RecordAnalyzer | | 78% | | 76% | 5 | 27 | 18 | 85 | 1 | 10 | 0 | 1 |
| FunctorAnalyzer | | 65% | | 46% | 10 | 20 | 16 | 46 | 1 | 6 | 0 | 1 |
| CovarianceViolation | | 40% | | 10% | 12 | 14 | 11 | 21 | 2 | 4 | 0 | 1 |
| RecordAnalyzer.S | | 0% | | n/a | 4 | 4 | 4 | 4 | 4 | 4 | 1 | 1 |
| RecordElement | | 95% | | 90% | 5 | 33 | 1 | 54 | 0 | 7 | 0 | 1 |
| TypeSystemUtils.new TopoSorter() {...} | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| BridgeMethod | | 96% | | 75% | 2 | 9 | 0 | 47 | 0 | 5 | 0 | 1 |
| Conversion | | 99% | | 80% | 5 | 17 | 0 | 138 | 0 | 4 | 0 | 1 |
| CovarianceViolationDetector | | 96% | | 100% | 1 | 10 | 1 | 19 | 1 | 3 | 0 | 1 |
| AnnotationUtils | | 98% | | 80% | 2 | 12 | 1 | 46 | 0 | 7 | 0 | 1 |
| DelegateToHandler | | 100% | | 100% | 0 | 10 | 0 | 25 | 0 | 3 | 0 | 1 |
| TopoSorter | | 100% | | 100% | 0 | 7 | 0 | 20 | 0 | 4 | 0 | 1 |
| DelegateToHandler.Errors | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |
| TypeSystemUtils.new TopoSorter() {...} | | 100% | | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |