Package: org.overture.typechecker.utilities.pattern

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.utilities.pattern
M: 704 C: 1245
64%
M: 65 C: 55
46%
M: 74 C: 98
57%
M: 143 C: 244
63%
M: 34 C: 78
70%
M: 0 C: 10
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AllDefinitionLocator
M: 239 C: 526
69%
M: 22 C: 26
54%
M: 18 C: 30
63%
M: 39 C: 82
68%
M: 4 C: 20
83%
M: 0 C: 1
100%
AllDefinitionLocator$NewQuestion
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
AlwaysMatchingPatternChecker
M: 30 C: 56
65%
M: 6 C: 2
25%
M: 7 C: 7
50%
M: 4 C: 11
73%
M: 3 C: 7
70%
M: 0 C: 1
100%
MultipleBindLister
M: 6 C: 74
93%
M: 0 C: 0
100%
M: 3 C: 4
57%
M: 3 C: 18
86%
M: 3 C: 4
57%
M: 0 C: 1
100%
PatternResolver
M: 144 C: 222
61%
M: 5 C: 17
77%
M: 5 C: 18
78%
M: 42 C: 63
60%
M: 2 C: 10
83%
M: 0 C: 1
100%
PatternResolver$NewQuestion
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
PatternUnresolver
M: 104 C: 16
13%
M: 2 C: 0
0%
M: 9 C: 2
18%
M: 28 C: 6
18%
M: 8 C: 2
20%
M: 0 C: 1
100%
PossibleBindTypeFinder
M: 20 C: 39
66%
M: 5 C: 1
17%
M: 5 C: 5
50%
M: 4 C: 7
64%
M: 2 C: 5
71%
M: 0 C: 1
100%
PossibleTypeFinder
M: 50 C: 236
83%
M: 8 C: 8
50%
M: 12 C: 21
64%
M: 9 C: 38
81%
M: 6 C: 19
76%
M: 0 C: 1
100%
SimplePatternChecker
M: 111 C: 58
34%
M: 17 C: 1
6%
M: 15 C: 9
38%
M: 14 C: 11
44%
M: 6 C: 9
60%
M: 0 C: 1
100%