01 public class MyConfig implements IJml2bConfiguration {
02
03 File dir;
04
05 public MyConfig(File dir) {
06 this.dir = dir;
07 }
08
09 public File getSubdirectory() {
10 return dir;
11 }
12
13 public JmlPathEntry[] getJmlPath() {
14 return null;
15 }
16
17 public FontData getViewerFont() {
18 return null;
19 }
20
21 public boolean isObviousPoGenerated() {
22 return false;
23 }
24
25 public boolean isWellDefPoGenerated() {
26 return false;
27 }
28
29 public boolean isViewShown(String name) {
30 return false;
31 }
32
33 public Expression getDefaultRequires() {
34 return null;
35 }
36
37 public ModifiesClause getDefaultModifies() {
38 return null;
39 }
40
41 public Expression getDefaultEnsures() {
42 return null;
43 }
44
45 public Vector getDefaultExsures() {
46 return null;
47 }
48
49 public boolean isFileGenerated(String name) {
50 return true;
51 }
52
53 public boolean isObviousProver(String name) {
54 return false;
55 }
56
57 public boolean getDefaultExternalFile() {
58 return false;
59 }
60
61 public void setFileGenerated(String name, boolean b) {
62 }
63
64 }
|