Package: RecursiveObligation

RecursiveObligation

nameinstructionbranchcomplexitylinemethod
RecursiveObligation(AExplicitFunctionDefinition, AApplyExp, IPOContextStack, IPogAssistantFactory)
M: 37 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
RecursiveObligation(AImplicitFunctionDefinition, AApplyExp, IPOContextStack, IPogAssistantFactory)
M: 37 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
RecursiveObligation(List, AApplyExp, IPOContextStack, IPogAssistantFactory)
M: 22 C: 69
76%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 3 C: 13
81%
M: 0 C: 1
100%
buildMeasureLeft(AExplicitFunctionDefinition, AApplyExp)
M: 0 C: 32
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
buildMeasureLeft(AImplicitFunctionDefinition, AApplyExp)
M: 33 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
buildMeasureLeftParams(AApplyExp, List, PType, ILexNameToken, List)
M: 15 C: 70
82%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 4 C: 16
80%
M: 0 C: 1
100%
buildMeasureRight(AExplicitFunctionDefinition, AApplyExp)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
buildMeasureRight(AImplicitFunctionDefinition, AApplyExp)
M: 9 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
buildMeasureRightParams(AApplyExp, ILexNameToken, PType)
M: 2 C: 85
98%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 1 C: 21
95%
M: 0 C: 1
100%
buildStructuralComparison(PExp, PExp, int)
M: 58 C: 6
9%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 11 C: 2
15%
M: 0 C: 1
100%
buildStructuralLessThan(PExp, PExp, int, int)
M: 75 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 15 C: 0
0%
M: 1 C: 0
0%
buildValueDef(PExp, String)
M: 30 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
getLex(AExplicitFunctionDefinition)
M: 8 C: 13
62%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 2 C: 5
71%
M: 0 C: 1
100%
getMeasureName(PDefinition)
M: 20 C: 18
47%
M: 5 C: 3
38%
M: 3 C: 2
40%
M: 6 C: 5
45%
M: 0 C: 1
100%
wrapName(ILexNameToken)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!