Package: POContextStack

POContextStack

name	instruction	branch	complexity	line	method
POContextStack()	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%
checkType(PExp, PType)	M: 2 C: 25 93%	M: 1 C: 5 83%	M: 1 C: 3 75%	M: 1 C: 9 90%	M: 0 C: 1 100%
clearStateContexts()	M: 0 C: 21 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
getContextNode(PExp)	M: 0 C: 23 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
getGenerator()	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%
getLast_Vars()	M: 0 C: 22 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 7 100%	M: 0 C: 1 100%
getName()	M: 0 C: 36 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 10 100%	M: 0 C: 1 100%
getObligation(String)	M: 83 C: 0 0%	M: 4 C: 0 0%	M: 3 C: 0 0%	M: 19 C: 0 0%	M: 1 C: 0 0%
getPredWithContext(PExp)	M: 0 C: 4 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%
indentNewLines(String, String)	M: 40 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
noteType(PExp, PType)	M: 0 C: 7 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 2 100%	M: 0 C: 1 100%
pop()	M: 2 C: 26 93%	M: 1 C: 3 75%	M: 1 C: 2 67%	M: 1 C: 6 86%	M: 0 C: 1 100%
setGenerator(UniqueNameGenerator)	M: 0 C: 4 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 2 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!