Package: AbstractPogParamVisitor

AbstractPogParamVisitor

nameinstructionbranchcomplexitylinemethod
AbstractPogParamVisitor()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
afterAnnotation(PAnnotation, INode, IProofObligationList, IPOContextStack)
M: 72 C: 0
0%
M: 12 C: 0
0%
M: 7 C: 0
0%
M: 14 C: 0
0%
M: 1 C: 0
0%
afterAnnotations(List, INode, IProofObligationList, IPOContextStack)
M: 12 C: 8
40%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 2 C: 2
50%
M: 0 C: 1
100%
beforeAnnotation(PAnnotation, INode, IPOContextStack)
M: 76 C: 0
0%
M: 12 C: 0
0%
M: 7 C: 0
0%
M: 15 C: 0
0%
M: 1 C: 0
0%
beforeAnnotations(List, INode, IPOContextStack)
M: 13 C: 12
48%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 2 C: 3
60%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!