Package: OpPostConditionContext

OpPostConditionContext

name	instruction	branch	complexity	line	method
OpPostConditionContext(AExplicitFunctionDefinition, AApplyExp, SOperationDefinitionBase, IPogAssistantFactory, IPOContextStack)	M: 0 C: 37 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 8 100%	M: 0 C: 1 100%
OpPostConditionContext(AExplicitFunctionDefinition, ACallStm, SOperationDefinitionBase, IPogAssistantFactory, IPOContextStack)	M: 0 C: 37 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 8 100%	M: 0 C: 1 100%
buildInvExp(SOperationDefinitionBase, IPogAssistantFactory)	M: 13 C: 35 73%	M: 1 C: 5 83%	M: 1 C: 3 75%	M: 3 C: 9 75%	M: 0 C: 1 100%
getChangedVarsExp(AExplicitFunctionDefinition, SOperationDefinitionBase)	M: 4 C: 59 94%	M: 1 C: 9 90%	M: 1 C: 5 83%	M: 1 C: 13 93%	M: 0 C: 1 100%
getContext()	M: 2 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
getContextNode(PExp)	M: 5 C: 49 91%	M: 0 C: 6 100%	M: 0 C: 4 100%	M: 3 C: 10 77%	M: 0 C: 1 100%
getStateVars(SOperationDefinitionBase)	M: 4 C: 41 91%	M: 1 C: 7 88%	M: 1 C: 4 80%	M: 1 C: 10 91%	M: 0 C: 1 100%
introduceFreshVar(AInstanceVariableDefinition)	M: 0 C: 123 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 25 100%	M: 0 C: 1 100%
introduceFreshVars(LinkedList, List)	M: 16 C: 23 59%	M: 3 C: 3 50%	M: 2 C: 2 50%	M: 3 C: 5 63%	M: 0 C: 1 100%
refreshAllState(SOperationDefinitionBase, 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%
rewritePost(PExp, List, IPogAssistantFactory)	M: 3 C: 29 91%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 2 C: 7 78%	M: 0 C: 1 100%
spellCondition(AExplicitFunctionDefinition, IPogAssistantFactory, List, PExp)	M: 2 C: 79 98%	M: 1 C: 7 88%	M: 1 C: 4 80%	M: 1 C: 15 94%	M: 0 C: 1 100%
toString()	M: 13 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%

Coverage

ERROR: Error while reading the sourcefile!