1 //
2 // THIS FILE IS AUTOMATICALLY GENERATED!!
3 //
4 // Generated at 2009-08-09 by the VDM++ to JAVA Code Generator
5 // (v8.2.1b - Wed 15-Jul-2009 14:09:22)
6 //
7 // Supported compilers: jdk 1.4/1.5/1.6
8 //
9
10 // ***** VDMTOOLS START Name=HeaderComment KEEP=NO
11 // ***** VDMTOOLS END Name=HeaderComment
12
13 // ***** VDMTOOLS START Name=package KEEP=NO
14 package org.overturetool.api.xml;
15
16 // ***** VDMTOOLS END Name=package
17
18 // ***** VDMTOOLS START Name=imports KEEP=NO
19
20 import jp.co.csk.vdm.toolbox.VDM.*;
21 import java.util.*;
22 // ***** VDMTOOLS END Name=imports
23
24
25
26 public abstract class XmlVisitor {
27
28 // ***** VDMTOOLS START Name=vdmComp KEEP=NO
29 static UTIL.VDMCompare vdmComp = new UTIL.VDMCompare();
30 // ***** VDMTOOLS END Name=vdmComp
31
32
33 // ***** VDMTOOLS START Name=vdm_init_XmlVisitor KEEP=NO
34 private void vdm_init_XmlVisitor () throws CGException {}
35 // ***** VDMTOOLS END Name=vdm_init_XmlVisitor
36
37
38 // ***** VDMTOOLS START Name=XmlVisitor KEEP=NO
39 public XmlVisitor () throws CGException {
40 vdm_init_XmlVisitor();
41 }
42 // ***** VDMTOOLS END Name=XmlVisitor
43
44
45 // ***** VDMTOOLS START Name=setEncoding#1|String KEEP=NO
46 abstract public void setEncoding (final String encodingType) throws CGException ;
47 // ***** VDMTOOLS END Name=setEncoding#1|String
48
49
50 // ***** VDMTOOLS START Name=VisitXmlDocument#1|XmlDocument KEEP=NO
51 abstract public void VisitXmlDocument (final XmlDocument var_1_1) throws CGException ;
52 // ***** VDMTOOLS END Name=VisitXmlDocument#1|XmlDocument
53
54
55 // ***** VDMTOOLS START Name=VisitXmlEntity#1|XmlEntity KEEP=NO
56 abstract public void VisitXmlEntity (final XmlEntity var_1_1) throws CGException ;
57 // ***** VDMTOOLS END Name=VisitXmlEntity#1|XmlEntity
58
59
60 // ***** VDMTOOLS START Name=VisitXmlAttribute#1|XmlAttribute KEEP=NO
61 abstract public void VisitXmlAttribute (final XmlAttribute var_1_1) throws CGException ;
62 // ***** VDMTOOLS END Name=VisitXmlAttribute#1|XmlAttribute
63
64
65 // ***** VDMTOOLS START Name=VisitXmlData#1|XmlData KEEP=NO
66 abstract public void VisitXmlData (final XmlData var_1_1) throws CGException ;
67 // ***** VDMTOOLS END Name=VisitXmlData#1|XmlData
68
69 }
70 ;