Package: UnionTypeTrans

UnionTypeTrans

nameinstructionbranchcomplexitylinemethod
UnionTypeTrans(TransAssistantIR, UnionTypeVarPrefixes, List)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseAApplyExpIR(AApplyExpIR)
M: 1 C: 77
99%
M: 2 C: 10
83%
M: 2 C: 5
71%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseAAssignToExpStmIR(AAssignToExpStmIR)
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%
caseACardUnaryExpIR(ACardUnaryExpIR)
M: 0 C: 30
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseAFieldDeclIR(AFieldDeclIR)
M: 7 C: 13
65%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 4
80%
M: 0 C: 1
100%
caseAFieldExpIR(AFieldExpIR)
M: 0 C: 37
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAFieldNumberExpIR(AFieldNumberExpIR)
M: 0 C: 31
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseAHeadUnaryExpIR(AHeadUnaryExpIR)
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%
caseAIndicesUnaryExpIR(AIndicesUnaryExpIR)
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%
caseALenUnaryExpIR(ALenUnaryExpIR)
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%
caseAPlainCallStmIR(APlainCallStmIR)
M: 0 C: 21
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseAReturnStmIR(AReturnStmIR)
M: 0 C: 36
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
caseASeqConcatBinaryExpIR(ASeqConcatBinaryExpIR)
M: 0 C: 63
100%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 0 C: 14
100%
M: 0 C: 1
100%
caseASuperCallStmIR(ASuperCallStmIR)
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%
castFieldObj(AAssignToExpStmIR, AFieldExpIR, STypeIR)
M: 0 C: 33
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
castNotNeeded(SExpIR, STypeIR)
M: 0 C: 13
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consCorrection(SExpIR, STypeIR)
M: 0 C: 19
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
consInstanceCheck(SExpIR, STypeIR)
M: 0 C: 19
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
consRaiseStm(String, String)
M: 0 C: 28
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
correctArgTypes(List, List, boolean)
M: 0 C: 49
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
correctTypes(SExpIR, STypeIR)
M: 0 C: 71
100%
M: 3 C: 23
88%
M: 3 C: 11
79%
M: 0 C: 15
100%
M: 0 C: 1
100%
defaultInSNumericBinaryExpIR(SNumericBinaryExpIR)
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%
fieldType(AFieldExpIR, STypeIR, TypeAssistantIR)
M: 0 C: 101
100%
M: 0 C: 14
100%
M: 0 C: 8
100%
M: 0 C: 24
100%
M: 0 C: 1
100%
getAssignmentExp(INode, SExpIR)
M: 0 C: 22
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
getExpectedOperandType(SNumericBinaryExpIR)
M: 4 C: 13
76%
M: 3 C: 3
50%
M: 3 C: 1
25%
M: 1 C: 2
67%
M: 0 C: 1
100%
getResultType(AFieldExpIR, INode, STypeIR, TypeAssistantIR)
M: 0 C: 22
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
handAssignRighHandSide(AAssignToExpStmIR)
M: 0 C: 29
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 6
100%
M: 0 C: 1
100%
handleAssignTarget(AAssignToExpStmIR)
M: 0 C: 107
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 24
100%
M: 0 C: 1
100%
handleCallStm(SCallStmIR, String)
M: 0 C: 46
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
handleFieldExp(SExpIR, String, SExpIR, STypeIR, STypeIR)
M: 1 C: 329
100%
M: 1 C: 23
96%
M: 1 C: 12
92%
M: 1 C: 79
99%
M: 0 C: 1
100%
handleUnaryExp(SUnaryExpIR)
M: 9 C: 9
50%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 3 C: 3
50%
M: 0 C: 1
100%
inACallObjectExpStmIR(ACallObjectExpStmIR)
M: 1 C: 249
100%
M: 1 C: 13
93%
M: 1 C: 7
88%
M: 1 C: 60
98%
M: 0 C: 1
100%
inAElemsUnaryExpIR(AElemsUnaryExpIR)
M: 39 C: 5
11%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 8 C: 2
20%
M: 0 C: 1
100%
inAIfStmIR(AIfStmIR)
M: 0 C: 31
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
inAMapDomainUnaryExpIR(AMapDomainUnaryExpIR)
M: 39 C: 5
11%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 8 C: 2
20%
M: 0 C: 1
100%
inANewExpIR(ANewExpIR)
M: 1 C: 102
99%
M: 2 C: 12
86%
M: 2 C: 6
75%
M: 1 C: 21
95%
M: 0 C: 1
100%
inANotUnaryExpIR(ANotUnaryExpIR)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
inAVarDeclIR(AVarDeclIR)
M: 0 C: 26
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 9
100%
M: 0 C: 1
100%
memberExists(INode, TypeAssistantIR, String, String)
M: 0 C: 28
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
memberExists(String, INode, TypeAssistantIR, SExpIR, STypeIR)
M: 2 C: 47
96%
M: 3 C: 9
75%
M: 3 C: 4
57%
M: 1 C: 9
90%
M: 0 C: 1
100%
processSeqUnaryExp(SUnaryExpIR)
M: 0 C: 30
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
searchType(SExpIR, UnionTypeTrans.TypeFinder)
M: 7 C: 24
77%
M: 4 C: 4
50%
M: 4 C: 1
20%
M: 4 C: 7
64%
M: 0 C: 1
100%
setSubject(SExpIR, ACastUnaryExpIR)
M: 0 C: 16
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 5
100%
M: 0 C: 1
100%
typeNarrowedByIsCheck(SExpIR)
M: 16 C: 30
65%
M: 2 C: 8
80%
M: 2 C: 4
67%
M: 1 C: 10
91%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!