Package: JmlAnnotationComparator

JmlAnnotationComparator

nameinstructionbranchcomplexitylinemethod
JmlAnnotationComparator()
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%
compare(ClonableString, ClonableString)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
getOrder(String)
M: 4 C: 22
85%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 2 C: 7
78%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!