Package: JmlUnionTypeTrans

JmlUnionTypeTrans

nameinstructionbranchcomplexitylinemethod
JmlUnionTypeTrans(TransAssistantIR, UnionTypeVarPrefixes, List, StateDesInfo)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAAssignToExpStmIR(AAssignToExpStmIR)
M: 4 C: 36
90%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 1 C: 11
92%
M: 0 C: 1
100%
castFieldObj(AAssignToExpStmIR, AFieldExpIR, STypeIR)
M: 4 C: 24
86%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 4
80%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!