Package: VDMWarning

VDMWarning

name	instruction	branch	complexity	line	method
VDMWarning(int, String, LexLocation)	M: 6 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
toString()	M: 36 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%

Coverage

ERROR: Error while reading the sourcefile!