mcs/ilasm/parser/ILParser.jay

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