Package: JmlTraceStmBuilder

JmlTraceStmBuilder

nameinstructionbranchcomplexitylinemethod
JmlTraceStmBuilder(TracesTrans, String, StoreAssistant, List)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
consTcFailHandling()
M: 0 C: 35
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
consTypeCheckExp(SVarExpIR, STypeIR, String, StoreAssistant)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
consTypeCheckMethod(SStmIR)
M: 37 C: 184
83%
M: 8 C: 16
67%
M: 8 C: 5
38%
M: 9 C: 43
83%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!