Package: RecAccessorTrans

RecAccessorTrans

nameinstructionbranchcomplexitylinemethod
RecAccessorTrans(JmlGenerator)
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%
caseAAssignToExpStmIR(AAssignToExpStmIR)
M: 0 C: 98
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 23
100%
M: 0 C: 1
100%
caseAFieldExpIR(AFieldExpIR)
M: 0 C: 66
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
caseARecordDeclIR(ARecordDeclIR)
M: 0 C: 24
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
cloneFieldRead(AFieldExpIR)
M: 2 C: 56
97%
M: 3 C: 13
81%
M: 3 C: 6
67%
M: 1 C: 9
90%
M: 0 C: 1
100%
consAccessors(ARecordDeclIR)
M: 0 C: 30
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
consGetCallName(String)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consGetter(AFieldDeclIR)
M: 0 C: 76
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
consParamName(AFieldDeclIR)
M: 0 C: 10
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consSetCallName(String)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consSetter(AFieldDeclIR)
M: 0 C: 117
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 23
100%
M: 0 C: 1
100%
consValidMethod()
M: 0 C: 65
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
getRecInfo()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
isColOfMapSeq(AFieldExpIR)
M: 14 C: 10
42%
M: 6 C: 2
25%
M: 4 C: 1
20%
M: 0 C: 4
100%
M: 0 C: 1
100%
isObjOfFieldExp(AFieldExpIR)
M: 0 C: 14
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 2
100%
M: 0 C: 1
100%
makeCopy(AApplyExpIR)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
registerAccessors(List)
M: 0 C: 16
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!