0565917ccba3d8d1a028fb3fba902ccc6ea4551f
[mono.git] / mcs / mcs / cs-tokenizer.cs
1 //\r
2 // cs-tokenizer.cs: The Tokenizer for the C# compiler\r
3 //                  This also implements the preprocessor\r
4 //\r
5 // Author: Miguel de Icaza (miguel@gnu.org)\r
6 //\r
7 // Licensed under the terms of the GNU GPL\r
8 //\r
9 // (C) 2001 Ximian, Inc (http://www.ximian.com)\r
10 //\r
11 \r
12 /*\r
13  * TODO:\r
14  *   Make sure we accept the proper Unicode ranges, per the spec.\r
15  *   Report error 1032\r
16 */\r
17 \r
18 using System;\r
19 using System.Text;\r
20 using System.Collections;\r
21 using System.IO;\r
22 using System.Globalization;\r
23 \r
24 namespace Mono.CSharp\r
25 {\r
26         /// <summary>\r
27         ///    Tokenizer for C# source code. \r
28         /// </summary>\r
29 \r
30         public class Tokenizer : yyParser.yyInput\r
31         {\r
32                 StreamReader reader;\r
33                 public string ref_name;\r
34                 public int ref_line = 1;\r
35                 public int line = 1;\r
36                 public int col = 1;\r
37                 public int current_token;\r
38                 bool handle_get_set = false;\r
39                 bool handle_remove_add = false;\r
40                 bool handle_assembly = false;\r
41 \r
42                 //\r
43                 // Whether tokens have been seen on this line\r
44                 //\r
45                 bool tokens_seen = false;\r
46 \r
47                 //\r
48                 // Whether a token has been seen on the file\r
49                 // This is needed because `define' is not allowed to be used\r
50                 // after a token has been seen.\r
51                 //\r
52                 bool any_token_seen = false;\r
53                 \r
54                 //\r
55                 // Returns a verbose representation of the current location\r
56                 //\r
57                 public string location {\r
58                         get {\r
59                                 string det;\r
60 \r
61                                 if (current_token == Token.ERROR)\r
62                                         det = "detail: " + error_details;\r
63                                 else\r
64                                         det = "";\r
65                                 \r
66                                 // return "Line:     "+line+" Col: "+col + "\n" +\r
67                                 //       "VirtLine: "+ref_line +\r
68                                 //       " Token: "+current_token + " " + det;\r
69 \r
70                                 return ref_name + " " + "(" + line + "," + col + "), Token:" + current_token + " " + det;\r
71                         }\r
72                 }\r
73 \r
74                 public bool PropertyParsing {\r
75                         get {\r
76                                 return handle_get_set;\r
77                         }\r
78 \r
79                         set {\r
80                                 handle_get_set = value;\r
81                         }\r
82                 }\r
83 \r
84                 public bool AssemblyTargetParsing {\r
85                         get {\r
86                                 return handle_assembly;\r
87                         }\r
88 \r
89                         set {\r
90                                 handle_assembly = value;\r
91                         }\r
92                 }\r
93 \r
94                 public bool EventParsing {\r
95                         get {\r
96                                 return handle_remove_add;\r
97                         }\r
98 \r
99                         set {\r
100                                 handle_remove_add = value;\r
101                         }\r
102                 }\r
103                 \r
104                 //\r
105                 // Class variables\r
106                 // \r
107                 static Hashtable keywords;\r
108                 static NumberStyles styles;\r
109                 static NumberFormatInfo csharp_format_info;\r
110                 \r
111                 //\r
112                 // Values for the associated token returned\r
113                 //\r
114                 int putback_char;\r
115                 Object val;\r
116 \r
117                 //\r
118                 // Pre-processor\r
119                 //\r
120                 Hashtable defines;\r
121 \r
122                 const int TAKING        = 1;\r
123                 const int TAKEN_BEFORE  = 2;\r
124                 const int ELSE_SEEN     = 4;\r
125                 const int PARENT_TAKING = 8;\r
126                 \r
127                 //\r
128                 // pre-processor if stack state:\r
129                 //\r
130                 Stack ifstack;\r
131 \r
132                 static System.Text.StringBuilder id_builder;\r
133                 static System.Text.StringBuilder string_builder;\r
134                 static System.Text.StringBuilder number_builder;\r
135                 \r
136                 //\r
137                 // Details about the error encoutered by the tokenizer\r
138                 //\r
139                 string error_details;\r
140                 \r
141                 public string error {\r
142                         get {\r
143                                 return error_details;\r
144                         }\r
145                 }\r
146                 \r
147                 public int Line {\r
148                         get {\r
149                                 return line;\r
150                         }\r
151                 }\r
152 \r
153                 public int Col {\r
154                         get {\r
155                                 return col;\r
156                         }\r
157                 }\r
158                 \r
159                 static void InitTokens ()\r
160                 {\r
161                         keywords = new Hashtable ();\r
162 \r
163                         keywords.Add ("abstract", Token.ABSTRACT);\r
164                         keywords.Add ("as", Token.AS);\r
165                         keywords.Add ("add", Token.ADD);\r
166                         keywords.Add ("assembly", Token.ASSEMBLY);\r
167                         keywords.Add ("base", Token.BASE);\r
168                         keywords.Add ("bool", Token.BOOL);\r
169                         keywords.Add ("break", Token.BREAK);\r
170                         keywords.Add ("byte", Token.BYTE);\r
171                         keywords.Add ("case", Token.CASE);\r
172                         keywords.Add ("catch", Token.CATCH);\r
173                         keywords.Add ("char", Token.CHAR);\r
174                         keywords.Add ("checked", Token.CHECKED);\r
175                         keywords.Add ("class", Token.CLASS);\r
176                         keywords.Add ("const", Token.CONST);\r
177                         keywords.Add ("continue", Token.CONTINUE);\r
178                         keywords.Add ("decimal", Token.DECIMAL);\r
179                         keywords.Add ("default", Token.DEFAULT);\r
180                         keywords.Add ("delegate", Token.DELEGATE);\r
181                         keywords.Add ("do", Token.DO);\r
182                         keywords.Add ("double", Token.DOUBLE);\r
183                         keywords.Add ("else", Token.ELSE);\r
184                         keywords.Add ("enum", Token.ENUM);\r
185                         keywords.Add ("event", Token.EVENT);\r
186                         keywords.Add ("explicit", Token.EXPLICIT);\r
187                         keywords.Add ("extern", Token.EXTERN);\r
188                         keywords.Add ("false", Token.FALSE);\r
189                         keywords.Add ("finally", Token.FINALLY);\r
190                         keywords.Add ("fixed", Token.FIXED);\r
191                         keywords.Add ("float", Token.FLOAT);\r
192                         keywords.Add ("for", Token.FOR);\r
193                         keywords.Add ("foreach", Token.FOREACH);\r
194                         keywords.Add ("goto", Token.GOTO);\r
195                         keywords.Add ("get", Token.GET);\r
196                         keywords.Add ("if", Token.IF);\r
197                         keywords.Add ("implicit", Token.IMPLICIT);\r
198                         keywords.Add ("in", Token.IN);\r
199                         keywords.Add ("int", Token.INT);\r
200                         keywords.Add ("interface", Token.INTERFACE);\r
201                         keywords.Add ("internal", Token.INTERNAL);\r
202                         keywords.Add ("is", Token.IS);\r
203                         keywords.Add ("lock", Token.LOCK);\r
204                         keywords.Add ("long", Token.LONG);\r
205                         keywords.Add ("namespace", Token.NAMESPACE);\r
206                         keywords.Add ("new", Token.NEW);\r
207                         keywords.Add ("null", Token.NULL);\r
208                         keywords.Add ("object", Token.OBJECT);\r
209                         keywords.Add ("operator", Token.OPERATOR);\r
210                         keywords.Add ("out", Token.OUT);\r
211                         keywords.Add ("override", Token.OVERRIDE);\r
212                         keywords.Add ("params", Token.PARAMS);\r
213                         keywords.Add ("private", Token.PRIVATE);\r
214                         keywords.Add ("protected", Token.PROTECTED);\r
215                         keywords.Add ("public", Token.PUBLIC);\r
216                         keywords.Add ("readonly", Token.READONLY);\r
217                         keywords.Add ("ref", Token.REF);\r
218                         keywords.Add ("remove", Token.REMOVE);\r
219                         keywords.Add ("return", Token.RETURN);\r
220                         keywords.Add ("sbyte", Token.SBYTE);\r
221                         keywords.Add ("sealed", Token.SEALED);\r
222                         keywords.Add ("set", Token.SET);\r
223                         keywords.Add ("short", Token.SHORT);\r
224                         keywords.Add ("sizeof", Token.SIZEOF);\r
225                         keywords.Add ("stackalloc", Token.STACKALLOC);\r
226                         keywords.Add ("static", Token.STATIC);\r
227                         keywords.Add ("string", Token.STRING);\r
228                         keywords.Add ("struct", Token.STRUCT);\r
229                         keywords.Add ("switch", Token.SWITCH);\r
230                         keywords.Add ("this", Token.THIS);\r
231                         keywords.Add ("throw", Token.THROW);\r
232                         keywords.Add ("true", Token.TRUE);\r
233                         keywords.Add ("try", Token.TRY);\r
234                         keywords.Add ("typeof", Token.TYPEOF);\r
235                         keywords.Add ("uint", Token.UINT);\r
236                         keywords.Add ("ulong", Token.ULONG);\r
237                         keywords.Add ("unchecked", Token.UNCHECKED);\r
238                         keywords.Add ("unsafe", Token.UNSAFE);\r
239                         keywords.Add ("ushort", Token.USHORT);\r
240                         keywords.Add ("using", Token.USING);\r
241                         keywords.Add ("virtual", Token.VIRTUAL);\r
242                         keywords.Add ("void", Token.VOID);\r
243                         keywords.Add ("volatile", Token.VOLATILE);\r
244                         keywords.Add ("while", Token.WHILE);\r
245                 }\r
246 \r
247                 //\r
248                 // Class initializer\r
249                 // \r
250                 static Tokenizer ()\r
251                 {\r
252                         InitTokens ();\r
253                         csharp_format_info = new NumberFormatInfo ();\r
254                         csharp_format_info.CurrencyDecimalSeparator = ".";\r
255                         styles = NumberStyles.AllowExponent | NumberStyles.AllowDecimalPoint;\r
256                         id_builder = new System.Text.StringBuilder ();\r
257                         string_builder = new System.Text.StringBuilder ();\r
258                         number_builder = new System.Text.StringBuilder ();\r
259                 }\r
260 \r
261                 bool is_keyword (string name)\r
262                 {\r
263                         bool res;\r
264                         \r
265                         res = keywords.Contains (name);\r
266                         if (handle_get_set == false && (name == "get" || name == "set"))\r
267                                 return false;\r
268                         if (handle_remove_add == false && (name == "remove" || name == "add"))\r
269                                 return false;\r
270                         if (handle_assembly == false && (name == "assembly"))\r
271                                 return false;\r
272                         return res;\r
273                 }\r
274 \r
275                 int GetKeyword (string name)\r
276                 {\r
277                         return (int) (keywords [name]);\r
278                 }\r
279 \r
280                 public Location Location {\r
281                         get {\r
282                                 return new Location (ref_line);\r
283                         }\r
284                 }\r
285                 \r
286                 public Tokenizer (System.IO.Stream input, string fname, ArrayList defs)\r
287                 {\r
288                         this.ref_name = fname;\r
289                         reader = new System.IO.StreamReader (input);\r
290                         putback_char = -1;\r
291 \r
292                         if (defs != null){\r
293                                 defines = new Hashtable ();\r
294                                 foreach (string def in defs)\r
295                                         defines [def] = true;\r
296                         }\r
297 \r
298                         //\r
299                         // FIXME: This could be `Location.Push' but we have to\r
300                         // find out why the MS compiler allows this\r
301                         //\r
302                         Mono.CSharp.Location.Push (fname);\r
303                 }\r
304 \r
305                 bool is_identifier_start_character (char c)\r
306                 {\r
307                         return Char.IsLetter (c) || c == '_' ;\r
308                 }\r
309 \r
310                 bool is_identifier_part_character (char c)\r
311                 {\r
312                         return (Char.IsLetter (c) || Char.IsDigit (c) || c == '_');\r
313                 }\r
314 \r
315                 int is_punct (char c, ref bool doread)\r
316                 {\r
317                         int d;\r
318                         int t;\r
319 \r
320                         doread = false;\r
321 \r
322                         switch (c){\r
323                         case '{':\r
324                                 return Token.OPEN_BRACE;\r
325                         case '}':\r
326                                 return Token.CLOSE_BRACE;\r
327                         case '[':\r
328                                 return Token.OPEN_BRACKET;\r
329                         case ']':\r
330                                 return Token.CLOSE_BRACKET;\r
331                         case '(':\r
332                                 return Token.OPEN_PARENS;\r
333                         case ')':\r
334                                 return Token.CLOSE_PARENS;\r
335                         case ',':\r
336                                 return Token.COMMA;\r
337                         case ':':\r
338                                 return Token.COLON;\r
339                         case ';':\r
340                                 return Token.SEMICOLON;\r
341                         case '~':\r
342                                 return Token.TILDE;\r
343                         case '?':\r
344                                 return Token.INTERR;\r
345                         }\r
346 \r
347                         d = peekChar ();\r
348                         if (c == '+'){\r
349                                 \r
350                                 if (d == '+')\r
351                                         t = Token.OP_INC;\r
352                                 else if (d == '=')\r
353                                         t = Token.OP_ADD_ASSIGN;\r
354                                 else\r
355                                         return Token.PLUS;\r
356                                 doread = true;\r
357                                 return t;\r
358                         }\r
359                         if (c == '-'){\r
360                                 if (d == '-')\r
361                                         t = Token.OP_DEC;\r
362                                 else if (d == '=')\r
363                                         t = Token.OP_SUB_ASSIGN;\r
364                                 else if (d == '>')\r
365                                         t = Token.OP_PTR;\r
366                                 else\r
367                                         return Token.MINUS;\r
368                                 doread = true;\r
369                                 return t;\r
370                         }\r
371 \r
372                         if (c == '!'){\r
373                                 if (d == '='){\r
374                                         doread = true;\r
375                                         return Token.OP_NE;\r
376                                 }\r
377                                 return Token.BANG;\r
378                         }\r
379 \r
380                         if (c == '='){\r
381                                 if (d == '='){\r
382                                         doread = true;\r
383                                         return Token.OP_EQ;\r
384                                 }\r
385                                 return Token.ASSIGN;\r
386                         }\r
387 \r
388                         if (c == '&'){\r
389                                 if (d == '&'){\r
390                                         doread = true;\r
391                                         return Token.OP_AND;\r
392                                 } else if (d == '='){\r
393                                         doread = true;\r
394                                         return Token.OP_AND_ASSIGN;\r
395                                 }\r
396                                 return Token.BITWISE_AND;\r
397                         }\r
398 \r
399                         if (c == '|'){\r
400                                 if (d == '|'){\r
401                                         doread = true;\r
402                                         return Token.OP_OR;\r
403                                 } else if (d == '='){\r
404                                         doread = true;\r
405                                         return Token.OP_OR_ASSIGN;\r
406                                 }\r
407                                 return Token.BITWISE_OR;\r
408                         }\r
409 \r
410                         if (c == '*'){\r
411                                 if (d == '='){\r
412                                         doread = true;\r
413                                         return Token.OP_MULT_ASSIGN;\r
414                                 }\r
415                                 return Token.STAR;\r
416                         }\r
417 \r
418                         if (c == '/'){\r
419                                 if (d == '='){\r
420                                         doread = true;\r
421                                         return Token.OP_DIV_ASSIGN;\r
422                                 }\r
423                                 return Token.DIV;\r
424                         }\r
425 \r
426                         if (c == '%'){\r
427                                 if (d == '='){\r
428                                         doread = true;\r
429                                         return Token.OP_MOD_ASSIGN;\r
430                                 }\r
431                                 return Token.PERCENT;\r
432                         }\r
433 \r
434                         if (c == '^'){\r
435                                 if (d == '='){\r
436                                         doread = true;\r
437                                         return Token.OP_XOR_ASSIGN;\r
438                                 }\r
439                                 return Token.CARRET;\r
440                         }\r
441 \r
442                         if (c == '<'){\r
443                                 if (d == '<'){\r
444                                         getChar ();\r
445                                         d = peekChar ();\r
446 \r
447                                         if (d == '='){\r
448                                                 doread = true;\r
449                                                 return Token.OP_SHIFT_LEFT_ASSIGN;\r
450                                         }\r
451                                         return Token.OP_SHIFT_LEFT;\r
452                                 } else if (d == '='){\r
453                                         doread = true;\r
454                                         return Token.OP_LE;\r
455                                 }\r
456                                 return Token.OP_LT;\r
457                         }\r
458 \r
459                         if (c == '>'){\r
460                                 if (d == '>'){\r
461                                         getChar ();\r
462                                         d = peekChar ();\r
463 \r
464                                         if (d == '='){\r
465                                                 doread = true;\r
466                                                 return Token.OP_SHIFT_RIGHT_ASSIGN;\r
467                                         }\r
468                                         return Token.OP_SHIFT_RIGHT;\r
469                                 } else if (d == '='){\r
470                                         doread = true;\r
471                                         return Token.OP_GE;\r
472                                 }\r
473                                 return Token.OP_GT;\r
474                         }\r
475                         return Token.ERROR;\r
476                 }\r
477 \r
478                 bool decimal_digits (int c)\r
479                 {\r
480                         int d;\r
481                         bool seen_digits = false;\r
482                         \r
483                         if (c != -1)\r
484                                 number_builder.Append ((char) c);\r
485                         \r
486                         while ((d = peekChar ()) != -1){\r
487                                 if (Char.IsDigit ((char)d)){\r
488                                         number_builder.Append ((char) d);\r
489                                         getChar ();\r
490                                         seen_digits = true;\r
491                                 } else\r
492                                         break;\r
493                         }\r
494                         \r
495                         return seen_digits;\r
496                 }\r
497 \r
498                 bool is_hex (char e)\r
499                 {\r
500                         return Char.IsDigit (e) || (e >= 'A' && e <= 'F');\r
501                 }\r
502                 \r
503                 void hex_digits (int c)\r
504                 {\r
505                         int d;\r
506 \r
507                         if (c != -1)\r
508                                 number_builder.Append ((char) c);\r
509                         while ((d = peekChar ()) != -1){\r
510                                 char e = Char.ToUpper ((char) d);\r
511                                 \r
512                                 if (is_hex (e)){\r
513                                         number_builder.Append ((char) e);\r
514                                         getChar ();\r
515                                 } else\r
516                                         break;\r
517                         }\r
518                 }\r
519                 \r
520                 int real_type_suffix (int c)\r
521                 {\r
522                         int t;\r
523 \r
524                         switch (c){\r
525                         case 'F': case 'f':\r
526                                 t =  Token.LITERAL_FLOAT;\r
527                                 break;\r
528                         case 'D': case 'd':\r
529                                 t = Token.LITERAL_DOUBLE;\r
530                                 break;\r
531                         case 'M': case 'm':\r
532                                  t= Token.LITERAL_DECIMAL;\r
533                                 break;\r
534                         default:\r
535                                 return Token.NONE;\r
536                         }\r
537                         return t;\r
538                 }\r
539 \r
540                 int integer_type_suffix (ulong ul, int c)\r
541                 {\r
542                         bool is_unsigned = false;\r
543                         bool is_long = false;\r
544 \r
545                         if (c != -1){\r
546                                 bool scanning = true;\r
547                                 do {\r
548                                         switch (c){\r
549                                         case 'U': case 'u':\r
550                                                 if (is_unsigned)\r
551                                                         scanning = false;\r
552                                                 is_unsigned = true;\r
553                                                 getChar ();\r
554                                                 break;\r
555 \r
556                                         case 'l':\r
557                                                 if (!is_unsigned){\r
558                                                         //\r
559                                                         // if we have not seen anything in between\r
560                                                         // report this error\r
561                                                         //\r
562                                                         Report.Warning (\r
563                                                                 78, Location,\r
564                                                         "the 'l' suffix is easily confused with digit `1'," +\r
565                                                         " use 'L' for clarity");\r
566                                                 }\r
567                                                 goto case 'L';\r
568                                                 \r
569                                         case 'L': \r
570                                                 if (is_long)\r
571                                                         scanning = false;\r
572                                                 is_long = true;\r
573                                                 getChar ();\r
574                                                 break;\r
575                                                 \r
576                                         default:\r
577                                                 scanning = false;\r
578                                                 break;\r
579                                         }\r
580                                         c = peekChar ();\r
581                                 } while (scanning);\r
582                         }\r
583 \r
584                         if (is_long && is_unsigned){\r
585                                 val = ul;\r
586                                 return Token.LITERAL_INTEGER;\r
587                         } else if (is_unsigned){\r
588                                 // uint if possible, or ulong else.\r
589 \r
590                                 if ((ul & 0xffffffff00000000) == 0)\r
591                                         val = (uint) ul;\r
592                                 else\r
593                                         val = ul;\r
594                         } else if (is_long){\r
595                                 // long if possible, ulong otherwise\r
596                                 if ((ul & 0x8000000000000000) != 0)\r
597                                         val = ul;\r
598                                 else\r
599                                         val = (long) ul;\r
600                         } else {\r
601                                 // int, uint, long or ulong in that order\r
602                                 if ((ul & 0xffffffff00000000) == 0){\r
603                                         uint ui = (uint) ul;\r
604                                         \r
605                                         if ((ui & 0x80000000) != 0)\r
606                                                 val = ui;\r
607                                         else\r
608                                                 val = (int) ui;\r
609                                 } else {\r
610                                         if ((ul & 0x8000000000000000) != 0)\r
611                                                 val = ul;\r
612                                         else\r
613                                                 val = (long) ul;\r
614                                 }\r
615                         }\r
616                         return Token.LITERAL_INTEGER;\r
617                 }\r
618                                 \r
619                 //\r
620                 // given `c' as the next char in the input decide whether\r
621                 // we need to convert to a special type, and then choose\r
622                 // the best representation for the integer\r
623                 //\r
624                 int adjust_int (int c)\r
625                 {\r
626                         ulong ul = System.UInt64.Parse (number_builder.ToString ());\r
627                         return integer_type_suffix (ul, c);\r
628                 }\r
629 \r
630                 int adjust_real (int t)\r
631                 {\r
632                         string s = number_builder.ToString ();\r
633 \r
634                         switch (t){\r
635                         case Token.LITERAL_DECIMAL:\r
636                                 val = new System.Decimal ();\r
637                                 val = System.Decimal.Parse (\r
638                                         s, styles, csharp_format_info);\r
639                                 break;\r
640                         case Token.LITERAL_DOUBLE:\r
641                                 val = new System.Double ();\r
642                                 val = System.Double.Parse (\r
643                                         s, styles, csharp_format_info);\r
644                                 break;\r
645                         case Token.LITERAL_FLOAT:\r
646                                 val = new System.Double ();\r
647                                 val = (float) System.Double.Parse (\r
648                                         s, styles, csharp_format_info);\r
649                                 break;\r
650 \r
651                         case Token.NONE:\r
652                                 val = new System.Double ();\r
653                                 val = System.Double.Parse (\r
654                                         s, styles, csharp_format_info);\r
655                                 t = Token.LITERAL_DOUBLE;\r
656                                 break;\r
657                         }\r
658                         return t;\r
659                 }\r
660 \r
661                 //\r
662                 // Invoked if we know we have .digits or digits\r
663                 //\r
664                 int is_number (int c)\r
665                 {\r
666                         bool is_real = false;\r
667                         int type;\r
668 \r
669                         number_builder.Length = 0;\r
670 \r
671                         if (Char.IsDigit ((char)c)){\r
672                                 if (c == '0' && peekChar () == 'x' || peekChar () == 'X'){\r
673                                         ulong ul;\r
674                                         getChar ();\r
675                                         hex_digits (-1);\r
676 \r
677                                         string s = number_builder.ToString ();\r
678 \r
679                                         ul = System.UInt64.Parse (s, NumberStyles.HexNumber);\r
680                                         return integer_type_suffix (ul, peekChar ());\r
681                                 }\r
682                                 decimal_digits (c);\r
683                                 c = getChar ();\r
684                         }\r
685 \r
686                         //\r
687                         // We need to handle the case of\r
688                         // "1.1" vs "1.string" (LITERAL_FLOAT vs NUMBER DOT IDENTIFIER)\r
689                         //\r
690                         if (c == '.'){\r
691                                 if (decimal_digits ('.')){\r
692                                         is_real = true;\r
693                                         c = getChar ();\r
694                                 } else {\r
695                                         putback ('.');\r
696                                         number_builder.Length -= 1;\r
697                                         return adjust_int (-1);\r
698                                 }\r
699                         }\r
700                         \r
701                         if (c == 'e' || c == 'E'){\r
702                                 is_real = true;\r
703                                 number_builder.Append ("e");\r
704                                 c = getChar ();\r
705                                 \r
706                                 if (c == '+'){\r
707                                         number_builder.Append ((char) c);\r
708                                         c = getChar ();\r
709                                 } else if (c == '-'){\r
710                                         number_builder.Append ((char) c);\r
711                                         c = getChar ();\r
712                                 }\r
713                                 decimal_digits (-1);\r
714                                 c = getChar ();\r
715                         }\r
716 \r
717                         type = real_type_suffix (c);\r
718                         if (type == Token.NONE && !is_real){\r
719                                 putback (c);\r
720                                 return adjust_int (c);\r
721                         } else \r
722                                 is_real = true;\r
723 \r
724                         if (type == Token.NONE){\r
725                                 putback (c);\r
726                         }\r
727                         \r
728                         if (is_real)\r
729                                 return adjust_real (type);\r
730 \r
731                         Console.WriteLine ("This should not be reached");\r
732                         throw new Exception ("Is Number should never reach this point");\r
733                 }\r
734 \r
735                 //\r
736                 // Accepts exactly count (4 or 8) hex, no more no less\r
737                 //\r
738                 int getHex (int count, out bool error)\r
739                 {\r
740                         int [] buffer = new int [8];\r
741                         int i;\r
742                         int total = 0;\r
743                         int c;\r
744                         char e;\r
745                         int top = count != -1 ? count : 4;\r
746                         \r
747                         getChar ();\r
748                         error = false;\r
749                         for (i = 0; i < top; i++){\r
750                                 c = getChar ();\r
751                                 e = Char.ToUpper ((char) c);\r
752                                 \r
753                                 if (!is_hex (e)){\r
754                                         error = true;\r
755                                         return 0;\r
756                                 }\r
757                                 if (Char.IsDigit (e))\r
758                                         c = (int) e - (int) '0';\r
759                                 else\r
760                                         c = (int) e - (int) 'A';\r
761                                 total = (total * 16) + c;\r
762                                 if (count == -1){\r
763                                         int p = peekChar ();\r
764                                         if (p == -1)\r
765                                                 break;\r
766                                         if (!is_hex ((char)p))\r
767                                                 break;\r
768                                 }\r
769                         }\r
770                         return total;\r
771                 }\r
772 \r
773                 int escape (int c)\r
774                 {\r
775                         bool error;\r
776                         int d;\r
777                         int v;\r
778 \r
779                         d = peekChar ();\r
780                         if (c != '\\')\r
781                                 return c;\r
782                         \r
783                         switch (d){\r
784                         case 'a':\r
785                                 v = '\a'; break;\r
786                         case 'b':\r
787                                 v = '\b'; break;\r
788                         case 'n':\r
789                                 v = '\n'; break;\r
790                         case 't':\r
791                                 v = '\t'; break;\r
792                         case 'v':\r
793                                 v = '\v'; break;\r
794                         case 'r':\r
795                                 v = '\r'; break;\r
796                         case '\\':\r
797                                 v = '\\'; break;\r
798                         case 'f':\r
799                                 v = '\f'; break;\r
800                         case '0':\r
801                                 v = 0; break;\r
802                         case '"':\r
803                                 v = '"'; break;\r
804                         case '\'':\r
805                                 v = '\''; break;\r
806                         case 'x':\r
807                                 v = getHex (-1, out error);\r
808                                 if (error)\r
809                                         goto default;\r
810                                 return v;\r
811                         case 'u':\r
812                                 v = getHex (4, out error);\r
813                                 if (error)\r
814                                         goto default;\r
815                                 return v;\r
816                         case 'U':\r
817                                 v = getHex (8, out error);\r
818                                 if (error)\r
819                                         goto default;\r
820                                 return v;\r
821                         default:\r
822                                 Report.Error (1009, Location, "Unrecognized escape sequence in " + (char)d);\r
823                                 return -1;\r
824                         }\r
825                         getChar ();\r
826                         return v;\r
827                 }\r
828 \r
829                 int getChar ()\r
830                 {\r
831                         if (putback_char != -1){\r
832                                 int x = putback_char;\r
833                                 putback_char = -1;\r
834 \r
835                                 return x;\r
836                         }\r
837                         return reader.Read ();\r
838                 }\r
839 \r
840                 int peekChar ()\r
841                 {\r
842                         if (putback_char != -1)\r
843                                 return putback_char;\r
844                         return reader.Peek ();\r
845                 }\r
846 \r
847                 void putback (int c)\r
848                 {\r
849                         if (putback_char != -1)\r
850                                 throw new Exception ("This should not happen putback on putback");\r
851                         putback_char = c;\r
852                 }\r
853 \r
854                 public bool advance ()\r
855                 {\r
856                         return peekChar () != -1;\r
857                 }\r
858 \r
859                 public Object Value {\r
860                         get {\r
861                                 return val;\r
862                         }\r
863                 }\r
864 \r
865                 public Object value ()\r
866                 {\r
867                         return val;\r
868                 }\r
869                 \r
870                 public int token ()\r
871                 {\r
872                         current_token = xtoken ();\r
873                         return current_token;\r
874                 }\r
875 \r
876                 static StringBuilder static_cmd_arg = new System.Text.StringBuilder ();\r
877                 \r
878                 void get_cmd_arg (out string cmd, out string arg)\r
879                 {\r
880                         int c;\r
881                         \r
882                         tokens_seen = false;\r
883                         arg = "";\r
884                         static_cmd_arg.Length = 0;\r
885                                 \r
886                         while ((c = getChar ()) != -1 && (c != '\n') && (c != ' ') && (c != '\t')){\r
887                                 if (c == '\r')\r
888                                         continue;\r
889                                 static_cmd_arg.Append ((char) c);\r
890                         }\r
891 \r
892                         cmd = static_cmd_arg.ToString ();\r
893 \r
894                         if (c == '\n'){\r
895                                 line++;\r
896                                 ref_line++;\r
897                                 return;\r
898                         }\r
899 \r
900                         // skip over white space\r
901                         while ((c = getChar ()) != -1 && (c != '\n') && ((c == ' ') || (c == '\t')))\r
902                                 ;\r
903 \r
904                         if (c == '\n'){\r
905                                 line++;\r
906                                 ref_line++;\r
907                                 return;\r
908                         }\r
909                         \r
910                         static_cmd_arg.Length = 0;\r
911                         static_cmd_arg.Append ((char) c);\r
912                         \r
913                         while ((c = getChar ()) != -1 && (c != '\n')){\r
914                                 if (c == '\r')\r
915                                         continue;\r
916                                 static_cmd_arg.Append ((char) c);\r
917                         }\r
918 \r
919                         if (c == '\n'){\r
920                                 line++;\r
921                                 ref_line++;\r
922                         }\r
923                         arg = static_cmd_arg.ToString ().Trim ();\r
924                 }\r
925 \r
926                 //\r
927                 // Handles the #line directive\r
928                 //\r
929                 bool PreProcessLine (string arg)\r
930                 {\r
931                         if (arg == "")\r
932                                 return false;\r
933 \r
934                         if (arg == "default"){\r
935                                 line = ref_line = line;\r
936                                 return false;\r
937                         }\r
938                         \r
939                         try {\r
940                                 int pos;\r
941 \r
942                                 if ((pos = arg.IndexOf (' ')) != -1 && pos != 0){\r
943                                         ref_line = System.Int32.Parse (arg.Substring (0, pos));\r
944                                         pos++;\r
945                                         \r
946                                         char [] quotes = { '\"' };\r
947                                         \r
948                                         ref_name = arg.Substring (pos);\r
949                                         ref_name.TrimStart (quotes);\r
950                                         ref_name.TrimEnd (quotes);\r
951                                 } else {\r
952                                         ref_line = System.Int32.Parse (arg);\r
953                                 }\r
954                         } catch {\r
955                                 return false;\r
956                         }\r
957                         \r
958                         return true;\r
959                 }\r
960 \r
961                 //\r
962                 // Handles #define and #undef\r
963                 //\r
964                 void PreProcessDefinition (bool is_define, string arg)\r
965                 {\r
966                         if (arg == "" || arg == "true" || arg == "false"){\r
967                                 Report.Error(1001, Location, "Missing identifer to pre-processor directive");\r
968                                 return;\r
969                         }\r
970 \r
971                         if (is_define){\r
972                                 if (defines == null)\r
973                                         defines = new Hashtable ();\r
974                                 defines [arg] = 1;\r
975                         } else {\r
976                                 if (defines == null)\r
977                                         return;\r
978                                 if (defines.Contains (arg))\r
979                                         defines.Remove (arg);\r
980                         }\r
981                 }\r
982 \r
983                 bool eval_val (string s)\r
984                 {\r
985                         if (s == "true")\r
986                                 return true;\r
987                         if (s == "false")\r
988                                 return false;\r
989                         \r
990                         if (defines == null)\r
991                                 return false;\r
992                         if (defines.Contains (s))\r
993                                 return true;\r
994 \r
995                         return false;\r
996                 }\r
997 \r
998                 bool pp_primary (ref string s)\r
999                 {\r
1000                         s.Trim ();\r
1001                         int len = s.Length;\r
1002 \r
1003                         if (len > 0){\r
1004                                 char c = s [0];\r
1005                                 \r
1006                                 if (c == '('){\r
1007                                         s = s.Substring (1);\r
1008                                         bool val = pp_expr (ref s);\r
1009                                         if (s.Length > 0 && s [0] == ')')\r
1010                                                 return val;\r
1011                                         Error_InvalidDirective ();\r
1012                                         return false;\r
1013                                 }\r
1014                                 \r
1015                                 if (Char.IsLetter (c) || c == '_'){\r
1016                                         int j = 1;\r
1017 \r
1018                                         while (j < len){\r
1019                                                 c = s [j];\r
1020                                                 \r
1021                                                 if (Char.IsLetter (c) || Char.IsDigit (c) || c == '_'){\r
1022                                                         j++;\r
1023                                                         continue;\r
1024                                                 }\r
1025                                                 bool v = eval_val (s.Substring (0, j));\r
1026                                                 s = s.Substring (j);\r
1027                                                 return v;\r
1028                                         }\r
1029                                         bool vv = eval_val (s);\r
1030                                         s = "";\r
1031                                         return vv;\r
1032                                 }\r
1033                         }\r
1034                         Error_InvalidDirective ();\r
1035                         return false;\r
1036                 }\r
1037                 \r
1038                 bool pp_unary (ref string s)\r
1039                 {\r
1040                         s = s.Trim ();\r
1041                         int len = s.Length;\r
1042 \r
1043                         if (len > 0){\r
1044                                 if (s [0] == '!'){\r
1045                                         if (len > 1 && s [1] == '='){\r
1046                                                 Error_InvalidDirective ();\r
1047                                                 return false;\r
1048                                         }\r
1049                                         s = s.Substring (1);\r
1050                                         return ! pp_primary (ref s);\r
1051                                 } else\r
1052                                         return pp_primary (ref s);\r
1053                         } else {\r
1054                                 Error_InvalidDirective ();\r
1055                                 return false;\r
1056                         }\r
1057                 }\r
1058                 \r
1059                 bool pp_eq (ref string s)\r
1060                 {\r
1061                         bool va = pp_unary (ref s);\r
1062 \r
1063                         s = s.Trim ();\r
1064                         int len = s.Length;\r
1065                         if (len > 0){\r
1066                                 if (s [0] == '='){\r
1067                                         if (len > 2 && s [1] == '='){\r
1068                                                 s = s.Substring (2);\r
1069                                                 return va == pp_unary (ref s);\r
1070                                         } else {\r
1071                                                 Error_InvalidDirective ();\r
1072                                                 return false;\r
1073                                         }\r
1074                                 } else if (s [0] == '!' && len > 1 && s [1] == '='){\r
1075                                         s = s.Substring (2);\r
1076 \r
1077                                         return va != pp_unary (ref s);\r
1078 \r
1079                                 }\r
1080                         }\r
1081 \r
1082                         return va;\r
1083                                 \r
1084                 }\r
1085                 \r
1086                 bool pp_and (ref string s)\r
1087                 {\r
1088                         bool va = pp_eq (ref s);\r
1089 \r
1090                         s = s.Trim ();\r
1091                         int len = s.Length;\r
1092                         if (len > 0){\r
1093                                 if (s [0] == '&'){\r
1094                                         if (len > 2 && s [1] == '&'){\r
1095                                                 s = s.Substring (2);\r
1096                                                 return va && pp_eq (ref s);\r
1097                                         } else {\r
1098                                                 Error_InvalidDirective ();\r
1099                                                 return false;\r
1100                                         }\r
1101                                 } \r
1102                         }\r
1103                         return va;\r
1104                 }\r
1105                 \r
1106                 //\r
1107                 // Evaluates an expression for `#if' or `#elif'\r
1108                 //\r
1109                 bool pp_expr (ref string s)\r
1110                 {\r
1111                         bool va = pp_and (ref s);\r
1112 \r
1113                         s = s.Trim ();\r
1114                         int len = s.Length;\r
1115                         if (len > 0){\r
1116                                 if (s [0] == '|'){\r
1117                                         if (len > 2 && s [1] == '|'){\r
1118                                                 s = s.Substring (2);\r
1119                                                 return va || pp_and (ref s);\r
1120                                         } else {\r
1121                                                 Error_InvalidDirective ();\r
1122                                                 return false;\r
1123                                         }\r
1124                                 } else {\r
1125                                         Error_InvalidDirective ();\r
1126                                         return false;\r
1127                                 }\r
1128                         }\r
1129 \r
1130                         return va;\r
1131                 }\r
1132 \r
1133                 bool eval (string s)\r
1134                 {\r
1135                         bool v = pp_expr (ref s);\r
1136 \r
1137                         return v;\r
1138                 }\r
1139                 \r
1140                 void Error_InvalidDirective ()\r
1141                 {\r
1142                         Report.Error (1517, Location, "Invalid pre-processor directive");\r
1143                 }\r
1144 \r
1145                 void Error_UnexpectedDirective (string extra)\r
1146                 {\r
1147                         Report.Error (\r
1148                                 1028, Location,\r
1149                                 "Unexpected processor directive (" + extra + ")");\r
1150                 }\r
1151 \r
1152                 void Error_TokensSeen ()\r
1153                 {\r
1154                         Report.Error (\r
1155                                 1032, Location,\r
1156                                 "Cannot define or undefine pre-processor symbols after a token in the file");\r
1157                 }\r
1158                 \r
1159                 //\r
1160                 // if true, then the code continues processing the code\r
1161                 // if false, the code stays in a loop until another directive is\r
1162                 // reached.\r
1163                 //\r
1164                 bool handle_preprocessing_directive (bool caller_is_taking)\r
1165                 {\r
1166                         char [] blank = { ' ', '\t' };\r
1167                         string cmd, arg;\r
1168                         \r
1169                         get_cmd_arg (out cmd, out arg);\r
1170 \r
1171                         //\r
1172                         // The first group of pre-processing instructions is always processed\r
1173                         //\r
1174                         switch (cmd){\r
1175                         case "line":\r
1176                                 if (!PreProcessLine (arg))\r
1177                                         Report.Error (\r
1178                                                 1576, Location,\r
1179                                                 "Argument to #line directive is missing or invalid");\r
1180                                 return true;\r
1181 \r
1182                         case "region":\r
1183                                 arg = "true";\r
1184                                 goto case "if";\r
1185 \r
1186                         case "endregion":\r
1187                                 goto case "endif";\r
1188                                 \r
1189                         case "if":\r
1190                                 if (arg == ""){\r
1191                                         Error_InvalidDirective ();\r
1192                                         return true;\r
1193                                 }\r
1194                                 bool taking = false;\r
1195                                 if (ifstack == null)\r
1196                                         ifstack = new Stack ();\r
1197 \r
1198                                 if (ifstack.Count == 0){\r
1199                                         taking = true;\r
1200                                 } else {\r
1201                                         int state = (int) ifstack.Peek ();\r
1202                                         if ((state & TAKING) != 0)\r
1203                                                 taking = true;\r
1204                                 }\r
1205                                         \r
1206                                 if (eval (arg) && taking){\r
1207                                         ifstack.Push (TAKING | TAKEN_BEFORE | PARENT_TAKING);\r
1208                                         return true;\r
1209                                 } else {\r
1210                                         ifstack.Push (taking ? PARENT_TAKING : 0);\r
1211                                         return false;\r
1212                                 }\r
1213                                 \r
1214                         case "endif":\r
1215                                 if (ifstack == null || ifstack.Count == 0){\r
1216                                         Error_UnexpectedDirective ("no #if for this #endif");\r
1217                                         return true;\r
1218                                 } else {\r
1219                                         ifstack.Pop ();\r
1220                                         if (ifstack.Count == 0)\r
1221                                                 return true;\r
1222                                         else {\r
1223                                                 int state = (int) ifstack.Peek ();\r
1224 \r
1225                                                 if ((state & TAKING) != 0)\r
1226                                                         return true;\r
1227                                                 else\r
1228                                                         return false;\r
1229                                         }\r
1230                                 }\r
1231 \r
1232                         case "elif":\r
1233                                 if (ifstack == null || ifstack.Count == 0){\r
1234                                         Error_UnexpectedDirective ("no #if for this #elif");\r
1235                                         return true;\r
1236                                 } else {\r
1237                                         int state = (int) ifstack.Peek ();\r
1238 \r
1239                                         if ((state & ELSE_SEEN) != 0){\r
1240                                                 Error_UnexpectedDirective ("#elif not valid after #else");\r
1241                                                 return true;\r
1242                                         }\r
1243 \r
1244                                         if ((state & (TAKEN_BEFORE | TAKING)) != 0)\r
1245                                                 return false;\r
1246 \r
1247                                         if (eval (arg) && ((state & PARENT_TAKING) != 0)){\r
1248                                                 state = (int) ifstack.Pop ();\r
1249                                                 ifstack.Push (state | TAKING | TAKEN_BEFORE);\r
1250                                                 return true;\r
1251                                         } else \r
1252                                                 return false;\r
1253                                 }\r
1254 \r
1255                         case "else":\r
1256                                 if (ifstack == null || ifstack.Count == 0){\r
1257                                         Report.Error (\r
1258                                                 1028, Location,\r
1259                                                 "Unexpected processor directive (no #if for this #else)");\r
1260                                         return true;\r
1261                                 } else {\r
1262                                         int state = (int) ifstack.Peek ();\r
1263 \r
1264                                         if ((state & ELSE_SEEN) != 0){\r
1265                                                 Error_UnexpectedDirective ("#else within #else");\r
1266                                                 return true;\r
1267                                         }\r
1268 \r
1269                                         ifstack.Pop ();\r
1270                                         ifstack.Push (state | ELSE_SEEN);\r
1271 \r
1272                                         if ((state & TAKEN_BEFORE) == 0){\r
1273                                                 if ((state & PARENT_TAKING) != 0)\r
1274                                                         return true;\r
1275                                                 else\r
1276                                                         return false;\r
1277                                         }\r
1278                                         return false;\r
1279                                 }\r
1280                         }\r
1281 \r
1282                         //\r
1283                         // These are only processed if we are in a `taking' block\r
1284                         //\r
1285                         if (!caller_is_taking)\r
1286                                 return false;\r
1287                                         \r
1288                         switch (cmd){\r
1289                         case "define":\r
1290                                 if (any_token_seen){\r
1291                                         Error_TokensSeen ();\r
1292                                         return true;\r
1293                                 }\r
1294                                 PreProcessDefinition (true, arg);\r
1295                                 return true;\r
1296 \r
1297                         case "undef":\r
1298                                 if (any_token_seen){\r
1299                                         Error_TokensSeen ();\r
1300                                         return true;\r
1301                                 }\r
1302                                 PreProcessDefinition (false, arg);\r
1303                                 return true;\r
1304 \r
1305                         case "error":\r
1306                                 Report.Error (1029, Location, "#error: '" + arg + "'");\r
1307                                 return true;\r
1308 \r
1309                         case "warning":\r
1310                                 Report.Warning (1030, Location, "#warning: '" + arg + "'");\r
1311                                 return true;\r
1312                         }\r
1313 \r
1314                         Report.Error (1024, Location, "Preprocessor directive expected (got: " + cmd + ")");\r
1315                         return true;\r
1316                 }\r
1317                 \r
1318                 public int xtoken ()\r
1319                 {\r
1320                         int t;\r
1321                         bool allow_keyword_as_ident = false;\r
1322                         bool doread = false;\r
1323                         int c;\r
1324 \r
1325                         val = null;\r
1326                         // optimization: eliminate col and implement #directive semantic correctly.\r
1327                         for (;(c = getChar ()) != -1; col++) {\r
1328                                 if (Char.IsLetter ((char)c) || c == '_'){\r
1329                                         string ids;\r
1330 \r
1331                                         id_builder.Length = 0;\r
1332                                         tokens_seen = true;\r
1333                                         id_builder.Append ((char) c);\r
1334                                         \r
1335                                         while ((c = peekChar ()) != -1) {\r
1336                                                 if (is_identifier_part_character ((char) c)){\r
1337                                                         id_builder.Append ((char)getChar ());\r
1338                                                         col++;\r
1339                                                 } else \r
1340                                                         break;\r
1341                                         }\r
1342                                         \r
1343                                         ids = id_builder.ToString ();\r
1344 \r
1345                                         if (!is_keyword (ids) || allow_keyword_as_ident) {\r
1346                                                 val = ids;\r
1347                                                 if (ids.Length > 512){\r
1348                                                         Report.Error (\r
1349                                                                 645, Location,\r
1350                                                                 "Identifier too long (limit is 512 chars)");\r
1351                                                 }\r
1352                                                 allow_keyword_as_ident = false;\r
1353                                                 return Token.IDENTIFIER;\r
1354                                         }\r
1355 \r
1356                                         // true, false and null are in the hash anyway.\r
1357                                         return GetKeyword (ids);\r
1358 \r
1359                                 }\r
1360 \r
1361                                 if (c == '.'){\r
1362                                         tokens_seen = true;\r
1363                                         if (Char.IsDigit ((char) peekChar ()))\r
1364                                                 return is_number (c);\r
1365                                         return Token.DOT;\r
1366                                 }\r
1367                                 \r
1368                                 if (Char.IsDigit ((char) c)){\r
1369                                         tokens_seen = true;\r
1370                                         return is_number (c);\r
1371                                 }\r
1372 \r
1373                                 // Handle double-slash comments.\r
1374                                 if (c == '/'){\r
1375                                         int d = peekChar ();\r
1376                                 \r
1377                                         if (d == '/'){\r
1378                                                 getChar ();\r
1379                                                 while ((d = getChar ()) != -1 && (d != '\n'))\r
1380                                                         col++;\r
1381                                                 line++;\r
1382                                                 ref_line++;\r
1383                                                 col = 0;\r
1384                                                 any_token_seen |= tokens_seen;\r
1385                                                 tokens_seen = false;\r
1386                                                 continue;\r
1387                                         } else if (d == '*'){\r
1388                                                 getChar ();\r
1389 \r
1390                                                 while ((d = getChar ()) != -1){\r
1391                                                         if (d == '*' && peekChar () == '/'){\r
1392                                                                 getChar ();\r
1393                                                                 col++;\r
1394                                                                 break;\r
1395                                                         }\r
1396                                                         if (d == '\n'){\r
1397                                                                 line++;\r
1398                                                                 ref_line++;\r
1399                                                                 col = 0;\r
1400                                                                 any_token_seen |= tokens_seen;\r
1401                                                                 tokens_seen = false;\r
1402                                                         }\r
1403                                                 }\r
1404                                                 continue;\r
1405                                         }\r
1406                                 }\r
1407 \r
1408                                 /* For now, ignore pre-processor commands */\r
1409                                 // FIXME: In C# the '#' is not limited to appear\r
1410                                 // on the first column.\r
1411                                 if (c == '#' && !tokens_seen){\r
1412                                         bool cont = true;\r
1413                                         \r
1414                                 start_again:\r
1415                                         \r
1416                                         cont = handle_preprocessing_directive (cont);\r
1417 \r
1418                                         if (cont){\r
1419                                                 col = 0;\r
1420                                                 continue;\r
1421                                         }\r
1422                                         col = 1;\r
1423 \r
1424                                         bool skipping = false;\r
1425                                         for (;(c = getChar ()) != -1; col++){\r
1426                                                 if (c == '\n'){\r
1427                                                         col = 0;\r
1428                                                         line++;\r
1429                                                         ref_line++;\r
1430                                                         skipping = false;\r
1431                                                 } else if (c == ' ' || c == '\t' || c == '\v' || c == '\r')\r
1432                                                         continue;\r
1433                                                 else if (c != '#')\r
1434                                                         skipping = true;\r
1435                                                 if (c == '#' && !skipping)\r
1436                                                         goto start_again;\r
1437                                         }\r
1438                                         any_token_seen |= tokens_seen;\r
1439                                         tokens_seen = false;\r
1440                                         if (c == -1)\r
1441                                                 Report.Error (1027, Location, "#endif expected");\r
1442                                         continue;\r
1443                                 }\r
1444                                 \r
1445                                 if ((t = is_punct ((char)c, ref doread)) != Token.ERROR){\r
1446                                         tokens_seen = true;\r
1447                                         if (doread){\r
1448                                                 getChar ();\r
1449                                                 col++;\r
1450                                         }\r
1451                                         return t;\r
1452                                 }\r
1453                                 \r
1454                                 if (c == '"'){\r
1455                                         string_builder.Length = 0;\r
1456                                         \r
1457                                         tokens_seen = true;\r
1458                                         \r
1459                                         while ((c = getChar ()) != -1){\r
1460                                                 if (c == '"'){\r
1461                                                         if (allow_keyword_as_ident && peekChar () == '"'){\r
1462                                                                 string_builder.Append ((char) c);\r
1463                                                                 getChar ();\r
1464                                                                 continue;\r
1465                                                         } \r
1466                                                         allow_keyword_as_ident = false;\r
1467                                                         val = string_builder.ToString ();\r
1468                                                         return Token.LITERAL_STRING;\r
1469                                                 }\r
1470 \r
1471                                                 if (!allow_keyword_as_ident){\r
1472                                                         c = escape (c);\r
1473                                                         if (c == -1)\r
1474                                                                 return Token.ERROR;\r
1475                                                 }\r
1476                                                 string_builder.Append ((char) c);\r
1477                                         }\r
1478                                 }\r
1479 \r
1480                                 if (c == '\''){\r
1481                                         c = getChar ();\r
1482                                         tokens_seen = true;\r
1483                                         if (c == '\''){\r
1484                                                 error_details = "Empty character literal";\r
1485                                                 Report.Error (1011, Location, error_details);\r
1486                                                 return Token.ERROR;\r
1487                                         }\r
1488                                         c = escape (c);\r
1489                                         if (c == -1)\r
1490                                                 return Token.ERROR;\r
1491                                         val = new System.Char ();\r
1492                                         val = (char) c;\r
1493                                         c = getChar ();\r
1494 \r
1495                                         if (c != '\''){\r
1496                                                 error_details = "Too many characters in character literal";\r
1497                                                 Report.Error (1012, Location, error_details);\r
1498 \r
1499                                                 // Try to recover, read until newline or next "'"\r
1500                                                 while ((c = getChar ()) != -1){\r
1501                                                         if (c == '\n' || c == '\'')\r
1502                                                                 break;\r
1503                                                         \r
1504                                                 }\r
1505                                                 return Token.ERROR;\r
1506                                         }\r
1507                                         return Token.LITERAL_CHARACTER;\r
1508                                 }\r
1509                                 \r
1510                                 // white space\r
1511                                 if (c == '\n'){\r
1512                                         line++;\r
1513                                         ref_line++;\r
1514                                         col = 0;\r
1515                                         any_token_seen |= tokens_seen;\r
1516                                         tokens_seen = false;\r
1517                                         continue;\r
1518                                 }\r
1519 \r
1520                                 if (c == ' ' || c == '\t' || c == '\f' || c == '\v' || c == '\r'){\r
1521                                         if (c == '\t')\r
1522                                                 col = (((col + 8) / 8) * 8) - 1;\r
1523                                         continue;\r
1524                                 }\r
1525 \r
1526                                 if (c == '@'){\r
1527                                         tokens_seen = true;\r
1528                                         allow_keyword_as_ident = true;\r
1529                                         continue;\r
1530                                 }\r
1531 \r
1532                                 error_details = ((char)c).ToString ();\r
1533                                 \r
1534                                 return Token.ERROR;\r
1535                         }\r
1536 \r
1537                         if (ifstack != null && ifstack.Count > 1)\r
1538                                 Report.Error (1027, Location, "#endif expected");\r
1539                         return Token.EOF;\r
1540                 }\r
1541         }\r
1542 }\r
1543 \r