Package: DeclVisitorIR

DeclVisitorIR

nameinstructionbranchcomplexitylinemethod
DeclVisitorIR()
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAClassInvariantDefinition(AClassInvariantDefinition, IRInfo)
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAExplicitFunctionDefinition(AExplicitFunctionDefinition, IRInfo)
M: 15 C: 278
95%
M: 2 C: 20
91%
M: 2 C: 10
83%
M: 2 C: 64
97%
M: 0 C: 1
100%
caseAExplicitOperationDefinition(AExplicitOperationDefinition, IRInfo)
M: 28 C: 67
71%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 6 C: 14
70%
M: 0 C: 1
100%
caseAFieldField(AFieldField, IRInfo)
M: 0 C: 30
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseAImplicitFunctionDefinition(AImplicitFunctionDefinition, IRInfo)
M: 43 C: 103
71%
M: 4 C: 6
60%
M: 4 C: 2
33%
M: 7 C: 24
77%
M: 0 C: 1
100%
caseAImplicitOperationDefinition(AImplicitOperationDefinition, IRInfo)
M: 14 C: 26
65%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 3 C: 6
67%
M: 0 C: 1
100%
caseAInstanceVariableDefinition(AInstanceVariableDefinition, IRInfo)
M: 0 C: 45
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseAMutexSyncDefinition(AMutexSyncDefinition, IRInfo)
M: 0 C: 33
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseANamedInvariantType(ANamedInvariantType, IRInfo)
M: 0 C: 36
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseANamedTraceDefinition(ANamedTraceDefinition, IRInfo)
M: 18 C: 66
79%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 3 C: 14
82%
M: 0 C: 1
100%
caseAPerSyncDefinition(APerSyncDefinition, IRInfo)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseARecordInvariantType(ARecordInvariantType, IRInfo)
M: 2 C: 66
97%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 1 C: 16
94%
M: 0 C: 1
100%
caseARenamedDefinition(ARenamedDefinition, IRInfo)
M: 19 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
caseAStateDefinition(AStateDefinition, IRInfo)
M: 3 C: 175
98%
M: 2 C: 22
92%
M: 2 C: 11
85%
M: 1 C: 40
98%
M: 0 C: 1
100%
caseAThreadDefinition(AThreadDefinition, IRInfo)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseATraceDefinitionTerm(ATraceDefinitionTerm, IRInfo)
M: 2 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseATypeDefinition(ATypeDefinition, IRInfo)
M: 0 C: 47
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAValueDefinition(AValueDefinition, IRInfo)
M: 0 C: 43
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!