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.umltrans.uml;
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 IUmlProperty extends IUmlNode {
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_IUmlProperty KEEP=NO
34 private void vdm_init_IUmlProperty () throws CGException {}
35 // ***** VDMTOOLS END Name=vdm_init_IUmlProperty
36
37
38 // ***** VDMTOOLS START Name=IUmlProperty KEEP=NO
39 public IUmlProperty () throws CGException {
40 vdm_init_IUmlProperty();
41 }
42 // ***** VDMTOOLS END Name=IUmlProperty
43
44
45 // ***** VDMTOOLS START Name=getName KEEP=NO
46 abstract public String getName () throws CGException ;
47 // ***** VDMTOOLS END Name=getName
48
49
50 // ***** VDMTOOLS START Name=getVisibility KEEP=NO
51 abstract public IUmlVisibilityKind getVisibility () throws CGException ;
52 // ***** VDMTOOLS END Name=getVisibility
53
54
55 // ***** VDMTOOLS START Name=getMultiplicity KEEP=NO
56 abstract public IUmlMultiplicityElement getMultiplicity () throws CGException ;
57 // ***** VDMTOOLS END Name=getMultiplicity
58
59
60 // ***** VDMTOOLS START Name=hasMultiplicity KEEP=NO
61 abstract public Boolean hasMultiplicity () throws CGException ;
62 // ***** VDMTOOLS END Name=hasMultiplicity
63
64
65 // ***** VDMTOOLS START Name=getType KEEP=NO
66 abstract public IUmlType getType () throws CGException ;
67 // ***** VDMTOOLS END Name=getType
68
69
70 // ***** VDMTOOLS START Name=getIsReadOnly KEEP=NO
71 abstract public Boolean getIsReadOnly () throws CGException ;
72 // ***** VDMTOOLS END Name=getIsReadOnly
73
74
75 // ***** VDMTOOLS START Name=hasIsReadOnly KEEP=NO
76 abstract public Boolean hasIsReadOnly () throws CGException ;
77 // ***** VDMTOOLS END Name=hasIsReadOnly
78
79
80 // ***** VDMTOOLS START Name=getDefault KEEP=NO
81 abstract public IUmlValueSpecification getDefault () throws CGException ;
82 // ***** VDMTOOLS END Name=getDefault
83
84
85 // ***** VDMTOOLS START Name=hasDefault KEEP=NO
86 abstract public Boolean hasDefault () throws CGException ;
87 // ***** VDMTOOLS END Name=hasDefault
88
89
90 // ***** VDMTOOLS START Name=getIsComposite KEEP=NO
91 abstract public Boolean getIsComposite () throws CGException ;
92 // ***** VDMTOOLS END Name=getIsComposite
93
94
95 // ***** VDMTOOLS START Name=getIsDerived KEEP=NO
96 abstract public Boolean getIsDerived () throws CGException ;
97 // ***** VDMTOOLS END Name=getIsDerived
98
99
100 // ***** VDMTOOLS START Name=hasIsDerived KEEP=NO
101 abstract public Boolean hasIsDerived () throws CGException ;
102 // ***** VDMTOOLS END Name=hasIsDerived
103
104
105 // ***** VDMTOOLS START Name=getIsStatic KEEP=NO
106 abstract public Boolean getIsStatic () throws CGException ;
107 // ***** VDMTOOLS END Name=getIsStatic
108
109
110 // ***** VDMTOOLS START Name=hasIsStatic KEEP=NO
111 abstract public Boolean hasIsStatic () throws CGException ;
112 // ***** VDMTOOLS END Name=hasIsStatic
113
114
115 // ***** VDMTOOLS START Name=getOwnerClass KEEP=NO
116 abstract public String getOwnerClass () throws CGException ;
117 // ***** VDMTOOLS END Name=getOwnerClass
118
119
120 // ***** VDMTOOLS START Name=getQualifier KEEP=NO
121 abstract public IUmlType getQualifier () throws CGException ;
122 // ***** VDMTOOLS END Name=getQualifier
123
124
125 // ***** VDMTOOLS START Name=hasQualifier KEEP=NO
126 abstract public Boolean hasQualifier () throws CGException ;
127 // ***** VDMTOOLS END Name=hasQualifier
128
129 }
130 ;