Package: VDMToken

VDMToken

nameinstructionbranchcomplexitylinemethod
VDMToken(String, int, String, String, Dialect[])
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
lookup(String, Dialect)
M: 2 C: 20
91%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 1 C: 4
80%
M: 0 C: 1
100%
static {...}
M: 0 C: 5120
100%
M: 1 C: 9
90%
M: 1 C: 6
86%
M: 0 C: 151
100%
M: 0 C: 1
100%
toString()
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%

Coverage

ERROR: Error while reading the sourcefile!