Package: org.overture.ast.definitions.traces

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ast.definitions.traces
M: 987 C: 608
38%
M: 124 C: 38
23%
M: 155 C: 82
35%
M: 248 C: 177
42%
M: 76 C: 80
51%
M: 1 C: 10
91%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AApplyExpressionTraceCoreDefinition
M: 89 C: 74
45%
M: 11 C: 3
21%
M: 13 C: 11
46%
M: 23 C: 22
49%
M: 6 C: 11
65%
M: 0 C: 1
100%
ABracketedExpressionTraceCoreDefinition
M: 87 C: 60
41%
M: 10 C: 2
17%
M: 13 C: 8
38%
M: 22 C: 16
42%
M: 7 C: 8
53%
M: 0 C: 1
100%
AConcurrentExpressionTraceCoreDefinition
M: 102 C: 44
30%
M: 12 C: 2
14%
M: 16 C: 6
27%
M: 24 C: 14
37%
M: 9 C: 6
40%
M: 0 C: 1
100%
AInstanceTraceDefinition
M: 82 C: 0
0%
M: 6 C: 0
0%
M: 16 C: 0
0%
M: 24 C: 0
0%
M: 13 C: 0
0%
M: 1 C: 0
0%
ALetBeStBindingTraceDefinition
M: 205 C: 139
40%
M: 28 C: 18
39%
M: 28 C: 16
36%
M: 48 C: 40
45%
M: 7 C: 14
67%
M: 0 C: 1
100%
ALetDefBindingTraceDefinition
M: 130 C: 86
40%
M: 17 C: 7
29%
M: 20 C: 9
31%
M: 31 C: 23
43%
M: 8 C: 9
53%
M: 0 C: 1
100%
ARepeatTraceDefinition
M: 97 C: 98
50%
M: 11 C: 3
21%
M: 13 C: 13
50%
M: 24 C: 26
52%
M: 6 C: 13
68%
M: 0 C: 1
100%
ATraceDefinitionTerm
M: 69 C: 72
51%
M: 11 C: 3
21%
M: 12 C: 10
45%
M: 18 C: 20
53%
M: 5 C: 10
67%
M: 0 C: 1
100%
PTerm
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
PTermBase
M: 35 C: 6
15%
M: 6 C: 0
0%
M: 7 C: 2
22%
M: 9 C: 3
25%
M: 4 C: 2
33%
M: 0 C: 1
100%
PTraceCoreDefinition
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
PTraceCoreDefinitionBase
M: 47 C: 13
22%
M: 6 C: 0
0%
M: 9 C: 3
25%
M: 13 C: 6
32%
M: 6 C: 3
33%
M: 0 C: 1
100%
PTraceDefinition
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
PTraceDefinitionBase
M: 44 C: 16
27%
M: 6 C: 0
0%
M: 8 C: 4
33%
M: 12 C: 7
37%
M: 5 C: 4
44%
M: 0 C: 1
100%