Package: VDMSL

VDMSL

nameinstructionbranchcomplexitylinemethod
VDMSL()
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%
getInterpreter()
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
interpret(List, String)
M: 140 C: 0
0%
M: 8 C: 0
0%
M: 5 C: 0
0%
M: 33 C: 0
0%
M: 1 C: 0
0%
parse(List)
M: 135 C: 116
46%
M: 11 C: 11
50%
M: 10 C: 2
17%
M: 26 C: 25
49%
M: 0 C: 1
100%
typeCheck()
M: 139 C: 95
41%
M: 14 C: 12
46%
M: 11 C: 3
21%
M: 28 C: 20
42%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!