Package: JmlSettings

JmlSettings

nameinstructionbranchcomplexitylinemethod
JmlSettings()
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
genInvariantFor()
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%
setGenInvariantFor(boolean)
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%

Coverage

1: package org.overture.codegen.vdm2jml;
2:
3: public class JmlSettings
4: {
5:         private boolean genInvariantFor;
6:
7:         public JmlSettings()
8:         {
9:                 this.genInvariantFor = false;
10:         }
11:
12:         public boolean genInvariantFor()
13:         {
14:                 return genInvariantFor;
15:         }
16:
17:         public void setGenInvariantFor(boolean genInvariantFor)
18:         {
19:                 this.genInvariantFor = genInvariantFor;
20:         }
21: }