mcs/ilasm/parser/ILParser.jay

   1 %{\r
   2 //\r
   3 // Mono::ILASM::ILParser\r
   4 // \r
   5 // (C) Sergey Chaban (serge@wildwestsoftware.com)\r
   6 // (C) 2003 Jackson Harper, All rights reserved\r
   7 //\r
   8 \r
   9 using PEAPI;\r
  10 using System;\r
  11 using System.IO;\r
  12 using System.Collections;\r
  13 using System.Globalization;\r
  14 \r
  15 namespace Mono.ILASM {\r
  16 \r
  17         public class ILParser {\r
  18 \r
  19                 private CodeGen codegen;\r
  20 \r
  21                 private bool is_value_class;\r
  22                 private bool is_enum_class;\r
  23                 private bool pinvoke_info;\r
  24                 private string pinvoke_mod;\r
  25                 private string pinvoke_meth;\r
  26                 private PEAPI.PInvokeAttr pinvoke_attr;\r
  27                 private ILTokenizer tokenizer;\r
  28                                 \r
  29                 public ILParser (CodeGen codegen, ILTokenizer tokenizer)\r
  30                 {\r
  31                         this.codegen = codegen;\r
  32                         this.tokenizer = tokenizer;\r
  33                 }\r
  34 \r
  35                 public CodeGen CodeGen {\r
  36                         get { return codegen; }\r
  37                 }\r
  38                 \r
  39 %}\r
  40 \r
  41 %token EOF\r
  42 \r
  43 /* ID - alpha-numeric identifier */\r
  44 %token ID\r
  45 \r
  46 /* QSTRING - quoted string */\r
  47 %token QSTRING\r
  48 \r
  49 /* SQSTRING - single quoted string */\r
  50 %token SQSTRING\r
  51 \r
  52 /* COMP_NAME - A name with dots */\r
  53 %token COMP_NAME\r
  54 \r
  55 /* INT32 - 32 bit integer */\r
  56 %token INT32\r
  57 \r
  58 /* INT64 - 64 bit integer */\r
  59 %token INT64\r
  60 \r
  61 /* FLOAT64 - floating point number */\r
  62 %token FLOAT64\r
  63 \r
  64 /* HEXBYTE - two digit hex number */\r
  65 %token HEXBYTE\r
  66 \r
  67 \r
  68 /* Punctuation */\r
  69 %token DOT           "."\r
  70 %token OPEN_BRACE    "{"\r
  71 %token CLOSE_BRACE   "}"\r
  72 %token OPEN_BRACKET  "["\r
  73 %token CLOSE_BRACKET "]"\r
  74 %token OPEN_PARENS   "("\r
  75 %token CLOSE_PARENS  ")"\r
  76 %token COMMA         ","\r
  77 %token COLON         ":"\r
  78 %token DOUBLE_COLON  "::"\r
  79 %token SEMICOLON     ";"\r
  80 %token ASSIGN        "="\r
  81 %token STAR          "*"\r
  82 %token AMPERSAND     "&"\r
  83 %token PLUS          "+"\r
  84 %token SLASH         "/"\r
  85 %token BANG          "!"\r
  86 %token ELLIPSIS      "..."\r
  87 %token DASH          "-"\r
  88 %token OPEN_ANGLE_BRACKET   "<"\r
  89 %token CLOSE_ANGLE_BRACKET  ">"\r
  90 \r
  91 \r
  92 \r
  93 %token UNKNOWN\r
  94 \r
  95 \r
  96 /* INSTR_* instruction types */\r
  97 %token INSTR_NONE\r
  98 %token INSTR_VAR\r
  99 %token INSTR_I\r
 100 %token INSTR_I8\r
 101 %token INSTR_R\r
 102 %token INSTR_BRTARGET\r
 103 %token INSTR_METHOD\r
 104 %token INSTR_NEWOBJ\r
 105 %token INSTR_FIELD\r
 106 %token INSTR_TYPE\r
 107 %token INSTR_STRING\r
 108 %token INSTR_SIG\r
 109 %token INSTR_RVA\r
 110 %token INSTR_TOK\r
 111 %token INSTR_SWITCH\r
 112 %token INSTR_PHI\r
 113 %token INSTR_LOCAL\r
 114 %token INSTR_PARAM\r
 115 \r
 116 \r
 117 \r
 118 \r
 119 \r
 120 /* Mechanically generated  - DO NOT EDIT! */\r
 121 \r
 122 \r
 123 /* Directives */\r
 124 %token D_ADDON\r
 125 %token D_ALGORITHM\r
 126 %token D_ASSEMBLY\r
 127 %token D_BACKING\r
 128 %token D_BLOB\r
 129 %token D_CAPABILITY\r
 130 %token D_CCTOR\r
 131 %token D_CLASS\r
 132 %token D_COMTYPE\r
 133 %token D_CONFIG\r
 134 %token D_CONSTRAINT\r
 135 %token D_IMAGEBASE\r
 136 %token D_CORFLAGS\r
 137 %token D_CTOR\r
 138 %token D_CUSTOM\r
 139 %token D_DATA\r
 140 %token D_EMITBYTE\r
 141 %token D_ENTRYPOINT\r
 142 %token D_EVENT\r
 143 %token D_EXELOC\r
 144 %token D_EXPORT\r
 145 %token D_FIELD\r
 146 %token D_FILE\r
 147 %token D_FIRE\r
 148 %token D_GET\r
 149 %token D_HASH\r
 150 %token D_IMPLICITCOM\r
 151 %token D_LANGUAGE\r
 152 %token D_LINE\r
 153 %token D_XLINE\r
 154 %token D_LOCALE\r
 155 %token D_LOCALS\r
 156 %token D_MANIFESTRES\r
 157 %token D_MAXSTACK\r
 158 %token D_METHOD\r
 159 %token D_MIME\r
 160 %token D_MODULE\r
 161 %token D_MRESOURCE\r
 162 %token D_NAMESPACE\r
 163 %token D_ORIGINATOR\r
 164 %token D_OS\r
 165 %token D_OTHER\r
 166 %token D_OVERRIDE\r
 167 %token D_PACK\r
 168 %token D_PARAM\r
 169 %token D_PERMISSION\r
 170 %token D_PERMISSIONSET\r
 171 %token D_PROCESSOR\r
 172 %token D_PROPERTY\r
 173 %token D_PUBLICKEY\r
 174 %token D_PUBLICKEYTOKEN\r
 175 %token D_REMOVEON\r
 176 %token D_SET\r
 177 %token D_SIZE\r
 178 %token D_SUBSYSTEM\r
 179 %token D_TITLE\r
 180 %token D_TRY\r
 181 %token D_VER\r
 182 %token D_VTABLE\r
 183 %token D_VTENTRY\r
 184 %token D_VTFIXUP\r
 185 %token D_ZEROINIT\r
 186 \r
 187 \r
 188 /* Keywords */\r
 189 %token K_AT\r
 190 %token K_AS\r
 191 %token K_IMPLICITCOM\r
 192 %token K_IMPLICITRES\r
 193 %token K_NOAPPDOMAIN\r
 194 %token K_NOPROCESS\r
 195 %token K_NOMACHINE\r
 196 %token K_EXTERN\r
 197 %token K_INSTANCE\r
 198 %token K_EXPLICIT\r
 199 %token K_DEFAULT\r
 200 %token K_VARARG\r
 201 %token K_UNMANAGED\r
 202 %token K_CDECL\r
 203 %token K_STDCALL\r
 204 %token K_THISCALL\r
 205 %token K_FASTCALL\r
 206 %token K_MARSHAL\r
 207 %token K_IN\r
 208 %token K_OUT\r
 209 %token K_OPT\r
 210 %token K_LCID\r
 211 %token K_RETVAL\r
 212 %token K_STATIC\r
 213 %token K_PUBLIC\r
 214 %token K_PRIVATE\r
 215 %token K_FAMILY\r
 216 %token K_INITONLY\r
 217 %token K_RTSPECIALNAME\r
 218 %token K_SPECIALNAME\r
 219 %token K_ASSEMBLY\r
 220 %token K_FAMANDASSEM\r
 221 %token K_FAMORASSEM\r
 222 %token K_PRIVATESCOPE\r
 223 %token K_LITERAL\r
 224 %token K_NOTSERIALIZED\r
 225 %token K_VALUE\r
 226 %token K_NOT_IN_GC_HEAP\r
 227 %token K_INTERFACE\r
 228 %token K_SEALED\r
 229 %token K_ABSTRACT\r
 230 %token K_AUTO\r
 231 %token K_SEQUENTIAL\r
 232 %token K_ANSI\r
 233 %token K_UNICODE\r
 234 %token K_AUTOCHAR\r
 235 %token K_IMPORT\r
 236 %token K_SERIALIZABLE\r
 237 %token K_NESTED\r
 238 %token K_LATEINIT\r
 239 %token K_EXTENDS\r
 240 %token K_IMPLEMENTS\r
 241 %token K_FINAL\r
 242 %token K_VIRTUAL\r
 243 %token K_HIDEBYSIG\r
 244 %token K_NEWSLOT\r
 245 %token K_UNMANAGEDEXP\r
 246 %token K_PINVOKEIMPL\r
 247 %token K_NOMANGLE\r
 248 %token K_OLE\r
 249 %token K_LASTERR\r
 250 %token K_WINAPI\r
 251 %token K_NATIVE\r
 252 %token K_IL\r
 253 %token K_CIL\r
 254 %token K_OPTIL\r
 255 %token K_MANAGED\r
 256 %token K_FORWARDREF\r
 257 %token K_RUNTIME\r
 258 %token K_INTERNALCALL\r
 259 %token K_SYNCHRONIZED\r
 260 %token K_NOINLINING\r
 261 %token K_CUSTOM\r
 262 %token K_FIXED\r
 263 %token K_SYSSTRING\r
 264 %token K_ARRAY\r
 265 %token K_VARIANT\r
 266 %token K_CURRENCY\r
 267 %token K_SYSCHAR\r
 268 %token K_VOID\r
 269 %token K_BOOL\r
 270 %token K_INT8\r
 271 %token K_INT16\r
 272 %token K_INT32\r
 273 %token K_INT64\r
 274 %token K_FLOAT32\r
 275 %token K_FLOAT64\r
 276 %token K_ERROR\r
 277 %token K_UNSIGNED\r
 278 %token K_DECIMAL\r
 279 %token K_DATE\r
 280 %token K_BSTR\r
 281 %token K_LPSTR\r
 282 %token K_LPWSTR\r
 283 %token K_LPTSTR\r
 284 %token K_OBJECTREF\r
 285 %token K_IUNKNOWN\r
 286 %token K_IDISPATCH\r
 287 %token K_STRUCT\r
 288 %token K_SAFEARRAY\r
 289 %token K_INT\r
 290 %token K_BYVALSTR\r
 291 %token K_TBSTR\r
 292 %token K_LPVOID\r
 293 %token K_ANY\r
 294 %token K_FLOAT\r
 295 %token K_LPSTRUCT\r
 296 %token K_NULL\r
 297 %token K_PTR\r
 298 %token K_VECTOR\r
 299 %token K_HRESULT\r
 300 %token K_CARRAY\r
 301 %token K_USERDEFINED\r
 302 %token K_RECORD\r
 303 %token K_FILETIME\r
 304 %token K_BLOB\r
 305 %token K_STREAM\r
 306 %token K_STORAGE\r
 307 %token K_STREAMED_OBJECT\r
 308 %token K_STORED_OBJECT\r
 309 %token K_BLOB_OBJECT\r
 310 %token K_CF\r
 311 %token K_CLSID\r
 312 %token K_METHOD\r
 313 %token K_CLASS\r
 314 %token K_PINNED\r
 315 %token K_MODREQ\r
 316 %token K_MODOPT\r
 317 %token K_TYPEDREF\r
 318 %token K_WCHAR\r
 319 %token K_CHAR\r
 320 %token K_FROMUNMANAGED\r
 321 %token K_CALLMOSTDERIVED\r
 322 %token K_BYTEARRAY\r
 323 %token K_WITH\r
 324 %token K_INIT\r
 325 %token K_TO\r
 326 %token K_CATCH\r
 327 %token K_FILTER\r
 328 %token K_FINALLY\r
 329 %token K_FAULT\r
 330 %token K_HANDLER\r
 331 %token K_TLS\r
 332 %token K_FIELD\r
 333 %token K_REQUEST\r
 334 %token K_DEMAND\r
 335 %token K_ASSERT\r
 336 %token K_DENY\r
 337 %token K_PERMITONLY\r
 338 %token K_LINKCHECK\r
 339 %token K_INHERITCHECK\r
 340 %token K_REQMIN\r
 341 %token K_REQOPT\r
 342 %token K_REQREFUSE\r
 343 %token K_PREJITGRANT\r
 344 %token K_PREJITDENY\r
 345 %token K_NONCASDEMAND\r
 346 %token K_NONCASLINKDEMAND\r
 347 %token K_NONCASINHERITANCE\r
 348 %token K_READONLY\r
 349 %token K_NOMETADATA\r
 350 %token K_ALGORITHM\r
 351 %token K_FULLORIGIN\r
 352 // %token K_NAN\r
 353 // %token K_INF\r
 354 %token K_PUBLICKEY\r
 355 %token K_ENABLEJITTRACKING\r
 356 %token K_DISABLEJITOPTIMIZER\r
 357 %token K_PRESERVESIG\r
 358 %token K_BEFOREFIELDINIT\r
 359 %token K_ALIGNMENT\r
 360 %token K_NULLREF\r
 361 %token K_VALUETYPE\r
 362 %token K_COMPILERCONTROLLED\r
 363 %token K_REQSECOBJ\r
 364 %token K_ENUM\r
 365 %token K_OBJECT\r
 366 %token K_STRING\r
 367 %token K_TRUE\r
 368 %token K_FALSE\r
 369 %token K_IS\r
 370 \r
 371 /* end generated */\r
 372 \r
 373 \r
 374 \r
 375 \r
 376 \r
 377 %start il_file\r
 378 \r
 379 %%\r
 380 \r
 381 il_file                 : decls\r
 382                         ;\r
 383 \r
 384 decls                   : /* EMPTY */\r
 385                         | decls decl\r
 386                         ;\r
 387 \r
 388 decl                    : class_all\r
 389                         | namespace_all\r
 390                         | method_all\r
 391                         | field_decl\r
 392                         | data_decl\r
 393                         | vtfixup_decl\r
 394                         | file_decl\r
 395                         | assembly_all\r
 396                         | assemblyref_all\r
 397                         | exptype_all\r
 398                         | manifestres_all\r
 399                         | module_head\r
 400                         | sec_decl\r
 401                         | customattr_decl\r
 402                         | D_SUBSYSTEM int32\r
 403                           {\r
 404                                 codegen.SetSubSystem ((int) $2);\r
 405                           }\r
 406                         | D_CORFLAGS int32\r
 407                           {\r
 408                                 codegen.SetCorFlags ((int) $2);\r
 409                           }\r
 410                         | D_FILE K_ALIGNMENT int32\r
 411                         | D_IMAGEBASE int64\r
 412                           {\r
 413                                 codegen.SetImageBase ((long) $2);\r
 414                           }\r
 415                         | extsource_spec\r
 416                         | language_decl\r
 417                         ;\r
 418 \r
 419 extsource_spec          : D_LINE int32 SQSTRING\r
 420                         | D_LINE int32\r
 421                         | D_LINE int32 COLON int32 SQSTRING\r
 422                         | D_LINE int32 COLON int32\r
 423                         ;\r
 424 \r
 425 language_decl           : D_LANGUAGE SQSTRING\r
 426                         | D_LANGUAGE SQSTRING COMMA SQSTRING\r
 427                         | D_LANGUAGE SQSTRING COMMA SQSTRING COMMA SQSTRING\r
 428                         ;\r
 429 \r
 430 constraint_decl         : D_CONSTRAINT BANG int32 K_IS type\r
 431                           {\r
 432                                 codegen.CurrentTypeDef.AddGenericConstraint ((int) $3, (ITypeRef) $5);\r
 433                           }\r
 434                         ;\r
 435                         \r
 436 vtfixup_decl            : D_VTFIXUP OPEN_BRACKET int32 CLOSE_BRACKET \r
 437                           vtfixup_attr K_AT id\r
 438                         ;\r
 439 \r
 440 vtfixup_attr            : /* EMPTY */\r
 441                         | vtfixup_attr K_INT32\r
 442                         | vtfixup_attr K_INT64\r
 443                         | vtfixup_attr K_FROMUNMANAGED\r
 444                         | vtfixup_attr K_CALLMOSTDERIVED\r
 445                         ;\r
 446 \r
 447 namespace_all           : namespace_head OPEN_BRACE decls CLOSE_BRACE\r
 448                           {\r
 449                                 codegen.CurrentNameSpace = null;\r
 450                           }\r
 451                         ;\r
 452 \r
 453 namespace_head          : D_NAMESPACE comp_name\r
 454                           {\r
 455                                 codegen.CurrentNameSpace = (string) $2;\r
 456                           }\r
 457                         ;\r
 458 \r
 459 class_all               : class_head OPEN_BRACE class_decls CLOSE_BRACE\r
 460                           {\r
 461                                 codegen.EndTypeDef ();\r
 462                           }\r
 463                         ;\r
 464 \r
 465 class_head              : D_CLASS class_attr id formal_typars_clause extends_clause\r
 466                           impl_clause\r
 467                           {\r
 468                                 codegen.BeginTypeDef ((TypeAttr) $2, (string) $3, \r
 469                                                 $5 as IClassRef, $6 as ArrayList, null);\r
 470                                 \r
 471                                 if (is_value_class)\r
 472                                         codegen.CurrentTypeDef.MakeValueClass ();\r
 473                                 if (is_enum_class)\r
 474                                         codegen.CurrentTypeDef.MakeEnumClass ();\r
 475 \r
 476                                 if ($4 != null) {\r
 477                                         ArrayList typars_list = (ArrayList) $4;\r
 478                                         foreach (string id in typars_list)\r
 479                                                 codegen.CurrentTypeDef.AddGenericParam (id);\r
 480                                 }                                \r
 481                           }\r
 482                         ;\r
 483 \r
 484 class_attrs             : class_attrs class_attr\r
 485                         ;\r
 486 \r
 487 class_attr              : /* EMPTY */                           \r
 488                           { \r
 489                                 // Reset some flags\r
 490                                 is_value_class = false;\r
 491                                 is_enum_class = false;\r
 492                                 $$ = new TypeAttr ();\r
 493                           }\r
 494                         | class_attr K_PUBLIC                   { $$ = (TypeAttr)$1 | TypeAttr.Public; }        \r
 495                         | class_attr K_PRIVATE                  { $$ = (TypeAttr)$1 | TypeAttr.Private; }\r
 496                         | class_attr K_NESTED K_PRIVATE         { $$ = (TypeAttr)$1 | TypeAttr.NestedPrivate; }\r
 497                         | class_attr K_NESTED K_PUBLIC          { $$ = (TypeAttr)$1 | TypeAttr.NestedPublic; }\r
 498                         | class_attr K_NESTED K_FAMILY          { $$ = (TypeAttr)$1 | TypeAttr.NestedFamily; }\r
 499                         | class_attr K_NESTED K_ASSEMBLY        { $$ = (TypeAttr)$1 | TypeAttr.NestedAssembly;}\r
 500                         | class_attr K_NESTED K_FAMANDASSEM     { $$ = (TypeAttr)$1 | TypeAttr.NestedFamAndAssem; }\r
 501                         | class_attr K_NESTED K_FAMORASSEM      { $$ = (TypeAttr)$1 | TypeAttr.NestedFamOrAssem; }\r
 502                         | class_attr K_VALUE                    { is_value_class = true; }\r
 503                         | class_attr K_ENUM                     { is_enum_class = true; is_value_class = true;\r
 504                           }\r
 505                         | class_attr K_INTERFACE                { $$ = (TypeAttr)$1 | TypeAttr.Interface; }\r
 506                         | class_attr K_SEALED                   { $$ = (TypeAttr)$1 | TypeAttr.Sealed; }\r
 507                         | class_attr K_ABSTRACT                 { $$ = (TypeAttr)$1 | TypeAttr.Abstract; }\r
 508                         | class_attr K_AUTO                     {  }\r
 509                         | class_attr K_SEQUENTIAL               { $$ = (TypeAttr)$1 | TypeAttr.SequentialLayout; }\r
 510                         | class_attr K_EXPLICIT                 { $$ = (TypeAttr)$1 | TypeAttr.ExplicitLayout; }\r
 511                         | class_attr K_ANSI                     {  }\r
 512                         | class_attr K_UNICODE                  { $$ = (TypeAttr)$1 | TypeAttr.UnicodeClass; }\r
 513                         | class_attr K_AUTOCHAR                 { $$ = (TypeAttr)$1 | TypeAttr.AutoClass; }\r
 514                         | class_attr K_IMPORT                   { $$ = (TypeAttr)$1 | TypeAttr.Import; }\r
 515                         | class_attr K_SERIALIZABLE             { $$ = (TypeAttr)$1 | TypeAttr.Serializable; }\r
 516                         | class_attr K_BEFOREFIELDINIT          { $$ = (TypeAttr)$1 | TypeAttr.BeforeFieldInit; }\r
 517                         | class_attr K_SPECIALNAME              { $$ = (TypeAttr)$1 | TypeAttr.SpecialName; }\r
 518                         | class_attr K_RTSPECIALNAME            { $$ = (TypeAttr)$1 | TypeAttr.RTSpecialName; }\r
 519                         ;\r
 520 \r
 521 extends_clause          : /* EMPTY */\r
 522                         | K_EXTENDS class_ref\r
 523                           {\r
 524                                 $$ = $2;\r
 525                           }\r
 526                         ;\r
 527 \r
 528 impl_clause             : /* EMPTY */\r
 529                         | K_IMPLEMENTS class_refs\r
 530                           {\r
 531                                 $$ = $2;\r
 532                           }\r
 533                         ;\r
 534 \r
 535 formal_typars_clause           : /* EMPTY */\r
 536                         | OPEN_ANGLE_BRACKET formal_typars CLOSE_ANGLE_BRACKET\r
 537                           {\r
 538                                 $$ = $2;\r
 539                           }\r
 540                         ;\r
 541 \r
 542 typars_clause           : /* EMPTY */\r
 543                         | OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET\r
 544                           {\r
 545                                 $$ = $2;\r
 546                           }\r
 547                         ;\r
 548 \r
 549 typars                  : type\r
 550                           {\r
 551                                 ArrayList typars_list = new ArrayList ();\r
 552                                 typars_list.Add ($1);\r
 553                                 $$ = typars_list;\r
 554                           }\r
 555                         | typars COMMA type\r
 556                           {\r
 557                                 ArrayList typars_list = (ArrayList) $1;\r
 558                                 typars_list.Add ($3);\r
 559                                 $$ = typars_list;\r
 560                           }\r
 561                         ;\r
 562 \r
 563 formal_typars           : formal_typar\r
 564                           {\r
 565                                 ArrayList formal_list = new ArrayList ();\r
 566                                 formal_list.Add ($1);\r
 567                                 $$ = formal_list;\r
 568                           }\r
 569                         | formal_typars COMMA formal_typar\r
 570                           {\r
 571                                 ArrayList formal_list = (ArrayList) $1;\r
 572                                 formal_list.Add ($3);\r
 573                                 $$ = formal_list;\r
 574                           }\r
 575                         ;\r
 576 \r
 577 \r
 578 formal_typar            : id\r
 579                           {\r
 580                                 $$ = $1;\r
 581                           }\r
 582                         ;\r
 583                         \r
 584 class_refs              : class_ref\r
 585                           {\r
 586                                 ArrayList class_list = new ArrayList ();\r
 587                                 class_list.Add ($1);\r
 588                                 $$ = class_list; \r
 589                           }\r
 590                         | class_refs COMMA class_ref\r
 591                           {\r
 592                                 ArrayList class_list = (ArrayList) $1;\r
 593                                 class_list.Add ($3);\r
 594                           }\r
 595                         ;\r
 596 \r
 597 slashed_name            : comp_name\r
 598                         | slashed_name SLASH comp_name\r
 599                           {\r
 600                                 $$ = String.Format ("{0}/{1}", $1, $3);\r
 601                           }\r
 602                         ;\r
 603 \r
 604 class_ref               : OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name\r
 605                           {\r
 606                                 if (codegen.IsThisAssembly ((string) $2)) {\r
 607                                         $$ = new TypeRef ((string) $4, false, null);\r
 608                                 } else {\r
 609                                         $$ = codegen.ExternTable.GetTypeRef ((string) $2, (string) $4, false);\r
 610                                 }\r
 611                           }\r
 612                         | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET slashed_name\r
 613                           {\r
 614                                 if (codegen.IsThisModule ((string) $3)) {\r
 615                                         $$ = new TypeRef ((string) $5, false, null);\r
 616                                 } else {\r
 617                                         $$ = codegen.ExternTable.GetModuleTypeRef ((string) $3, (string) $5, false);\r
 618                                 }\r
 619                           }\r
 620                         | slashed_name\r
 621                           {\r
 622                                 PrimitiveTypeRef prim = PrimitiveTypeRef.GetPrimitiveType ((string) $1);\r
 623 \r
 624                                 if (prim != null)\r
 625                                         $$ = prim;\r
 626                                 else\r
 627                                         $$ = new TypeRef ((string) $1, false, null);\r
 628                           }\r
 629                       \r
 630                         ;\r
 631 \r
 632 class_decls             : /* EMPTY */\r
 633                         | class_decls class_decl\r
 634                         ;\r
 635 \r
 636 class_decl              : method_all\r
 637                         | class_all\r
 638                         | event_all\r
 639                         | prop_all\r
 640                         | field_decl\r
 641                         | data_decl\r
 642                         | sec_decl\r
 643                         | extsource_spec\r
 644                         | customattr_decl\r
 645                           {\r
 646                                 codegen.CurrentTypeDef.AddCustomAttribute ((CustomAttr) $1);\r
 647                           }\r
 648                         | D_SIZE int32\r
 649                           {\r
 650                                 codegen.CurrentTypeDef.SetSize ((int) $2);\r
 651                           }\r
 652                         | D_PACK int32\r
 653                           {\r
 654                                 codegen.CurrentTypeDef.SetPack ((int) $2);\r
 655                           }\r
 656                         | D_OVERRIDE type_spec DOUBLE_COLON method_name K_WITH call_conv type\r
 657                           type_spec DOUBLE_COLON method_name type_list\r
 658                           {\r
 659                                 //\r
 660                                 // My copy of the spec didn't have a type_list but\r
 661                                 // it seems pretty crucial\r
 662                                 //\r
 663                                 ITypeRef owner = (ITypeRef) $2;\r
 664                                 ArrayList arg_list = (ArrayList) $11;\r
 665                                 ITypeRef[] param_list;\r
 666                                 IMethodRef decl;\r
 667 \r
 668                                 if (arg_list != null)\r
 669                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
 670                                 else\r
 671                                         param_list = new ITypeRef[0];\r
 672 \r
 673                                 decl = owner.GetMethodRef ((ITypeRef) $7,\r
 674                                         (CallConv) $6, (string) $4, param_list);\r
 675 \r
 676                                 string sig = MethodDef.CreateSignature ((string) $10,\r
 677                                                                         param_list);\r
 678                                 codegen.CurrentTypeDef.AddOverride (sig, decl);                                        \r
 679                           }\r
 680                           OPEN_PARENS sig_args CLOSE_PARENS\r
 681                         | language_decl\r
 682                         | constraint_decl\r
 683                         ;\r
 684 \r
 685 type                    : K_CLASS class_ref\r
 686                           {\r
 687                                 $$ = $2;\r
 688                           }\r
 689                         | K_OBJECT\r
 690                           {\r
 691                                 $$ = new PrimitiveTypeRef (PrimitiveType.Object, "System.Object");\r
 692                           }\r
 693                         | K_STRING\r
 694                           {\r
 695                                 $$ = new PrimitiveTypeRef (PrimitiveType.String, "System.String");\r
 696                           }\r
 697                         | K_VALUE K_CLASS class_ref\r
 698                           {\r
 699                                 IClassRef class_ref = (IClassRef) $3;\r
 700                                 class_ref.MakeValueClass ();\r
 701                                 $$ = class_ref;\r
 702                           }\r
 703                         | K_VALUETYPE OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name\r
 704                           {\r
 705                                 ExternTypeRef ext_ref = codegen.ExternTable.GetTypeRef ((string) $3, (string) $5, false);\r
 706                                 ExternTypeRefInst inst = new ExternTypeRefInst (ext_ref, true);\r
 707                                 $$ = inst;\r
 708                           }\r
 709                         | K_VALUETYPE slashed_name\r
 710                           {\r
 711                                 TypeRef t_ref = new TypeRef ((string) $2, true, null);\r
 712                                 t_ref.MakeValueClass ();\r
 713                                 $$ = t_ref;\r
 714                           }\r
 715                         | type OPEN_BRACKET CLOSE_BRACKET\r
 716                           {\r
 717                                 ITypeRef base_type = (ITypeRef) $1;\r
 718                                 if (base_type is ExternTypeRef)\r
 719                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 720                                 base_type.MakeArray ();\r
 721                                 $$ = base_type;\r
 722                           }\r
 723                         | type OPEN_BRACKET bounds CLOSE_BRACKET\r
 724                           {\r
 725                                 ITypeRef base_type = (ITypeRef) $1;\r
 726                                 if (base_type is ExternTypeRef)\r
 727                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 728                                 ArrayList bound_list = (ArrayList) $3;\r
 729                                 base_type.MakeBoundArray (bound_list);\r
 730                                 $$ = base_type;\r
 731                           }\r
 732                         | type AMPERSAND\r
 733                           {\r
 734                                 ITypeRef base_type = (ITypeRef) $1;\r
 735                                 if (base_type is ExternTypeRef)\r
 736                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 737                                 base_type.MakeManagedPointer ();\r
 738                                 $$ = base_type;\r
 739                           }\r
 740                         | type STAR\r
 741                           {\r
 742                                 ITypeRef base_type = (ITypeRef) $1;\r
 743                                 if (base_type is ExternTypeRef)\r
 744                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 745                                 base_type.MakeUnmanagedPointer ();\r
 746                                 $$ = base_type;\r
 747                           }\r
 748                         | type K_PINNED\r
 749                           {\r
 750                                 ITypeRef base_type = (ITypeRef) $1;\r
 751                                 if (base_type is ExternTypeRef)\r
 752                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 753                                 base_type.MakePinned ();\r
 754                                 $$ = base_type;\r
 755                           }\r
 756                         | type K_MODREQ OPEN_PARENS class_ref CLOSE_PARENS\r
 757                           {\r
 758                                 ITypeRef base_type = (ITypeRef) $1;\r
 759                                 if (base_type is ExternTypeRef)\r
 760                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 761                                 IClassRef class_ref = (IClassRef) $4;\r
 762                                 base_type.MakeCustomModified (codegen,\r
 763                                         CustomModifier.modopt, class_ref);\r
 764                                 $$ = base_type;\r
 765                           }\r
 766                         | type K_MODOPT OPEN_PARENS class_ref CLOSE_PARENS\r
 767                           {\r
 768                                 ITypeRef base_type = (ITypeRef) $1;\r
 769                                 if (base_type is ExternTypeRef)\r
 770                                         base_type = ((ExternTypeRef) base_type).Clone ();\r
 771                                 IClassRef class_ref = (IClassRef) $4;\r
 772                                 base_type.MakeCustomModified (codegen,\r
 773                                         CustomModifier.modopt, class_ref);\r
 774                                 $$ = base_type;\r
 775                           }\r
 776                         | K_METHOD call_conv type STAR OPEN_PARENS sig_args CLOSE_PARENS\r
 777                           {\r
 778                                 $$ = new MethodPointerTypeRef ((CallConv) $2, (ITypeRef) $3, (ArrayList) $6);\r
 779                           }\r
 780                         | K_TYPEDREF\r
 781                           {\r
 782                                 $$ = new PrimitiveTypeRef (PrimitiveType.TypedRef,\r
 783                                         "System.TypedReference");\r
 784                           }\r
 785                         | K_CHAR\r
 786                           {\r
 787                                 $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");\r
 788                           }\r
 789                         | K_WCHAR\r
 790                           {\r
 791                                 $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");\r
 792                           }\r
 793                         | K_VOID\r
 794                           {\r
 795                                 $$ = new PrimitiveTypeRef (PrimitiveType.Void, "System.Void");\r
 796                           }\r
 797                         | K_BOOL\r
 798                           {\r
 799                                 $$ = new PrimitiveTypeRef (PrimitiveType.Boolean, "System.Bool");\r
 800                           }\r
 801                         | K_INT8\r
 802                           {\r
 803                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int8, "System.Int8");\r
 804                           }\r
 805                         | K_INT16\r
 806                           {\r
 807                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int16, "System.Int16");\r
 808                           }\r
 809                         | K_INT32\r
 810                           {\r
 811                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int32, "System.Int32");\r
 812                           }\r
 813                         | K_INT64\r
 814                           {\r
 815                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int64, "System.Int64");\r
 816                           }\r
 817                         | K_FLOAT32\r
 818                           {\r
 819                                 $$ = new PrimitiveTypeRef (PrimitiveType.Float32, "System.Float32");\r
 820                           }\r
 821                         | K_FLOAT64\r
 822                           {\r
 823                                 $$ = new PrimitiveTypeRef (PrimitiveType.Float64, "System.Float64");\r
 824                           }\r
 825                         | K_UNSIGNED K_INT8\r
 826                           {\r
 827                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt8, "System.UInt8");\r
 828                           }\r
 829                         | K_UNSIGNED K_INT16\r
 830                           {\r
 831                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt16, "System.UInt16");     \r
 832                           }\r
 833                         | K_UNSIGNED K_INT32\r
 834                           {\r
 835                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt32, "System.UInt32");\r
 836                           }\r
 837                         | K_UNSIGNED K_INT64\r
 838                           {\r
 839                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt64, "System.UInt64");\r
 840                           }\r
 841                         | K_NATIVE K_INT\r
 842                           {\r
 843                                 // TODO: Is this the proper full name\r
 844                                 $$ = new PrimitiveTypeRef (PrimitiveType.NativeInt, "System.IntPtr");\r
 845                           }\r
 846                         \r
 847                         | K_NATIVE K_UNSIGNED K_INT\r
 848                           {\r
 849                                 $$ = new PrimitiveTypeRef (PrimitiveType.NativeUInt, "System.UIntPtr");\r
 850                           }\r
 851                         | BANG int32\r
 852                           {\r
 853                                 GenericTypeSpec spec = new GenericTypeSpec ((int) $2);\r
 854                                 $$ = new GenericTypeRef (spec, $2.ToString ());\r
 855                           }\r
 856                         | BANG BANG int32\r
 857                           {\r
 858                                 MVar mvar = new MVar ((int) $3);\r
 859                                 $$ = new GenericTypeRef (mvar, $3.ToString ());\r
 860                           }\r
 861                         | K_CLASS slashed_name OPEN_ANGLE_BRACKET BANG int32 CLOSE_ANGLE_BRACKET\r
 862                           {\r
 863                                 $$ = new TypeRef ((string) $2, false, null);\r
 864                           }\r
 865                         | K_CLASS slashed_name OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET\r
 866                           {\r
 867                                 ArrayList typar_list = (ArrayList) $4;\r
 868                                 ITypeRef[] typar_array = (ITypeRef[]) typar_list.ToArray (typeof (ITypeRef));\r
 869                                 \r
 870                                 $$ = new GenericTypeInst ((string)$2, typar_array);\r
 871                           }\r
 872                         ;\r
 873 \r
 874 bounds                  : bound\r
 875                           {\r
 876                                 ArrayList bound_list = new ArrayList ();\r
 877                                 bound_list.Add ($1);\r
 878                                 $$ = bound_list;\r
 879                           }\r
 880                         | bounds COMMA bound\r
 881                           {\r
 882                                 ArrayList bound_list = (ArrayList) $1;\r
 883                                 bound_list.Add ($3);\r
 884                           }\r
 885                         ;\r
 886 \r
 887 bound                   : /* EMPTY */\r
 888                           {\r
 889                                 // This is shortref for no lowerbound or size\r
 890                                 $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);\r
 891                           }\r
 892                         | ELLIPSIS\r
 893                           {\r
 894                                 // No lower bound or size\r
 895                                 $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);\r
 896                           }\r
 897                         | int32\r
 898                           {\r
 899                                 // ******** Not sure what this is?\r
 900                                 // For now I will say it is size because there\r
 901                                 // is allready a way to set lower\r
 902                                 $$ = new DictionaryEntry (TypeRef.Ellipsis, $1);\r
 903                           }\r
 904                         | int32 ELLIPSIS int32\r
 905                           {\r
 906                                 // lower bound and size\r
 907                                 $$ = new DictionaryEntry ($1, $3);\r
 908                           }\r
 909                         | int32 ELLIPSIS\r
 910                           {\r
 911                                 // Just lower bound\r
 912                                 $$ = new DictionaryEntry ($1, TypeRef.Ellipsis);\r
 913                           }\r
 914                         ;\r
 915 \r
 916 call_conv               : K_INSTANCE call_conv\r
 917                           {\r
 918                                 $$ = (CallConv) $2 | CallConv.Instance;\r
 919                           }\r
 920                         | K_EXPLICIT call_conv\r
 921                           {\r
 922                                 $$ = (CallConv) $2 | CallConv.InstanceExplicit;\r
 923                           }\r
 924                         | call_kind\r
 925                         ;\r
 926 \r
 927 call_kind               : /* EMPTY */\r
 928                           {\r
 929                                 $$ = new CallConv ();\r
 930                           }\r
 931                         | K_DEFAULT\r
 932                           {\r
 933                                 $$ = CallConv.Default;\r
 934                           }\r
 935                         | K_VARARG\r
 936                           {\r
 937                                 $$ = CallConv.Vararg;\r
 938                           }\r
 939                         | K_UNMANAGED K_CDECL\r
 940                           {\r
 941                                 $$ = CallConv.Cdecl;\r
 942                           }\r
 943                         | K_UNMANAGED K_STDCALL\r
 944                           {\r
 945                                 $$ = CallConv.Stdcall;\r
 946                           }\r
 947                         | K_UNMANAGED K_THISCALL\r
 948                           {\r
 949                                 $$ = CallConv.Thiscall;\r
 950                           }\r
 951                         | K_UNMANAGED K_FASTCALL\r
 952                           {\r
 953                                 $$ = CallConv.Fastcall;\r
 954                           }\r
 955                         ;\r
 956 \r
 957 native_type             : /* EMPTY */\r
 958                         | K_CUSTOM OPEN_PARENS comp_qstring COMMA comp_qstring CLOSE_PARENS\r
 959                         | K_FIXED K_SYSSTRING OPEN_BRACKET int32 CLOSE_BRACKET\r
 960                           {\r
 961                                 $$ = NativeType.FixedSysString;\r
 962                           }\r
 963                         | K_FIXED K_ARRAY OPEN_BRACKET int32 CLOSE_BRACKET\r
 964                         | K_VARIANT\r
 965                         | K_CURRENCY\r
 966                           {\r
 967                                 $$ = NativeType.Currency;\r
 968                           }\r
 969                         | K_SYSCHAR\r
 970                         | K_VOID\r
 971                           {\r
 972                                 $$ = NativeType.Void;\r
 973                           }\r
 974                         | K_BOOL\r
 975                           {\r
 976                                 $$ = NativeType.Boolean;\r
 977                           }\r
 978                         | K_INT8\r
 979                           {\r
 980                                 $$ = NativeType.Int8;\r
 981                           }\r
 982                         | K_INT16\r
 983                           {\r
 984                                 $$ = NativeType.Int16;\r
 985                           }\r
 986                         | K_INT32\r
 987                           {\r
 988                                 $$ = NativeType.Int32;\r
 989                           }\r
 990                         | K_INT64\r
 991                           {\r
 992                                 $$ = NativeType.Int64;\r
 993                           }\r
 994                         | K_FLOAT32\r
 995                           {\r
 996                                 $$ = NativeType.Float32;\r
 997                           }\r
 998                         | K_FLOAT64\r
 999                           {\r
1000                                 $$ = NativeType.Float64;\r
1001                           }\r
1002                         | K_ERROR\r
1003                         | K_UNSIGNED K_INT8\r
1004                           {\r
1005                                 $$ = NativeType.UInt8;\r
1006                           }\r
1007                         | K_UNSIGNED K_INT16\r
1008                           {\r
1009                                 $$ = NativeType.UInt16;\r
1010                           }\r
1011                         | K_UNSIGNED K_INT32\r
1012                           {\r
1013                                 $$ = NativeType.UInt32;\r
1014                           }\r
1015                         | K_UNSIGNED K_INT64\r
1016                           {\r
1017                                 $$ = NativeType.UInt64;\r
1018                           }\r
1019                         | native_type STAR\r
1020                         | native_type OPEN_BRACKET CLOSE_BRACKET\r
1021                         | native_type OPEN_BRACKET int32 CLOSE_BRACKET\r
1022                         | native_type OPEN_BRACKET int32 PLUS int32 CLOSE_BRACKET\r
1023                         | native_type OPEN_BRACKET PLUS int32 CLOSE_BRACKET\r
1024                         | K_DECIMAL\r
1025                         | K_DATE\r
1026                         | K_BSTR\r
1027                           {\r
1028                                 $$ = NativeType.BStr;\r
1029                           }\r
1030                         | K_LPSTR\r
1031                           {\r
1032                                 $$ = NativeType.LPStr;\r
1033                           }\r
1034                         | K_LPWSTR\r
1035                           {\r
1036                                 $$ = NativeType.LPWStr;\r
1037                           }\r
1038                         | K_LPTSTR\r
1039                           {\r
1040                                 $$ = NativeType.LPTStr;\r
1041                           }\r
1042                         | K_OBJECTREF\r
1043                         | K_IUNKNOWN\r
1044                           {\r
1045                                 $$ = NativeType.IUnknown;\r
1046                           }\r
1047                         | K_IDISPATCH\r
1048                           {\r
1049                                 $$ = NativeType.IDispatch;\r
1050                           }\r
1051                         | K_STRUCT\r
1052                           {\r
1053                                 $$ = NativeType.Struct;\r
1054                           }\r
1055                         | K_INTERFACE\r
1056                           {\r
1057                                 $$ = NativeType.Interface;\r
1058                           }\r
1059                         | K_SAFEARRAY variant_type\r
1060                         | K_SAFEARRAY variant_type COMMA comp_qstring\r
1061                         | K_INT\r
1062                           {\r
1063                                 $$ = NativeType.Int;\r
1064                           }\r
1065                         | K_UNSIGNED K_INT\r
1066                           {\r
1067                                 $$ = NativeType.UInt;\r
1068                           }\r
1069                         | K_NESTED K_STRUCT\r
1070                         | K_BYVALSTR\r
1071                           {\r
1072                                 $$ = NativeType.ByValStr;\r
1073                           }\r
1074                         | K_ANSI K_BSTR\r
1075                           {\r
1076                                 $$ = NativeType.AnsiBStr;\r
1077                           }\r
1078                         | K_TBSTR\r
1079                           {\r
1080                                 $$ = NativeType.TBstr;\r
1081                           }\r
1082                         | K_VARIANT K_BOOL\r
1083                           {\r
1084                                 $$ = NativeType.VariantBool;\r
1085                           }\r
1086                         | K_METHOD\r
1087                         | K_AS K_ANY\r
1088                           {\r
1089                                 $$ = NativeType.AsAny;\r
1090                           }\r
1091                         | K_LPSTRUCT\r
1092                         ;\r
1093 \r
1094 variant_type            : /* EMPTY */\r
1095                         | K_NULL\r
1096                         | K_VARIANT\r
1097                         | K_CURRENCY\r
1098                         | K_VOID\r
1099                         | K_BOOL\r
1100                         | K_INT8\r
1101                         | K_INT16\r
1102                         | K_INT32\r
1103                         | K_INT64\r
1104                         | K_FLOAT32\r
1105                         | K_FLOAT64\r
1106                         | K_UNSIGNED K_INT8\r
1107                         | K_UNSIGNED K_INT16\r
1108                         | K_UNSIGNED K_INT32\r
1109                         | K_UNSIGNED K_INT64\r
1110                         | STAR\r
1111                         | variant_type OPEN_BRACKET CLOSE_BRACKET\r
1112                         | variant_type K_VECTOR\r
1113                         | variant_type AMPERSAND\r
1114                         | K_DECIMAL\r
1115                         | K_DATE\r
1116                         | K_BSTR\r
1117                         | K_LPSTR\r
1118                         | K_LPWSTR\r
1119                         | K_IUNKNOWN\r
1120                         | K_IDISPATCH\r
1121                         | K_SAFEARRAY\r
1122                         | K_INT\r
1123                         | K_UNSIGNED K_INT\r
1124                         | K_ERROR\r
1125                         | K_HRESULT\r
1126                         | K_CARRAY\r
1127                         | K_USERDEFINED\r
1128                         | K_RECORD\r
1129                         | K_FILETIME\r
1130                         | K_BLOB\r
1131                         | K_STREAM\r
1132                         | K_STORAGE\r
1133                         | K_STREAMED_OBJECT\r
1134                         | K_STORED_OBJECT\r
1135                         | K_BLOB_OBJECT\r
1136                         | K_CF\r
1137                         | K_CLSID\r
1138                         ;\r
1139 \r
1140 field_decl              : D_FIELD repeat_opt field_attr type id at_opt init_opt\r
1141                           {\r
1142                                 FieldDef field_def = new FieldDef((FieldAttr) $3, \r
1143                                         (string) $5, (ITypeRef) $4);\r
1144                                 codegen.AddFieldDef (field_def);\r
1145                                 \r
1146                                 if ($2 != null) {\r
1147                                         field_def.SetOffset ((uint) $2);\r
1148                                 }\r
1149 \r
1150                                 if ($6 != null) {\r
1151                                         field_def.AddDataValue ((string) $6);\r
1152                                 }\r
1153 \r
1154                                 if ($7 != null) {\r
1155                                         field_def.SetValue ((Constant) $7);\r
1156                                 }\r
1157                           }\r
1158                         ;\r
1159 \r
1160 repeat_opt              : /* EMPTY */\r
1161                         | OPEN_BRACKET int32 CLOSE_BRACKET\r
1162                           {\r
1163                                 $$ = $2;\r
1164                           }\r
1165                         ;\r
1166 \r
1167 field_attr              : /* EMPTY */\r
1168                           {\r
1169                                 $$ = new FieldAttr ();\r
1170                           }\r
1171                         | field_attr K_PUBLIC\r
1172                           {\r
1173                                 $$ = (FieldAttr) $1 | FieldAttr.Public;\r
1174                           }\r
1175                         | field_attr K_PRIVATE\r
1176                           {\r
1177                                 $$ = (FieldAttr) $1 | FieldAttr.Private;\r
1178                           }\r
1179                         | field_attr K_FAMILY\r
1180                           {\r
1181                                 $$ = (FieldAttr) $1 | FieldAttr.Family;\r
1182                           }\r
1183                         | field_attr K_ASSEMBLY\r
1184                           {\r
1185                                 $$ = (FieldAttr) $1 | FieldAttr.Assembly;\r
1186                           }\r
1187                         | field_attr K_FAMANDASSEM\r
1188                           {\r
1189                                 $$ = (FieldAttr) $1 | FieldAttr.FamAndAssem;\r
1190                           }\r
1191                         | field_attr K_FAMORASSEM\r
1192                           {\r
1193                                 $$ = (FieldAttr) $1 | FieldAttr.FamOrAssem;\r
1194                           }\r
1195                         | field_attr K_PRIVATESCOPE\r
1196                           {\r
1197                                 // This is just 0x0000\r
1198                           }\r
1199                         | field_attr K_STATIC\r
1200                           {\r
1201                                 $$ = (FieldAttr) $1 | FieldAttr.Static;\r
1202                           }\r
1203                         | field_attr K_INITONLY\r
1204                           {\r
1205                                 $$ = (FieldAttr) $1 | FieldAttr.Initonly;\r
1206                           }\r
1207                         | field_attr K_RTSPECIALNAME\r
1208                           {\r
1209                                 $$ = (FieldAttr) $1 | FieldAttr.RTSpecialName;\r
1210                           }\r
1211                         | field_attr K_SPECIALNAME\r
1212                           {\r
1213                                 $$ = (FieldAttr) $1 | FieldAttr.SpecialName;\r
1214                           }\r
1215                         | field_attr K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS\r
1216                           {\r
1217                                 \r
1218                           }\r
1219                         | field_attr K_LITERAL\r
1220                           {\r
1221                                 $$ = (FieldAttr) $1 | FieldAttr.Literal;\r
1222                           }\r
1223                         | field_attr K_NOTSERIALIZED\r
1224                           {\r
1225                                 $$ = (FieldAttr) $1 | FieldAttr.Notserialized;\r
1226                           }\r
1227                         ;\r
1228 \r
1229 at_opt                  : /* EMPTY */\r
1230                         | K_AT id\r
1231                           {\r
1232                                 $$ = $2;\r
1233                           }\r
1234                         ;\r
1235 \r
1236 init_opt                : /* EMPTY */\r
1237                         | ASSIGN field_init\r
1238                           {\r
1239                                 $$ = $2;\r
1240                           }\r
1241                         ;\r
1242 \r
1243 field_init              : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS\r
1244                           {\r
1245                                 $$ = new FloatConst (Convert.ToSingle ($3));\r
1246                           }\r
1247                         | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS\r
1248                           {\r
1249                                 $$ = new DoubleConst (Convert.ToDouble ($3));\r
1250                           }\r
1251                         | K_FLOAT32 OPEN_PARENS int64 CLOSE_PARENS\r
1252                           {\r
1253                                 $$ = new FloatConst (Convert.ToSingle ($3));\r
1254                           }\r
1255                         | K_FLOAT64 OPEN_PARENS int64 CLOSE_PARENS\r
1256                           {\r
1257                                 $$ = new DoubleConst (Convert.ToDouble ($3));\r
1258                           }\r
1259                         | K_INT64 OPEN_PARENS int64 CLOSE_PARENS\r
1260                           {\r
1261                                 $$ = new IntConst (Convert.ToInt64 ($3));\r
1262                           }\r
1263                         | K_INT32 OPEN_PARENS int64 CLOSE_PARENS\r
1264                           {\r
1265                                 $$ = new IntConst (Convert.ToInt32 ($3));\r
1266                           }\r
1267                         | K_INT16 OPEN_PARENS int64 CLOSE_PARENS\r
1268                           {\r
1269                                 $$ = new IntConst (Convert.ToInt16 ($3));\r
1270                           }\r
1271                         | K_CHAR OPEN_PARENS int64 CLOSE_PARENS\r
1272                           {\r
1273                                 $$ = new CharConst (Convert.ToChar ($3));\r
1274                           }\r
1275                         | K_WCHAR OPEN_PARENS int64 CLOSE_PARENS\r
1276                           {\r
1277                                 $$ = new CharConst (Convert.ToChar ($3));\r
1278                           }\r
1279                         | K_INT8 OPEN_PARENS int64 CLOSE_PARENS\r
1280                           {\r
1281                                 $$ = new IntConst (Convert.ToByte ($3));\r
1282                           }\r
1283                         | K_BOOL OPEN_PARENS truefalse CLOSE_PARENS\r
1284                           {\r
1285                                 $$ = new BoolConst ((bool) $3);\r
1286                           }\r
1287                         | K_BYTEARRAY bytes_list\r
1288                           {\r
1289                                 $$ = new ByteArrConst ((byte[]) $2);\r
1290                           }\r
1291                         | comp_qstring\r
1292                           {\r
1293                                 // ******** THIS IS NOT IN THE DOCUMENTATION ******** //\r
1294                                 $$ = new StringConst ((string) $1);\r
1295                           }\r
1296                         | K_NULLREF\r
1297                           {\r
1298                                 $$ = new NullConst ();\r
1299                           }\r
1300                         ;\r
1301 \r
1302 data_decl               : data_head data_body\r
1303                           {\r
1304                                 DataDef datadef = (DataDef) $1;\r
1305                                 \r
1306                                 if ($2 is ArrayList) {\r
1307                                         ArrayList const_list = (ArrayList) $2;\r
1308                                         DataConstant[] const_arr = new DataConstant[const_list.Count];\r
1309                                         \r
1310                                         for (int i=0; i<const_arr.Length; i++)\r
1311                                                 const_arr[i] = (DataConstant) const_list[i];\r
1312 \r
1313                                         datadef.PeapiConstant = new ArrayConstant (const_arr);\r
1314                                 } else {\r
1315                                         datadef.PeapiConstant = (PEAPI.Constant) $2;\r
1316                                 }\r
1317                                 codegen.AddDataDef (datadef);\r
1318                           }\r
1319                         ;\r
1320 \r
1321 data_head               : D_DATA tls id ASSIGN\r
1322                           {\r
1323                                 $$ = new DataDef ((string) $3, (bool) $2);    \r
1324                           } \r
1325                         | D_DATA tls\r
1326                           {\r
1327                                 $$ = new DataDef (String.Empty, (bool) $2);\r
1328                           }\r
1329                         ;\r
1330 \r
1331 tls                     : /* EMPTY */   { $$ = false; }\r
1332                         | K_TLS         { $$ = true; }\r
1333                         ;\r
1334 \r
1335 data_body               : OPEN_BRACE dataitem_list CLOSE_BRACE\r
1336                         | dataitem\r
1337                         ;\r
1338 \r
1339 dataitem_list           : dataitem\r
1340                           {\r
1341                                 ArrayList dataitem_list = new ArrayList ();\r
1342                                 dataitem_list.Add ($1);\r
1343                                 $$ = dataitem_list;\r
1344                           }\r
1345                         | dataitem_list COMMA dataitem\r
1346                           {\r
1347                                 ArrayList list = (ArrayList) $1;\r
1348                                 list.Add ($3);\r
1349                           }\r
1350                         ;\r
1351 \r
1352 dataitem                : K_CHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS\r
1353                           {\r
1354                                 $$ = new StringConst ((string) $4);\r
1355                           }\r
1356                         | K_WCHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS\r
1357                           {\r
1358                                 $$ = new StringConst ((string) $4);\r
1359                           }\r
1360                         | AMPERSAND OPEN_PARENS id CLOSE_PARENS\r
1361                           {\r
1362                            //     DataDef def = codegen.CurrentTypeDef.GetDataDef ((string) $3);\r
1363                            //     $$ = new AddressConstant ((DataConstant) def.PeapiConstant);\r
1364                           }\r
1365                         | K_BYTEARRAY ASSIGN bytes_list\r
1366                           {\r
1367                                 $$ = new ByteArrConst ((byte[]) $3);\r
1368                           }\r
1369                         | K_BYTEARRAY bytes_list\r
1370                           {\r
1371                                 // ******** THIS IS NOT IN THE SPECIFICATION ******** //\r
1372                                 $$ = new ByteArrConst ((byte[]) $2);\r
1373                           }\r
1374                         | K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS repeat_opt\r
1375                           {\r
1376                                 double d = (double) $3;\r
1377                                 FloatConst float_const = new FloatConst ((float) d);\r
1378 \r
1379                                 if ($5 != null)\r
1380                                         $$ = new RepeatedConstant (float_const, (int) $5);\r
1381                                 else\r
1382                                         $$ = float_const;\r
1383                           }\r
1384                         | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS repeat_opt\r
1385                           {\r
1386                                 DoubleConst double_const = new DoubleConst ((double) $3);\r
1387 \r
1388                                 if ($5 != null)\r
1389                                         $$ = new RepeatedConstant (double_const, (int) $5);\r
1390                                 else\r
1391                                         $$ = double_const;\r
1392                           }\r
1393                         | K_INT64 OPEN_PARENS int64 CLOSE_PARENS repeat_opt\r
1394                           {\r
1395                                 IntConst int_const = new IntConst ((long) $3);\r
1396 \r
1397                                 if ($5 != null)\r
1398                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1399                                 else\r
1400                                         $$ = int_const;\r
1401                           }\r
1402                         | K_INT32 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
1403                           {\r
1404                                 IntConst int_const = new IntConst ((int) $3);\r
1405 \r
1406                                 if ($5 != null)\r
1407                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1408                                 else\r
1409                                         $$ = int_const;\r
1410                           }\r
1411                         | K_INT16 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
1412                           {\r
1413                                 int i = (int) $3;\r
1414                                 IntConst int_const = new IntConst ((short) i);\r
1415 \r
1416                                 if ($5 != null)\r
1417                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1418                                 else\r
1419                                         $$ = int_const;\r
1420                           }\r
1421                         | K_INT8 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
1422                           {\r
1423                                 int i = (int) $3;\r
1424                                 IntConst int_const = new IntConst ((sbyte) i);\r
1425 \r
1426                                 if ($5 != null)\r
1427                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1428                                 else\r
1429                                         $$ = int_const;\r
1430                           }\r
1431                         | K_FLOAT32 repeat_opt\r
1432                           {\r
1433                                 FloatConst float_const = new FloatConst (0F);\r
1434 \r
1435                                 if ($2 != null)\r
1436                                         $$ = new RepeatedConstant (float_const, (int) $2);\r
1437                                 else\r
1438                                         $$ = float_const;\r
1439                           }\r
1440                         | K_FLOAT64 repeat_opt\r
1441                           {\r
1442                                 DoubleConst double_const = new DoubleConst (0);\r
1443 \r
1444                                 if ($2 != null)\r
1445                                         $$ = new RepeatedConstant (double_const, (int) $2);\r
1446                                 else\r
1447                                         $$ = double_const;\r
1448                           }\r
1449                         | K_INT64 repeat_opt\r
1450                           {\r
1451                                 IntConst int_const = new IntConst ((long) 0);\r
1452 \r
1453                                 if ($2 != null)\r
1454                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1455                                 else\r
1456                                         $$ = int_const;\r
1457                           }\r
1458                         | K_INT32 repeat_opt\r
1459                           {\r
1460                                 IntConst int_const = new IntConst ((int) 0);\r
1461 \r
1462                                 if ($2 != null)\r
1463                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1464                                 else\r
1465                                         $$ = int_const;\r
1466                           }\r
1467                         | K_INT16 repeat_opt\r
1468                           {\r
1469                                 IntConst int_const = new IntConst ((short) 0);\r
1470 \r
1471                                 if ($2 != null)\r
1472                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1473                                 else\r
1474                                         $$ = int_const;\r
1475                           }\r
1476                         | K_INT8 repeat_opt\r
1477                           {\r
1478                                 IntConst int_const = new IntConst ((sbyte) 0);\r
1479 \r
1480                                 if ($2 != null)\r
1481                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1482                                 else\r
1483                                         $$ = int_const;\r
1484                           }\r
1485                         ;\r
1486 \r
1487 method_all              : method_head OPEN_BRACE method_decls CLOSE_BRACE\r
1488                           {\r
1489                                 codegen.EndMethodDef ();\r
1490                           }\r
1491                         ;\r
1492 \r
1493 method_head             : D_METHOD meth_attr call_conv param_attr type method_name\r
1494                           formal_typars_clause OPEN_PARENS sig_args CLOSE_PARENS impl_attr\r
1495                           {\r
1496                                 MethodDef methdef = new MethodDef ((MethAttr) $2, (CallConv) $3,\r
1497                                         (ImplAttr) $11, (string) $6, (ITypeRef) $5,\r
1498                                         (ArrayList) $9);\r
1499                                 codegen.BeginMethodDef (methdef);\r
1500 \r
1501                                 if (pinvoke_info) {\r
1502                                         ExternModule mod = codegen.ExternTable.AddModule (pinvoke_mod);\r
1503                                         methdef.AddPInvokeInfo (pinvoke_attr, mod, pinvoke_meth);\r
1504                                         pinvoke_info = false;\r
1505                                 }\r
1506 \r
1507                                 if ($7 != null) {\r
1508                                         ArrayList typars_list = (ArrayList) $7;\r
1509                                         foreach (string id in typars_list)\r
1510                                                 methdef.AddGenericParam (id);\r
1511                                 }\r
1512                           }\r
1513                         | D_METHOD meth_attr call_conv param_attr type \r
1514                           K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS method_name\r
1515                           OPEN_PARENS sig_args CLOSE_PARENS impl_attr\r
1516                         ;\r
1517 \r
1518 meth_attr               : /* EMPTY */                   { $$ = new MethAttr (); }\r
1519                         | meth_attr K_STATIC            { $$ = (MethAttr) $1 | MethAttr.Static; }\r
1520                         | meth_attr K_PUBLIC            { $$ = (MethAttr) $1 | MethAttr.Public; }\r
1521                         | meth_attr K_PRIVATE           { $$ = (MethAttr) $1 | MethAttr.Private; }\r
1522                         | meth_attr K_FAMILY            { $$ = (MethAttr) $1 | MethAttr.Family; }\r
1523                         | meth_attr K_ASSEMBLY          { $$ = (MethAttr) $1 | MethAttr.Assembly; }\r
1524                         | meth_attr K_FAMANDASSEM       { $$ = (MethAttr) $1 | MethAttr.FamAndAssem; } \r
1525                         | meth_attr K_FAMORASSEM        { $$ = (MethAttr) $1 | MethAttr.FamOrAssem; } \r
1526                         | meth_attr K_PRIVATESCOPE      { /* CHECK HEADERS */ }\r
1527                         | meth_attr K_FINAL             { $$ = (MethAttr) $1 | MethAttr.Final; } \r
1528                         | meth_attr K_VIRTUAL           { $$ = (MethAttr) $1 | MethAttr.Virtual; }\r
1529                         | meth_attr K_ABSTRACT          { $$ = (MethAttr) $1 | MethAttr.Abstract; }\r
1530                         | meth_attr K_HIDEBYSIG         { $$ = (MethAttr) $1 | MethAttr.HideBySig; }\r
1531                         | meth_attr K_NEWSLOT           { $$ = (MethAttr) $1 | MethAttr.NewSlot; }\r
1532                         | meth_attr K_REQSECOBJ         { $$ = (MethAttr) $1 | MethAttr.RequireSecObject; }\r
1533                         | meth_attr K_SPECIALNAME       { $$ = (MethAttr) $1 | MethAttr.SpecialName; }\r
1534                         | meth_attr K_RTSPECIALNAME     { $$ = (MethAttr) $1 | MethAttr.RTSpecialName; }\r
1535                         | meth_attr K_COMPILERCONTROLLED { /* Do nothing */ }\r
1536                         | meth_attr K_UNMANAGEDEXP      \r
1537                         | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring K_AS\r
1538                                 comp_qstring pinv_attr CLOSE_PARENS\r
1539                           {\r
1540                                 pinvoke_info = true;\r
1541                                 pinvoke_mod = (string) $4;\r
1542                                 pinvoke_meth = (string) $6;\r
1543                                 pinvoke_attr = (PInvokeAttr) $7;\r
1544                           }\r
1545                         | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring pinv_attr CLOSE_PARENS\r
1546                           {\r
1547                                 pinvoke_info = true;\r
1548                                 pinvoke_mod = (string) $4;\r
1549                                 pinvoke_meth = null;\r
1550                                 pinvoke_attr = (PInvokeAttr) $5;\r
1551                           }\r
1552                         | meth_attr K_PINVOKEIMPL OPEN_PARENS pinv_attr CLOSE_PARENS\r
1553                           {\r
1554                                 pinvoke_info = true;\r
1555                                 pinvoke_mod = null;\r
1556                                 pinvoke_meth = null;\r
1557                                 pinvoke_attr = (PInvokeAttr) $4;\r
1558                           }\r
1559                         ;\r
1560 \r
1561 pinv_attr               : /* EMPTY */ { $$ = new PInvokeAttr (); }\r
1562                         | pinv_attr K_NOMANGLE { $$ = (PInvokeAttr) $1 | PInvokeAttr.nomangle; }\r
1563                         | pinv_attr K_ANSI { $$ = (PInvokeAttr) $1 | PInvokeAttr.ansi; }\r
1564                         | pinv_attr K_UNICODE { $$ = (PInvokeAttr) $1 | PInvokeAttr.unicode; }\r
1565                         | pinv_attr K_AUTOCHAR { $$ = (PInvokeAttr) $1 | PInvokeAttr.autochar; }\r
1566                         | pinv_attr K_LASTERR { $$ = (PInvokeAttr) $1 | PInvokeAttr.lasterr; }\r
1567                         | pinv_attr K_WINAPI { $$ = (PInvokeAttr) $1 | PInvokeAttr.winapi; }\r
1568                         | pinv_attr K_CDECL { $$ = (PInvokeAttr) $1 | PInvokeAttr.cdecl; }\r
1569                         | pinv_attr K_STDCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.stdcall; }\r
1570                         | pinv_attr K_THISCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.thiscall; }\r
1571                         | pinv_attr K_FASTCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.fastcall; }\r
1572                         ;\r
1573 \r
1574 method_name             : D_CTOR\r
1575                         | D_CCTOR\r
1576                         | comp_name\r
1577                         ;\r
1578 \r
1579 param_attr              : /* EMPTY */                                   { $$ = new ParamAttr (); }\r
1580                         | param_attr OPEN_BRACKET K_IN CLOSE_BRACKET    { $$ = (ParamAttr) $1 | ParamAttr.In; }\r
1581                         | param_attr OPEN_BRACKET K_OUT CLOSE_BRACKET   { $$ = (ParamAttr) $1 | ParamAttr.Out; }\r
1582                         | param_attr OPEN_BRACKET K_OPT CLOSE_BRACKET   { $$ = (ParamAttr) $1 | ParamAttr.Opt; }\r
1583                         ;\r
1584 \r
1585 impl_attr               : /* EMPTY */                   { $$ = new ImplAttr (); }\r
1586                         | impl_attr K_NATIVE            { $$ = (ImplAttr) $1 | ImplAttr.Native; }\r
1587                         | impl_attr K_CIL               { $$ = (ImplAttr) $1 | ImplAttr.IL; }\r
1588                         | impl_attr K_IL                { $$ = (ImplAttr) $1 | ImplAttr.IL; }\r
1589                         | impl_attr K_OPTIL             { $$ = (ImplAttr) $1 | ImplAttr.Optil; }\r
1590                         | impl_attr K_MANAGED           { /* should this reset? */ }\r
1591                         | impl_attr K_UNMANAGED         { $$ = (ImplAttr) $1 | ImplAttr.Unmanaged; }\r
1592                         | impl_attr K_FORWARDREF        { $$ = (ImplAttr) $1 | ImplAttr.ForwardRef; }\r
1593                         | impl_attr K_PRESERVESIG       { $$ = (ImplAttr) $1 | ImplAttr.PreserveSig; }\r
1594                         | impl_attr K_RUNTIME           { $$ = (ImplAttr) $1 | ImplAttr.Runtime; }\r
1595                         | impl_attr K_INTERNALCALL      { $$ = (ImplAttr) $1 | ImplAttr.InternalCall; }\r
1596                         | impl_attr K_SYNCHRONIZED      { $$ = (ImplAttr) $1 | ImplAttr.Synchronised; }\r
1597                         | impl_attr K_NOINLINING        { $$ = (ImplAttr) $1 | ImplAttr.NoInLining; }\r
1598                         ;\r
1599 \r
1600 sig_args                : /* EMPTY */\r
1601                         | sig_arg_list\r
1602                         ;\r
1603 \r
1604 sig_arg_list            : sig_arg\r
1605                           {\r
1606                                 ArrayList sig_list = new ArrayList ();\r
1607                                 sig_list.Add ($1);\r
1608                                 $$ = sig_list;\r
1609                           }\r
1610                         | sig_arg_list COMMA sig_arg\r
1611                           {\r
1612                                 ArrayList sig_list = (ArrayList) $1;\r
1613                                 sig_list.Add ($3);\r
1614                                 $$ = sig_list;\r
1615                           }\r
1616                         ;\r
1617 \r
1618 sig_arg                 : param_attr type\r
1619                           {\r
1620                                 $$ = new ParamDef ((ParamAttr) $1, null, (ITypeRef) $2);\r
1621                           }\r
1622                         | param_attr type id\r
1623                           {\r
1624                                 $$ = new ParamDef ((ParamAttr) $1, (string) $3, (ITypeRef) $2);\r
1625                           }\r
1626                         | ELLIPSIS\r
1627                           {\r
1628                                 $$ = new ParamDef ((ParamAttr) 0, "...", new SentinelTypeRef ());\r
1629                                 // $$ = ParamDef.Ellipsis;\r
1630                           }\r
1631                         | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS\r
1632                         | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS id\r
1633                         ;\r
1634 \r
1635 type_list               : /* EMPTY */\r
1636                           {\r
1637                                 $$ = new ArrayList (0);\r
1638                           }\r
1639                         | ELLIPSIS\r
1640                           {\r
1641                                 ArrayList type_list = new ArrayList ();\r
1642                                 // type_list.Add (TypeRef.Ellipsis);\r
1643                                 type_list.Add (new SentinelTypeRef ());\r
1644                                 $$ = type_list;\r
1645                           }\r
1646                         | type_list COMMA ELLIPSIS\r
1647                           {\r
1648                                 ArrayList type_list = (ArrayList) $1;\r
1649                                 // type_list.Add (TypeRef.Ellipsis);\r
1650                                 type_list.Add (new SentinelTypeRef ());\r
1651                                 $$ = type_list;\r
1652                           }\r
1653                         | param_attr type opt_id\r
1654                           {\r
1655                                 ArrayList type_list = new ArrayList ();\r
1656                                 type_list.Add ($2);\r
1657                                 $$ = type_list;\r
1658                           }\r
1659                         | type_list COMMA param_attr type opt_id\r
1660                           {\r
1661                                 ArrayList type_list = (ArrayList) $1;\r
1662                                 type_list.Add ($4);\r
1663                           }\r
1664                         ;\r
1665 \r
1666 opt_id                  : /* EMPTY */\r
1667                         | id\r
1668                         ;\r
1669 \r
1670 method_decls            : /* EMPTY */\r
1671                         | method_decls method_decl\r
1672                         ;\r
1673 \r
1674 method_decl             : D_EMITBYTE int32\r
1675                         | D_MAXSTACK int32\r
1676                           {\r
1677                                 codegen.CurrentMethodDef.SetMaxStack ((int) $2);\r
1678                           }\r
1679                         | D_LOCALS OPEN_PARENS local_list CLOSE_PARENS\r
1680                           {\r
1681                                 if ($3 != null) {\r
1682                                         codegen.CurrentMethodDef.AddLocals (\r
1683                                                 (ArrayList) $3);\r
1684                                 }\r
1685                           }\r
1686                         | D_LOCALS K_INIT OPEN_PARENS local_list CLOSE_PARENS\r
1687                           {\r
1688                                 if ($4 != null) {\r
1689                                         codegen.CurrentMethodDef.AddLocals (\r
1690                                                 (ArrayList) $4);\r
1691                                         codegen.CurrentMethodDef.InitLocals ();\r
1692                                 }\r
1693                           }\r
1694                         | D_ENTRYPOINT\r
1695                           {\r
1696                                 codegen.CurrentMethodDef.EntryPoint ();\r
1697                           }\r
1698                         | D_ZEROINIT\r
1699                           {\r
1700                                 codegen.CurrentMethodDef.ZeroInit ();\r
1701                           }\r
1702                         | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET\r
1703                         | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET K_AS id\r
1704                         | D_VTENTRY int32 COLON int32 \r
1705                         | D_OVERRIDE type_spec DOUBLE_COLON method_name\r
1706                           {\r
1707                                 codegen.CurrentTypeDef.AddOverride (codegen.CurrentMethodDef,\r
1708                                         (ITypeRef) $2, (string) $4);\r
1709                                 \r
1710                           }\r
1711                         | scope_block\r
1712                         | D_PARAM OPEN_BRACKET int32 CLOSE_BRACKET init_opt\r
1713                         | id COLON\r
1714                           {\r
1715                                 codegen.CurrentMethodDef.AddLabel ((string) $1);\r
1716                           }\r
1717                         | seh_block\r
1718                         | instr\r
1719                         | sec_decl\r
1720                         | extsource_spec\r
1721                         | language_decl\r
1722                         | customattr_decl\r
1723                           {\r
1724                                 codegen.CurrentMethodDef.AddCustomAttr ((CustomAttr) $1);\r
1725                           }\r
1726                         | data_decl\r
1727                         ;\r
1728 \r
1729 local_list              : /* EMPTY */\r
1730                         | local\r
1731                           {\r
1732                                 ArrayList local_list = new ArrayList ();\r
1733                                 local_list.Add ($1);\r
1734                                 $$ = local_list;\r
1735                           }\r
1736                         | local_list COMMA local\r
1737                           {\r
1738                                 ArrayList local_list = (ArrayList) $1;\r
1739                                 local_list.Add ($3);\r
1740                           }\r
1741                         ;\r
1742 \r
1743 local                   : type\r
1744                           {\r
1745                                 $$ = new Local (-1, (ITypeRef) $1);\r
1746                           }\r
1747                         | type id\r
1748                           {\r
1749                                 $$ = new Local (-1, (string) $2, (ITypeRef) $1);\r
1750                           }\r
1751                         | slot_num type\r
1752                           {\r
1753                                 $$ = new Local ((int) $1, (ITypeRef) $2);\r
1754                           }\r
1755                         | slot_num type id\r
1756                           {\r
1757                                 $$ = new Local ((int) $1, (string) $3, (ITypeRef) $2);\r
1758                           }\r
1759                         ;\r
1760 \r
1761 slot_num                : OPEN_BRACKET int32 CLOSE_BRACKET\r
1762                           {\r
1763                                 $$ = $2;\r
1764                           }\r
1765                         ;\r
1766 \r
1767 type_spec               : class_ref\r
1768                         | OPEN_BRACKET slashed_name CLOSE_BRACKET\r
1769                           {\r
1770                                 // This is a reference to a global method in another\r
1771                                 // assembly. This is not supported in the MS version of ilasm\r
1772                           }\r
1773                         | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET\r
1774                           {\r
1775                                 string module = (string) $3;\r
1776 \r
1777                                 if (codegen.IsThisModule (module)) {\r
1778                                     // This is not handled yet.\r
1779                                 } else {\r
1780                                     $$ = codegen.ExternTable.GetModuleTypeRef ((string) $3, "<Module>", false);\r
1781                                 }\r
1782 \r
1783                           }\r
1784                         | type\r
1785                         ;\r
1786 \r
1787 scope_block             : scope_block_begin method_decls CLOSE_BRACE\r
1788                           {\r
1789                                 $$ = new HandlerBlock ((LabelInfo) $1,\r
1790                                         codegen.CurrentMethodDef.AddLabel ());\r
1791                           }\r
1792                         ;\r
1793 \r
1794 scope_block_begin       : OPEN_BRACE\r
1795                           {\r
1796                                 $$ = codegen.CurrentMethodDef.AddLabel ();\r
1797                           }\r
1798                         ;\r
1799                         \r
1800                         \r
1801 seh_block               : try_block seh_clauses\r
1802                           {\r
1803                                 TryBlock try_block = (TryBlock) $1;\r
1804 \r
1805                                 ArrayList clause_list = (ArrayList) $2;\r
1806                                 foreach (object clause in clause_list)\r
1807                                         try_block.AddSehClause ((ISehClause) clause);\r
1808 \r
1809                                 codegen.CurrentMethodDef.AddInstr (try_block);\r
1810                           }\r
1811                         ;\r
1812 \r
1813 try_block               : D_TRY scope_block\r
1814                           {\r
1815                                 $$ = new TryBlock ((HandlerBlock) $2);\r
1816                           }\r
1817                         | D_TRY id K_TO id\r
1818                           {\r
1819                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
1820                                 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
1821                                 \r
1822                                 $$ = new TryBlock (new HandlerBlock (from, to));\r
1823                           }\r
1824                         | D_TRY int32 K_TO int32\r
1825                           {\r
1826                                 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
1827                                 LabelInfo to = codegen.CurrentMethodDef.AddLabel ((int) $4);\r
1828                                 \r
1829                                 $$ = new TryBlock (new HandlerBlock (from, to));\r
1830                           }\r
1831                         ;\r
1832 \r
1833 seh_clauses             : seh_clause\r
1834                           {\r
1835                                 ArrayList clause_list = new ArrayList ();\r
1836                                 clause_list.Add ($1);\r
1837                                 $$ = clause_list;\r
1838                           }\r
1839                         | seh_clauses seh_clause\r
1840                           {\r
1841                                 ArrayList clause_list = (ArrayList) $1;\r
1842                                 clause_list.Add ($2);\r
1843                           }\r
1844                         ;\r
1845 \r
1846 seh_clause              : K_CATCH class_ref handler_block\r
1847                           {\r
1848                                 IClassRef type = (IClassRef) $2;\r
1849                                 CatchBlock cb = new CatchBlock (type);\r
1850                                 cb.SetHandlerBlock ((HandlerBlock) $3);\r
1851                                 $$ = cb;\r
1852                           }\r
1853                         | K_FINALLY handler_block\r
1854                           {\r
1855                                 FinallyBlock fb = new FinallyBlock ();\r
1856                                 fb.SetHandlerBlock ((HandlerBlock) $2);\r
1857                                 $$ = fb;\r
1858                           }\r
1859                         | K_FAULT handler_block\r
1860                           {\r
1861                                 FaultBlock fb = new FaultBlock ();\r
1862                                 fb.SetHandlerBlock ((HandlerBlock) $2);\r
1863                                 $$ = fb;\r
1864                           }\r
1865                         | filter_clause handler_block\r
1866                           {\r
1867                                 FilterBlock fb = (FilterBlock) $1;\r
1868                                 fb.SetHandlerBlock ((HandlerBlock) $2);\r
1869                           }\r
1870                         ;\r
1871 \r
1872 filter_clause           : K_FILTER scope_block\r
1873                           {\r
1874                                 HandlerBlock block = (HandlerBlock) $2;\r
1875                                 FilterBlock fb = new FilterBlock (block);\r
1876                                 $$ = fb;\r
1877                           }\r
1878                         | K_FILTER id\r
1879                           {\r
1880                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
1881                                 FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));\r
1882                                 $$ = fb;\r
1883                           }\r
1884                         | K_FILTER int32\r
1885                           {\r
1886                                 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
1887                                 FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));\r
1888                                 $$ = fb;\r
1889                           }\r
1890                         ;\r
1891 \r
1892 handler_block           : scope_block\r
1893                           {\r
1894                                 \r
1895                           }\r
1896                         | K_HANDLER id K_TO id\r
1897                           {     \r
1898                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
1899                                 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
1900 \r
1901                                 $$ = new HandlerBlock (from, to);\r
1902                           }\r
1903                         | K_HANDLER int32 K_TO int32\r
1904                           {\r
1905                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
1906                                 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
1907 \r
1908                                 $$ = new HandlerBlock (from, to);\r
1909                           }\r
1910                         ;\r
1911 \r
1912 instr                   : INSTR_NONE\r
1913                           {\r
1914                                 codegen.CurrentMethodDef.AddInstr (\r
1915                                         new SimpInstr ((Op) $1));\r
1916                           }\r
1917                         | INSTR_LOCAL int32\r
1918                           {\r
1919                                 codegen.CurrentMethodDef.AddInstr (\r
1920                                         new IntInstr ((IntOp) $1, (int) $2));        \r
1921                           }\r
1922                         | INSTR_LOCAL id\r
1923                           {\r
1924                                 int slot = codegen.CurrentMethodDef.GetNamedLocalSlot ((string) $2);\r
1925                                 codegen.CurrentMethodDef.AddInstr (\r
1926                                         new IntInstr ((IntOp) $1, slot));\r
1927                           }\r
1928                         | INSTR_PARAM int32\r
1929                           {\r
1930                                 codegen.CurrentMethodDef.AddInstr (\r
1931                                         new IntInstr ((IntOp) $1, (int) $2));\r
1932                           }\r
1933                         | INSTR_PARAM id\r
1934                           {\r
1935                                 int pos = codegen.CurrentMethodDef.GetNamedParamPos ((string) $2);\r
1936                                 codegen.CurrentMethodDef.AddInstr (\r
1937                                         new IntInstr ((IntOp) $1, pos));\r
1938                           }\r
1939                         | INSTR_I int32\r
1940                           {\r
1941                                 codegen.CurrentMethodDef.AddInstr (new\r
1942                                         IntInstr ((IntOp) $1, (int) $2));\r
1943                           }\r
1944                         | INSTR_I id\r
1945                           {\r
1946                                 int slot = codegen.CurrentMethodDef.GetNamedLocalSlot ((string) $2);\r
1947                                 codegen.CurrentMethodDef.AddInstr (new\r
1948                                         IntInstr ((IntOp) $1, slot));\r
1949                           }\r
1950                         | INSTR_I8 int64\r
1951                           {\r
1952                                 if ($1 is MiscInstr) {\r
1953                                         switch ((MiscInstr) $1) {\r
1954                                         case MiscInstr.ldc_i8:\r
1955                                         codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1,\r
1956                                                 (long) $2));\r
1957                                         break;\r
1958                                         }\r
1959                                 }\r
1960                           }\r
1961                         | INSTR_R float64\r
1962                           {\r
1963                                 switch ((MiscInstr) $1) {\r
1964                                 case MiscInstr.ldc_r4:\r
1965                                 case MiscInstr.ldc_r8:\r
1966                                          codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) $2));\r
1967                                          break;\r
1968                                 }\r
1969                           }\r
1970                         | INSTR_R int64\r
1971                           {\r
1972                                 long l = (long) $2;\r
1973                                 \r
1974                                 switch ((MiscInstr) $1) {\r
1975                                         case MiscInstr.ldc_r4:\r
1976                                         case MiscInstr.ldc_r8:\r
1977                                         codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) l));\r
1978                                         break;\r
1979                                 }\r
1980                           }\r
1981                         | INSTR_R bytes_list\r
1982                         | INSTR_BRTARGET int32\r
1983                           {\r
1984                                 LabelInfo target = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
1985                                 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,\r
1986                                                                    target));  \r
1987                           }\r
1988                         | INSTR_BRTARGET id\r
1989                           {\r
1990                                 LabelInfo target = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
1991                                 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,\r
1992                                                                    target));\r
1993                           }\r
1994                         | INSTR_METHOD method_ref\r
1995                           {\r
1996                                 codegen.CurrentMethodDef.AddInstr (new MethodInstr ((MethodOp) $1,\r
1997                                         (IMethodRef) $2));\r
1998                           }\r
1999                         | INSTR_FIELD type type_spec DOUBLE_COLON id\r
2000                           {\r
2001                                 \r
2002                                 ITypeRef owner = (ITypeRef) $3;\r
2003                                 IFieldRef fieldref = owner.GetFieldRef (\r
2004                                         (ITypeRef) $2, (string) $5);\r
2005 \r
2006                                 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref));\r
2007                           }\r
2008                         | INSTR_FIELD type id\r
2009                           {\r
2010                                 GlobalFieldRef fieldref = new GlobalFieldRef ((ITypeRef) $2, (string) $3);\r
2011 \r
2012                                 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref));\r
2013                           }\r
2014                         | INSTR_TYPE type_spec\r
2015                           {\r
2016                                 codegen.CurrentMethodDef.AddInstr (new TypeInstr ((TypeOp) $1,\r
2017                                         (ITypeRef) $2));\r
2018                           }\r
2019                         | INSTR_STRING comp_qstring\r
2020                           {\r
2021                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
2022                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr ((string) $2));\r
2023                           }\r
2024                         | INSTR_STRING K_BYTEARRAY ASSIGN bytes_list\r
2025                           {\r
2026                                 byte[] bs = (byte[]) $4;\r
2027                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
2028                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs));\r
2029                           }\r
2030                         | INSTR_STRING K_BYTEARRAY bytes_list\r
2031                           {\r
2032                                 byte[] bs = (byte[]) $3;\r
2033                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
2034                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs));\r
2035                           }\r
2036                         | INSTR_SIG call_conv type OPEN_PARENS type_list CLOSE_PARENS\r
2037                           {\r
2038                                 ArrayList arg_list = (ArrayList) $5;\r
2039                                 ITypeRef[] arg_array = null;\r
2040 \r
2041                                 if (arg_list != null)\r
2042                                         arg_array = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
2043 \r
2044                                 codegen.CurrentMethodDef.AddInstr (new CalliInstr ((CallConv) $2,\r
2045                                         (ITypeRef) $3, arg_array));\r
2046                           }     \r
2047                         | INSTR_TOK owner_type\r
2048                           {\r
2049                                 if ((MiscInstr) $1 == MiscInstr.ldtoken) {\r
2050                                         if ($2 is IMethodRef)\r
2051                                                 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IMethodRef) $2));\r
2052                                         else if ($2 is IFieldRef)\r
2053                                                 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IFieldRef) $2));\r
2054                                         else\r
2055                                                 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((ITypeRef) $2));\r
2056                                                 \r
2057                                 }\r
2058                           }\r
2059                         | INSTR_SWITCH OPEN_PARENS labels CLOSE_PARENS\r
2060                           {\r
2061                                 codegen.CurrentMethodDef.AddInstr (new SwitchInstr ((ArrayList) $3));\r
2062                           }\r
2063                         ;\r
2064 \r
2065 method_ref              : call_conv type type_spec DOUBLE_COLON method_name\r
2066                           OPEN_PARENS type_list CLOSE_PARENS \r
2067                           {\r
2068                                 ITypeRef owner = (ITypeRef) $3;\r
2069                                 ArrayList arg_list = (ArrayList) $7;\r
2070                                 ITypeRef[] param_list;\r
2071                                 IMethodRef methref;\r
2072 \r
2073                                 if (arg_list != null)\r
2074                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
2075                                 else\r
2076                                         param_list = new ITypeRef[0];\r
2077 \r
2078                                 if (owner.UseTypeSpec) {\r
2079                                         methref = new TypeSpecMethodRef (owner, (ITypeRef) $2,\r
2080                                                 (CallConv) $1, (string) $5, param_list);\r
2081                                 } else {\r
2082                                         methref = owner.GetMethodRef ((ITypeRef) $2,\r
2083                                                 (CallConv) $1, (string) $5, param_list);\r
2084                                 }\r
2085 \r
2086                                 $$ = methref;\r
2087                           }\r
2088                         | call_conv type method_name \r
2089                           OPEN_PARENS type_list CLOSE_PARENS\r
2090                           {\r
2091                                 ArrayList arg_list = (ArrayList) $5;\r
2092                                 ITypeRef[] param_list;\r
2093   \r
2094                                 if (arg_list != null)\r
2095                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
2096                                 else\r
2097                                         param_list = new ITypeRef[0];\r
2098 \r
2099                                 $$ = new GlobalMethodRef ((ITypeRef) $2, (CallConv) $1,\r
2100                                         (string) $3, param_list);\r
2101                           }\r
2102                         | call_conv type type_spec DOUBLE_COLON method_name\r
2103                           typars_clause OPEN_PARENS type_list CLOSE_PARENS \r
2104                           {\r
2105                                 ITypeRef owner = (ITypeRef) $3;\r
2106                                 ArrayList arg_list = (ArrayList) $8;\r
2107                                 ITypeRef[] param_list;\r
2108                                 IMethodRef methref;\r
2109 \r
2110                                 if (arg_list != null)\r
2111                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
2112                                 else\r
2113                                         param_list = new ITypeRef[0];\r
2114 \r
2115                                 if (owner.UseTypeSpec) {\r
2116                                         methref = new TypeSpecMethodRef (owner, (ITypeRef) $2,\r
2117                                                 (CallConv) $1, (string) $5, param_list);\r
2118                                 } else {\r
2119                                         methref = owner.GetMethodRef ((ITypeRef) $2,\r
2120                                                 (CallConv) $1, (string) $5, param_list);\r
2121                                 }\r
2122 \r
2123                                 if ($6 != null) {\r
2124                                         ArrayList tp = (ArrayList) $6;\r
2125                                         ITypeRef[] ta = (ITypeRef[]) tp.ToArray (typeof (ITypeRef));\r
2126                                         \r
2127                                         methref = new GenericMethodRef (methref, new GenericMethodSig (ta));\r
2128                                 }\r
2129                                 \r
2130                                 $$ = methref;\r
2131                           }\r
2132                         ;\r
2133 \r
2134 labels                  : /* EMPTY */\r
2135                         | id\r
2136                           {\r
2137                                 ArrayList label_list = new ArrayList ();\r
2138                                 label_list.Add ($1);\r
2139                                 $$ = label_list;\r
2140                           }\r
2141                         | int32\r
2142                           {\r
2143                                 ArrayList label_list = new ArrayList ();\r
2144                                 label_list.Add ($1);\r
2145                                 $$ = label_list;\r
2146                           }\r
2147                         | labels COMMA id\r
2148                           {\r
2149                                 ArrayList label_list = (ArrayList) $1;\r
2150                                 label_list.Add ($3);\r
2151                           }\r
2152                         | labels COMMA int32\r
2153                           {\r
2154                                 ArrayList label_list = (ArrayList) $1;\r
2155                                 label_list.Add ($3);\r
2156                           }\r
2157                         ;\r
2158 \r
2159 owner_type              : type_spec\r
2160                         | member_ref\r
2161                         ;\r
2162 \r
2163 member_ref              : K_METHOD method_ref\r
2164                           {\r
2165                                 $$ = $2;\r
2166                           }\r
2167                         | K_FIELD type type_spec DOUBLE_COLON id\r
2168                           {\r
2169                                 ITypeRef owner = (ITypeRef) $3;\r
2170 \r
2171                                 $$ = owner.GetFieldRef (\r
2172                                         (ITypeRef) $2, (string) $5);\r
2173                           }\r
2174                         | K_FIELD type id\r
2175                           {\r
2176                                 $$ = new GlobalFieldRef ((ITypeRef) $2, (string) $3);\r
2177                           }\r
2178                         ;\r
2179 \r
2180 event_all               : event_head OPEN_BRACE event_decls CLOSE_BRACE\r
2181                           {\r
2182                                 codegen.CurrentTypeDef.EndEventDef ();\r
2183                           }\r
2184                         ;\r
2185 \r
2186 event_head              : D_EVENT event_attr type_spec id\r
2187                           {\r
2188                                 EventDef event_def = new EventDef ((FeatureAttr) $2,\r
2189                                         (ITypeRef) $3, (string) $4);\r
2190                                 codegen.CurrentTypeDef.BeginEventDef (event_def);\r
2191                           }\r
2192                         | D_EVENT event_attr id\r
2193                         ;\r
2194 \r
2195 event_attr              : /* EMPTY */\r
2196                           {\r
2197                                 $$ = new FeatureAttr ();\r
2198                           }\r
2199                         | event_attr K_RTSPECIALNAME\r
2200                           {\r
2201                                 $$ = (FeatureAttr) $1 & FeatureAttr.Rtspecialname;\r
2202                           }\r
2203                         | event_attr K_SPECIALNAME\r
2204                           {\r
2205                                 $$ = (FeatureAttr) $1 & FeatureAttr.Specialname;\r
2206                           }\r
2207                         ;\r
2208 \r
2209 event_decls             : /* EMPTY */\r
2210                         | event_decls event_decl\r
2211                         ;\r
2212 \r
2213 event_decl              : D_ADDON method_ref\r
2214                           {\r
2215                                 codegen.CurrentTypeDef.CurrentEvent.AddAddon (\r
2216                                         (MethodRef) $2);                                \r
2217                           }\r
2218                         | D_REMOVEON method_ref\r
2219                           {\r
2220                                 codegen.CurrentTypeDef.CurrentEvent.AddRemoveon (\r
2221                                         (MethodRef) $2);\r
2222                           }\r
2223                         | D_FIRE method_ref\r
2224                           {\r
2225                                 codegen.CurrentTypeDef.CurrentEvent.AddFire (\r
2226                                         (MethodRef) $2);\r
2227                           }\r
2228                         | D_OTHER method_ref\r
2229                           {\r
2230                                 codegen.CurrentTypeDef.CurrentEvent.AddOther (\r
2231                                         (MethodRef) $2);\r
2232                           }\r
2233                         | customattr_decl\r
2234                         | extsource_spec\r
2235                         | language_decl\r
2236                         ;\r
2237 \r
2238 prop_all                : prop_head OPEN_BRACE prop_decls CLOSE_BRACE\r
2239                           {\r
2240                                 codegen.CurrentTypeDef.EndPropertyDef ();\r
2241                           }\r
2242                         ;\r
2243 \r
2244 prop_head               : D_PROPERTY prop_attr type id OPEN_PARENS type_list CLOSE_PARENS init_opt\r
2245                           {\r
2246                                 PropertyDef prop_def = new PropertyDef ((FeatureAttr) $2, (ITypeRef) $3,\r
2247                                         (string) $4, (ArrayList) $6);\r
2248                                 codegen.CurrentTypeDef.BeginPropertyDef (prop_def);\r
2249 \r
2250                                 if ($8 != null) {\r
2251                                         prop_def.AddInitValue ((Constant) $8);\r
2252                                 }\r
2253                           }\r
2254                         ;\r
2255 \r
2256 prop_attr               : /* EMPTY */\r
2257                           {\r
2258                                 $$ = new FeatureAttr ();\r
2259                           }\r
2260                         | prop_attr K_RTSPECIALNAME\r
2261                           {\r
2262                                 $$ = (FeatureAttr) $1 | FeatureAttr.Rtspecialname;\r
2263                           }\r
2264                         | prop_attr K_SPECIALNAME\r
2265                           {\r
2266                                 $$ = (FeatureAttr) $1 | FeatureAttr.Specialname;\r
2267                           }\r
2268                         | prop_attr K_INSTANCE\r
2269                           {\r
2270                           }\r
2271                         ;\r
2272 \r
2273 prop_decls              : /* EMPTY */\r
2274                         | prop_decls prop_decl\r
2275                         ;\r
2276 \r
2277 prop_decl               : D_SET method_ref\r
2278                           {\r
2279                                 codegen.CurrentTypeDef.CurrentProperty.AddSet ((MethodRef) $2);\r
2280                           }\r
2281                         | D_GET method_ref\r
2282                           {\r
2283                                 codegen.CurrentTypeDef.CurrentProperty.AddGet ((MethodRef) $2);\r
2284                           }\r
2285                         | D_OTHER method_ref\r
2286                           {\r
2287                                 codegen.CurrentTypeDef.CurrentProperty.AddOther ((MethodRef) $2);\r
2288                           }\r
2289                         | customattr_decl\r
2290                         | extsource_spec\r
2291                         | language_decl\r
2292                         ;\r
2293 \r
2294 customattr_decl         : D_CUSTOM custom_type\r
2295                           {\r
2296                                 $$ = new CustomAttr ((IMethodRef) $2, null);\r
2297                           }\r
2298                         | D_CUSTOM custom_type ASSIGN comp_qstring\r
2299                         | D_CUSTOM custom_type ASSIGN bytes_list\r
2300                           {\r
2301                                 $$ = new CustomAttr ((IMethodRef) $2,\r
2302                                         (byte[]) $4);\r
2303                           }\r
2304                         | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type\r
2305                         | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN comp_qstring\r
2306                         | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN\r
2307                           bytes_list\r
2308                         ;\r
2309                         \r
2310 custom_type             : call_conv type type_spec DOUBLE_COLON D_CTOR OPEN_PARENS type_list CLOSE_PARENS\r
2311                           {\r
2312                                 ITypeRef owner = (ITypeRef) $3;\r
2313                                 ArrayList arg_list = (ArrayList) $7;\r
2314                                 ITypeRef[] param_list;\r
2315   \r
2316                                 if (arg_list != null)\r
2317                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
2318                                 else\r
2319                                         param_list = new ITypeRef[0];\r
2320 \r
2321                                 $$ = owner.GetMethodRef ((ITypeRef) $2,\r
2322                                         (CallConv) $1, (string) $5, param_list);\r
2323                           }\r
2324                         | call_conv type D_CTOR OPEN_PARENS type_list CLOSE_PARENS\r
2325                           {\r
2326                                 ArrayList arg_list = (ArrayList) $5;\r
2327                                 ITypeRef[] param_list;\r
2328   \r
2329                                 if (arg_list != null)\r
2330                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
2331                                 else\r
2332                                         param_list = new ITypeRef[0];\r
2333 \r
2334                                 $$ = new GlobalMethodRef ((ITypeRef) $2, (CallConv) $1,\r
2335                                         (string) $3, param_list);\r
2336                           }\r
2337                         ;\r
2338 \r
2339 sec_decl                : D_PERMISSION sec_action type_spec OPEN_PARENS nameval_pairs CLOSE_PARENS\r
2340                         | D_PERMISSION sec_action type_spec\r
2341                         | D_PERMISSIONSET sec_action ASSIGN bytes_list\r
2342                         ;\r
2343 \r
2344 nameval_pairs           : nameval_pair \r
2345                         | nameval_pairs COMMA nameval_pair\r
2346                         ;\r
2347 \r
2348 nameval_pair            : comp_qstring ASSIGN cavalue\r
2349                         ;\r
2350 \r
2351 cavalue                 : truefalse\r
2352                         | int32\r
2353                         | int32 OPEN_PARENS int32 CLOSE_PARENS\r
2354                         | comp_qstring \r
2355                         | class_ref OPEN_PARENS K_INT8 COLON int32 CLOSE_PARENS\r
2356                         | class_ref OPEN_PARENS K_INT16 COLON int32 CLOSE_PARENS\r
2357                         | class_ref OPEN_PARENS K_INT32 COLON int32 CLOSE_PARENS\r
2358                         | class_ref OPEN_PARENS int32 CLOSE_PARENS\r
2359                         ;\r
2360 \r
2361 sec_action              : K_REQUEST\r
2362                         | K_DEMAND\r
2363                         | K_ASSERT\r
2364                         | K_DENY\r
2365                         | K_PERMITONLY\r
2366                         | K_LINKCHECK\r
2367                         | K_INHERITCHECK\r
2368                         | K_REQMIN\r
2369                         | K_REQOPT\r
2370                         | K_REQREFUSE\r
2371                         | K_PREJITGRANT\r
2372                         | K_PREJITDENY\r
2373                         | K_NONCASDEMAND\r
2374                         | K_NONCASLINKDEMAND\r
2375                         | K_NONCASINHERITANCE\r
2376                         ;\r
2377 \r
2378 module_head             : D_MODULE\r
2379                           {\r
2380                           }\r
2381                         | D_MODULE comp_name\r
2382                           {\r
2383                                 codegen.SetModuleName ((string) $2);\r
2384                           }\r
2385                         | D_MODULE K_EXTERN comp_name\r
2386                           {\r
2387                                 codegen.ExternTable.AddModule ((string) $3);                         \r
2388                           }\r
2389                         ;\r
2390 \r
2391 file_decl               : D_FILE file_attr comp_name file_entry D_HASH ASSIGN\r
2392                           bytes_list file_entry\r
2393                           {\r
2394                                 codegen.SetFileRef (new FileRef ((string) $3, (byte []) $7, (bool) $2, (bool) $8)); \r
2395                           }\r
2396                         | D_FILE file_attr comp_name file_entry\r
2397                           {\r
2398                                 // We need to compute the hash ourselves. :-(\r
2399                                 // AssemblyName an = AssemblyName.GetName ((string) $3);\r
2400                           }\r
2401                         ;\r
2402 \r
2403 file_attr               : /* EMPTY */\r
2404                           {\r
2405                                 $$ = true;\r
2406                           }\r
2407                         | file_attr K_NOMETADATA\r
2408                           {\r
2409                                 $$ = false;\r
2410                           }\r
2411                         ;\r
2412 \r
2413 file_entry              : /* EMPTY */\r
2414                           {\r
2415                                 $$ = false;\r
2416                           }\r
2417                         | D_ENTRYPOINT\r
2418                           {\r
2419                                 $$ = true;\r
2420                           }\r
2421                         ;\r
2422 \r
2423 assembly_all            : assembly_head OPEN_BRACE assembly_decls CLOSE_BRACE\r
2424                         ;\r
2425 \r
2426 assembly_head           : D_ASSEMBLY asm_attr slashed_name\r
2427                           {\r
2428                                 codegen.SetAssemblyName ((string) $3);\r
2429                           }\r
2430                         ;\r
2431 \r
2432 asm_attr                : /* EMPTY */\r
2433                         | asm_attr K_NOAPPDOMAIN\r
2434                         | asm_attr K_NOPROCESS\r
2435                         | asm_attr K_NOMACHINE\r
2436                         ;\r
2437 \r
2438 assembly_decls          : /* EMPTY */\r
2439                         | assembly_decls assembly_decl\r
2440                         ;\r
2441 \r
2442 assembly_decl           : D_PUBLICKEY ASSIGN bytes_list\r
2443                           {\r
2444                                 codegen.SetAssemblyPublicKey ((byte []) $3);\r
2445                           }\r
2446                         | D_VER int32 COLON int32 COLON int32 COLON int32\r
2447                           {\r
2448                                 codegen.SetAssemblyVersion ((int) $2, (int) $4, (int) $6, (int) $8);\r
2449                           }\r
2450                         | D_LOCALE comp_qstring\r
2451                           {\r
2452                                 codegen.SetAssemblyLocale ((string) $2);\r
2453                           }\r
2454                         | D_LOCALE ASSIGN bytes_list\r
2455                         | D_HASH K_ALGORITHM int32\r
2456                           {\r
2457                                 codegen.SetAssemblyHashAlgorithm ((int) $3);\r
2458                           }\r
2459                         | customattr_decl\r
2460                           {\r
2461                                 codegen.AddAssemblyCustomAttribute ((CustomAttr) $1);\r
2462                           }\r
2463                         | sec_decl\r
2464                         ;\r
2465 \r
2466 asm_or_ref_decl         : D_PUBLICKEY ASSIGN bytes_list\r
2467                         | D_VER int32 COLON int32 COLON int32 COLON int32 \r
2468                         | D_LOCALE comp_qstring\r
2469                         | D_LOCALE ASSIGN bytes_list\r
2470                         | customattr_decl\r
2471                         ;\r
2472 \r
2473 assemblyref_all         : assemblyref_head OPEN_BRACE assemblyref_decls CLOSE_BRACE\r
2474                         ;\r
2475 \r
2476 assemblyref_head        : D_ASSEMBLY K_EXTERN slashed_name\r
2477                           {\r
2478                                 System.Reflection.AssemblyName asmb_name = \r
2479                                         new System.Reflection.AssemblyName ();\r
2480                                 asmb_name.Name = (string) $3;\r
2481                                 codegen.BeginAssemblyRef ((string) $3, asmb_name);\r
2482                           }\r
2483                         | D_ASSEMBLY K_EXTERN slashed_name K_AS slashed_name\r
2484                           {\r
2485                                 System.Reflection.AssemblyName asmb_name = \r
2486                                         new System.Reflection.AssemblyName ();\r
2487                                 asmb_name.Name = (string) $3;\r
2488                                 codegen.BeginAssemblyRef ((string) $5, asmb_name);\r
2489                           }\r
2490                         ;\r
2491 \r
2492 assemblyref_decls       : /* EMPTY */\r
2493                         | assemblyref_decls assemblyref_decl\r
2494                         ;\r
2495 \r
2496 assemblyref_decl        : D_VER int32 COLON int32 COLON int32 COLON int32\r
2497                           {\r
2498                                 codegen.CurrentAssemblyRef.SetVersion ((int) $2, (int) $4, (int) $6, (int) $8);\r
2499                           }\r
2500                         | D_PUBLICKEY ASSIGN bytes_list\r
2501                           {\r
2502                                 codegen.CurrentAssemblyRef.SetPublicKey ((byte []) $3);\r
2503                           }\r
2504                         | D_PUBLICKEYTOKEN ASSIGN bytes_list\r
2505                           {\r
2506                                 codegen.CurrentAssemblyRef.SetPublicKeyToken ((byte []) $3);\r
2507                           }\r
2508                         | D_LOCALE comp_qstring\r
2509                           {\r
2510                                 codegen.CurrentAssemblyRef.SetLocale ((string) $2);\r
2511                           }\r
2512                         | D_LOCALE ASSIGN bytes_list\r
2513                         \r
2514                         | D_HASH ASSIGN bytes_list\r
2515                           {\r
2516                                 codegen.CurrentAssemblyRef.SetHash ((byte []) $3);\r
2517                           }\r
2518                         | customattr_decl\r
2519                           {\r
2520                                 codegen.CurrentAssemblyRef.AddCustomAttribute ((CustomAttr) $1);\r
2521                           }\r
2522                         ;\r
2523 \r
2524 exptype_all             : exptype_head OPEN_BRACE exptype_decls CLOSE_BRACE\r
2525                         ;\r
2526 \r
2527 exptype_head            : D_CLASS K_EXTERN expt_attr comp_name\r
2528                         ;\r
2529 \r
2530 expt_attr               : /* EMPTY */\r
2531                         | expt_attr K_PRIVATE\r
2532                         | expt_attr K_PUBLIC \r
2533                         | expt_attr K_NESTED K_PUBLIC\r
2534                         | expt_attr K_NESTED K_PRIVATE\r
2535                         | expt_attr K_NESTED K_FAMILY\r
2536                         | expt_attr K_NESTED K_ASSEMBLY\r
2537                         | expt_attr K_NESTED K_FAMANDASSEM\r
2538                         | expt_attr K_NESTED K_FAMORASSEM\r
2539                         ;\r
2540 \r
2541 exptype_decls           : /* EMPTY */\r
2542                         | exptype_decls exptype_decl\r
2543                         ;\r
2544 \r
2545 exptype_decl            : D_FILE comp_name\r
2546                         | D_CLASS K_EXTERN comp_name\r
2547                         | D_CLASS int32\r
2548                         | customattr_decl\r
2549                         ;\r
2550 \r
2551 manifestres_all         : manifestres_head OPEN_BRACE manifestres_decls CLOSE_BRACE\r
2552                         ;\r
2553 \r
2554 manifestres_head        : D_MRESOURCE manres_attr comp_name     \r
2555                         ;\r
2556 \r
2557 manres_attr             : /* EMPTY */\r
2558                         | manres_attr K_PUBLIC\r
2559                         | manres_attr K_PRIVATE\r
2560                         ;\r
2561 \r
2562 manifestres_decls       : /* EMPTY */\r
2563                         | manifestres_decls manifestres_decl\r
2564                         ;\r
2565 \r
2566 manifestres_decl        : D_FILE comp_name K_AT int32\r
2567                         | D_ASSEMBLY K_EXTERN slashed_name\r
2568                         | customattr_decl\r
2569                         ;\r
2570 \r
2571 comp_qstring            : QSTRING\r
2572                         | comp_qstring PLUS QSTRING     { $$ = String.Format ("{0}{1}", $1, $3); }\r
2573                         ;\r
2574 \r
2575 int32                   : INT64\r
2576                           {\r
2577                                 long l = (long) $1;\r
2578                                 byte[] intb = BitConverter.GetBytes (l);\r
2579                                 $$ = BitConverter.ToInt32 (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
2580                           }\r
2581                         ;\r
2582 \r
2583 int64                   : INT64\r
2584                         ;\r
2585 \r
2586 float64                 : FLOAT64\r
2587                         | K_FLOAT32 OPEN_PARENS INT32 CLOSE_PARENS\r
2588                           {\r
2589                                 int i = (int) $3;\r
2590                                 byte[] intb = BitConverter.GetBytes (i);\r
2591                                 $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
2592                           }\r
2593                         | K_FLOAT32 OPEN_PARENS INT64 CLOSE_PARENS\r
2594                           {\r
2595                                 long l = (long) $3;\r
2596                                 byte[] intb = BitConverter.GetBytes (l);\r
2597                                 $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
2598                           }\r
2599                         | K_FLOAT64 OPEN_PARENS INT64 CLOSE_PARENS\r
2600                           {\r
2601                                 byte[] intb = BitConverter.GetBytes ((long) $3);\r
2602                                 $$ = BitConverter.ToDouble (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
2603                           }\r
2604                         | K_FLOAT64 OPEN_PARENS INT32 CLOSE_PARENS\r
2605                           {\r
2606                                 byte[] intb = BitConverter.GetBytes ((int) $3);\r
2607                                 $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
2608                           }\r
2609                         ;\r
2610 \r
2611 hexbyte                 : HEXBYTE       { }\r
2612                         ;\r
2613 \r
2614 bytes_list              : OPEN_PARENS\r
2615                           {\r
2616                                 tokenizer.InByteArray = true;\r
2617                           }\r
2618                           bytes CLOSE_PARENS\r
2619                           {\r
2620                                 $$ = $3;\r
2621                                 tokenizer.InByteArray = false;\r
2622                           }\r
2623                         ;\r
2624 \r
2625 bytes                   : /* EMPTY */   { $$ = new byte[0]; }\r
2626                         | hexbytes\r
2627                           {\r
2628                                 ArrayList byte_list = (ArrayList) $1;\r
2629                                 $$ = byte_list.ToArray (typeof (byte));\r
2630                           }\r
2631                         ;\r
2632 \r
2633 hexbytes                : hexbyte\r
2634                           {\r
2635                                 ArrayList byte_list = new ArrayList ();\r
2636                                 byte_list.Add (Convert.ToByte ($1));\r
2637                                 $$ = byte_list;\r
2638                           }\r
2639                         | hexbytes hexbyte\r
2640                           {\r
2641                                 ArrayList byte_list = (ArrayList) $1;\r
2642                                 byte_list.Add (Convert.ToByte ($2));\r
2643                           }\r
2644                         ;\r
2645 \r
2646 truefalse               : K_TRUE\r
2647                           {\r
2648                                 $$ = true;\r
2649                           }\r
2650                         | K_FALSE\r
2651                           {\r
2652                                 $$ = false;\r
2653                           }\r
2654                         ;\r
2655 \r
2656 id                      : ID\r
2657                         | SQSTRING\r
2658                         ;\r
2659 \r
2660 comp_name               : id\r
2661                         | comp_name DOT id\r
2662                           {\r
2663                                 $$ = (string) $1 + '.' + (string) $3;\r
2664                           }\r
2665                         | COMP_NAME\r
2666                         ;\r
2667 \r
2668 %%\r
2669 \r
2670 }\r
2671 \r