Package: PogParamExpVisitor

PogParamExpVisitor

nameinstructionbranchcomplexitylinemethod
PogParamExpVisitor(QuestionAnswerAdaptor)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
PogParamExpVisitor(QuestionAnswerAdaptor, QuestionAnswerAdaptor, IPogAssistantFactory)
M: 12 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
caseAAbsoluteUnaryExp(AAbsoluteUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAAndBooleanBinaryExp(AAndBooleanBinaryExp, IPOContextStack)
M: 42 C: 60
59%
M: 6 C: 2
25%
M: 4 C: 1
20%
M: 8 C: 12
60%
M: 0 C: 1
100%
caseAAnnotatedUnaryExp(AAnnotatedUnaryExp, IPOContextStack)
M: 24 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
caseAApplyExp(AApplyExp, IPOContextStack)
M: 0 C: 284
100%
M: 4 C: 26
87%
M: 4 C: 12
75%
M: 0 C: 45
100%
M: 0 C: 1
100%
caseABooleanConstExp(ABooleanConstExp, IPOContextStack)
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%
caseACardinalityUnaryExp(ACardinalityUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseACasesExp(ACasesExp, IPOContextStack)
M: 2 C: 112
98%
M: 2 C: 10
83%
M: 2 C: 5
71%
M: 1 C: 21
95%
M: 0 C: 1
100%
caseACharLiteralExp(ACharLiteralExp, IPOContextStack)
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%
caseACompBinaryExp(ACompBinaryExp, IPOContextStack)
M: 0 C: 65
100%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseADefExp(ADefExp, IPOContextStack)
M: 32 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
caseADistConcatUnaryExp(ADistConcatUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseADistIntersectUnaryExp(ADistIntersectUnaryExp, IPOContextStack)
M: 0 C: 21
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseADistMergeUnaryExp(ADistMergeUnaryExp, IPOContextStack)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseADistUnionUnaryExp(ADistUnionUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseADivNumericBinaryExp(ADivNumericBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseADivideNumericBinaryExp(ADivideNumericBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseADomainResByBinaryExp(ADomainResByBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseADomainResToBinaryExp(ADomainResToBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAElementsUnaryExp(AElementsUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAElseIfExp(AElseIfExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAEquivalentBooleanBinaryExp(AEquivalentBooleanBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAExists1Exp(AExists1Exp, IPOContextStack)
M: 0 C: 28
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAExistsExp(AExistsExp, IPOContextStack)
M: 0 C: 47
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAFieldExp(AFieldExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAFieldNumberExp(AFieldNumberExp, IPOContextStack)
M: 0 C: 68
100%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseAFloorUnaryExp(AFloorUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAForAllExp(AForAllExp, IPOContextStack)
M: 0 C: 47
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAFuncInstatiationExp(AFuncInstatiationExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAGreaterEqualNumericBinaryExp(AGreaterEqualNumericBinaryExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAGreaterNumericBinaryExp(AGreaterNumericBinaryExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAHeadUnaryExp(AHeadUnaryExp, IPOContextStack)
M: 0 C: 47
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAHistoryExp(AHistoryExp, IPOContextStack)
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%
caseAIfExp(AIfExp, IPOContextStack)
M: 4 C: 102
96%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 0 C: 16
100%
M: 0 C: 1
100%
caseAImpliesBooleanBinaryExp(AImpliesBooleanBinaryExp, IPOContextStack)
M: 24 C: 66
73%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 2 C: 13
87%
M: 0 C: 1
100%
caseAInSetBinaryExp(AInSetBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAIndicesUnaryExp(AIndicesUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAIntLiteralExp(AIntLiteralExp, IPOContextStack)
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%
caseAIotaExp(AIotaExp, IPOContextStack)
M: 0 C: 42
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseAIsExp(AIsExp, IPOContextStack)
M: 0 C: 30
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseAIsOfBaseClassExp(AIsOfBaseClassExp, IPOContextStack)
M: 8 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAIsOfClassExp(AIsOfClassExp, IPOContextStack)
M: 14 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
caseALambdaExp(ALambdaExp, IPOContextStack)
M: 0 C: 47
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseALenUnaryExp(ALenUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseALessEqualNumericBinaryExp(ALessEqualNumericBinaryExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseALessNumericBinaryExp(ALessNumericBinaryExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseALetBeStExp(ALetBeStExp, IPOContextStack)
M: 0 C: 74
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseALetDefExp(ALetDefExp, IPOContextStack)
M: 0 C: 61
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAMapCompMapExp(AMapCompMapExp, IPOContextStack)
M: 0 C: 102
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 19
100%
M: 0 C: 1
100%
caseAMapDomainUnaryExp(AMapDomainUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAMapEnumMapExp(AMapEnumMapExp, IPOContextStack)
M: 0 C: 43
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAMapInverseUnaryExp(AMapInverseUnaryExp, IPOContextStack)
M: 0 C: 25
100%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAMapRangeUnaryExp(AMapRangeUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAMapUnionBinaryExp(AMapUnionBinaryExp, IPOContextStack)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAMapletExp(AMapletExp, IPOContextStack)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAMkBasicExp(AMkBasicExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAMkTypeExp(AMkTypeExp, IPOContextStack)
M: 0 C: 104
100%
M: 2 C: 10
83%
M: 2 C: 5
71%
M: 0 C: 21
100%
M: 0 C: 1
100%
caseAModNumericBinaryExp(AModNumericBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAMuExp(AMuExp, IPOContextStack)
M: 0 C: 79
100%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 0 C: 16
100%
M: 0 C: 1
100%
caseANarrowExp(ANarrowExp, IPOContextStack)
M: 0 C: 60
100%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseANewExp(ANewExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseANilExp(ANilExp, IPOContextStack)
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%
caseANotEqualBinaryExp(ANotEqualBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseANotInSetBinaryExp(ANotInSetBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseANotUnaryExp(ANotUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseANotYetSpecifiedExp(ANotYetSpecifiedExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAOrBooleanBinaryExp(AOrBooleanBinaryExp, IPOContextStack)
M: 42 C: 52
55%
M: 6 C: 2
25%
M: 4 C: 1
20%
M: 8 C: 12
60%
M: 0 C: 1
100%
caseAPlusNumericBinaryExp(APlusNumericBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAPlusPlusBinaryExp(APlusPlusBinaryExp, IPOContextStack)
M: 0 C: 28
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAPostOpExp(APostOpExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAPowerSetUnaryExp(APowerSetUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAPreExp(APreExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAPreOpExp(APreOpExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAProperSubsetBinaryExp(AProperSubsetBinaryExp, IPOContextStack)
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAQuoteLiteralExp(AQuoteLiteralExp, IPOContextStack)
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%
caseARangeResByBinaryExp(ARangeResByBinaryExp, IPOContextStack)
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseARangeResToBinaryExp(ARangeResToBinaryExp, IPOContextStack)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseARealLiteralExp(ARealLiteralExp, IPOContextStack)
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%
caseARemNumericBinaryExp(ARemNumericBinaryExp, IPOContextStack)
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAReverseUnaryExp(AReverseUnaryExp, IPOContextStack)
M: 8 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseASameBaseClassExp(ASameBaseClassExp, IPOContextStack)
M: 26 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
caseASameClassExp(ASameClassExp, IPOContextStack)
M: 20 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
caseASelfExp(ASelfExp, IPOContextStack)
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%
caseASeqCompSeqExp(ASeqCompSeqExp, IPOContextStack)
M: 0 C: 66
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseASeqConcatBinaryExp(ASeqConcatBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseASeqEnumSeqExp(ASeqEnumSeqExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseASetCompSetExp(ASetCompSetExp, IPOContextStack)
M: 0 C: 96
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseASetDifferenceBinaryExp(ASetDifferenceBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseASetEnumSetExp(ASetEnumSetExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseASetIntersectBinaryExp(ASetIntersectBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseASetRangeSetExp(ASetRangeSetExp, IPOContextStack)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseASetUnionBinaryExp(ASetUnionBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAStarStarBinaryExp(AStarStarBinaryExp, IPOContextStack)
M: 0 C: 57
100%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseAStateInitExp(AStateInitExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAStringLiteralExp(AStringLiteralExp, IPOContextStack)
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%
caseASubclassResponsibilityExp(ASubclassResponsibilityExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseASubseqExp(ASubseqExp, IPOContextStack)
M: 0 C: 30
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseASubsetBinaryExp(ASubsetBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseASubtractNumericBinaryExp(ASubtractNumericBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseATailUnaryExp(ATailUnaryExp, IPOContextStack)
M: 0 C: 30
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAThreadIdExp(AThreadIdExp, IPOContextStack)
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%
caseATimeExp(ATimeExp, IPOContextStack)
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%
caseATimesNumericBinaryExp(ATimesNumericBinaryExp, IPOContextStack)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseATupleExp(ATupleExp, IPOContextStack)
M: 0 C: 27
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAUnaryMinusUnaryExp(AUnaryMinusUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAUnaryPlusUnaryExp(AUnaryPlusUnaryExp, IPOContextStack)
M: 8 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
caseAUndefinedExp(AUndefinedExp, IPOContextStack)
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%
createNewReturnValue(INode, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
createNewReturnValue(Object, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
defaultPExp(PExp, IPOContextStack)
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%
defaultSBinaryExp(SBinaryExp, IPOContextStack)
M: 0 C: 26
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
defaultSBooleanBinaryExp(SBooleanBinaryExp, IPOContextStack)
M: 56 C: 0
0%
M: 8 C: 0
0%
M: 5 C: 0
0%
M: 14 C: 0
0%
M: 1 C: 0
0%
defaultSMapExp(SMapExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
defaultSNumericBinaryExp(SNumericBinaryExp, IPOContextStack)
M: 32 C: 43
57%
M: 6 C: 2
25%
M: 4 C: 1
20%
M: 6 C: 10
63%
M: 0 C: 1
100%
defaultSSeqExp(SSeqExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
defaultSSetExp(SSetExp, IPOContextStack)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
defaultSUnaryExp(SUnaryExp, IPOContextStack)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
findField(ARecordInvariantType, ILexIdentifierToken)
M: 2 C: 22
92%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 5
83%
M: 0 C: 1
100%
getCommonOrderedObligations(SNumericBinaryExp, IPOContextStack)
M: 0 C: 148
100%
M: 2 C: 16
89%
M: 2 C: 8
80%
M: 0 C: 25
100%
M: 0 C: 1
100%
getLeftRight(Object)
M: 6 C: 39
87%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 2 C: 8
80%
M: 0 C: 1
100%
getNonNilObligations(SNumericBinaryExp, IPOContextStack)
M: 19 C: 35
65%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 3 C: 7
70%
M: 0 C: 1
100%
getPreName(PExp)
M: 3 C: 7
70%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 2 C: 1
33%
M: 0 C: 1
100%
handleBinExpSubNode(IPOContextStack, IProofObligationList, PExp, PType)
M: 0 C: 46
100%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 0 C: 9
100%
M: 0 C: 1
100%
handleBinaryBooleanExp(Object, IPOContextStack)
M: 32 C: 56
64%
M: 6 C: 2
25%
M: 4 C: 1
20%
M: 6 C: 11
65%
M: 0 C: 1
100%
handleBinaryExpression(Object, IPOContextStack)
M: 4 C: 38
90%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 8
89%
M: 0 C: 1
100%
handleDivideNumericBinaryExp(PExp, IPOContextStack)
M: 0 C: 38
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
handleNumericBinaryExpression(SNumericBinaryExp, IPOContextStack)
M: 3 C: 59
95%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 12
92%
M: 0 C: 1
100%
neverZero(PExp)
M: 11 C: 19
63%
M: 3 C: 5
63%
M: 2 C: 3
60%
M: 3 C: 6
67%
M: 0 C: 1
100%
static {...}
M: 2 C: 13
87%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 2
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!