Package: JmlGenUtil

JmlGenUtil

nameinstructionbranchcomplexitylinemethod
JmlGenUtil(JmlGenerator)
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
consInvParamReplacementId(ADefaultClassDeclIR, String)
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%
consRecPackage(String, String)
M: 0 C: 29
100%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 5
100%
M: 0 C: 1
100%
distributeNamedTypeInvs(List)
M: 0 C: 108
100%
M: 0 C: 16
100%
M: 0 C: 9
100%
M: 0 C: 22
100%
M: 0 C: 1
100%
genInvMethod(ADefaultClassDeclIR, ANamedTypeDeclIR)
M: 0 C: 106
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 22
100%
M: 0 C: 1
100%
getEnclosingClass(INode)
M: 13 C: 9
41%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 2 C: 3
60%
M: 0 C: 1
100%
getEnclosingMethod(INode)
M: 13 C: 9
41%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 2 C: 3
60%
M: 0 C: 1
100%
getInvFormalParam(AMethodDeclIR)
M: 30 C: 11
27%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 6 C: 2
25%
M: 0 C: 1
100%
getInvMethod(ATypeDeclIR)
M: 12 C: 13
52%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 2 C: 4
67%
M: 0 C: 1
100%
getInvParamVar(AMethodDeclIR)
M: 4 C: 26
87%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 2 C: 6
75%
M: 0 C: 1
100%
getMethodCondArgName(SPatternIR)
M: 13 C: 32
71%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 2 C: 7
78%
M: 0 C: 1
100%
getName(SPatternIR)
M: 13 C: 7
35%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 2 C: 2
50%
M: 0 C: 1
100%
getNamedTypeInvMethods(ADefaultClassDeclIR)
M: 0 C: 32
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
getRecFieldNames(ARecordDeclIR)
M: 0 C: 23
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
getRecords(List)
M: 0 C: 43
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
makeRecsOuterClasses(List, RecClassInfo)
M: 11 C: 259
96%
M: 1 C: 15
94%
M: 1 C: 8
89%
M: 1 C: 57
98%
M: 0 C: 1
100%
toJmlOldExp(String)
M: 0 C: 30
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!