Package: org.overture.typechecker.assistant.pattern

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.assistant.pattern
M: 103 C: 396
79%
M: 9 C: 22
71%
M: 9 C: 39
81%
M: 32 C: 80
71%
M: 4 C: 28
88%
M: 0 C: 7
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
APatternTypePairAssistant
M: 1 C: 41
98%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 1 C: 9
90%
M: 0 C: 3
100%
M: 0 C: 1
100%
ATypeBindAssistantTC
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
PBindAssistantTC
M: 3 C: 13
81%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 2 C: 4
67%
M: 0 C: 2
100%
M: 0 C: 1
100%
PMultipleBindAssistantTC
M: 3 C: 55
95%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 2 C: 12
86%
M: 0 C: 4
100%
M: 0 C: 1
100%
PPatternAssistantTC
M: 15 C: 140
90%
M: 0 C: 4
100%
M: 0 C: 13
100%
M: 11 C: 22
67%
M: 0 C: 11
100%
M: 0 C: 1
100%
PPatternListAssistantTC
M: 40 C: 123
75%
M: 4 C: 15
79%
M: 4 C: 13
76%
M: 8 C: 25
76%
M: 2 C: 5
71%
M: 0 C: 1
100%
PatternListTC
M: 41 C: 6
13%
M: 4 C: 0
0%
M: 4 C: 1
20%
M: 8 C: 3
27%
M: 2 C: 1
33%
M: 0 C: 1
100%