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 class XmlEntity {
27
28 // ***** VDMTOOLS START Name=vdmComp KEEP=NO
29 static UTIL.VDMCompare vdmComp = new UTIL.VDMCompare();
30 // ***** VDMTOOLS END Name=vdmComp
31
32 // ***** VDMTOOLS START Name=name KEEP=NO
33 public String name = null;
34 // ***** VDMTOOLS END Name=name
35
36 // ***** VDMTOOLS START Name=attributes KEEP=NO
37 public XmlAttributeList attributes = null;
38 // ***** VDMTOOLS END Name=attributes
39
40 // ***** VDMTOOLS START Name=entities KEEP=NO
41 public XmlEntityList entities = null;
42 // ***** VDMTOOLS END Name=entities
43
44 // ***** VDMTOOLS START Name=data KEEP=NO
45 public XmlData data = null;
46 // ***** VDMTOOLS END Name=data
47
48
49 // ***** VDMTOOLS START Name=vdm_init_XmlEntity KEEP=NO
50 private void vdm_init_XmlEntity () throws CGException {
51 try {
52
53 name = new String("");
54 attributes = (XmlAttributeList) new XmlAttributeList();
55 entities = (XmlEntityList) new XmlEntityList();
56 data = null;
57 }
58 catch (Exception e){
59
60 e.printStackTrace(System.out);
61 System.out.println(e.getMessage());
62 }
63 }
64 // ***** VDMTOOLS END Name=vdm_init_XmlEntity
65
66
67 // ***** VDMTOOLS START Name=XmlEntity KEEP=NO
68 public XmlEntity () throws CGException {
69 vdm_init_XmlEntity();
70 }
71 // ***** VDMTOOLS END Name=XmlEntity
72
73
74 // ***** VDMTOOLS START Name=XmlEntity#1|String KEEP=NO
75 public XmlEntity (final String pname) throws CGException {
76
77 vdm_init_XmlEntity();
78 {
79
80 name = UTIL.ConvertToString(UTIL.clone(pname));
81 data = null;
82 }
83 }
84 // ***** VDMTOOLS END Name=XmlEntity#1|String
85
86
87 // ***** VDMTOOLS START Name=addAttribute#1|XmlAttribute KEEP=NO
88 public void addAttribute (final XmlAttribute pattr) throws CGException {
89 attributes.addTail((XmlAttribute) pattr);
90 }
91 // ***** VDMTOOLS END Name=addAttribute#1|XmlAttribute
92
93
94 // ***** VDMTOOLS START Name=addEntity#1|XmlEntity KEEP=NO
95 public void addEntity (final XmlEntity pent) throws CGException {
96 entities.addTail((XmlEntity) pent);
97 }
98 // ***** VDMTOOLS END Name=addEntity#1|XmlEntity
99
100
101 // ***** VDMTOOLS START Name=addData#1|XmlData KEEP=NO
102 public void addData (final XmlData pdata) throws CGException {
103 data = (XmlData) UTIL.clone(pdata);
104 }
105 // ***** VDMTOOLS END Name=addData#1|XmlData
106
107
108 // ***** VDMTOOLS START Name=accept#1|XmlVisitor KEEP=NO
109 public void accept (final XmlVisitor pxv) throws CGException {
110 pxv.VisitXmlEntity((XmlEntity) this);
111 }
112 // ***** VDMTOOLS END Name=accept#1|XmlVisitor
113
114 }
115 ;