Package: org.overture.typechecker.assistant.type

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.assistant.type
M: 210 C: 910
81%
M: 17 C: 73
81%
M: 13 C: 94
88%
M: 90 C: 167
65%
M: 1 C: 61
98%
M: 0 C: 5
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AClassTypeAssistantTC
M: 0 C: 80
100%
M: 0 C: 8
100%
M: 0 C: 10
100%
M: 0 C: 20
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
AFunctionTypeAssistantTC
M: 90 C: 144
62%
M: 10 C: 8
44%
M: 6 C: 9
60%
M: 18 C: 28
61%
M: 1 C: 5
83%
M: 0 C: 1
100%
AOperationTypeAssistantTC
M: 0 C: 148
100%
M: 0 C: 14
100%
M: 0 C: 10
100%
M: 0 C: 27
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
ARecordInvariantTypeAssistantTC
M: 0 C: 27
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 8
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
PTypeAssistantTC
M: 120 C: 511
81%
M: 7 C: 39
85%
M: 7 C: 61
90%
M: 72 C: 84
54%
M: 0 C: 45
100%
M: 0 C: 1
100%