Package: org.overture.typechecker.assistant.type

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.assistant.type
M: 203 C: 908
82%
M: 15 C: 75
83%
M: 11 C: 95
90%
M: 86 C: 169
66%
M: 1 C: 60
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: 113 C: 509
82%
M: 5 C: 41
89%
M: 5 C: 62
93%
M: 68 C: 86
56%
M: 0 C: 44
100%
M: 0 C: 1
100%