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 = NumberFormatInfo.InvariantInfo;\r
 254                         styles = NumberStyles.Float;\r
 255                         \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                 void define (string def)\r
 287                 {\r
 288                         if (!RootContext.AllDefines.Contains (def)){\r
 289                                 RootContext.AllDefines [def] = true;\r
 290                         }\r
 291                         if (defines.Contains (def))\r
 292                                 return;\r
 293                         defines [def] = true;\r
 294                 }\r
 295                 \r
 296                 public Tokenizer (System.IO.Stream input, string fname, ArrayList defs)\r
 297                 {\r
 298                         this.ref_name = fname;\r
 299                         reader = new System.IO.StreamReader (input);\r
 300                         putback_char = -1;\r
 301 \r
 302                         if (defs != null){\r
 303                                 defines = new Hashtable ();\r
 304                                 foreach (string def in defs)\r
 305                                         define (def);\r
 306                         }\r
 307 \r
 308                         //\r
 309                         // FIXME: This could be `Location.Push' but we have to\r
 310                         // find out why the MS compiler allows this\r
 311                         //\r
 312                         Mono.CSharp.Location.Push (fname);\r
 313                 }\r
 314 \r
 315                 bool is_identifier_start_character (char c)\r
 316                 {\r
 317                         return Char.IsLetter (c) || c == '_' ;\r
 318                 }\r
 319 \r
 320                 bool is_identifier_part_character (char c)\r
 321                 {\r
 322                         return (Char.IsLetter (c) || Char.IsDigit (c) || c == '_');\r
 323                 }\r
 324 \r
 325                 int is_punct (char c, ref bool doread)\r
 326                 {\r
 327                         int d;\r
 328                         int t;\r
 329 \r
 330                         doread = false;\r
 331 \r
 332                         switch (c){\r
 333                         case '{':\r
 334                                 return Token.OPEN_BRACE;\r
 335                         case '}':\r
 336                                 return Token.CLOSE_BRACE;\r
 337                         case '[':\r
 338                                 return Token.OPEN_BRACKET;\r
 339                         case ']':\r
 340                                 return Token.CLOSE_BRACKET;\r
 341                         case '(':\r
 342                                 return Token.OPEN_PARENS;\r
 343                         case ')':\r
 344                                 return Token.CLOSE_PARENS;\r
 345                         case ',':\r
 346                                 return Token.COMMA;\r
 347                         case ':':\r
 348                                 return Token.COLON;\r
 349                         case ';':\r
 350                                 return Token.SEMICOLON;\r
 351                         case '~':\r
 352                                 return Token.TILDE;\r
 353                         case '?':\r
 354                                 return Token.INTERR;\r
 355                         }\r
 356 \r
 357                         d = peekChar ();\r
 358                         if (c == '+'){\r
 359                                 \r
 360                                 if (d == '+')\r
 361                                         t = Token.OP_INC;\r
 362                                 else if (d == '=')\r
 363                                         t = Token.OP_ADD_ASSIGN;\r
 364                                 else\r
 365                                         return Token.PLUS;\r
 366                                 doread = true;\r
 367                                 return t;\r
 368                         }\r
 369                         if (c == '-'){\r
 370                                 if (d == '-')\r
 371                                         t = Token.OP_DEC;\r
 372                                 else if (d == '=')\r
 373                                         t = Token.OP_SUB_ASSIGN;\r
 374                                 else if (d == '>')\r
 375                                         t = Token.OP_PTR;\r
 376                                 else\r
 377                                         return Token.MINUS;\r
 378                                 doread = true;\r
 379                                 return t;\r
 380                         }\r
 381 \r
 382                         if (c == '!'){\r
 383                                 if (d == '='){\r
 384                                         doread = true;\r
 385                                         return Token.OP_NE;\r
 386                                 }\r
 387                                 return Token.BANG;\r
 388                         }\r
 389 \r
 390                         if (c == '='){\r
 391                                 if (d == '='){\r
 392                                         doread = true;\r
 393                                         return Token.OP_EQ;\r
 394                                 }\r
 395                                 return Token.ASSIGN;\r
 396                         }\r
 397 \r
 398                         if (c == '&'){\r
 399                                 if (d == '&'){\r
 400                                         doread = true;\r
 401                                         return Token.OP_AND;\r
 402                                 } else if (d == '='){\r
 403                                         doread = true;\r
 404                                         return Token.OP_AND_ASSIGN;\r
 405                                 }\r
 406                                 return Token.BITWISE_AND;\r
 407                         }\r
 408 \r
 409                         if (c == '|'){\r
 410                                 if (d == '|'){\r
 411                                         doread = true;\r
 412                                         return Token.OP_OR;\r
 413                                 } else if (d == '='){\r
 414                                         doread = true;\r
 415                                         return Token.OP_OR_ASSIGN;\r
 416                                 }\r
 417                                 return Token.BITWISE_OR;\r
 418                         }\r
 419 \r
 420                         if (c == '*'){\r
 421                                 if (d == '='){\r
 422                                         doread = true;\r
 423                                         return Token.OP_MULT_ASSIGN;\r
 424                                 }\r
 425                                 return Token.STAR;\r
 426                         }\r
 427 \r
 428                         if (c == '/'){\r
 429                                 if (d == '='){\r
 430                                         doread = true;\r
 431                                         return Token.OP_DIV_ASSIGN;\r
 432                                 }\r
 433                                 return Token.DIV;\r
 434                         }\r
 435 \r
 436                         if (c == '%'){\r
 437                                 if (d == '='){\r
 438                                         doread = true;\r
 439                                         return Token.OP_MOD_ASSIGN;\r
 440                                 }\r
 441                                 return Token.PERCENT;\r
 442                         }\r
 443 \r
 444                         if (c == '^'){\r
 445                                 if (d == '='){\r
 446                                         doread = true;\r
 447                                         return Token.OP_XOR_ASSIGN;\r
 448                                 }\r
 449                                 return Token.CARRET;\r
 450                         }\r
 451 \r
 452                         if (c == '<'){\r
 453                                 if (d == '<'){\r
 454                                         getChar ();\r
 455                                         d = peekChar ();\r
 456 \r
 457                                         if (d == '='){\r
 458                                                 doread = true;\r
 459                                                 return Token.OP_SHIFT_LEFT_ASSIGN;\r
 460                                         }\r
 461                                         return Token.OP_SHIFT_LEFT;\r
 462                                 } else if (d == '='){\r
 463                                         doread = true;\r
 464                                         return Token.OP_LE;\r
 465                                 }\r
 466                                 return Token.OP_LT;\r
 467                         }\r
 468 \r
 469                         if (c == '>'){\r
 470                                 if (d == '>'){\r
 471                                         getChar ();\r
 472                                         d = peekChar ();\r
 473 \r
 474                                         if (d == '='){\r
 475                                                 doread = true;\r
 476                                                 return Token.OP_SHIFT_RIGHT_ASSIGN;\r
 477                                         }\r
 478                                         return Token.OP_SHIFT_RIGHT;\r
 479                                 } else if (d == '='){\r
 480                                         doread = true;\r
 481                                         return Token.OP_GE;\r
 482                                 }\r
 483                                 return Token.OP_GT;\r
 484                         }\r
 485                         return Token.ERROR;\r
 486                 }\r
 487 \r
 488                 bool decimal_digits (int c)\r
 489                 {\r
 490                         int d;\r
 491                         bool seen_digits = false;\r
 492                         \r
 493                         if (c != -1)\r
 494                                 number_builder.Append ((char) c);\r
 495                         \r
 496                         while ((d = peekChar ()) != -1){\r
 497                                 if (Char.IsDigit ((char)d)){\r
 498                                         number_builder.Append ((char) d);\r
 499                                         getChar ();\r
 500                                         seen_digits = true;\r
 501                                 } else\r
 502                                         break;\r
 503                         }\r
 504                         \r
 505                         return seen_digits;\r
 506                 }\r
 507 \r
 508                 bool is_hex (char e)\r
 509                 {\r
 510                         return Char.IsDigit (e) || (e >= 'A' && e <= 'F') || (e >= 'a' && e <= 'f');\r
 511                 }\r
 512                 \r
 513                 void hex_digits (int c)\r
 514                 {\r
 515                         int d;\r
 516 \r
 517                         if (c != -1)\r
 518                                 number_builder.Append ((char) c);\r
 519                         while ((d = peekChar ()) != -1){\r
 520                                 char e = Char.ToUpper ((char) d);\r
 521                                 \r
 522                                 if (is_hex (e)){\r
 523                                         number_builder.Append ((char) e);\r
 524                                         getChar ();\r
 525                                 } else\r
 526                                         break;\r
 527                         }\r
 528                 }\r
 529                 \r
 530                 int real_type_suffix (int c)\r
 531                 {\r
 532                         int t;\r
 533 \r
 534                         switch (c){\r
 535                         case 'F': case 'f':\r
 536                                 t =  Token.LITERAL_FLOAT;\r
 537                                 break;\r
 538                         case 'D': case 'd':\r
 539                                 t = Token.LITERAL_DOUBLE;\r
 540                                 break;\r
 541                         case 'M': case 'm':\r
 542                                  t= Token.LITERAL_DECIMAL;\r
 543                                 break;\r
 544                         default:\r
 545                                 return Token.NONE;\r
 546                         }\r
 547                         return t;\r
 548                 }\r
 549 \r
 550                 int integer_type_suffix (ulong ul, int c)\r
 551                 {\r
 552                         bool is_unsigned = false;\r
 553                         bool is_long = false;\r
 554 \r
 555                         if (c != -1){\r
 556                                 bool scanning = true;\r
 557                                 do {\r
 558                                         switch (c){\r
 559                                         case 'U': case 'u':\r
 560                                                 if (is_unsigned)\r
 561                                                         scanning = false;\r
 562                                                 is_unsigned = true;\r
 563                                                 getChar ();\r
 564                                                 break;\r
 565 \r
 566                                         case 'l':\r
 567                                                 if (!is_unsigned){\r
 568                                                         //\r
 569                                                         // if we have not seen anything in between\r
 570                                                         // report this error\r
 571                                                         //\r
 572                                                         Report.Warning (\r
 573                                                                 78, Location,\r
 574                                                         "the 'l' suffix is easily confused with digit `1'," +\r
 575                                                         " use 'L' for clarity");\r
 576                                                 }\r
 577                                                 goto case 'L';\r
 578                                                 \r
 579                                         case 'L': \r
 580                                                 if (is_long)\r
 581                                                         scanning = false;\r
 582                                                 is_long = true;\r
 583                                                 getChar ();\r
 584                                                 break;\r
 585                                                 \r
 586                                         default:\r
 587                                                 scanning = false;\r
 588                                                 break;\r
 589                                         }\r
 590                                         c = peekChar ();\r
 591                                 } while (scanning);\r
 592                         }\r
 593 \r
 594                         if (is_long && is_unsigned){\r
 595                                 val = ul;\r
 596                                 return Token.LITERAL_INTEGER;\r
 597                         } else if (is_unsigned){\r
 598                                 // uint if possible, or ulong else.\r
 599 \r
 600                                 if ((ul & 0xffffffff00000000) == 0)\r
 601                                         val = (uint) ul;\r
 602                                 else\r
 603                                         val = ul;\r
 604                         } else if (is_long){\r
 605                                 // long if possible, ulong otherwise\r
 606                                 if ((ul & 0x8000000000000000) != 0)\r
 607                                         val = ul;\r
 608                                 else\r
 609                                         val = (long) ul;\r
 610                         } else {\r
 611                                 // int, uint, long or ulong in that order\r
 612                                 if ((ul & 0xffffffff00000000) == 0){\r
 613                                         uint ui = (uint) ul;\r
 614                                         \r
 615                                         if ((ui & 0x80000000) != 0)\r
 616                                                 val = ui;\r
 617                                         else\r
 618                                                 val = (int) ui;\r
 619                                 } else {\r
 620                                         if ((ul & 0x8000000000000000) != 0)\r
 621                                                 val = ul;\r
 622                                         else\r
 623                                                 val = (long) ul;\r
 624                                 }\r
 625                         }\r
 626                         return Token.LITERAL_INTEGER;\r
 627                 }\r
 628                                 \r
 629                 //\r
 630                 // given `c' as the next char in the input decide whether\r
 631                 // we need to convert to a special type, and then choose\r
 632                 // the best representation for the integer\r
 633                 //\r
 634                 int adjust_int (int c)\r
 635                 {\r
 636                         try {\r
 637                                 ulong ul = System.UInt64.Parse (number_builder.ToString ());\r
 638                                 return integer_type_suffix (ul, c);\r
 639                         } catch (OverflowException) {\r
 640                                 error_details = "Integral constant is too large";\r
 641                                 Report.Error (1021, Location, error_details);\r
 642                                 val = 0ul;\r
 643                                 return Token.LITERAL_INTEGER;\r
 644                         }\r
 645                 }\r
 646                 \r
 647                 int adjust_real (int t)\r
 648                 {\r
 649                         string s = number_builder.ToString ();\r
 650 \r
 651                         switch (t){\r
 652                         case Token.LITERAL_DECIMAL:\r
 653                                 try {\r
 654                                         val = System.Decimal.Parse (s, styles, csharp_format_info);\r
 655                                 } catch (OverflowException) {\r
 656                                         val = 0m;     \r
 657                                         error_details = "Floating-point constant is outside the range of the type 'decimal'";\r
 658                                         Report.Error(594, Location, error_details);\r
 659                                 }\r
 660                                 break;\r
 661                         case Token.LITERAL_FLOAT:\r
 662                                 try {\r
 663                                         val = (float) System.Double.Parse (s, styles, csharp_format_info);\r
 664                                 } catch (OverflowException) {\r
 665                                         val = 0.0f;     \r
 666                                         error_details = "Floating-point constant is outside the range of the type 'float'";\r
 667                                         Report.Error(594, Location, error_details);\r
 668                                 }\r
 669                                 break;\r
 670                                 \r
 671                         case Token.LITERAL_DOUBLE:\r
 672                         case Token.NONE:\r
 673                                 t = Token.LITERAL_DOUBLE;\r
 674                                 try {\r
 675                                         val = System.Double.Parse (s, styles, csharp_format_info);\r
 676                                 } catch (OverflowException) {\r
 677                                         val = 0.0;     \r
 678                                         error_details = "Floating-point constant is outside the range of the type 'double'";\r
 679                                         Report.Error(594, Location, error_details);\r
 680                                 }\r
 681                                 break;\r
 682                         }\r
 683                         return t;\r
 684                 }\r
 685 \r
 686                 //\r
 687                 // Invoked if we know we have .digits or digits\r
 688                 //\r
 689                 int is_number (int c)\r
 690                 {\r
 691                         bool is_real = false;\r
 692                         int type;\r
 693 \r
 694                         number_builder.Length = 0;\r
 695 \r
 696                         if (Char.IsDigit ((char)c)){\r
 697                                 if (c == '0' && peekChar () == 'x' || peekChar () == 'X'){\r
 698                                         ulong ul;\r
 699                                         getChar ();\r
 700                                         hex_digits (-1);\r
 701 \r
 702                                         string s = number_builder.ToString ();\r
 703 \r
 704                                         ul = System.UInt64.Parse (s, NumberStyles.HexNumber);\r
 705                                         return integer_type_suffix (ul, peekChar ());\r
 706                                 }\r
 707                                 decimal_digits (c);\r
 708                                 c = getChar ();\r
 709                         }\r
 710 \r
 711                         //\r
 712                         // We need to handle the case of\r
 713                         // "1.1" vs "1.string" (LITERAL_FLOAT vs NUMBER DOT IDENTIFIER)\r
 714                         //\r
 715                         if (c == '.'){\r
 716                                 if (decimal_digits ('.')){\r
 717                                         is_real = true;\r
 718                                         c = getChar ();\r
 719                                 } else {\r
 720                                         putback ('.');\r
 721                                         number_builder.Length -= 1;\r
 722                                         return adjust_int (-1);\r
 723                                 }\r
 724                         }\r
 725                         \r
 726                         if (c == 'e' || c == 'E'){\r
 727                                 is_real = true;\r
 728                                 number_builder.Append ("e");\r
 729                                 c = getChar ();\r
 730                                 \r
 731                                 if (c == '+')\r
 732                                         number_builder.Append ((char) c);\r
 733                                 else if (c == '-')\r
 734                                         number_builder.Append ((char) c);\r
 735                                 decimal_digits (-1);\r
 736                                 c = getChar ();\r
 737                         }\r
 738 \r
 739                         type = real_type_suffix (c);\r
 740                         if (type == Token.NONE && !is_real){\r
 741                                 putback (c);\r
 742                                 return adjust_int (c);\r
 743                         } else \r
 744                                 is_real = true;\r
 745 \r
 746                         if (type == Token.NONE){\r
 747                                 putback (c);\r
 748                         }\r
 749                         \r
 750                         if (is_real)\r
 751                                 return adjust_real (type);\r
 752 \r
 753                         Console.WriteLine ("This should not be reached");\r
 754                         throw new Exception ("Is Number should never reach this point");\r
 755                 }\r
 756 \r
 757                 //\r
 758                 // Accepts exactly count (4 or 8) hex, no more no less\r
 759                 //\r
 760                 int getHex (int count, out bool error)\r
 761                 {\r
 762                         int [] buffer = new int [8];\r
 763                         int i;\r
 764                         int total = 0;\r
 765                         int c;\r
 766                         char e;\r
 767                         int top = count != -1 ? count : 4;\r
 768                         \r
 769                         getChar ();\r
 770                         error = false;\r
 771                         for (i = 0; i < top; i++){\r
 772                                 c = getChar ();\r
 773                                 e = Char.ToUpper ((char) c);\r
 774                                 \r
 775                                 if (!is_hex (e)){\r
 776                                         error = true;\r
 777                                         return 0;\r
 778                                 }\r
 779                                 if (Char.IsDigit (e))\r
 780                                         c = (int) e - (int) '0';\r
 781                                 else\r
 782                                         c = (int) e - (int) 'A' + 10;\r
 783                                 total = (total * 16) + c;\r
 784                                 if (count == -1){\r
 785                                         int p = peekChar ();\r
 786                                         if (p == -1)\r
 787                                                 break;\r
 788                                         if (!is_hex ((char)p))\r
 789                                                 break;\r
 790                                 }\r
 791                         }\r
 792                         return total;\r
 793                 }\r
 794 \r
 795                 int escape (int c)\r
 796                 {\r
 797                         bool error;\r
 798                         int d;\r
 799                         int v;\r
 800 \r
 801                         d = peekChar ();\r
 802                         if (c != '\\')\r
 803                                 return c;\r
 804                         \r
 805                         switch (d){\r
 806                         case 'a':\r
 807                                 v = '\a'; break;\r
 808                         case 'b':\r
 809                                 v = '\b'; break;\r
 810                         case 'n':\r
 811                                 v = '\n'; break;\r
 812                         case 't':\r
 813                                 v = '\t'; break;\r
 814                         case 'v':\r
 815                                 v = '\v'; break;\r
 816                         case 'r':\r
 817                                 v = '\r'; break;\r
 818                         case '\\':\r
 819                                 v = '\\'; break;\r
 820                         case 'f':\r
 821                                 v = '\f'; break;\r
 822                         case '0':\r
 823                                 v = 0; break;\r
 824                         case '"':\r
 825                                 v = '"'; break;\r
 826                         case '\'':\r
 827                                 v = '\''; break;\r
 828                         case 'x':\r
 829                                 v = getHex (-1, out error);\r
 830                                 if (error)\r
 831                                         goto default;\r
 832                                 return v;\r
 833                         case 'u':\r
 834                                 v = getHex (4, out error);\r
 835                                 if (error)\r
 836                                         goto default;\r
 837                                 return v;\r
 838                         case 'U':\r
 839                                 v = getHex (8, out error);\r
 840                                 if (error)\r
 841                                         goto default;\r
 842                                 return v;\r
 843                         default:\r
 844                                 Report.Error (1009, Location, "Unrecognized escape sequence in " + (char)d);\r
 845                                 return -1;\r
 846                         }\r
 847                         getChar ();\r
 848                         return v;\r
 849                 }\r
 850 \r
 851                 int getChar ()\r
 852                 {\r
 853                         if (putback_char != -1){\r
 854                                 int x = putback_char;\r
 855                                 putback_char = -1;\r
 856 \r
 857                                 return x;\r
 858                         }\r
 859                         return reader.Read ();\r
 860                 }\r
 861 \r
 862                 int peekChar ()\r
 863                 {\r
 864                         if (putback_char != -1)\r
 865                                 return putback_char;\r
 866                         return reader.Peek ();\r
 867                 }\r
 868 \r
 869                 void putback (int c)\r
 870                 {\r
 871                         if (putback_char != -1)\r
 872                                 throw new Exception ("This should not happen putback on putback");\r
 873                         putback_char = c;\r
 874                 }\r
 875 \r
 876                 public bool advance ()\r
 877                 {\r
 878                         return peekChar () != -1;\r
 879                 }\r
 880 \r
 881                 public Object Value {\r
 882                         get {\r
 883                                 return val;\r
 884                         }\r
 885                 }\r
 886 \r
 887                 public Object value ()\r
 888                 {\r
 889                         return val;\r
 890                 }\r
 891                 \r
 892                 public int token ()\r
 893                 {\r
 894                         current_token = xtoken ();\r
 895                         return current_token;\r
 896                 }\r
 897 \r
 898                 static StringBuilder static_cmd_arg = new System.Text.StringBuilder ();\r
 899                 \r
 900                 void get_cmd_arg (out string cmd, out string arg)\r
 901                 {\r
 902                         int c;\r
 903                         \r
 904                         tokens_seen = false;\r
 905                         arg = "";\r
 906                         static_cmd_arg.Length = 0;\r
 907                                 \r
 908                         while ((c = getChar ()) != -1 && (c != '\n') && (c != ' ') && (c != '\t')){\r
 909                                 if (c == '\r')\r
 910                                         continue;\r
 911                                 static_cmd_arg.Append ((char) c);\r
 912                         }\r
 913 \r
 914                         cmd = static_cmd_arg.ToString ();\r
 915 \r
 916                         if (c == '\n'){\r
 917                                 line++;\r
 918                                 ref_line++;\r
 919                                 return;\r
 920                         }\r
 921 \r
 922                         // skip over white space\r
 923                         while ((c = getChar ()) != -1 && (c != '\n') && ((c == ' ') || (c == '\t')))\r
 924                                 ;\r
 925 \r
 926                         if (c == '\n'){\r
 927                                 line++;\r
 928                                 ref_line++;\r
 929                                 return;\r
 930                         }\r
 931                         \r
 932                         static_cmd_arg.Length = 0;\r
 933                         static_cmd_arg.Append ((char) c);\r
 934                         \r
 935                         while ((c = getChar ()) != -1 && (c != '\n')){\r
 936                                 if (c == '\r')\r
 937                                         continue;\r
 938                                 static_cmd_arg.Append ((char) c);\r
 939                         }\r
 940 \r
 941                         if (c == '\n'){\r
 942                                 line++;\r
 943                                 ref_line++;\r
 944                         }\r
 945                         arg = static_cmd_arg.ToString ().Trim ();\r
 946                 }\r
 947 \r
 948                 //\r
 949                 // Handles the #line directive\r
 950                 //\r
 951                 bool PreProcessLine (string arg)\r
 952                 {\r
 953                         if (arg == "")\r
 954                                 return false;\r
 955 \r
 956                         if (arg == "default"){\r
 957                                 line = ref_line = line;\r
 958                                 return false;\r
 959                         }\r
 960                         \r
 961                         try {\r
 962                                 int pos;\r
 963 \r
 964                                 if ((pos = arg.IndexOf (' ')) != -1 && pos != 0){\r
 965                                         ref_line = System.Int32.Parse (arg.Substring (0, pos));\r
 966                                         pos++;\r
 967                                         \r
 968                                         char [] quotes = { '\"' };\r
 969                                         \r
 970                                         ref_name = arg.Substring (pos). Trim(quotes);\r
 971                                 } else {\r
 972                                         ref_line = System.Int32.Parse (arg);\r
 973                                 }\r
 974                         } catch {\r
 975                                 return false;\r
 976                         }\r
 977                         \r
 978                         return true;\r
 979                 }\r
 980 \r
 981                 //\r
 982                 // Handles #define and #undef\r
 983                 //\r
 984                 void PreProcessDefinition (bool is_define, string arg)\r
 985                 {\r
 986                         if (arg == "" || arg == "true" || arg == "false"){\r
 987                                 Report.Error(1001, Location, "Missing identifer to pre-processor directive");\r
 988                                 return;\r
 989                         }\r
 990 \r
 991                         char[] whitespace = { ' ', '\t' };\r
 992                         if (arg.IndexOfAny (whitespace) != -1){\r
 993                                 Report.Error(1025, Location, "Single-line comment or end-of-line expected");\r
 994                                 return;\r
 995                         }\r
 996 \r
 997                         foreach (char c in arg){\r
 998                                 if (!Char.IsLetter (c) && (c != '_')){\r
 999                                         Report.Error(1001, Location, "Identifier expected");\r
1000                                         return;\r
1001                                 }\r
1002                         }\r
1003 \r
1004                         if (is_define){\r
1005                                 if (defines == null)\r
1006                                         defines = new Hashtable ();\r
1007                                 define (arg);\r
1008                         } else {\r
1009                                 if (defines == null)\r
1010                                         return;\r
1011                                 if (defines.Contains (arg))\r
1012                                         defines.Remove (arg);\r
1013                         }\r
1014                 }\r
1015 \r
1016                 bool eval_val (string s)\r
1017                 {\r
1018                         if (s == "true")\r
1019                                 return true;\r
1020                         if (s == "false")\r
1021                                 return false;\r
1022                         \r
1023                         if (defines == null)\r
1024                                 return false;\r
1025                         if (defines.Contains (s))\r
1026                                 return true;\r
1027 \r
1028                         return false;\r
1029                 }\r
1030 \r
1031                 bool pp_primary (ref string s)\r
1032                 {\r
1033                         s = s.Trim ();\r
1034                         int len = s.Length;\r
1035 \r
1036                         if (len > 0){\r
1037                                 char c = s [0];\r
1038                                 \r
1039                                 if (c == '('){\r
1040                                         s = s.Substring (1);\r
1041                                         bool val = pp_expr (ref s);\r
1042                                         if (s.Length > 0 && s [0] == ')'){\r
1043                                                 s = s.Substring (1);\r
1044                                                 return val;\r
1045                                         }\r
1046                                         Error_InvalidDirective ();\r
1047                                         return false;\r
1048                                 }\r
1049                                 \r
1050                                 if (is_identifier_start_character(c)){\r
1051                                         int j = 1;\r
1052 \r
1053                                         while (j < len){\r
1054                                                 c = s [j];\r
1055                                                 \r
1056                                                 if (is_identifier_part_character(c)){\r
1057                                                         j++;\r
1058                                                         continue;\r
1059                                                 }\r
1060                                                 bool v = eval_val (s.Substring (0, j));\r
1061                                                 s = s.Substring (j);\r
1062                                                 return v;\r
1063                                         }\r
1064                                         bool vv = eval_val (s);\r
1065                                         s = "";\r
1066                                         return vv;\r
1067                                 }\r
1068                         }\r
1069                         Error_InvalidDirective ();\r
1070                         return false;\r
1071                 }\r
1072                 \r
1073                 bool pp_unary (ref string s)\r
1074                 {\r
1075                         s = s.Trim ();\r
1076                         int len = s.Length;\r
1077 \r
1078                         if (len > 0){\r
1079                                 if (s [0] == '!'){\r
1080                                         if (len > 1 && s [1] == '='){\r
1081                                                 Error_InvalidDirective ();\r
1082                                                 return false;\r
1083                                         }\r
1084                                         s = s.Substring (1);\r
1085                                         return ! pp_primary (ref s);\r
1086                                 } else\r
1087                                         return pp_primary (ref s);\r
1088                         } else {\r
1089                                 Error_InvalidDirective ();\r
1090                                 return false;\r
1091                         }\r
1092                 }\r
1093                 \r
1094                 bool pp_eq (ref string s)\r
1095                 {\r
1096                         bool va = pp_unary (ref s);\r
1097 \r
1098                         s = s.Trim ();\r
1099                         int len = s.Length;\r
1100                         if (len > 0){\r
1101                                 if (s [0] == '='){\r
1102                                         if (len > 2 && s [1] == '='){\r
1103                                                 s = s.Substring (2);\r
1104                                                 return va == pp_unary (ref s);\r
1105                                         } else {\r
1106                                                 Error_InvalidDirective ();\r
1107                                                 return false;\r
1108                                         }\r
1109                                 } else if (s [0] == '!' && len > 1 && s [1] == '='){\r
1110                                         s = s.Substring (2);\r
1111 \r
1112                                         return va != pp_unary (ref s);\r
1113 \r
1114                                 }\r
1115                         }\r
1116 \r
1117                         return va;\r
1118                                 \r
1119                 }\r
1120                 \r
1121                 bool pp_and (ref string s)\r
1122                 {\r
1123                         bool va = pp_eq (ref s);\r
1124 \r
1125                         s = s.Trim ();\r
1126                         int len = s.Length;\r
1127                         if (len > 0){\r
1128                                 if (s [0] == '&'){\r
1129                                         if (len > 2 && s [1] == '&'){\r
1130                                                 s = s.Substring (2);\r
1131                                                 return va && pp_eq (ref s);\r
1132                                         } else {\r
1133                                                 Error_InvalidDirective ();\r
1134                                                 return false;\r
1135                                         }\r
1136                                 } \r
1137                         }\r
1138                         return va;\r
1139                 }\r
1140                 \r
1141                 //\r
1142                 // Evaluates an expression for `#if' or `#elif'\r
1143                 //\r
1144                 bool pp_expr (ref string s)\r
1145                 {\r
1146                         bool va = pp_and (ref s);\r
1147 \r
1148                         s = s.Trim ();\r
1149                         int len = s.Length;\r
1150                         if (len > 0){\r
1151                                 char c = s [0];\r
1152                                 \r
1153                                 if (c == '|'){\r
1154                                         if (len > 2 && s [1] == '|'){\r
1155                                                 s = s.Substring (2);\r
1156                                                 return va || pp_and (ref s);\r
1157                                         } else {\r
1158                                                 Error_InvalidDirective ();\r
1159                                                 return false;\r
1160                                         }\r
1161                                 } \r
1162                         }\r
1163 \r
1164                         return va;\r
1165                 }\r
1166 \r
1167                 bool eval (string s)\r
1168                 {\r
1169                         bool v = pp_expr (ref s);\r
1170                         s = s.Trim ();\r
1171                         if (s.Length != 0){\r
1172                                 Error_InvalidDirective ();\r
1173                                 return false;\r
1174                         }\r
1175 \r
1176                         return v;\r
1177                 }\r
1178                 \r
1179                 void Error_InvalidDirective ()\r
1180                 {\r
1181                         Report.Error (1517, Location, "Invalid pre-processor directive");\r
1182                 }\r
1183 \r
1184                 void Error_UnexpectedDirective (string extra)\r
1185                 {\r
1186                         Report.Error (\r
1187                                 1028, Location,\r
1188                                 "Unexpected processor directive (" + extra + ")");\r
1189                 }\r
1190 \r
1191                 void Error_TokensSeen ()\r
1192                 {\r
1193                         Report.Error (\r
1194                                 1032, Location,\r
1195                                 "Cannot define or undefine pre-processor symbols after a token in the file");\r
1196                 }\r
1197                 \r
1198                 //\r
1199                 // if true, then the code continues processing the code\r
1200                 // if false, the code stays in a loop until another directive is\r
1201                 // reached.\r
1202                 //\r
1203                 bool handle_preprocessing_directive (bool caller_is_taking)\r
1204                 {\r
1205                         char [] blank = { ' ', '\t' };\r
1206                         string cmd, arg;\r
1207                         \r
1208                         get_cmd_arg (out cmd, out arg);\r
1209 \r
1210                         // Eat any trailing whitespaces and single-line comments\r
1211                         if (arg.IndexOf ("//") != -1)\r
1212                                 arg = arg.Substring (0, arg.IndexOf ("//"));\r
1213                         arg = arg.TrimEnd (' ', '\t');\r
1214 \r
1215                         //\r
1216                         // The first group of pre-processing instructions is always processed\r
1217                         //\r
1218                         switch (cmd){\r
1219                         case "line":\r
1220                                 if (!PreProcessLine (arg))\r
1221                                         Report.Error (\r
1222                                                 1576, Location,\r
1223                                                 "Argument to #line directive is missing or invalid");\r
1224                                 return true;\r
1225 \r
1226                         case "region":\r
1227                                 arg = "true";\r
1228                                 goto case "if";\r
1229 \r
1230                         case "endregion":\r
1231                                 goto case "endif";\r
1232                                 \r
1233                         case "if":\r
1234                                 if (arg == ""){\r
1235                                         Error_InvalidDirective ();\r
1236                                         return true;\r
1237                                 }\r
1238                                 bool taking = false;\r
1239                                 if (ifstack == null)\r
1240                                         ifstack = new Stack ();\r
1241 \r
1242                                 if (ifstack.Count == 0){\r
1243                                         taking = true;\r
1244                                 } else {\r
1245                                         int state = (int) ifstack.Peek ();\r
1246                                         if ((state & TAKING) != 0)\r
1247                                                 taking = true;\r
1248                                 }\r
1249                                         \r
1250                                 if (eval (arg) && taking){\r
1251                                         ifstack.Push (TAKING | TAKEN_BEFORE | PARENT_TAKING);\r
1252                                         return true;\r
1253                                 } else {\r
1254                                         ifstack.Push (taking ? PARENT_TAKING : 0);\r
1255                                         return false;\r
1256                                 }\r
1257                                 \r
1258                         case "endif":\r
1259                                 if (ifstack == null || ifstack.Count == 0){\r
1260                                         Error_UnexpectedDirective ("no #if for this #endif");\r
1261                                         return true;\r
1262                                 } else {\r
1263                                         ifstack.Pop ();\r
1264                                         if (ifstack.Count == 0)\r
1265                                                 return true;\r
1266                                         else {\r
1267                                                 int state = (int) ifstack.Peek ();\r
1268 \r
1269                                                 if ((state & TAKING) != 0)\r
1270                                                         return true;\r
1271                                                 else\r
1272                                                         return false;\r
1273                                         }\r
1274                                 }\r
1275 \r
1276                         case "elif":\r
1277                                 if (ifstack == null || ifstack.Count == 0){\r
1278                                         Error_UnexpectedDirective ("no #if for this #elif");\r
1279                                         return true;\r
1280                                 } else {\r
1281                                         int state = (int) ifstack.Peek ();\r
1282 \r
1283                                         if ((state & ELSE_SEEN) != 0){\r
1284                                                 Error_UnexpectedDirective ("#elif not valid after #else");\r
1285                                                 return true;\r
1286                                         }\r
1287 \r
1288                                         if ((state & (TAKEN_BEFORE | TAKING)) != 0)\r
1289                                                 return false;\r
1290 \r
1291                                         if (eval (arg) && ((state & PARENT_TAKING) != 0)){\r
1292                                                 state = (int) ifstack.Pop ();\r
1293                                                 ifstack.Push (state | TAKING | TAKEN_BEFORE);\r
1294                                                 return true;\r
1295                                         } else \r
1296                                                 return false;\r
1297                                 }\r
1298 \r
1299                         case "else":\r
1300                                 if (ifstack == null || ifstack.Count == 0){\r
1301                                         Report.Error (\r
1302                                                 1028, Location,\r
1303                                                 "Unexpected processor directive (no #if for this #else)");\r
1304                                         return true;\r
1305                                 } else {\r
1306                                         int state = (int) ifstack.Peek ();\r
1307 \r
1308                                         if ((state & ELSE_SEEN) != 0){\r
1309                                                 Error_UnexpectedDirective ("#else within #else");\r
1310                                                 return true;\r
1311                                         }\r
1312 \r
1313                                         ifstack.Pop ();\r
1314                                         ifstack.Push (state | ELSE_SEEN);\r
1315 \r
1316                                         if ((state & TAKEN_BEFORE) == 0){\r
1317                                                 if ((state & PARENT_TAKING) != 0)\r
1318                                                         return true;\r
1319                                                 else\r
1320                                                         return false;\r
1321                                         }\r
1322                                         return false;\r
1323                                 }\r
1324                         }\r
1325 \r
1326                         //\r
1327                         // These are only processed if we are in a `taking' block\r
1328                         //\r
1329                         if (!caller_is_taking)\r
1330                                 return false;\r
1331                                         \r
1332                         switch (cmd){\r
1333                         case "define":\r
1334                                 if (any_token_seen){\r
1335                                         Error_TokensSeen ();\r
1336                                         return true;\r
1337                                 }\r
1338                                 PreProcessDefinition (true, arg);\r
1339                                 return true;\r
1340 \r
1341                         case "undef":\r
1342                                 if (any_token_seen){\r
1343                                         Error_TokensSeen ();\r
1344                                         return true;\r
1345                                 }\r
1346                                 PreProcessDefinition (false, arg);\r
1347                                 return true;\r
1348 \r
1349                         case "error":\r
1350                                 Report.Error (1029, Location, "#error: '" + arg + "'");\r
1351                                 return true;\r
1352 \r
1353                         case "warning":\r
1354                                 Report.Warning (1030, Location, "#warning: '" + arg + "'");\r
1355                                 return true;\r
1356                         }\r
1357 \r
1358                         Report.Error (1024, Location, "Preprocessor directive expected (got: " + cmd + ")");\r
1359                         return true;\r
1360 \r
1361                 }\r
1362 \r
1363                 private int consume_string(bool quoted) \r
1364                 {\r
1365                         int c;\r
1366                         string_builder.Length = 0;\r
1367                                                                 \r
1368                         while ((c = getChar ()) != -1){\r
1369                                 if (c == '"'){\r
1370                                         if (quoted && peekChar () == '"'){\r
1371                                                 string_builder.Append ((char) c);\r
1372                                                 getChar ();\r
1373                                                 continue;\r
1374                                         } else {\r
1375                                                 val = string_builder.ToString ();\r
1376                                                 return Token.LITERAL_STRING;\r
1377                                         }\r
1378                                 }\r
1379 \r
1380                                 if (c == '\n' && !quoted) {\r
1381                                         Report.Error(1010, Location, "Newline in constant");\r
1382                                 }\r
1383 \r
1384                                 if (!quoted){\r
1385                                         c = escape (c);\r
1386                                         if (c == -1)\r
1387                                                 return Token.ERROR;\r
1388                                 }\r
1389                                 string_builder.Append ((char) c);\r
1390                         }\r
1391 \r
1392                         Report.Error (1039, Location, "Unterminated string literal");\r
1393                         return Token.EOF;\r
1394                 }\r
1395 \r
1396                 private int consume_identifier(int c, bool quoted) \r
1397                 {\r
1398                         id_builder.Length = 0;\r
1399 \r
1400                         id_builder.Append ((char) c);\r
1401                                         \r
1402                         while ((c = peekChar ()) != -1) {\r
1403                                 if (is_identifier_part_character ((char) c)){\r
1404                                         id_builder.Append ((char)getChar ());\r
1405                                         col++;\r
1406                                 } else \r
1407                                         break;\r
1408                         }\r
1409                                         \r
1410                         string ids = id_builder.ToString ();\r
1411 \r
1412                         if (!is_keyword (ids) || quoted) {\r
1413                                 val = ids;\r
1414                                 if (ids.Length > 512){\r
1415                                         Report.Error (\r
1416                                                 645, Location,\r
1417                                                 "Identifier too long (limit is 512 chars)");\r
1418                                 }\r
1419                                 return Token.IDENTIFIER;\r
1420                         }\r
1421 \r
1422                         // true, false and null are in the hash anyway.\r
1423                         return GetKeyword (ids);\r
1424                 }\r
1425                 \r
1426                 public int xtoken ()\r
1427                 {\r
1428                         int t;\r
1429                         bool doread = false;\r
1430                         int c;\r
1431 \r
1432                         val = null;\r
1433                         // optimization: eliminate col and implement #directive semantic correctly.\r
1434                         for (;(c = getChar ()) != -1; col++) {\r
1435                                 if (is_identifier_start_character((char)c)){\r
1436                                         tokens_seen = true;\r
1437                                         return consume_identifier(c, false);\r
1438                                 }\r
1439 \r
1440                                 if (c == '.'){\r
1441                                         tokens_seen = true;\r
1442                                         if (Char.IsDigit ((char) peekChar ()))\r
1443                                                 return is_number (c);\r
1444                                         return Token.DOT;\r
1445                                 }\r
1446                                 \r
1447                                 if (Char.IsDigit ((char) c)){\r
1448                                         tokens_seen = true;\r
1449                                         return is_number (c);\r
1450                                 }\r
1451 \r
1452                                 // Handle double-slash comments.\r
1453                                 if (c == '/'){\r
1454                                         int d = peekChar ();\r
1455                                 \r
1456                                         if (d == '/'){\r
1457                                                 getChar ();\r
1458                                                 while ((d = getChar ()) != -1 && (d != '\n'))\r
1459                                                         col++;\r
1460                                                 line++;\r
1461                                                 ref_line++;\r
1462                                                 col = 0;\r
1463                                                 any_token_seen |= tokens_seen;\r
1464                                                 tokens_seen = false;\r
1465                                                 continue;\r
1466                                         } else if (d == '*'){\r
1467                                                 getChar ();\r
1468 \r
1469                                                 while ((d = getChar ()) != -1){\r
1470                                                         if (d == '*' && peekChar () == '/'){\r
1471                                                                 getChar ();\r
1472                                                                 col++;\r
1473                                                                 break;\r
1474                                                         }\r
1475                                                         if (d == '\n'){\r
1476                                                                 line++;\r
1477                                                                 ref_line++;\r
1478                                                                 col = 0;\r
1479                                                                 any_token_seen |= tokens_seen;\r
1480                                                                 tokens_seen = false;\r
1481                                                         }\r
1482                                                 }\r
1483                                                 continue;\r
1484                                         }\r
1485                                 }\r
1486 \r
1487                                 /* For now, ignore pre-processor commands */\r
1488                                 // FIXME: In C# the '#' is not limited to appear\r
1489                                 // on the first column.\r
1490                                 if (c == '#' && !tokens_seen){\r
1491                                         bool cont = true;\r
1492                                         \r
1493                                 start_again:\r
1494                                         \r
1495                                         cont = handle_preprocessing_directive (cont);\r
1496 \r
1497                                         if (cont){\r
1498                                                 col = 0;\r
1499                                                 continue;\r
1500                                         }\r
1501                                         col = 1;\r
1502 \r
1503                                         bool skipping = false;\r
1504                                         for (;(c = getChar ()) != -1; col++){\r
1505                                                 if (c == '\n'){\r
1506                                                         col = 0;\r
1507                                                         line++;\r
1508                                                         ref_line++;\r
1509                                                         skipping = false;\r
1510                                                 } else if (c == ' ' || c == '\t' || c == '\v' || c == '\r')\r
1511                                                         continue;\r
1512                                                 else if (c != '#')\r
1513                                                         skipping = true;\r
1514                                                 if (c == '#' && !skipping)\r
1515                                                         goto start_again;\r
1516                                         }\r
1517                                         any_token_seen |= tokens_seen;\r
1518                                         tokens_seen = false;\r
1519                                         if (c == -1)\r
1520                                                 Report.Error (1027, Location, "#endif/#endregion expected");\r
1521                                         continue;\r
1522                                 }\r
1523                                 \r
1524                                 if ((t = is_punct ((char)c, ref doread)) != Token.ERROR){\r
1525                                         tokens_seen = true;\r
1526                                         if (doread){\r
1527                                                 getChar ();\r
1528                                                 col++;\r
1529                                         }\r
1530                                         return t;\r
1531                                 }\r
1532                                 \r
1533                                 if (c == '"') {\r
1534                                         return consume_string(false);\r
1535                                 }\r
1536 \r
1537                                 if (c == '\''){\r
1538                                         c = getChar ();\r
1539                                         tokens_seen = true;\r
1540                                         if (c == '\''){\r
1541                                                 error_details = "Empty character literal";\r
1542                                                 Report.Error (1011, Location, error_details);\r
1543                                                 return Token.ERROR;\r
1544                                         }\r
1545                                         c = escape (c);\r
1546                                         if (c == -1)\r
1547                                                 return Token.ERROR;\r
1548                                         val = new System.Char ();\r
1549                                         val = (char) c;\r
1550                                         c = getChar ();\r
1551 \r
1552                                         if (c != '\''){\r
1553                                                 error_details = "Too many characters in character literal";\r
1554                                                 Report.Error (1012, Location, error_details);\r
1555 \r
1556                                                 // Try to recover, read until newline or next "'"\r
1557                                                 while ((c = getChar ()) != -1){\r
1558                                                         if (c == '\n' || c == '\'')\r
1559                                                                 break;\r
1560                                                         \r
1561                                                 }\r
1562                                                 return Token.ERROR;\r
1563                                         }\r
1564                                         return Token.LITERAL_CHARACTER;\r
1565                                 }\r
1566                                 \r
1567                                 // white space\r
1568                                 if (c == '\n'){\r
1569                                         line++;\r
1570                                         ref_line++;\r
1571                                         col = 0;\r
1572                                         any_token_seen |= tokens_seen;\r
1573                                         tokens_seen = false;\r
1574                                         continue;\r
1575                                 }\r
1576 \r
1577                                 if (c == ' ' || c == '\t' || c == '\f' || c == '\v' || c == '\r'){\r
1578                                         if (c == '\t')\r
1579                                                 col = (((col + 8) / 8) * 8) - 1;\r
1580                                         continue;\r
1581                                 }\r
1582 \r
1583                                 if (c == '@') {\r
1584                                         c = getChar();\r
1585                                         if (c == '"') {\r
1586                                                 tokens_seen = true;\r
1587                                                 return consume_string(true);\r
1588                                         } else if (is_identifier_start_character((char) c)){\r
1589                                                 return consume_identifier(c, true);\r
1590                                         } else {\r
1591                                                 Report.Error(1033, Location, "'@' must be followed by string constant or identifier");\r
1592                                         }\r
1593                                 }\r
1594 \r
1595                                 error_details = ((char)c).ToString ();\r
1596                                 \r
1597                                 return Token.ERROR;\r
1598                         }\r
1599 \r
1600                         if (ifstack != null && ifstack.Count >= 1)\r
1601                                 Report.Error (1027, Location, "#endif/#endregion expected");\r
1602 \r
1603                         return Token.EOF;\r
1604                 }\r
1605         }\r
1606 }\r
1607 \r