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 IUmlLexem {
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=ILEXEMUNKNOWN KEEP=NO
33 public static final Long ILEXEMUNKNOWN = new Long(0);
34 // ***** VDMTOOLS END Name=ILEXEMUNKNOWN
35
36 // ***** VDMTOOLS START Name=ILEXEMKEYWORD KEEP=NO
37 public static final Long ILEXEMKEYWORD = new Long(1);
38 // ***** VDMTOOLS END Name=ILEXEMKEYWORD
39
40 // ***** VDMTOOLS START Name=ILEXEMIDENTIFIER KEEP=NO
41 public static final Long ILEXEMIDENTIFIER = new Long(2);
42 // ***** VDMTOOLS END Name=ILEXEMIDENTIFIER
43
44 // ***** VDMTOOLS START Name=ILEXEMLINECOMMENT KEEP=NO
45 public static final Long ILEXEMLINECOMMENT = new Long(3);
46 // ***** VDMTOOLS END Name=ILEXEMLINECOMMENT
47
48 // ***** VDMTOOLS START Name=ILEXEMBLOCKCOMMENT KEEP=NO
49 public static final Long ILEXEMBLOCKCOMMENT = new Long(4);
50 // ***** VDMTOOLS END Name=ILEXEMBLOCKCOMMENT
51
52
53 // ***** VDMTOOLS START Name=vdm_init_IUmlLexem KEEP=NO
54 private void vdm_init_IUmlLexem () throws CGException {}
55 // ***** VDMTOOLS END Name=vdm_init_IUmlLexem
56
57
58 // ***** VDMTOOLS START Name=IUmlLexem KEEP=NO
59 public IUmlLexem () throws CGException {
60 vdm_init_IUmlLexem();
61 }
62 // ***** VDMTOOLS END Name=IUmlLexem
63
64
65 // ***** VDMTOOLS START Name=accept#1|IUmlVisitor KEEP=NO
66 abstract public void accept (final IUmlVisitor var_1_1) throws CGException ;
67 // ***** VDMTOOLS END Name=accept#1|IUmlVisitor
68
69
70 // ***** VDMTOOLS START Name=getLine KEEP=NO
71 abstract public Long getLine () throws CGException ;
72 // ***** VDMTOOLS END Name=getLine
73
74
75 // ***** VDMTOOLS START Name=getColumn KEEP=NO
76 abstract public Long getColumn () throws CGException ;
77 // ***** VDMTOOLS END Name=getColumn
78
79
80 // ***** VDMTOOLS START Name=getLexval KEEP=NO
81 abstract public Long getLexval () throws CGException ;
82 // ***** VDMTOOLS END Name=getLexval
83
84
85 // ***** VDMTOOLS START Name=getText KEEP=NO
86 abstract public String getText () throws CGException ;
87 // ***** VDMTOOLS END Name=getText
88
89
90 // ***** VDMTOOLS START Name=getType KEEP=NO
91 abstract public Long getType () throws CGException ;
92 // ***** VDMTOOLS END Name=getType
93
94
95 // ***** VDMTOOLS START Name=isKeyword KEEP=NO
96 abstract public Boolean isKeyword () throws CGException ;
97 // ***** VDMTOOLS END Name=isKeyword
98
99
100 // ***** VDMTOOLS START Name=isIdentifier KEEP=NO
101 abstract public Boolean isIdentifier () throws CGException ;
102 // ***** VDMTOOLS END Name=isIdentifier
103
104
105 // ***** VDMTOOLS START Name=isComment KEEP=NO
106 abstract public Boolean isComment () throws CGException ;
107 // ***** VDMTOOLS END Name=isComment
108
109
110 // ***** VDMTOOLS START Name=isLineComment KEEP=NO
111 abstract public Boolean isLineComment () throws CGException ;
112 // ***** VDMTOOLS END Name=isLineComment
113
114
115 // ***** VDMTOOLS START Name=isBlockComment KEEP=NO
116 abstract public Boolean isBlockComment () throws CGException ;
117 // ***** VDMTOOLS END Name=isBlockComment
118
119 }
120 ;