Package: POForAllPredicateContext

POForAllPredicateContext

name	instruction	branch	complexity	line	method
POForAllPredicateContext(ALetBeStExp, IPogAssistantFactory)	M: 0 C: 9 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllPredicateContext(AMapCompMapExp)	M: 0 C: 8 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllPredicateContext(ASeqCompSeqExp, IPogAssistantFactory)	M: 0 C: 9 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllPredicateContext(ASetCompSetExp)	M: 0 C: 8 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllPredicateContext(ITypeCheckerAssistantFactory, AExists1Exp)	M: 9 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 3 C: 0 0%	M: 1 C: 0 0%
getContext()	M: 28 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 7 C: 0 0%	M: 1 C: 0 0%
getContextNode(PExp)	M: 0 C: 27 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 8 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!