001 /* The following code was generated by JFlex 1.4.1 on 3/13/06 6:15 PM */
002
003 /*
004 * Copyright 2000-2006 Omnicore Software, Hans Kratz & Dennis Strein GbR,
005 * Geert Bevin <gbevin[remove] at uwyn dot com>.
006 * Distributed under the terms of the GNU Lesser General Public License, v2.1 or later
007 * $Id: JavaHighlighter.java 3108 2006-03-13 18:03:00Z gbevin $
008 */
009 package com.uwyn.jhighlight.highlighter;
010
011 import java.io.Reader;
012 import java.io.IOException;
013
014
015 /**
016 * This class is a scanner generated by
017 * <a href="http://www.jflex.de/">JFlex</a> 1.4.1
018 * on 3/13/06 6:15 PM from the specification file
019 * <tt>com/uwyn/jhighlight/highlighter/JavaHighlighter.flex</tt>
020 */
021 public class JavaHighlighter implements ExplicitStateHighlighter {
022
023 /** This character denotes the end of file */
024 public static final int YYEOF = -1;
025
026 /** initial size of the lookahead buffer */
027 private static final int ZZ_BUFFERSIZE = 128;
028
029 /** lexical states */
030 public static final int YYINITIAL = 0;
031 public static final int IN_COMMENT = 1;
032 public static final int IN_JAVA_DOC_COMMENT = 2;
033
034 /**
035 * Translates characters to character classes
036 */
037 private static final String ZZ_CMAP_PACKED =
038 "\11\4\1\0\1\50\1\0\1\0\1\0\16\4\4\0\1\0\1\54"+
039 "\1\47\1\0\1\2\1\54\1\54\1\52\1\53\1\53\1\55\1\24"+
040 "\1\53\1\24\1\21\1\56\1\6\7\15\2\1\1\54\1\53\1\54"+
041 "\1\54\1\54\1\54\1\57\3\14\1\17\1\23\1\17\5\5\1\10"+
042 "\13\5\1\12\2\5\1\53\1\51\1\53\1\54\1\3\1\0\1\25"+
043 "\1\26\1\13\1\20\1\22\1\16\1\45\1\33\1\36\1\2\1\32"+
044 "\1\7\1\41\1\35\1\34\1\42\1\2\1\31\1\27\1\30\1\37"+
045 "\1\43\1\44\1\11\1\40\1\46\1\53\1\54\1\53\1\54\41\4"+
046 "\2\0\4\2\4\0\1\2\12\0\1\2\4\0\1\2\5\0\27\2"+
047 "\1\0\37\2\1\0\u0128\2\2\0\22\2\34\0\136\2\2\0\11\2"+
048 "\2\0\7\2\16\0\2\2\16\0\5\2\11\0\1\2\21\0\117\4"+
049 "\21\0\3\4\27\0\1\2\13\0\1\2\1\0\3\2\1\0\1\2"+
050 "\1\0\24\2\1\0\54\2\1\0\10\2\2\0\32\2\14\0\202\2"+
051 "\1\0\4\4\5\0\71\2\2\0\2\2\2\0\2\2\3\0\46\2"+
052 "\2\0\2\2\67\0\46\2\2\0\1\2\7\0\47\2\11\0\21\4"+
053 "\1\0\27\4\1\0\3\4\1\0\1\4\1\0\2\4\1\0\1\4"+
054 "\13\0\33\2\5\0\3\2\56\0\32\2\5\0\13\2\13\4\12\0"+
055 "\12\4\6\0\1\4\143\2\1\0\1\2\7\4\2\0\6\4\2\2"+
056 "\2\4\1\0\4\4\2\0\12\4\3\2\22\0\1\4\1\2\1\4"+
057 "\33\2\3\0\33\4\65\0\46\2\13\4\u0150\0\3\4\1\0\65\2"+
058 "\2\0\1\4\1\2\20\4\2\0\1\2\4\4\3\0\12\2\2\4"+
059 "\2\0\12\4\21\0\3\4\1\0\10\2\2\0\2\2\2\0\26\2"+
060 "\1\0\7\2\1\0\1\2\3\0\4\2\2\0\1\4\1\0\7\4"+
061 "\2\0\2\4\2\0\3\4\11\0\1\4\4\0\2\2\1\0\3\2"+
062 "\2\4\2\0\12\4\4\2\16\0\1\4\2\0\6\2\4\0\2\2"+
063 "\2\0\26\2\1\0\7\2\1\0\2\2\1\0\2\2\1\0\2\2"+
064 "\2\0\1\4\1\0\5\4\4\0\2\4\2\0\3\4\13\0\4\2"+
065 "\1\0\1\2\7\0\14\4\3\2\14\0\3\4\1\0\7\2\1\0"+
066 "\1\2\1\0\3\2\1\0\26\2\1\0\7\2\1\0\2\2\1\0"+
067 "\5\2\2\0\1\4\1\2\10\4\1\0\3\4\1\0\3\4\2\0"+
068 "\1\2\17\0\1\2\5\0\12\4\21\0\3\4\1\0\10\2\2\0"+
069 "\2\2\2\0\26\2\1\0\7\2\1\0\2\2\2\0\4\2\2\0"+
070 "\1\4\1\2\6\4\3\0\2\4\2\0\3\4\10\0\2\4\4\0"+
071 "\2\2\1\0\3\2\4\0\12\4\22\0\2\4\1\0\6\2\3\0"+
072 "\3\2\1\0\4\2\3\0\2\2\1\0\1\2\1\0\2\2\3\0"+
073 "\2\2\3\0\3\2\3\0\10\2\1\0\3\2\4\0\5\4\3\0"+
074 "\3\4\1\0\4\4\11\0\1\4\17\0\11\4\21\0\3\4\1\0"+
075 "\10\2\1\0\3\2\1\0\27\2\1\0\12\2\1\0\5\2\4\0"+
076 "\7\4\1\0\3\4\1\0\4\4\7\0\2\4\11\0\2\2\4\0"+
077 "\12\4\22\0\2\4\1\0\10\2\1\0\3\2\1\0\27\2\1\0"+
078 "\12\2\1\0\5\2\4\0\7\4\1\0\3\4\1\0\4\4\7\0"+
079 "\2\4\7\0\1\2\1\0\2\2\4\0\12\4\22\0\2\4\1\0"+
080 "\10\2\1\0\3\2\1\0\27\2\1\0\20\2\4\0\6\4\2\0"+
081 "\3\4\1\0\4\4\11\0\1\4\10\0\2\2\4\0\12\4\22\0"+
082 "\2\4\1\0\22\2\3\0\30\2\1\0\11\2\1\0\1\2\2\0"+
083 "\7\2\3\0\1\4\4\0\6\4\1\0\1\4\1\0\10\4\22\0"+
084 "\2\4\15\0\60\2\1\4\2\2\7\4\4\0\10\2\10\4\1\0"+
085 "\12\4\47\0\2\2\1\0\1\2\2\0\2\2\1\0\1\2\2\0"+
086 "\1\2\6\0\4\2\1\0\7\2\1\0\3\2\1\0\1\2\1\0"+
087 "\1\2\2\0\2\2\1\0\4\2\1\4\2\2\6\4\1\0\2\4"+
088 "\1\2\2\0\5\2\1\0\1\2\1\0\6\4\2\0\12\4\2\0"+
089 "\2\2\42\0\1\2\27\0\2\4\6\0\12\4\13\0\1\4\1\0"+
090 "\1\4\1\0\1\4\4\0\2\4\10\2\1\0\42\2\6\0\24\4"+
091 "\1\0\2\4\4\2\4\0\10\4\1\0\44\4\11\0\1\4\71\0"+
092 "\42\2\1\0\5\2\1\0\2\2\1\0\7\4\3\0\4\4\6\0"+
093 "\12\4\6\0\6\2\4\4\106\0\46\2\12\0\47\2\11\0\132\2"+
094 "\5\0\104\2\5\0\122\2\6\0\7\2\1\0\77\2\1\0\1\2"+
095 "\1\0\4\2\2\0\7\2\1\0\1\2\1\0\4\2\2\0\47\2"+
096 "\1\0\1\2\1\0\4\2\2\0\37\2\1\0\1\2\1\0\4\2"+
097 "\2\0\7\2\1\0\1\2\1\0\4\2\2\0\7\2\1\0\7\2"+
098 "\1\0\27\2\1\0\37\2\1\0\1\2\1\0\4\2\2\0\7\2"+
099 "\1\0\47\2\1\0\23\2\16\0\11\4\56\0\125\2\14\0\u026c\2"+
100 "\2\0\10\2\12\0\32\2\5\0\113\2\225\0\64\2\40\4\7\0"+
101 "\1\2\4\0\12\4\41\0\4\4\1\0\12\4\6\0\130\2\10\0"+
102 "\51\2\1\4\u0556\0\234\2\4\0\132\2\6\0\26\2\2\0\6\2"+
103 "\2\0\46\2\2\0\6\2\2\0\10\2\1\0\1\2\1\0\1\2"+
104 "\1\0\1\2\1\0\37\2\2\0\65\2\1\0\7\2\1\0\1\2"+
105 "\3\0\3\2\1\0\7\2\3\0\4\2\2\0\6\2\4\0\15\2"+
106 "\5\0\3\2\1\0\7\2\17\0\4\4\32\0\5\4\20\0\2\2"+
107 "\51\0\6\4\17\0\1\2\40\0\20\2\40\0\15\4\4\0\1\4"+
108 "\40\0\1\2\4\0\1\2\2\0\12\2\1\0\1\2\3\0\5\2"+
109 "\6\0\1\2\1\0\1\2\1\0\1\2\1\0\4\2\1\0\3\2"+
110 "\1\0\7\2\46\0\44\2\u0e81\0\3\2\31\0\11\2\6\4\1\0"+
111 "\5\2\2\0\3\2\6\0\124\2\4\0\2\4\2\0\2\2\2\0"+
112 "\136\2\6\0\50\2\4\0\136\2\21\0\30\2\u0248\0\u19b6\2\112\0"+
113 "\u51a6\2\132\0\u048d\2\u0773\0\u2ba4\2\u215c\0\u012e\2\322\0\7\2\14\0"+
114 "\5\2\5\0\1\2\1\4\12\2\1\0\15\2\1\0\5\2\1\0"+
115 "\1\2\1\0\2\2\1\0\2\2\1\0\154\2\41\0\u016b\2\22\0"+
116 "\100\2\2\0\66\2\50\0\14\2\44\0\4\4\17\0\2\2\30\0"+
117 "\3\2\31\0\1\2\6\0\3\2\1\0\1\2\1\0\207\2\2\0"+
118 "\1\4\4\0\1\2\13\0\12\4\7\0\32\2\4\0\1\2\1\0"+
119 "\32\2\12\0\132\2\3\0\6\2\2\0\6\2\2\0\6\2\2\0"+
120 "\3\2\3\0\2\2\3\0\2\2\22\0\3\4\4\0";
121
122 /**
123 * Translates characters to character classes
124 */
125 private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);
126
127 /**
128 * Translates DFA states to action switch labels.
129 */
130 private static final int [] ZZ_ACTION = zzUnpackAction();
131
132 private static final String ZZ_ACTION_PACKED_0 =
133 "\3\0\1\1\1\2\2\1\1\2\4\1\1\3\1\1"+
134 "\1\4\15\1\1\3\1\4\1\1\1\5\1\1\3\6"+
135 "\1\1\3\2\1\0\1\1\1\7\4\2\12\1\1\10"+
136 "\22\1\1\10\10\1\4\0\1\11\3\0\1\12\1\13"+
137 "\1\14\1\2\1\0\1\2\37\1\1\7\11\1\1\15"+
138 "\1\7\20\1\1\2\14\1\1\10\11\1\1\10\12\1"+
139 "\1\16\25\1";
140
141 private static int [] zzUnpackAction() {
142 int [] result = new int[214];
143 int offset = 0;
144 offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
145 return result;
146 }
147
148 private static int zzUnpackAction(String packed, int offset, int [] result) {
149 int i = 0; /* index in packed string */
150 int j = offset; /* index in unpacked array */
151 int l = packed.length();
152 while (i < l) {
153 int count = packed.charAt(i++);
154 int value = packed.charAt(i++);
155 do result[j++] = value; while (--count > 0);
156 }
157 return j;
158 }
159
160
161 /**
162 * Translates a state to a row index in the transition table
163 */
164 private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
165
166 private static final String ZZ_ROWMAP_PACKED_0 =
167 "\0\0\0\60\0\140\0\220\0\300\0\360\0\u0120\0\u0150"+
168 "\0\u0180\0\u01b0\0\u01e0\0\u0210\0\u0240\0\u0270\0\220\0\u02a0"+
169 "\0\u02d0\0\u0300\0\u0330\0\u0360\0\u0390\0\u03c0\0\u03f0\0\u0420"+
170 "\0\u0450\0\u0480\0\u04b0\0\u04e0\0\220\0\u0510\0\u0540\0\220"+
171 "\0\u0570\0\220\0\u05a0\0\u05d0\0\u0600\0\220\0\u0600\0\u0630"+
172 "\0\u0660\0\u0690\0\u06c0\0\u06f0\0\u0720\0\u0750\0\u0780\0\u07b0"+
173 "\0\u07e0\0\u0810\0\u0840\0\u0870\0\u08a0\0\u08d0\0\u0900\0\u0930"+
174 "\0\u0960\0\u0990\0\u09c0\0\u09f0\0\u0a20\0\u0a50\0\u0a80\0\u0ab0"+
175 "\0\u0ae0\0\u0b10\0\u0b40\0\u0b70\0\u0ba0\0\u0bd0\0\u0c00\0\u0c30"+
176 "\0\u0c60\0\u0c90\0\u0cc0\0\u0cf0\0\360\0\u0d20\0\u0d50\0\u0d80"+
177 "\0\u0db0\0\u0de0\0\u0e10\0\u0e40\0\u0e70\0\u04b0\0\u0ea0\0\u04e0"+
178 "\0\u0ed0\0\u0f00\0\u0f30\0\u0540\0\u0570\0\220\0\220\0\u0f60"+
179 "\0\u0f90\0\u0fc0\0\u0ff0\0\u1020\0\u1050\0\u1080\0\u10b0\0\u10e0"+
180 "\0\u1110\0\u1140\0\u1170\0\u11a0\0\u11d0\0\u1200\0\u1230\0\u1260"+
181 "\0\u1290\0\u12c0\0\u12f0\0\u1320\0\u1350\0\u1380\0\u13b0\0\u13e0"+
182 "\0\u1410\0\u1440\0\u1470\0\u14a0\0\u14d0\0\u1500\0\u1530\0\u1560"+
183 "\0\u1590\0\u15c0\0\u15f0\0\u1620\0\u1650\0\u1680\0\u16b0\0\u16e0"+
184 "\0\u1710\0\u1740\0\u1770\0\u17a0\0\u17d0\0\360\0\u1800\0\u1830"+
185 "\0\u1860\0\u1890\0\u18c0\0\u18f0\0\u1920\0\u1950\0\u1980\0\u19b0"+
186 "\0\u19e0\0\u1a10\0\u1a40\0\u1a70\0\u1aa0\0\u1ad0\0\360\0\u1b00"+
187 "\0\u1b30\0\u1b60\0\u1b90\0\u1bc0\0\u1bf0\0\u1c20\0\u1c50\0\u1c80"+
188 "\0\u1cb0\0\u1ce0\0\u1d10\0\u1d40\0\u1d70\0\u1da0\0\u1dd0\0\u1e00"+
189 "\0\u1e30\0\u1e60\0\u1e90\0\u1ec0\0\u1ef0\0\u1500\0\u1f20\0\u1f50"+
190 "\0\u1f80\0\u1fb0\0\u1fe0\0\u2010\0\u2040\0\u2070\0\u20a0\0\u20d0"+
191 "\0\360\0\u2100\0\u2130\0\u2160\0\u2190\0\u21c0\0\u21f0\0\u2220"+
192 "\0\u2250\0\u2280\0\u22b0\0\u22e0\0\u2310\0\u2340\0\u2370\0\u23a0"+
193 "\0\u23d0\0\u2400\0\u2430\0\u2460\0\u2490\0\u24c0";
194
195 private static int [] zzUnpackRowMap() {
196 int [] result = new int[214];
197 int offset = 0;
198 offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
199 return result;
200 }
201
202 private static int zzUnpackRowMap(String packed, int offset, int [] result) {
203 int i = 0; /* index in packed string */
204 int j = offset; /* index in unpacked array */
205 int l = packed.length();
206 while (i < l) {
207 int high = packed.charAt(i++) << 16;
208 result[j++] = high | packed.charAt(i++);
209 }
210 return j;
211 }
212
213 /**
214 * The transition table of the DFA
215 */
216 private static final int [] ZZ_TRANS = zzUnpackTrans();
217
218 private static final String ZZ_TRANS_PACKED_0 =
219 "\1\4\1\5\2\6\1\4\1\7\1\10\1\11\1\7"+
220 "\1\6\1\7\1\12\1\7\1\5\1\13\1\7\1\14"+
221 "\1\15\1\16\1\7\1\17\1\20\1\21\1\22\1\23"+
222 "\1\24\3\6\1\25\1\26\3\6\1\27\1\30\1\31"+
223 "\1\32\1\6\1\33\2\4\1\34\1\35\2\17\1\36"+
224 "\1\4\50\37\1\40\4\37\1\41\2\37\55\42\1\43"+
225 "\1\42\1\44\61\0\1\5\1\0\1\45\1\0\1\45"+
226 "\1\5\1\46\1\47\1\0\1\45\1\0\1\45\1\5"+
227 "\1\46\1\47\1\46\1\50\1\51\1\52\35\0\20\6"+
228 "\1\0\2\6\1\0\22\6\12\0\1\7\1\53\1\7"+
229 "\1\53\2\7\1\53\1\7\1\53\1\7\1\53\2\7"+
230 "\1\53\1\7\1\53\1\0\1\53\1\7\1\0\22\53"+
231 "\12\0\1\54\1\0\1\45\1\0\1\45\1\55\1\46"+
232 "\1\47\1\56\1\57\1\0\1\45\1\55\1\46\1\47"+
233 "\1\46\1\50\1\51\1\52\35\0\20\6\1\0\2\6"+
234 "\1\0\7\6\1\60\12\6\12\0\6\6\1\61\11\6"+
235 "\1\0\2\6\1\0\1\62\5\6\1\63\1\64\12\6"+
236 "\12\0\6\6\1\65\11\6\1\0\2\6\1\0\1\66"+
237 "\6\6\1\67\1\6\1\70\10\6\12\0\20\6\1\0"+
238 "\1\71\1\6\1\0\7\6\1\72\12\6\12\0\1\50"+
239 "\4\0\1\50\6\0\1\50\43\0\6\6\1\73\1\6"+
240 "\1\74\7\6\1\0\2\6\1\0\22\6\12\0\20\6"+
241 "\1\0\2\6\1\0\1\6\1\75\1\76\17\6\12\0"+
242 "\20\6\1\0\2\6\1\0\4\6\1\77\2\6\1\100"+
243 "\3\6\1\101\6\6\12\0\20\6\1\0\2\6\1\0"+
244 "\3\6\1\102\2\6\1\103\3\6\1\104\1\105\3\6"+
245 "\1\106\2\6\12\0\20\6\1\0\2\6\1\0\4\6"+
246 "\1\107\1\6\1\110\13\6\12\0\20\6\1\0\1\111"+
247 "\1\6\1\0\22\6\12\0\20\6\1\0\1\112\1\6"+
248 "\1\0\1\113\11\6\1\114\7\6\12\0\15\6\1\115"+
249 "\2\6\1\0\2\6\1\0\10\6\1\116\3\6\1\117"+
250 "\5\6\12\0\20\6\1\0\2\6\1\0\1\120\3\6"+
251 "\1\121\5\6\1\122\7\6\12\0\20\6\1\0\2\6"+
252 "\1\0\7\6\1\123\12\6\12\0\20\6\1\0\2\6"+
253 "\1\0\6\6\1\124\13\6\12\0\20\6\1\0\2\6"+
254 "\1\0\7\6\1\125\12\6\11\0\47\126\2\46\1\127"+
255 "\6\126\50\130\1\46\1\131\1\46\5\130\55\0\1\132"+
256 "\1\133\1\0\50\134\1\40\4\134\1\135\52\134\1\40"+
257 "\4\134\1\135\1\136\1\134\56\0\1\137\3\0\2\140"+
258 "\1\0\1\140\1\0\6\140\1\0\3\140\1\0\2\140"+
259 "\1\0\22\140\12\0\1\45\1\0\1\45\1\0\2\45"+
260 "\1\0\1\45\1\0\1\45\1\0\2\45\1\0\1\45"+
261 "\3\0\1\45\35\0\1\50\4\0\1\50\6\0\1\50"+
262 "\3\46\1\0\2\51\35\0\1\141\4\0\1\141\6\0"+
263 "\1\141\6\0\1\142\34\0\1\143\1\0\1\45\1\0"+
264 "\1\45\1\143\1\0\1\45\1\0\1\45\1\0\1\45"+
265 "\1\143\1\0\1\45\3\0\1\45\1\142\34\0\20\53"+
266 "\1\0\2\53\1\0\22\53\12\0\1\54\1\0\1\45"+
267 "\1\0\1\45\1\54\1\0\1\45\1\0\1\45\1\0"+
268 "\1\45\1\54\1\46\1\47\1\46\1\50\1\51\1\52"+
269 "\35\0\1\54\1\0\1\45\1\0\1\45\1\55\1\46"+
270 "\1\47\1\0\1\45\1\0\1\45\1\55\1\46\1\47"+
271 "\1\46\1\50\1\51\1\52\35\0\1\56\4\0\1\56"+
272 "\2\46\2\0\6\56\1\0\2\56\1\0\2\56\32\0"+
273 "\1\57\1\0\1\45\1\0\1\45\1\57\1\46\1\47"+
274 "\1\0\1\45\1\56\2\57\1\56\1\57\1\56\1\0"+
275 "\1\56\1\57\1\0\2\56\32\0\20\6\1\0\2\6"+
276 "\1\0\10\6\1\144\11\6\12\0\20\6\1\0\2\6"+
277 "\1\0\1\145\21\6\12\0\20\6\1\0\2\6\1\0"+
278 "\2\6\1\146\1\147\16\6\12\0\20\6\1\0\2\6"+
279 "\1\0\1\150\21\6\12\0\20\6\1\0\2\6\1\0"+
280 "\10\6\1\151\11\6\12\0\20\6\1\0\2\6\1\0"+
281 "\7\6\1\152\12\6\12\0\6\6\1\153\11\6\1\0"+
282 "\2\6\1\0\22\6\12\0\20\6\1\0\2\6\1\0"+
283 "\4\6\1\115\15\6\12\0\20\6\1\0\2\6\1\0"+
284 "\10\6\1\154\11\6\12\0\15\6\1\155\2\6\1\0"+
285 "\2\6\1\0\22\6\12\0\20\6\1\0\2\6\1\0"+
286 "\12\6\1\156\7\6\12\0\20\6\1\0\2\6\1\0"+
287 "\2\6\1\146\17\6\12\0\20\6\1\0\2\6\1\0"+
288 "\3\6\1\157\16\6\12\0\20\6\1\0\2\6\1\0"+
289 "\2\6\1\160\17\6\12\0\20\6\1\0\2\6\1\0"+
290 "\2\6\1\161\17\6\12\0\20\6\1\0\1\162\1\6"+
291 "\1\0\22\6\12\0\20\6\1\0\2\6\1\0\7\6"+
292 "\1\163\12\6\12\0\20\6\1\0\2\6\1\0\3\6"+
293 "\1\164\16\6\12\0\20\6\1\0\2\6\1\0\1\165"+
294 "\3\6\1\166\15\6\12\0\20\6\1\0\2\6\1\0"+
295 "\7\6\1\167\12\6\12\0\20\6\1\0\2\6\1\0"+
296 "\15\6\1\170\4\6\12\0\20\6\1\0\2\6\1\0"+
297 "\10\6\1\171\11\6\12\0\20\6\1\0\2\6\1\0"+
298 "\11\6\1\172\10\6\12\0\20\6\1\0\2\6\1\0"+
299 "\1\173\11\6\1\174\1\115\6\6\12\0\20\6\1\0"+
300 "\2\6\1\0\4\6\1\175\4\6\1\176\10\6\12\0"+
301 "\20\6\1\0\2\6\1\0\3\6\1\177\16\6\12\0"+
302 "\20\6\1\0\2\6\1\0\17\6\1\115\2\6\12\0"+
303 "\20\6\1\0\2\6\1\0\3\6\1\200\16\6\12\0"+
304 "\6\6\1\201\11\6\1\0\2\6\1\0\22\6\12\0"+
305 "\20\6\1\0\2\6\1\0\2\6\1\202\1\203\16\6"+
306 "\12\0\20\6\1\0\2\6\1\0\15\6\1\204\4\6"+
307 "\12\0\12\6\1\205\5\6\1\0\2\6\1\0\22\6"+
308 "\12\0\20\6\1\0\2\6\1\0\7\6\1\206\1\6"+
309 "\1\207\10\6\12\0\20\6\1\0\2\6\1\0\1\6"+
310 "\1\210\20\6\12\0\6\6\1\211\11\6\1\0\2\6"+
311 "\1\0\11\6\1\212\10\6\12\0\20\6\1\0\2\6"+
312 "\1\0\11\6\1\213\10\6\12\0\20\6\1\0\2\6"+
313 "\1\0\3\6\1\214\16\6\11\0\50\126\1\46\7\126"+
314 "\50\130\1\46\7\130\55\0\1\215\2\0\50\133\1\40"+
315 "\7\133\1\0\20\140\1\0\2\140\1\0\22\140\12\0"+
316 "\1\141\4\0\1\141\6\0\1\141\3\46\40\0\1\141"+
317 "\4\0\1\141\6\0\1\141\43\0\1\143\1\0\1\45"+
318 "\1\0\1\45\1\143\1\0\1\45\1\0\1\45\1\0"+
319 "\1\45\1\143\1\46\1\47\1\46\2\0\1\45\35\0"+
320 "\20\6\1\0\2\6\1\0\20\6\1\216\1\6\12\0"+
321 "\20\6\1\0\2\6\1\0\2\6\1\176\17\6\12\0"+
322 "\20\6\1\0\1\115\1\6\1\0\22\6\12\0\12\6"+
323 "\1\217\5\6\1\0\2\6\1\0\22\6\12\0\20\6"+
324 "\1\0\2\6\1\0\4\6\1\216\15\6\12\0\20\6"+
325 "\1\0\2\6\1\0\2\6\1\220\1\221\16\6\12\0"+
326 "\20\6\1\0\2\6\1\0\1\222\21\6\12\0\20\6"+
327 "\1\0\2\6\1\0\2\6\1\174\17\6\12\0\20\6"+
328 "\1\0\2\6\1\0\1\223\21\6\12\0\20\6\1\0"+
329 "\2\6\1\0\1\224\21\6\12\0\20\6\1\0\2\6"+
330 "\1\0\1\6\1\225\20\6\12\0\20\6\1\0\1\226"+
331 "\1\6\1\0\22\6\12\0\20\6\1\0\2\6\1\0"+
332 "\3\6\1\227\16\6\12\0\20\6\1\0\1\230\1\6"+
333 "\1\0\22\6\12\0\20\6\1\0\2\6\1\0\1\231"+
334 "\21\6\12\0\6\6\1\232\11\6\1\0\2\6\1\0"+
335 "\22\6\12\0\20\6\1\0\1\216\1\6\1\0\22\6"+
336 "\12\0\20\6\1\0\2\6\1\0\3\6\1\233\16\6"+
337 "\12\0\20\6\1\0\2\6\1\0\11\6\1\234\10\6"+
338 "\12\0\20\6\1\0\2\6\1\0\4\6\1\222\15\6"+
339 "\12\0\20\6\1\0\1\67\1\6\1\0\22\6\12\0"+
340 "\12\6\1\235\5\6\1\0\2\6\1\0\22\6\12\0"+
341 "\20\6\1\0\2\6\1\0\3\6\1\147\16\6\12\0"+
342 "\20\6\1\0\2\6\1\0\10\6\1\236\11\6\12\0"+
343 "\20\6\1\0\1\237\1\6\1\0\22\6\12\0\20\6"+
344 "\1\0\2\6\1\0\7\6\1\240\12\6\12\0\20\6"+
345 "\1\0\2\6\1\0\2\6\1\115\17\6\12\0\20\6"+
346 "\1\0\2\6\1\0\12\6\1\241\7\6\12\0\20\6"+
347 "\1\0\2\6\1\0\11\6\1\242\10\6\12\0\6\6"+
348 "\1\237\11\6\1\0\2\6\1\0\22\6\12\0\20\6"+
349 "\1\0\2\6\1\0\3\6\1\243\16\6\12\0\20\6"+
350 "\1\0\1\244\1\6\1\0\22\6\12\0\6\6\1\245"+
351 "\11\6\1\0\2\6\1\0\7\6\1\246\12\6\12\0"+
352 "\20\6\1\0\2\6\1\0\5\6\1\247\14\6\12\0"+
353 "\20\6\1\0\2\6\1\0\3\6\1\250\16\6\12\0"+
354 "\20\6\1\0\2\6\1\0\16\6\1\251\3\6\12\0"+
355 "\6\6\1\233\11\6\1\0\2\6\1\0\22\6\12\0"+
356 "\20\6\1\0\2\6\1\0\1\252\21\6\12\0\17\6"+
357 "\1\216\1\0\2\6\1\0\22\6\12\0\6\6\1\146"+
358 "\11\6\1\0\2\6\1\0\22\6\12\0\20\6\1\0"+
359 "\2\6\1\0\7\6\1\115\12\6\67\0\1\40\2\0"+
360 "\20\6\1\0\2\6\1\0\6\6\1\115\13\6\12\0"+
361 "\20\6\1\0\2\6\1\0\3\6\1\115\16\6\12\0"+
362 "\20\6\1\0\2\6\1\0\11\6\1\253\10\6\12\0"+
363 "\20\6\1\0\2\6\1\0\3\6\1\216\16\6\12\0"+
364 "\6\6\1\254\11\6\1\0\2\6\1\0\22\6\12\0"+
365 "\20\6\1\0\2\6\1\0\12\6\1\255\7\6\12\0"+
366 "\6\6\1\164\11\6\1\0\2\6\1\0\22\6\12\0"+
367 "\20\6\1\0\2\6\1\0\10\6\1\256\11\6\12\0"+
368 "\20\6\1\0\2\6\1\0\4\6\1\257\15\6\12\0"+
369 "\20\6\1\0\2\6\1\0\4\6\1\260\15\6\12\0"+
370 "\20\6\1\0\2\6\1\0\5\6\1\115\14\6\12\0"+
371 "\20\6\1\0\1\261\1\6\1\0\22\6\12\0\20\6"+
372 "\1\0\2\6\1\0\11\6\1\262\10\6\12\0\12\6"+
373 "\1\263\5\6\1\0\2\6\1\0\22\6\12\0\20\6"+
374 "\1\0\2\6\1\0\6\6\1\264\13\6\12\0\20\6"+
375 "\1\0\2\6\1\0\2\6\1\265\17\6\12\0\20\6"+
376 "\1\0\2\6\1\0\17\6\1\266\2\6\12\0\20\6"+
377 "\1\0\2\6\1\0\4\6\1\267\15\6\12\0\20\6"+
378 "\1\0\2\6\1\0\16\6\1\146\3\6\12\0\20\6"+
379 "\1\0\2\6\1\0\1\270\21\6\12\0\20\6\1\0"+
380 "\2\6\1\0\4\6\1\271\15\6\12\0\20\6\1\0"+
381 "\1\272\1\6\1\0\22\6\12\0\20\6\1\0\2\6"+
382 "\1\0\4\6\1\220\15\6\12\0\20\6\1\0\2\6"+
383 "\1\0\1\273\21\6\12\0\20\6\1\0\1\274\1\6"+
384 "\1\0\22\6\12\0\20\6\1\0\2\6\1\0\1\275"+
385 "\21\6\12\0\20\6\1\0\2\6\1\0\3\6\1\124"+
386 "\16\6\12\0\20\6\1\0\2\6\1\0\10\6\1\276"+
387 "\11\6\12\0\6\6\1\277\11\6\1\0\2\6\1\0"+
388 "\22\6\12\0\6\6\1\220\11\6\1\0\2\6\1\0"+
389 "\22\6\12\0\17\6\1\176\1\0\2\6\1\0\22\6"+
390 "\12\0\20\6\1\0\2\6\1\0\1\300\21\6\12\0"+
391 "\20\6\1\0\2\6\1\0\3\6\1\301\16\6\12\0"+
392 "\20\6\1\0\2\6\1\0\1\302\21\6\12\0\12\6"+
393 "\1\115\5\6\1\0\2\6\1\0\22\6\12\0\20\6"+
394 "\1\0\2\6\1\0\3\6\1\303\16\6\12\0\20\6"+
395 "\1\0\2\6\1\0\4\6\1\304\15\6\12\0\20\6"+
396 "\1\0\2\6\1\0\11\6\1\305\10\6\12\0\20\6"+
397 "\1\0\2\6\1\0\10\6\1\115\11\6\12\0\20\6"+
398 "\1\0\2\6\1\0\10\6\1\306\11\6\12\0\15\6"+
399 "\1\307\2\6\1\0\2\6\1\0\22\6\12\0\20\6"+
400 "\1\0\2\6\1\0\14\6\1\310\5\6\12\0\20\6"+
401 "\1\0\2\6\1\0\20\6\1\146\1\6\12\0\12\6"+
402 "\1\311\5\6\1\0\2\6\1\0\22\6\12\0\20\6"+
403 "\1\0\2\6\1\0\3\6\1\146\16\6\12\0\20\6"+
404 "\1\0\2\6\1\0\12\6\1\146\7\6\12\0\20\6"+
405 "\1\0\2\6\1\0\13\6\1\115\6\6\12\0\12\6"+
406 "\1\220\5\6\1\0\2\6\1\0\22\6\12\0\20\6"+
407 "\1\0\2\6\1\0\10\6\1\216\11\6\12\0\15\6"+
408 "\1\312\2\6\1\0\2\6\1\0\22\6\12\0\20\6"+
409 "\1\0\2\6\1\0\7\6\1\313\12\6\12\0\20\6"+
410 "\1\0\1\314\1\6\1\0\22\6\12\0\12\6\1\315"+
411 "\5\6\1\0\2\6\1\0\22\6\12\0\20\6\1\0"+
412 "\2\6\1\0\1\316\21\6\12\0\20\6\1\0\1\317"+
413 "\1\6\1\0\22\6\12\0\20\6\1\0\2\6\1\0"+
414 "\3\6\1\320\16\6\12\0\20\6\1\0\2\6\1\0"+
415 "\15\6\1\115\4\6\12\0\20\6\1\0\2\6\1\0"+
416 "\10\6\1\321\11\6\12\0\20\6\1\0\2\6\1\0"+
417 "\10\6\1\220\11\6\12\0\20\6\1\0\1\322\1\6"+
418 "\1\0\22\6\12\0\12\6\1\146\5\6\1\0\2\6"+
419 "\1\0\22\6\12\0\20\6\1\0\2\6\1\0\10\6"+
420 "\1\323\11\6\12\0\20\6\1\0\1\324\1\6\1\0"+
421 "\22\6\12\0\20\6\1\0\2\6\1\0\11\6\1\325"+
422 "\10\6\12\0\20\6\1\0\2\6\1\0\7\6\1\326"+
423 "\12\6\12\0\20\6\1\0\2\6\1\0\3\6\1\176"+
424 "\16\6\12\0\17\6\1\115\1\0\2\6\1\0\22\6"+
425 "\12\0\20\6\1\0\2\6\1\0\21\6\1\320\12\0"+
426 "\15\6\1\115\2\6\1\0\2\6\1\0\22\6\11\0";
427
428 private static int [] zzUnpackTrans() {
429 int [] result = new int[9456];
430 int offset = 0;
431 offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
432 return result;
433 }
434
435 private static int zzUnpackTrans(String packed, int offset, int [] result) {
436 int i = 0; /* index in packed string */
437 int j = offset; /* index in unpacked array */
438 int l = packed.length();
439 while (i < l) {
440 int count = packed.charAt(i++);
441 int value = packed.charAt(i++);
442 value--;
443 do result[j++] = value; while (--count > 0);
444 }
445 return j;
446 }
447
448
449 /* error codes */
450 private static final int ZZ_UNKNOWN_ERROR = 0;
451 private static final int ZZ_NO_MATCH = 1;
452 private static final int ZZ_PUSHBACK_2BIG = 2;
453
454 /* error messages for the codes above */
455 private static final String ZZ_ERROR_MSG[] = {
456 "Unkown internal scanner error",
457 "Error: could not match input",
458 "Error: pushback value was too large"
459 };
460
461 /**
462 * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
463 */
464 private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
465
466 private static final String ZZ_ATTRIBUTE_PACKED_0 =
467 "\3\0\1\11\12\1\1\11\15\1\1\11\2\1\1\11"+
468 "\1\1\1\11\3\1\1\11\2\1\1\0\54\1\4\0"+
469 "\1\1\3\0\2\11\2\1\1\0\164\1";
470
471 private static int [] zzUnpackAttribute() {
472 int [] result = new int[214];
473 int offset = 0;
474 offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
475 return result;
476 }
477
478 private static int zzUnpackAttribute(String packed, int offset, int [] result) {
479 int i = 0; /* index in packed string */
480 int j = offset; /* index in unpacked array */
481 int l = packed.length();
482 while (i < l) {
483 int count = packed.charAt(i++);
484 int value = packed.charAt(i++);
485 do result[j++] = value; while (--count > 0);
486 }
487 return j;
488 }
489
490 /** the input device */
491 private java.io.Reader zzReader;
492
493 /** the current state of the DFA */
494 private int zzState;
495
496 /** the current lexical state */
497 private int zzLexicalState = YYINITIAL;
498
499 /** this buffer contains the current text to be matched and is
500 the source of the yytext() string */
501 private char zzBuffer[] = new char[ZZ_BUFFERSIZE];
502
503 /** the textposition at the last accepting state */
504 private int zzMarkedPos;
505
506 /** the textposition at the last state to be included in yytext */
507 private int zzPushbackPos;
508
509 /** the current text position in the buffer */
510 private int zzCurrentPos;
511
512 /** startRead marks the beginning of the yytext() string in the buffer */
513 private int zzStartRead;
514
515 /** endRead marks the last character in the buffer, that has been read
516 from input */
517 private int zzEndRead;
518
519 /** number of newlines encountered up to the start of the matched text */
520 private int yyline;
521
522 /** the number of characters up to the start of the matched text */
523 private int yychar;
524
525 /**
526 * the number of characters from the last newline up to the start of the
527 * matched text
528 */
529 private int yycolumn;
530
531 /**
532 * zzAtBOL == true <=> the scanner is currently at the beginning of a line
533 */
534 private boolean zzAtBOL = true;
535
536 /** zzAtEOF == true <=> the scanner is at the EOF */
537 private boolean zzAtEOF;
538
539 /* user code: */
540 public static boolean ASSERT_IS_KEYWORD = false;
541
542 /* styles */
543
544 public static final byte PLAIN_STYLE = 1;
545 public static final byte KEYWORD_STYLE = 2;
546 public static final byte TYPE_STYLE = 3;
547 public static final byte OPERATOR_STYLE = 4;
548 public static final byte SEPARATOR_STYLE = 5;
549 public static final byte LITERAL_STYLE = 6;
550 public static final byte JAVA_COMMENT_STYLE = 7;
551 public static final byte JAVADOC_COMMENT_STYLE = 8;
552 public static final byte JAVADOC_TAG_STYLE = 9;
553
554 /* Highlighter implementation */
555
556 public int getStyleCount()
557 {
558 return 9;
559 }
560
561 public byte getStartState()
562 {
563 return YYINITIAL+1;
564 }
565
566 public byte getCurrentState()
567 {
568 return (byte) (yystate()+1);
569 }
570
571 public void setState(byte newState)
572 {
573 yybegin(newState-1);
574 }
575
576 public byte getNextToken()
577 throws IOException
578 {
579 return (byte) yylex();
580 }
581
582 public int getTokenLength()
583 {
584 return yylength();
585 }
586
587 public void setReader(Reader r)
588 {
589 this.zzReader = r;
590 }
591
592 public JavaHighlighter()
593 {
594 }
595
596
597 /**
598 * Creates a new scanner
599 * There is also a java.io.InputStream version of this constructor.
600 *
601 * @param in the java.io.Reader to read input from.
602 */
603 public JavaHighlighter(java.io.Reader in) {
604 this.zzReader = in;
605 }
606
607 /**
608 * Creates a new scanner.
609 * There is also java.io.Reader version of this constructor.
610 *
611 * @param in the java.io.Inputstream to read input from.
612 */
613 public JavaHighlighter(java.io.InputStream in) {
614 this(new java.io.InputStreamReader(in));
615 }
616
617 /**
618 * Unpacks the compressed character translation table.
619 *
620 * @param packed the packed character translation table
621 * @return the unpacked character translation table
622 */
623 private static char [] zzUnpackCMap(String packed) {
624 char [] map = new char[0x10000];
625 int i = 0; /* index in packed string */
626 int j = 0; /* index in unpacked array */
627 while (i < 1656) {
628 int count = packed.charAt(i++);
629 char value = packed.charAt(i++);
630 do map[j++] = value; while (--count > 0);
631 }
632 return map;
633 }
634
635
636 /**
637 * Refills the input buffer.
638 *
639 * @return <code>false</code>, iff there was new input.
640 *
641 * @exception java.io.IOException if any I/O-Error occurs
642 */
643 private boolean zzRefill() throws java.io.IOException {
644
645 /* first: make room (if you can) */
646 if (zzStartRead > 0) {
647 System.arraycopy(zzBuffer, zzStartRead,
648 zzBuffer, 0,
649 zzEndRead-zzStartRead);
650
651 /* translate stored positions */
652 zzEndRead-= zzStartRead;
653 zzCurrentPos-= zzStartRead;
654 zzMarkedPos-= zzStartRead;
655 zzPushbackPos-= zzStartRead;
656 zzStartRead = 0;
657 }
658
659 /* is the buffer big enough? */
660 if (zzCurrentPos >= zzBuffer.length) {
661 /* if not: blow it up */
662 char newBuffer[] = new char[zzCurrentPos*2];
663 System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
664 zzBuffer = newBuffer;
665 }
666
667 /* finally: fill the buffer with new input */
668 int numRead = zzReader.read(zzBuffer, zzEndRead,
669 zzBuffer.length-zzEndRead);
670
671 if (numRead < 0) {
672 return true;
673 }
674 else {
675 zzEndRead+= numRead;
676 return false;
677 }
678 }
679
680
681 /**
682 * Closes the input stream.
683 */
684 public final void yyclose() throws java.io.IOException {
685 zzAtEOF = true; /* indicate end of file */
686 zzEndRead = zzStartRead; /* invalidate buffer */
687
688 if (zzReader != null)
689 zzReader.close();
690 }
691
692
693 /**
694 * Resets the scanner to read from a new input stream.
695 * Does not close the old reader.
696 *
697 * All internal variables are reset, the old input stream
698 * <b>cannot</b> be reused (internal buffer is discarded and lost).
699 * Lexical state is set to <tt>ZZ_INITIAL</tt>.
700 *
701 * @param reader the new input stream
702 */
703 public final void yyreset(java.io.Reader reader) {
704 zzReader = reader;
705 zzAtBOL = true;
706 zzAtEOF = false;
707 zzEndRead = zzStartRead = 0;
708 zzCurrentPos = zzMarkedPos = zzPushbackPos = 0;
709 yyline = yychar = yycolumn = 0;
710 zzLexicalState = YYINITIAL;
711 }
712
713
714 /**
715 * Returns the current lexical state.
716 */
717 public final int yystate() {
718 return zzLexicalState;
719 }
720
721
722 /**
723 * Enters a new lexical state
724 *
725 * @param newState the new lexical state
726 */
727 public final void yybegin(int newState) {
728 zzLexicalState = newState;
729 }
730
731
732 /**
733 * Returns the text matched by the current regular expression.
734 */
735 public final String yytext() {
736 return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
737 }
738
739
740 /**
741 * Returns the character at position <tt>pos</tt> from the
742 * matched text.
743 *
744 * It is equivalent to yytext().charAt(pos), but faster
745 *
746 * @param pos the position of the character to fetch.
747 * A value from 0 to yylength()-1.
748 *
749 * @return the character at position pos
750 */
751 public final char yycharat(int pos) {
752 return zzBuffer[zzStartRead+pos];
753 }
754
755
756 /**
757 * Returns the length of the matched text region.
758 */
759 public final int yylength() {
760 return zzMarkedPos-zzStartRead;
761 }
762
763
764 /**
765 * Reports an error that occured while scanning.
766 *
767 * In a wellformed scanner (no or only correct usage of
768 * yypushback(int) and a match-all fallback rule) this method
769 * will only be called with things that "Can't Possibly Happen".
770 * If this method is called, something is seriously wrong
771 * (e.g. a JFlex bug producing a faulty scanner etc.).
772 *
773 * Usual syntax/scanner level error handling should be done
774 * in error fallback rules.
775 *
776 * @param errorCode the code of the errormessage to display
777 */
778 private void zzScanError(int errorCode) {
779 String message;
780 try {
781 message = ZZ_ERROR_MSG[errorCode];
782 }
783 catch (ArrayIndexOutOfBoundsException e) {
784 message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
785 }
786
787 throw new Error(message);
788 }
789
790
791 /**
792 * Pushes the specified amount of characters back into the input stream.
793 *
794 * They will be read again by then next call of the scanning method
795 *
796 * @param number the number of characters to be read again.
797 * This number must not be greater than yylength()!
798 */
799 public void yypushback(int number) {
800 if ( number > yylength() )
801 zzScanError(ZZ_PUSHBACK_2BIG);
802
803 zzMarkedPos -= number;
804 }
805
806
807 /**
808 * Resumes scanning until the next regular expression is matched,
809 * the end of input is encountered or an I/O-Error occurs.
810 *
811 * @return the next token
812 * @exception java.io.IOException if any I/O-Error occurs
813 */
814 public int yylex() throws java.io.IOException {
815 int zzInput;
816 int zzAction;
817
818 // cached fields:
819 int zzCurrentPosL;
820 int zzMarkedPosL;
821 int zzEndReadL = zzEndRead;
822 char [] zzBufferL = zzBuffer;
823 char [] zzCMapL = ZZ_CMAP;
824
825 int [] zzTransL = ZZ_TRANS;
826 int [] zzRowMapL = ZZ_ROWMAP;
827 int [] zzAttrL = ZZ_ATTRIBUTE;
828
829 while (true) {
830 zzMarkedPosL = zzMarkedPos;
831
832 zzAction = -1;
833
834 zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;
835
836 zzState = zzLexicalState;
837
838
839 zzForAction: {
840 while (true) {
841
842 if (zzCurrentPosL < zzEndReadL)
843 zzInput = zzBufferL[zzCurrentPosL++];
844 else if (zzAtEOF) {
845 zzInput = YYEOF;
846 break zzForAction;
847 }
848 else {
849 // store back cached positions
850 zzCurrentPos = zzCurrentPosL;
851 zzMarkedPos = zzMarkedPosL;
852 boolean eof = zzRefill();
853 // get translated positions and possibly new buffer
854 zzCurrentPosL = zzCurrentPos;
855 zzMarkedPosL = zzMarkedPos;
856 zzBufferL = zzBuffer;
857 zzEndReadL = zzEndRead;
858 if (eof) {
859 zzInput = YYEOF;
860 break zzForAction;
861 }
862 else {
863 zzInput = zzBufferL[zzCurrentPosL++];
864 }
865 }
866 int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
867 if (zzNext == -1) break zzForAction;
868 zzState = zzNext;
869
870 int zzAttributes = zzAttrL[zzState];
871 if ( (zzAttributes & 1) == 1 ) {
872 zzAction = zzState;
873 zzMarkedPosL = zzCurrentPosL;
874 if ( (zzAttributes & 8) == 8 ) break zzForAction;
875 }
876
877 }
878 }
879
880 // store back cached position
881 zzMarkedPos = zzMarkedPosL;
882
883 switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
884 case 14:
885 { return ASSERT_IS_KEYWORD ? KEYWORD_STYLE : PLAIN_STYLE;
886 }
887 case 15: break;
888 case 5:
889 { return JAVA_COMMENT_STYLE;
890 }
891 case 16: break;
892 case 1:
893 { return PLAIN_STYLE;
894 }
895 case 17: break;
896 case 8:
897 { return KEYWORD_STYLE;
898 }
899 case 18: break;
900 case 4:
901 { return OPERATOR_STYLE;
902 }
903 case 19: break;
904 case 2:
905 { return LITERAL_STYLE;
906 }
907 case 20: break;
908 case 11:
909 { yybegin(YYINITIAL); return JAVADOC_COMMENT_STYLE;
910 }
911 case 21: break;
912 case 10:
913 { yybegin(YYINITIAL); return JAVA_COMMENT_STYLE;
914 }
915 case 22: break;
916 case 3:
917 { return SEPARATOR_STYLE;
918 }
919 case 23: break;
920 case 7:
921 { return TYPE_STYLE;
922 }
923 case 24: break;
924 case 9:
925 { yybegin(IN_COMMENT); return JAVA_COMMENT_STYLE;
926 }
927 case 25: break;
928 case 13:
929 { yybegin(IN_JAVA_DOC_COMMENT); return JAVADOC_COMMENT_STYLE;
930 }
931 case 26: break;
932 case 12:
933 { return JAVADOC_TAG_STYLE;
934 }
935 case 27: break;
936 case 6:
937 { return JAVADOC_COMMENT_STYLE;
938 }
939 case 28: break;
940 default:
941 if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
942 zzAtEOF = true;
943 return YYEOF;
944 }
945 else {
946 zzScanError(ZZ_NO_MATCH);
947 }
948 }
949 }
950 }
951
952
953 }