Package: POForAllContext

POForAllContext

name	instruction	branch	complexity	line	method
POForAllContext(AExistsExp)	M: 0 C: 7 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(AForAllExp)	M: 0 C: 7 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(ALambdaExp)	M: 0 C: 41 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 9 100%	M: 0 C: 1 100%
POForAllContext(ALetBeStExp, IPogAssistantFactory)	M: 0 C: 12 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(AMapCompMapExp)	M: 0 C: 7 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(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%
POForAllContext(ASetCompSetExp)	M: 0 C: 7 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(ITypeCheckerAssistantFactory, AExists1Exp)	M: 0 C: 10 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(ITypeCheckerAssistantFactory, AIotaExp)	M: 0 C: 10 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
POForAllContext(PBind, PExp)	M: 33 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
cloneBinds(List)	M: 0 C: 22 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
getContext()	M: 39 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 10 C: 0 0%	M: 1 C: 0 0%
getContextNode(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%
getMultipleBindList(PBind)	M: 8 C: 27 77%	M: 1 C: 1 50%	M: 1 C: 1 50%	M: 1 C: 6 86%	M: 0 C: 1 100%
getSuperContext(PExp)	M: 0 C: 20 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
isScopeBoundary()	M: 0 C: 2 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!