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.umltrans.vdm2uml;
17
18 // ***** VDMTOOLS END Name=package
19
20 // ***** VDMTOOLS START Name=imports KEEP=NO
21
22 import jp.co.csk.vdm.toolbox.VDM.*;
23 import java.util.*;
24 import org.overturetool.ast.itf.*;
25 import org.overturetool.ast.imp.*;
26 import org.overturetool.api.io.*;
27 import org.overturetool.api.io.*;
28 import org.overturetool.api.*;
29 import org.overturetool.api.xml.*;
30 import org.overturetool.umltrans.*;
31 import org.overturetool.umltrans.api.Util;
32 import org.overturetool.umltrans.uml.*;
33 import org.overturetool.umltrans.uml2vdm.*;
34 import org.overturetool.umltrans.vdm2uml.*;
35 // ***** VDMTOOLS END Name=imports
36
37
38
39 public class XmiFileOutputVisitor extends XmlFileOutputVisitor {
40
41 // ***** VDMTOOLS START Name=vdmComp KEEP=NO
42 static UTIL.VDMCompare vdmComp = new UTIL.VDMCompare();
43 // ***** VDMTOOLS END Name=vdmComp
44
45
46 // ***** VDMTOOLS START Name=vdm_init_XmiFileOutputVisitor KEEP=NO
47 private void vdm_init_XmiFileOutputVisitor () throws CGException {}
48 // ***** VDMTOOLS END Name=vdm_init_XmiFileOutputVisitor
49
50
51 // ***** VDMTOOLS START Name=XmiFileOutputVisitor KEEP=NO
52 public XmiFileOutputVisitor () throws CGException {
53 vdm_init_XmiFileOutputVisitor();
54 }
55 // ***** VDMTOOLS END Name=XmiFileOutputVisitor
56
57
58 // ***** VDMTOOLS START Name=print#1|String KEEP=NO
59 protected void print (final String text) throws CGException {
60 Util.WriteFile(text);
61 }
62 // ***** VDMTOOLS END Name=print#1|String
63
64 }
65 ;