Package: OperationPostConditionObligation

OperationPostConditionObligation

nameinstructionbranchcomplexitylinemethod
OperationPostConditionObligation(AExplicitOperationDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
OperationPostConditionObligation(AImplicitOperationDefinition, IPOContextStack, IPogAssistantFactory)
M: 28 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
buildErrsExp(List)
M: 36 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
buildExp(PExp, PExp, List)
M: 24 C: 4
14%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 5 C: 2
29%
M: 0 C: 1
100%
handleErrorCase(AErrorCase)
M: 14 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
handlePrePost(PExp, PExp, List)
M: 11 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!