View Javadoc

1   
2   
3   //
4   // THIS FILE IS AUTOMATICALLY GENERATED!!
5   //
6   // Generated at 2009-08-09 by the VDM++ to JAVA Code Generator
7   // (v8.2.1b - Wed 15-Jul-2009 14:09:22)
8   //
9   // Supported compilers: jdk 1.4/1.5/1.6
10  //
11  
12  // ***** VDMTOOLS START Name=HeaderComment KEEP=NO
13  // ***** VDMTOOLS END Name=HeaderComment
14  
15  // ***** VDMTOOLS START Name=package KEEP=NO
16  package org.overturetool.api.io;
17  
18  // ***** VDMTOOLS END Name=package
19  
20  // ***** VDMTOOLS START Name=imports KEEP=YES
21  
22  import jp.co.csk.vdm.toolbox.VDM.*;
23  import jp.co.csk.vdm.toolbox.VDM.quotes.*;
24  
25  import java.util.*;
26  import org.overturetool.ast.itf.*;
27  import org.overturetool.ast.imp.*;
28  import org.overturetool.api.io.*;
29  import org.overturetool.api.io.*;
30  import org.overturetool.api.*;
31  import org.overturetool.api.xml.*;
32  import org.overturetool.umltrans.*;
33  import org.overturetool.umltrans.uml.*;
34  import org.overturetool.umltrans.uml2vdm.*;
35  import org.overturetool.umltrans.vdm2uml.*;
36  // ***** VDMTOOLS END Name=imports
37  
38  
39  
40  public class IOProxy {
41  
42  // ***** VDMTOOLS START Name=vdmComp KEEP=NO
43    static UTIL.VDMCompare vdmComp = new UTIL.VDMCompare();
44  // ***** VDMTOOLS END Name=vdmComp
45  
46  
47  // ***** VDMTOOLS START Name=vdm_init_IOProxy KEEP=NO
48    private void vdm_init_IOProxy () throws CGException {}
49  // ***** VDMTOOLS END Name=vdm_init_IOProxy
50  
51  
52  // ***** VDMTOOLS START Name=IOProxy KEEP=NO
53    public IOProxy () throws CGException {
54      vdm_init_IOProxy();
55    }
56  // ***** VDMTOOLS END Name=IOProxy
57  
58  
59  // ***** VDMTOOLS START Name=print#1|String KEEP=NO
60    public void print (final String s) throws CGException {
61  
62      IO file = (IO) new IO();
63      {
64  
65        Boolean tmpVal_5 = null;
66        tmpVal_5 = file.echo(s);
67      }
68    }
69  // ***** VDMTOOLS END Name=print#1|String
70  
71  
72  // ***** VDMTOOLS START Name=append#2|String|String KEEP=NO
73    public void append (final String f, final String s) throws CGException {
74  
75      IO file = (IO) new IO();
76      {
77  
78        Boolean tmpVal_6 = null;
79        tmpVal_6 = (Boolean) file.fwriteval(f, s, new append());
80      }
81    }
82  // ***** VDMTOOLS END Name=append#2|String|String
83  
84  
85  // ***** VDMTOOLS START Name=overwrite#2|String|String KEEP=NO
86    public void overwrite (final String f, final String s) throws CGException {
87  
88      IO file = (IO) new IO();
89      {
90  
91        Boolean tmpVal_6 = null;
92        tmpVal_6 = (Boolean) file.fwriteval(f, s, new start());
93      }
94    }
95  // ***** VDMTOOLS END Name=overwrite#2|String|String
96  
97  }
98  ;