Package: JmlGenerator

JmlGenerator

nameinstructionbranchcomplexitylinemethod
JmlGenerator()
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
JmlGenerator(JavaCodeGen)
M: 0 C: 34
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
addAssertions(List, TypePredDecorator)
M: 7 C: 33
83%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 3 C: 7
70%
M: 0 C: 1
100%
addJmlTransformations()
M: 5 C: 120
96%
M: 2 C: 10
83%
M: 2 C: 5
71%
M: 2 C: 22
92%
M: 0 C: 1
100%
addVdmToJmlRuntimeImport(ADefaultClassDeclIR)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
adjustNamedTypeInvFuncs(IRStatus)
M: 2 C: 172
99%
M: 2 C: 10
83%
M: 2 C: 5
71%
M: 2 C: 38
95%
M: 0 C: 1
100%
annotateRecsWithInvs(List)
M: 0 C: 42
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
changeRecInvMethod(ARecordDeclIR)
M: 7 C: 11
61%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 3 C: 3
50%
M: 0 C: 1
100%
computeNamedTypeInvInfo(List)
M: 0 C: 33
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
consMethodCond(SDeclIR, List, String)
M: 15 C: 56
79%
M: 3 C: 5
63%
M: 2 C: 3
60%
M: 3 C: 8
73%
M: 0 C: 1
100%
finalIRConstructed(List, IRInfo)
M: 0 C: 189
100%
M: 0 C: 20
100%
M: 0 C: 11
100%
M: 0 C: 39
100%
M: 0 C: 1
100%
generateJml(List)
M: 0 C: 26
100%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 6
100%
M: 0 C: 1
100%
getAnnotator()
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%
getInvChecksFlagOwner()
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%
getIrSettings()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getJavaGen()
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%
getJavaSettings()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getJmlSettings()
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%
getStateDesInfo()
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%
getTypeInfoList()
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%
getUtil()
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%
initSettings()
M: 0 C: 36
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
initialIRConstructed(List, IRInfo)
M: 20 C: 56
74%
M: 3 C: 9
75%
M: 3 C: 4
57%
M: 6 C: 12
67%
M: 0 C: 1
100%
makeRecStateAccessorBased(List)
M: 19 C: 26
58%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 4 C: 6
60%
M: 0 C: 1
100%
normaliseTargets(List)
M: 41 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
quoteClassesProduced(List)
M: 0 C: 19
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
setInvChecksOnOwner(List)
M: 0 C: 27
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
setIrSettings(IRSettings)
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
setJavaSettings(JavaSettings)
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
setJmlSettings(JmlSettings)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
sortAnnotations(List)
M: 15 C: 34
69%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 4 C: 7
64%
M: 0 C: 1
100%
tcTraceTest(TypePredDecorator)
M: 0 C: 68
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 11
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!