Package: TypeCheckerExpVisitor

TypeCheckerExpVisitor

nameinstructionbranchcomplexitylinemethod
TypeCheckerExpVisitor(IQuestionAnswer)
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%
binaryCheck(SBooleanBinaryExp, ABooleanBasicType, IQuestionAnswer, TypeCheckInfo)
M: 0 C: 75
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseAAbsoluteUnaryExp(AAbsoluteUnaryExp, TypeCheckInfo)
M: 0 C: 71
100%
M: 1 C: 11
92%
M: 1 C: 6
86%
M: 0 C: 14
100%
M: 0 C: 1
100%
caseAAndBooleanBinaryExp(AAndBooleanBinaryExp, TypeCheckInfo)
M: 0 C: 42
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAAnnotatedUnaryExp(AAnnotatedUnaryExp, TypeCheckInfo)
M: 36 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
caseAApplyExp(AApplyExp, TypeCheckInfo)
M: 44 C: 414
90%
M: 8 C: 64
89%
M: 6 C: 31
84%
M: 8 C: 64
89%
M: 0 C: 1
100%
caseABooleanConstExp(ABooleanConstExp, TypeCheckInfo)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseACardinalityUnaryExp(ACardinalityUnaryExp, TypeCheckInfo)
M: 0 C: 65
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseACasesExp(ACasesExp, TypeCheckInfo)
M: 0 C: 65
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseACharLiteralExp(ACharLiteralExp, TypeCheckInfo)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseACompBinaryExp(ACompBinaryExp, TypeCheckInfo)
M: 19 C: 253
93%
M: 1 C: 17
94%
M: 1 C: 9
90%
M: 4 C: 38
90%
M: 0 C: 1
100%
caseADefExp(ADefExp, TypeCheckInfo)
M: 59 C: 98
62%
M: 3 C: 3
50%
M: 2 C: 2
50%
M: 10 C: 12
55%
M: 0 C: 1
100%
caseADistConcatUnaryExp(ADistConcatUnaryExp, TypeCheckInfo)
M: 0 C: 79
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseADistIntersectUnaryExp(ADistIntersectUnaryExp, TypeCheckInfo)
M: 0 C: 65
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseADistMergeUnaryExp(ADistMergeUnaryExp, TypeCheckInfo)
M: 0 C: 74
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseADistUnionUnaryExp(ADistUnionUnaryExp, TypeCheckInfo)
M: 0 C: 77
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseADivNumericBinaryExp(ADivNumericBinaryExp, TypeCheckInfo)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseADivideNumericBinaryExp(ADivideNumericBinaryExp, TypeCheckInfo)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseADomainResByBinaryExp(ADomainResByBinaryExp, TypeCheckInfo)
M: 0 C: 130
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseADomainResToBinaryExp(ADomainResToBinaryExp, TypeCheckInfo)
M: 0 C: 140
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseAElementsUnaryExp(AElementsUnaryExp, TypeCheckInfo)
M: 0 C: 97
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseAElseIfExp(AElseIfExp, TypeCheckInfo)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAEqualsBinaryExp(AEqualsBinaryExp, TypeCheckInfo)
M: 0 C: 111
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseAExists1Exp(AExists1Exp, TypeCheckInfo)
M: 0 C: 107
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseAExistsExp(AExistsExp, TypeCheckInfo)
M: 0 C: 85
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAFieldExp(AFieldExp, TypeCheckInfo)
M: 43 C: 388
90%
M: 8 C: 42
84%
M: 5 C: 21
81%
M: 9 C: 66
88%
M: 0 C: 1
100%
caseAFieldNumberExp(AFieldNumberExp, TypeCheckInfo)
M: 0 C: 102
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseAFloorUnaryExp(AFloorUnaryExp, TypeCheckInfo)
M: 0 C: 35
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseAForAllExp(AForAllExp, TypeCheckInfo)
M: 0 C: 80
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAFuncInstatiationExp(AFuncInstatiationExp, TypeCheckInfo)
M: 40 C: 248
86%
M: 3 C: 25
89%
M: 3 C: 12
80%
M: 7 C: 50
88%
M: 0 C: 1
100%
caseAGreaterEqualNumericBinaryExp(AGreaterEqualNumericBinaryExp, TypeCheckInfo)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAGreaterNumericBinaryExp(AGreaterNumericBinaryExp, TypeCheckInfo)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAHeadUnaryExp(AHeadUnaryExp, TypeCheckInfo)
M: 0 C: 50
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAHistoryExp(AHistoryExp, TypeCheckInfo)
M: 39 C: 99
72%
M: 4 C: 18
82%
M: 4 C: 8
67%
M: 6 C: 21
78%
M: 0 C: 1
100%
caseAIfExp(AIfExp, TypeCheckInfo)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAInSetBinaryExp(AInSetBinaryExp, TypeCheckInfo)
M: 0 C: 83
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseAIndicesUnaryExp(AIndicesUnaryExp, TypeCheckInfo)
M: 0 C: 70
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseAIntLiteralExp(AIntLiteralExp, TypeCheckInfo)
M: 6 C: 34
85%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 5
83%
M: 0 C: 1
100%
caseAIotaExp(AIotaExp, TypeCheckInfo)
M: 47 C: 136
74%
M: 4 C: 6
60%
M: 3 C: 3
50%
M: 8 C: 21
72%
M: 0 C: 1
100%
caseAIsExp(AIsExp, TypeCheckInfo)
M: 16 C: 71
82%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 2 C: 13
87%
M: 0 C: 1
100%
caseAIsOfBaseClassExp(AIsOfBaseClassExp, TypeCheckInfo)
M: 0 C: 69
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAIsOfClassExp(AIsOfClassExp, TypeCheckInfo)
M: 0 C: 81
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseALambdaExp(ALambdaExp, TypeCheckInfo)
M: 0 C: 158
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 26
100%
M: 0 C: 1
100%
caseALenUnaryExp(ALenUnaryExp, TypeCheckInfo)
M: 0 C: 65
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseALessEqualNumericBinaryExp(ALessEqualNumericBinaryExp, TypeCheckInfo)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseALessNumericBinaryExp(ALessNumericBinaryExp, TypeCheckInfo)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseALetBeStExp(ALetBeStExp, TypeCheckInfo)
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%
caseALetDefExp(ALetDefExp, TypeCheckInfo)
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAMapCompMapExp(AMapCompMapExp, TypeCheckInfo)
M: 6 C: 76
93%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 10
91%
M: 0 C: 1
100%
caseAMapDomainUnaryExp(AMapDomainUnaryExp, TypeCheckInfo)
M: 0 C: 55
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAMapEnumMapExp(AMapEnumMapExp, TypeCheckInfo)
M: 7 C: 115
94%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 1 C: 18
95%
M: 0 C: 1
100%
caseAMapInverseUnaryExp(AMapInverseUnaryExp, TypeCheckInfo)
M: 0 C: 62
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseAMapRangeUnaryExp(AMapRangeUnaryExp, TypeCheckInfo)
M: 0 C: 55
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAMapUnionBinaryExp(AMapUnionBinaryExp, TypeCheckInfo)
M: 0 C: 140
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 22
100%
M: 0 C: 1
100%
caseAMapletExp(AMapletExp, TypeCheckInfo)
M: 0 C: 70
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseAMkBasicExp(AMkBasicExp, TypeCheckInfo)
M: 24 C: 25
51%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 3 C: 3
50%
M: 0 C: 1
100%
caseAMkTypeExp(AMkTypeExp, TypeCheckInfo)
M: 21 C: 237
92%
M: 1 C: 17
94%
M: 1 C: 9
90%
M: 4 C: 49
92%
M: 0 C: 1
100%
caseAModNumericBinaryExp(AModNumericBinaryExp, TypeCheckInfo)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAMuExp(AMuExp, TypeCheckInfo)
M: 0 C: 151
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 26
100%
M: 0 C: 1
100%
caseANarrowExp(ANarrowExp, TypeCheckInfo)
M: 27 C: 84
76%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 5 C: 12
71%
M: 0 C: 1
100%
caseANewExp(ANewExp, TypeCheckInfo)
M: 16 C: 259
94%
M: 3 C: 27
90%
M: 3 C: 13
81%
M: 3 C: 46
94%
M: 0 C: 1
100%
caseANilExp(ANilExp, TypeCheckInfo)
M: 0 C: 19
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseANotEqualBinaryExp(ANotEqualBinaryExp, TypeCheckInfo)
M: 0 C: 99
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
caseANotInSetBinaryExp(ANotInSetBinaryExp, TypeCheckInfo)
M: 0 C: 85
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseANotUnaryExp(ANotUnaryExp, TypeCheckInfo)
M: 0 C: 44
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseANotYetSpecifiedExp(ANotYetSpecifiedExp, TypeCheckInfo)
M: 0 C: 10
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAPlusNumericBinaryExp(APlusNumericBinaryExp, TypeCheckInfo)
M: 0 C: 79
100%
M: 0 C: 12
100%
M: 0 C: 7
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseAPlusPlusBinaryExp(APlusPlusBinaryExp, TypeCheckInfo)
M: 0 C: 364
100%
M: 0 C: 24
100%
M: 0 C: 13
100%
M: 0 C: 53
100%
M: 0 C: 1
100%
caseAPostOpExp(APostOpExp, TypeCheckInfo)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAPowerSetUnaryExp(APowerSetUnaryExp, TypeCheckInfo)
M: 0 C: 86
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseAPreExp(APreExp, TypeCheckInfo)
M: 0 C: 40
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseAPreOpExp(APreOpExp, TypeCheckInfo)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAProperSubsetBinaryExp(AProperSubsetBinaryExp, TypeCheckInfo)
M: 0 C: 125
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 19
100%
M: 0 C: 1
100%
caseAQuoteLiteralExp(AQuoteLiteralExp, TypeCheckInfo)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseARangeResByBinaryExp(ARangeResByBinaryExp, TypeCheckInfo)
M: 0 C: 127
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseARangeResToBinaryExp(ARangeResToBinaryExp, TypeCheckInfo)
M: 0 C: 127
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseARealLiteralExp(ARealLiteralExp, TypeCheckInfo)
M: 6 C: 49
89%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 1 C: 8
89%
M: 0 C: 1
100%
caseARemNumericBinaryExp(ARemNumericBinaryExp, TypeCheckInfo)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAReverseUnaryExp(AReverseUnaryExp, TypeCheckInfo)
M: 19 C: 26
58%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 4 C: 6
60%
M: 0 C: 1
100%
caseASameBaseClassExp(ASameBaseClassExp, TypeCheckInfo)
M: 0 C: 78
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseASameClassExp(ASameClassExp, TypeCheckInfo)
M: 0 C: 78
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseASelfExp(ASelfExp, TypeCheckInfo)
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%
caseASeqCompSeqExp(ASeqCompSeqExp, TypeCheckInfo)
M: 18 C: 141
89%
M: 4 C: 10
71%
M: 4 C: 4
50%
M: 3 C: 18
86%
M: 0 C: 1
100%
caseASeqConcatBinaryExp(ASeqConcatBinaryExp, TypeCheckInfo)
M: 0 C: 170
100%
M: 0 C: 16
100%
M: 0 C: 9
100%
M: 0 C: 29
100%
M: 0 C: 1
100%
caseASeqEnumSeqExp(ASeqEnumSeqExp, TypeCheckInfo)
M: 0 C: 99
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseASetCompSetExp(ASetCompSetExp, TypeCheckInfo)
M: 0 C: 101
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseASetDifferenceBinaryExp(ASetDifferenceBinaryExp, TypeCheckInfo)
M: 0 C: 89
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseASetEnumSetExp(ASetEnumSetExp, TypeCheckInfo)
M: 0 C: 99
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseASetIntersectBinaryExp(ASetIntersectBinaryExp, TypeCheckInfo)
M: 0 C: 139
100%
M: 0 C: 14
100%
M: 0 C: 8
100%
M: 0 C: 26
100%
M: 0 C: 1
100%
caseASetRangeSetExp(ASetRangeSetExp, TypeCheckInfo)
M: 0 C: 106
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseASetUnionBinaryExp(ASetUnionBinaryExp, TypeCheckInfo)
M: 10 C: 132
93%
M: 3 C: 7
70%
M: 3 C: 3
50%
M: 0 C: 22
100%
M: 0 C: 1
100%
caseAStarStarBinaryExp(AStarStarBinaryExp, TypeCheckInfo)
M: 16 C: 117
88%
M: 2 C: 10
83%
M: 2 C: 5
71%
M: 2 C: 21
91%
M: 0 C: 1
100%
caseAStateInitExp(AStateInitExp, TypeCheckInfo)
M: 0 C: 124
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 25
100%
M: 0 C: 1
100%
caseAStringLiteralExp(AStringLiteralExp, TypeCheckInfo)
M: 0 C: 35
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseASubclassResponsibilityExp(ASubclassResponsibilityExp, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseASubseqExp(ASubseqExp, TypeCheckInfo)
M: 6 C: 116
95%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 1 C: 20
95%
M: 0 C: 1
100%
caseASubsetBinaryExp(ASubsetBinaryExp, TypeCheckInfo)
M: 0 C: 131
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 21
100%
M: 0 C: 1
100%
caseASubtractNumericBinaryExp(ASubtractNumericBinaryExp, TypeCheckInfo)
M: 0 C: 68
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseATailUnaryExp(ATailUnaryExp, TypeCheckInfo)
M: 0 C: 57
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseAThreadIdExp(AThreadIdExp, TypeCheckInfo)
M: 12 C: 34
74%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 2 C: 5
71%
M: 0 C: 1
100%
caseATimeExp(ATimeExp, TypeCheckInfo)
M: 12 C: 34
74%
M: 3 C: 5
63%
M: 3 C: 2
40%
M: 2 C: 5
71%
M: 0 C: 1
100%
caseATimesNumericBinaryExp(ATimesNumericBinaryExp, TypeCheckInfo)
M: 0 C: 84
100%
M: 0 C: 12
100%
M: 0 C: 7
100%
M: 0 C: 23
100%
M: 0 C: 1
100%
caseATupleExp(ATupleExp, TypeCheckInfo)
M: 0 C: 101
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseAUnaryMinusUnaryExp(AUnaryMinusUnaryExp, TypeCheckInfo)
M: 0 C: 50
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
caseAUnaryPlusUnaryExp(AUnaryPlusUnaryExp, TypeCheckInfo)
M: 0 C: 29
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseAUndefinedExp(AUndefinedExp, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAVariableExp(AVariableExp, TypeCheckInfo)
M: 57 C: 259
82%
M: 6 C: 30
83%
M: 6 C: 13
68%
M: 13 C: 54
81%
M: 0 C: 1
100%
checkNumeric(SNumericBinaryExp, IQuestionAnswer, TypeCheckInfo)
M: 0 C: 91
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
checkOrdered(SNumericBinaryExp, IQuestionAnswer, TypeCheckInfo)
M: 0 C: 91
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
defaultSBooleanBinaryExp(SBooleanBinaryExp, TypeCheckInfo)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
functionApply(AApplyExp, boolean, AFunctionType, TypeCheckInfo)
M: 17 C: 115
87%
M: 3 C: 11
79%
M: 2 C: 6
75%
M: 2 C: 22
92%
M: 0 C: 1
100%
getMeasureApply(AApplyExp, ILexNameToken, boolean)
M: 82 C: 0
0%
M: 8 C: 0
0%
M: 5 C: 0
0%
M: 14 C: 0
0%
M: 1 C: 0
0%
getRecursiveDefinition(AApplyExp, TypeCheckInfo)
M: 0 C: 58
100%
M: 1 C: 11
92%
M: 1 C: 6
86%
M: 0 C: 17
100%
M: 0 C: 1
100%
mapApply(AApplyExp, boolean, SMapType, TypeCheckInfo)
M: 0 C: 55
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
operationApply(AApplyExp, boolean, AOperationType, TypeCheckInfo)
M: 54 C: 45
45%
M: 3 C: 5
63%
M: 3 C: 2
40%
M: 9 C: 9
50%
M: 0 C: 1
100%
sequenceApply(AApplyExp, boolean, SSeqType, TypeCheckInfo)
M: 0 C: 77
100%
M: 0 C: 12
100%
M: 0 C: 7
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
typeCheck(ACaseAlternative, IQuestionAnswer, TypeCheckInfo, PType)
M: 6 C: 162
96%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 3 C: 19
86%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!