Package: PDefinitionAssistantPOG

PDefinitionAssistantPOG

nameinstructionbranchcomplexitylinemethod
PDefinitionAssistantPOG(ITypeCheckerAssistantFactory)
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%
getProofObligations(LinkedList, QuestionAnswerAdaptor, IPOContextStack)
M: 0 C: 37
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!