[MSBuild] Fix minor assembly resolution issue
[mono.git] / mcs / ilasm / parser / ILParser.jay
1 %{\r
2 //\r
3 // Mono::ILASM::ILParser\r
4 // \r
5 // (C) Sergey Chaban (serge@wildwestsoftware.com)\r
6 // (C) 2003 Jackson Harper, All rights reserved\r
7 //\r
8 \r
9 using PEAPI;\r
10 using System;\r
11 using System.IO;\r
12 using System.Collections;\r
13 using System.Collections.Generic;\r
14 using System.Globalization;\r
15 using System.Reflection;\r
16 using System.Security;\r
17 using System.Security.Permissions;\r
18 \r
19 using MIPermission = Mono.ILASM.Permission;\r
20 using MIPermissionSet = Mono.ILASM.PermissionSet;\r
21 \r
22 namespace Mono.ILASM {\r
23 \r
24         public class ILParser {\r
25 \r
26                 private CodeGen codegen;\r
27 \r
28                 private bool is_value_class;\r
29                 private bool is_enum_class;\r
30                 private bool pinvoke_info;\r
31                 private string pinvoke_mod;\r
32                 private string pinvoke_meth;\r
33                 private PEAPI.PInvokeAttr pinvoke_attr;\r
34                 private ILTokenizer tokenizer;\r
35                 static int yacc_verbose_flag;\r
36                 KeyValuePair<string, TypeAttr> current_extern;\r
37 \r
38                 class NameValuePair {\r
39                         public string Name;\r
40                         public object Value;\r
41 \r
42                         public NameValuePair (string name, object value)\r
43                         {\r
44                                 this.Name = name;\r
45                                 this.Value = value;\r
46                         }\r
47                 }\r
48 \r
49                 class PermPair {\r
50                         public PEAPI.SecurityAction sec_action;\r
51                         public object perm;\r
52 \r
53                         public PermPair (PEAPI.SecurityAction sec_action, object perm)\r
54                         {\r
55                                 this.sec_action = sec_action;\r
56                                 this.perm = perm;\r
57                         }\r
58                 }\r
59 \r
60                 public bool CheckSecurityActionValidity (System.Security.Permissions.SecurityAction action, bool for_assembly)\r
61                 {\r
62                         if ((action == System.Security.Permissions.SecurityAction.RequestMinimum || \r
63                                 action == System.Security.Permissions.SecurityAction.RequestOptional || \r
64                                 action == System.Security.Permissions.SecurityAction.RequestRefuse) && !for_assembly) {\r
65                                 Report.Warning (String.Format ("System.Security.Permissions.SecurityAction '{0}' is not valid for this declaration", action));\r
66                                 return false;\r
67                         }\r
68 \r
69                         return true;\r
70                 }\r
71 \r
72                 public void AddSecDecl (object perm, bool for_assembly)\r
73                 {\r
74                         PermPair pp = perm as PermPair;\r
75 \r
76                         if (pp == null) {\r
77                                 MIPermissionSet ps_20 = (MIPermissionSet) perm;\r
78                                 codegen.AddPermission (ps_20.SecurityAction, ps_20);\r
79                                 return;\r
80                         }\r
81 \r
82                         if (!CheckSecurityActionValidity ((System.Security.Permissions.SecurityAction) pp.sec_action, for_assembly))\r
83                                 Report.Error (String.Format ("Invalid security action : {0}", pp.sec_action));\r
84 \r
85                         codegen.AddPermission (pp.sec_action, pp.perm);\r
86                 }\r
87 \r
88                 public object ClassRefToObject (object class_ref, object val)\r
89                 {\r
90                         ExternTypeRef etr = class_ref as ExternTypeRef;\r
91                         if (etr == null)\r
92                                 /* FIXME: report error? can be PrimitiveTypeRef or TypeRef */\r
93                                 return null;\r
94                                 \r
95                         System.Type t = etr.GetReflectedType ();\r
96                         return (t.IsEnum ? Enum.Parse (t, String.Format ("{0}", val)) : val);\r
97                 }\r
98 \r
99                 /* Converts a type_spec to a corresponding PermPair */\r
100                 PermPair TypeSpecToPermPair (object action, object type_spec, ArrayList pairs)\r
101                 {\r
102                         ExternTypeRef etr = type_spec as ExternTypeRef;\r
103                         if (etr == null)\r
104                                 /* FIXME: could be PrimitiveTypeRef or TypeRef \r
105                                           Report what error? */\r
106                                 return null;\r
107 \r
108                         System.Type t = etr.GetReflectedType ();\r
109                         object obj = Activator.CreateInstance (t, \r
110                                                 new object [] {(System.Security.Permissions.SecurityAction) (short) action});\r
111 \r
112                         if (pairs != null)\r
113                                 foreach (NameValuePair pair in pairs) {\r
114                                         PropertyInfo pi = t.GetProperty (pair.Name);\r
115                                         pi.SetValue (obj, pair.Value, null);\r
116                                 }\r
117 \r
118                         IPermission iper = (IPermission) t.GetMethod ("CreatePermission").Invoke (obj, null);\r
119                         return new PermPair ((PEAPI.SecurityAction) action, iper);\r
120                 }\r
121 \r
122                 public ILParser (CodeGen codegen, ILTokenizer tokenizer)\r
123                 {\r
124                         this.codegen = codegen;\r
125                         this.tokenizer = tokenizer;\r
126                 }\r
127 \r
128                 public CodeGen CodeGen {\r
129                         get { return codegen; }\r
130                 }\r
131 \r
132                 private BaseTypeRef GetTypeRef (BaseTypeRef b)\r
133                 {\r
134                         //FIXME: Caching required.. \r
135                         return b.Clone ();\r
136                 }\r
137 \r
138 %}\r
139 \r
140 %token EOF\r
141 \r
142 /* ID - alpha-numeric identifier */\r
143 %token ID\r
144 \r
145 /* QSTRING - quoted string */\r
146 %token QSTRING\r
147 \r
148 /* SQSTRING - single quoted string */\r
149 %token SQSTRING\r
150 \r
151 /* COMP_NAME - A name with dots */\r
152 %token COMP_NAME\r
153 \r
154 /* INT32 - 32 bit integer */\r
155 %token INT32\r
156 \r
157 /* INT64 - 64 bit integer */\r
158 %token INT64\r
159 \r
160 /* FLOAT64 - floating point number */\r
161 %token FLOAT64\r
162 \r
163 /* HEXBYTE - two digit hex number */\r
164 %token HEXBYTE\r
165 \r
166 \r
167 /* Punctuation */\r
168 %token DOT           "."\r
169 %token OPEN_BRACE    "{"\r
170 %token CLOSE_BRACE   "}"\r
171 %token OPEN_BRACKET  "["\r
172 %token CLOSE_BRACKET "]"\r
173 %token OPEN_PARENS   "("\r
174 %token CLOSE_PARENS  ")"\r
175 %token COMMA         ","\r
176 %token COLON         ":"\r
177 %token DOUBLE_COLON  "::"\r
178 %token SEMICOLON     ";"\r
179 %token ASSIGN        "="\r
180 %token STAR          "*"\r
181 %token AMPERSAND     "&"\r
182 %token PLUS          "+"\r
183 %token SLASH         "/"\r
184 %token BANG          "!"\r
185 %token ELLIPSIS      "..."\r
186 %token DASH          "-"\r
187 %token OPEN_ANGLE_BRACKET   "<"\r
188 %token CLOSE_ANGLE_BRACKET  ">"\r
189 \r
190 \r
191 \r
192 %token UNKNOWN\r
193 \r
194 \r
195 /* INSTR_* instruction types */\r
196 %token INSTR_NONE\r
197 %token INSTR_VAR\r
198 %token INSTR_I\r
199 %token INSTR_I8\r
200 %token INSTR_R\r
201 %token INSTR_BRTARGET\r
202 %token INSTR_METHOD\r
203 %token INSTR_NEWOBJ\r
204 %token INSTR_FIELD\r
205 %token INSTR_TYPE\r
206 %token INSTR_STRING\r
207 %token INSTR_SIG\r
208 %token INSTR_RVA\r
209 %token INSTR_TOK\r
210 %token INSTR_SWITCH\r
211 %token INSTR_PHI\r
212 %token INSTR_LOCAL\r
213 %token INSTR_PARAM\r
214 \r
215 \r
216 \r
217 \r
218 \r
219 /* Mechanically generated  - DO NOT EDIT! */\r
220 \r
221 \r
222 /* Directives */\r
223 %token D_ADDON\r
224 %token D_ALGORITHM\r
225 %token D_ASSEMBLY\r
226 %token D_BACKING\r
227 %token D_BLOB\r
228 %token D_CAPABILITY\r
229 %token D_CCTOR\r
230 %token D_CLASS\r
231 %token D_COMTYPE\r
232 %token D_CONFIG\r
233 %token D_IMAGEBASE\r
234 %token D_CORFLAGS\r
235 %token D_CTOR\r
236 %token D_CUSTOM\r
237 %token D_DATA\r
238 %token D_EMITBYTE\r
239 %token D_ENTRYPOINT\r
240 %token D_EVENT\r
241 %token D_EXELOC\r
242 %token D_EXPORT\r
243 %token D_FIELD\r
244 %token D_FILE\r
245 %token D_FIRE\r
246 %token D_GET\r
247 %token D_HASH\r
248 %token D_IMPLICITCOM\r
249 %token D_LANGUAGE\r
250 %token D_LINE\r
251 %token D_XLINE\r
252 %token D_LOCALE\r
253 %token D_LOCALS\r
254 %token D_MANIFESTRES\r
255 %token D_MAXSTACK\r
256 %token D_METHOD\r
257 %token D_MIME\r
258 %token D_MODULE\r
259 %token D_MRESOURCE\r
260 %token D_NAMESPACE\r
261 %token D_ORIGINATOR\r
262 %token D_OS\r
263 %token D_OTHER\r
264 %token D_OVERRIDE\r
265 %token D_PACK\r
266 %token D_PARAM\r
267 %token D_PERMISSION\r
268 %token D_PERMISSIONSET\r
269 %token D_PROCESSOR\r
270 %token D_PROPERTY\r
271 %token D_PUBLICKEY\r
272 %token D_PUBLICKEYTOKEN\r
273 %token D_REMOVEON\r
274 %token D_SET\r
275 %token D_SIZE\r
276 %token D_STACKRESERVE\r
277 %token D_SUBSYSTEM\r
278 %token D_TITLE\r
279 %token D_TRY\r
280 %token D_VER\r
281 %token D_VTABLE\r
282 %token D_VTENTRY\r
283 %token D_VTFIXUP\r
284 %token D_ZEROINIT\r
285 \r
286 \r
287 /* Keywords */\r
288 %token K_AT\r
289 %token K_AS\r
290 %token K_IMPLICITCOM\r
291 %token K_IMPLICITRES\r
292 %token K_NOAPPDOMAIN\r
293 %token K_NOPROCESS\r
294 %token K_NOMACHINE\r
295 %token K_EXTERN\r
296 %token K_INSTANCE\r
297 %token K_EXPLICIT\r
298 %token K_DEFAULT\r
299 %token K_VARARG\r
300 %token K_UNMANAGED\r
301 %token K_CDECL\r
302 %token K_STDCALL\r
303 %token K_THISCALL\r
304 %token K_FASTCALL\r
305 %token K_MARSHAL\r
306 %token K_IN\r
307 %token K_OUT\r
308 %token K_OPT\r
309 // %token K_LCID\r
310 //%token K_RETVAL\r
311 %token K_STATIC\r
312 %token K_PUBLIC\r
313 %token K_PRIVATE\r
314 %token K_FAMILY\r
315 %token K_INITONLY\r
316 %token K_RTSPECIALNAME\r
317 %token K_STRICT\r
318 %token K_SPECIALNAME\r
319 %token K_ASSEMBLY\r
320 %token K_FAMANDASSEM\r
321 %token K_FAMORASSEM\r
322 %token K_PRIVATESCOPE\r
323 %token K_LITERAL\r
324 %token K_NOTSERIALIZED\r
325 %token K_VALUE\r
326 %token K_NOT_IN_GC_HEAP\r
327 %token K_INTERFACE\r
328 %token K_SEALED\r
329 %token K_ABSTRACT\r
330 %token K_AUTO\r
331 %token K_SEQUENTIAL\r
332 %token K_ANSI\r
333 %token K_UNICODE\r
334 %token K_AUTOCHAR\r
335 %token K_BESTFIT\r
336 %token K_IMPORT\r
337 %token K_SERIALIZABLE\r
338 %token K_NESTED\r
339 %token K_LATEINIT\r
340 %token K_EXTENDS\r
341 %token K_IMPLEMENTS\r
342 %token K_FINAL\r
343 %token K_VIRTUAL\r
344 %token K_HIDEBYSIG\r
345 %token K_NEWSLOT\r
346 %token K_UNMANAGEDEXP\r
347 %token K_PINVOKEIMPL\r
348 %token K_NOMANGLE\r
349 %token K_OLE\r
350 %token K_LASTERR\r
351 %token K_WINAPI\r
352 %token K_NATIVE\r
353 %token K_IL\r
354 %token K_CIL\r
355 %token K_OPTIL\r
356 %token K_MANAGED\r
357 %token K_FORWARDREF\r
358 %token K_RUNTIME\r
359 %token K_INTERNALCALL\r
360 %token K_SYNCHRONIZED\r
361 %token K_NOINLINING\r
362 %token K_CUSTOM\r
363 %token K_FIXED\r
364 %token K_SYSSTRING\r
365 %token K_ARRAY\r
366 %token K_VARIANT\r
367 %token K_CURRENCY\r
368 %token K_SYSCHAR\r
369 %token K_VOID\r
370 %token K_BOOL\r
371 %token K_INT8\r
372 %token K_INT16\r
373 %token K_INT32\r
374 %token K_INT64\r
375 %token K_FLOAT32\r
376 %token K_FLOAT64\r
377 %token K_ERROR\r
378 %token K_UNSIGNED\r
379 %token K_UINT\r
380 %token K_UINT8\r
381 %token K_UINT16\r
382 %token K_UINT32\r
383 %token K_UINT64\r
384 %token K_DECIMAL\r
385 %token K_DATE\r
386 %token K_BSTR\r
387 %token K_LPSTR\r
388 %token K_LPWSTR\r
389 %token K_LPTSTR\r
390 %token K_OBJECTREF\r
391 %token K_IUNKNOWN\r
392 %token K_IDISPATCH\r
393 %token K_STRUCT\r
394 %token K_SAFEARRAY\r
395 %token K_INT\r
396 %token K_BYVALSTR\r
397 %token K_TBSTR\r
398 %token K_LPVOID\r
399 %token K_ANY\r
400 %token K_FLOAT\r
401 %token K_LPSTRUCT\r
402 %token K_NULL\r
403 %token K_PTR\r
404 %token K_VECTOR\r
405 %token K_HRESULT\r
406 %token K_CARRAY\r
407 %token K_USERDEFINED\r
408 %token K_RECORD\r
409 %token K_FILETIME\r
410 %token K_BLOB\r
411 %token K_STREAM\r
412 %token K_STORAGE\r
413 %token K_STREAMED_OBJECT\r
414 %token K_STORED_OBJECT\r
415 %token K_BLOB_OBJECT\r
416 %token K_CF\r
417 %token K_CLSID\r
418 %token K_METHOD\r
419 %token K_CLASS\r
420 %token K_PINNED\r
421 %token K_MODREQ\r
422 %token K_MODOPT\r
423 %token K_TYPEDREF\r
424 %token K_TYPE\r
425 %token K_WCHAR\r
426 %token K_CHAR\r
427 %token K_FROMUNMANAGED\r
428 %token K_CALLMOSTDERIVED\r
429 %token K_BYTEARRAY\r
430 %token K_WITH\r
431 %token K_INIT\r
432 %token K_TO\r
433 %token K_CATCH\r
434 %token K_FILTER\r
435 %token K_FINALLY\r
436 %token K_FAULT\r
437 %token K_HANDLER\r
438 %token K_TLS\r
439 %token K_FIELD\r
440 %token K_PROPERTY\r
441 %token K_REQUEST\r
442 %token K_DEMAND\r
443 %token K_ASSERT\r
444 %token K_DENY\r
445 %token K_PERMITONLY\r
446 %token K_LINKCHECK\r
447 %token K_INHERITCHECK\r
448 %token K_REQMIN\r
449 %token K_REQOPT\r
450 %token K_REQREFUSE\r
451 %token K_PREJITGRANT\r
452 %token K_PREJITDENY\r
453 %token K_NONCASDEMAND\r
454 %token K_NONCASLINKDEMAND\r
455 %token K_NONCASINHERITANCE\r
456 %token K_READONLY\r
457 %token K_NOMETADATA\r
458 %token K_ALGORITHM\r
459 %token K_FULLORIGIN\r
460 // %token K_NAN\r
461 // %token K_INF\r
462 // %token K_PUBLICKEY\r
463 %token K_ENABLEJITTRACKING\r
464 %token K_DISABLEJITOPTIMIZER\r
465 %token K_RETARGETABLE\r
466 %token K_PRESERVESIG\r
467 %token K_BEFOREFIELDINIT\r
468 %token K_ALIGNMENT\r
469 %token K_NULLREF\r
470 %token K_VALUETYPE\r
471 %token K_COMPILERCONTROLLED\r
472 %token K_REQSECOBJ\r
473 %token K_ENUM\r
474 %token K_OBJECT\r
475 %token K_STRING\r
476 %token K_TRUE\r
477 %token K_FALSE\r
478 %token K_IS\r
479 %token K_ON\r
480 %token K_OFF\r
481 %token K_FORWARDER\r
482 %token K_CHARMAPERROR\r
483 \r
484 /* end generated */\r
485 \r
486 \r
487 \r
488 \r
489 \r
490 %start il_file\r
491 \r
492 %%\r
493 \r
494 il_file                 : decls\r
495                         ;\r
496 \r
497 decls                   : /* EMPTY */\r
498                         | decls decl\r
499                         ;\r
500 \r
501 decl                    : class_all\r
502                         | namespace_all\r
503                         | method_all\r
504                         | field_decl\r
505                         | data_decl\r
506                         | vtfixup_decl\r
507                         | file_decl\r
508                         | assembly_all\r
509                         | assemblyref_all\r
510                         | exptype_all\r
511                         | manifestres_all\r
512                         | module_head\r
513                         | sec_decl\r
514                         | customattr_decl\r
515                           {\r
516                                 if (codegen.CurrentCustomAttrTarget != null)\r
517                                         codegen.CurrentCustomAttrTarget.AddCustomAttribute ((CustomAttr) $1);\r
518                           }\r
519                         | D_SUBSYSTEM int32\r
520                           {\r
521                                 codegen.SetSubSystem ((int) $2);\r
522                           }\r
523                         | D_CORFLAGS int32\r
524                           {\r
525                                 codegen.SetCorFlags ((int) $2);\r
526                           }\r
527                         | D_FILE K_ALIGNMENT int32\r
528                         | D_IMAGEBASE int64\r
529                           {\r
530                                 codegen.SetImageBase ((long) $2);\r
531                           }\r
532                         | D_STACKRESERVE int64\r
533                           {\r
534                                 codegen.SetStackReserve ((long) $2);\r
535                           }\r
536                         | extsource_spec\r
537                         | language_decl\r
538                         ;\r
539 \r
540 extsource_spec          : D_LINE int32 SQSTRING\r
541                         | D_LINE int32\r
542                         | D_LINE int32 COLON int32 SQSTRING\r
543                         | D_LINE int32 COLON int32\r
544                         ;\r
545 \r
546 language_decl           : D_LANGUAGE SQSTRING\r
547                         | D_LANGUAGE SQSTRING COMMA SQSTRING\r
548                         | D_LANGUAGE SQSTRING COMMA SQSTRING COMMA SQSTRING\r
549                         ;\r
550 \r
551                         \r
552 vtfixup_decl            : D_VTFIXUP OPEN_BRACKET int32 CLOSE_BRACKET \r
553                           vtfixup_attr K_AT id\r
554                         ;\r
555 \r
556 vtfixup_attr            : /* EMPTY */\r
557                         | vtfixup_attr K_INT32\r
558                         | vtfixup_attr K_INT64\r
559                         | vtfixup_attr K_FROMUNMANAGED\r
560                         | vtfixup_attr K_CALLMOSTDERIVED\r
561                         ;\r
562 \r
563 namespace_all           : namespace_head OPEN_BRACE decls CLOSE_BRACE\r
564                           {\r
565                                 codegen.CurrentNameSpace = null;\r
566                           }\r
567                         ;\r
568 \r
569 namespace_head          : D_NAMESPACE comp_name\r
570                           {\r
571                                 codegen.CurrentNameSpace = (string) $2;\r
572                           }\r
573                         ;\r
574 \r
575 class_all               : class_head OPEN_BRACE class_decls CLOSE_BRACE\r
576                           {\r
577                                 codegen.EndTypeDef ();\r
578                           }\r
579                         ;\r
580 \r
581 class_head              : D_CLASS class_attr comp_name formal_typars_clause extends_clause\r
582                           impl_clause\r
583                           {\r
584                                 codegen.BeginTypeDef ((TypeAttr) $2, (string) $3, \r
585                                                 $5 as BaseClassRef, $6 as ArrayList, null, (GenericParameters) $4);\r
586                                 \r
587                                 if (is_value_class)\r
588                                         codegen.CurrentTypeDef.MakeValueClass ();\r
589                                 if (is_enum_class)\r
590                                         codegen.CurrentTypeDef.MakeEnumClass ();\r
591                           }\r
592                         ;\r
593 \r
594 class_attrs             : class_attrs class_attr\r
595                         ;\r
596 \r
597 class_attr              : /* EMPTY */                           \r
598                           { \r
599                                 // Reset some flags\r
600                                 is_value_class = false;\r
601                                 is_enum_class = false;\r
602                                 $$ = new TypeAttr ();\r
603                           }\r
604                         | class_attr K_PUBLIC                   { $$ = (TypeAttr)$1 | TypeAttr.Public; }        \r
605                         | class_attr K_PRIVATE                  { $$ = (TypeAttr)$1 | TypeAttr.Private; }\r
606                         | class_attr K_NESTED K_PRIVATE         { $$ = (TypeAttr)$1 | TypeAttr.NestedPrivate; }\r
607                         | class_attr K_NESTED K_PUBLIC          { $$ = (TypeAttr)$1 | TypeAttr.NestedPublic; }\r
608                         | class_attr K_NESTED K_FAMILY          { $$ = (TypeAttr)$1 | TypeAttr.NestedFamily; }\r
609                         | class_attr K_NESTED K_ASSEMBLY        { $$ = (TypeAttr)$1 | TypeAttr.NestedAssembly;}\r
610                         | class_attr K_NESTED K_FAMANDASSEM     { $$ = (TypeAttr)$1 | TypeAttr.NestedFamAndAssem; }\r
611                         | class_attr K_NESTED K_FAMORASSEM      { $$ = (TypeAttr)$1 | TypeAttr.NestedFamOrAssem; }\r
612                         | class_attr K_VALUE                    { is_value_class = true; }\r
613                         | class_attr K_ENUM                     { is_enum_class = true; is_value_class = true;\r
614                           }\r
615                         | class_attr K_INTERFACE                { $$ = (TypeAttr)$1 | TypeAttr.Interface; }\r
616                         | class_attr K_SEALED                   { $$ = (TypeAttr)$1 | TypeAttr.Sealed; }\r
617                         | class_attr K_ABSTRACT                 { $$ = (TypeAttr)$1 | TypeAttr.Abstract; }\r
618                         | class_attr K_AUTO                     {  }\r
619                         | class_attr K_SEQUENTIAL               { $$ = (TypeAttr)$1 | TypeAttr.SequentialLayout; }\r
620                         | class_attr K_EXPLICIT                 { $$ = (TypeAttr)$1 | TypeAttr.ExplicitLayout; }\r
621                         | class_attr K_ANSI                     {  }\r
622                         | class_attr K_UNICODE                  { $$ = (TypeAttr)$1 | TypeAttr.UnicodeClass; }\r
623                         | class_attr K_AUTOCHAR                 { $$ = (TypeAttr)$1 | TypeAttr.AutoClass; }\r
624                         | class_attr K_IMPORT                   { $$ = (TypeAttr)$1 | TypeAttr.Import; }\r
625                         | class_attr K_SERIALIZABLE             { $$ = (TypeAttr)$1 | TypeAttr.Serializable; }\r
626                         | class_attr K_BEFOREFIELDINIT          { $$ = (TypeAttr)$1 | TypeAttr.BeforeFieldInit; }\r
627                         | class_attr K_SPECIALNAME              { $$ = (TypeAttr)$1 | TypeAttr.SpecialName; }\r
628                         | class_attr K_RTSPECIALNAME            { $$ = (TypeAttr)$1 | TypeAttr.RTSpecialName; }\r
629                         ;\r
630 \r
631 extends_clause          : /* EMPTY */\r
632                         | K_EXTENDS generic_class_ref\r
633                           {\r
634                                 $$ = $2;\r
635                           }\r
636                         ;\r
637 \r
638 impl_clause             : /* EMPTY */\r
639                         | impl_class_refs\r
640                         ;\r
641 \r
642 impl_class_refs         : K_IMPLEMENTS generic_class_ref\r
643                           {\r
644                                 ArrayList al = new ArrayList ();\r
645                                 al.Add ($2);\r
646                                 $$ = al;\r
647                           }\r
648                         | impl_class_refs COMMA generic_class_ref\r
649                           {\r
650                                 ArrayList al = (ArrayList) $1;\r
651 \r
652                                 al.Insert (0, $3);\r
653                                 $$ = al;\r
654                           }\r
655                         ;\r
656 \r
657 formal_typars_clause           : /* EMPTY */\r
658                         | OPEN_ANGLE_BRACKET formal_typars CLOSE_ANGLE_BRACKET\r
659                           {\r
660                                 $$ = $2;\r
661                           }\r
662                         ;\r
663 \r
664 typars_clause           : /* EMPTY */\r
665                         | OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET\r
666                           {\r
667                                 $$ = $2;\r
668                           }\r
669                         ;\r
670 \r
671 typars                  : type\r
672                           {\r
673                                 GenericArguments ga = new GenericArguments ();\r
674                                 ga.Add ((BaseTypeRef) $1);\r
675                                 $$ = ga;\r
676                           }\r
677                         | typars COMMA type\r
678                           {\r
679                                 ((GenericArguments) $1).Add ((BaseTypeRef) $3);\r
680                                 $$ = $1;\r
681                           }\r
682                         ;\r
683 \r
684 constraints_clause      : /* EMTPY */\r
685                         | OPEN_PARENS constraints CLOSE_PARENS\r
686                           {\r
687                                 $$ = $2;\r
688                           }\r
689                        ;\r
690 \r
691 \r
692 constraints             : generic_class_ref\r
693                           {\r
694                                 ArrayList al = new ArrayList ();\r
695                                 al.Add ($1);\r
696                                 $$ = al;\r
697                            }\r
698                         | constraints COMMA generic_class_ref\r
699                           {\r
700                                 ArrayList al = (ArrayList) $1;\r
701                                 al.Add ($3);\r
702                                 $$ = al;\r
703                           }\r
704                         ;\r
705 \r
706 generic_class_ref       : class_ref\r
707                           {\r
708                                 $$ = $1;\r
709                           }\r
710                         | K_CLASS class_ref typars_clause\r
711                           {\r
712                                 if ($3 != null)\r
713                                         $$ = ((BaseClassRef) $2).GetGenericTypeInst ((GenericArguments) $3);\r
714                                 else\r
715                                         $$ = $2;\r
716                           }\r
717                         | BANG int32\r
718                           {\r
719                                 GenParam gpar = new GenParam ((int) $2, "", GenParamType.Var);\r
720                                 $$ = new GenericParamRef (gpar, $2.ToString ());\r
721                           }\r
722                         | BANG BANG int32\r
723                           {\r
724                                 GenParam gpar = new GenParam ((int) $3, "", GenParamType.MVar);\r
725                                 $$ = new GenericParamRef (gpar, $3.ToString ());\r
726                           }\r
727                         | BANG id\r
728                           {\r
729                                 int num = -1;\r
730                                 string name = (string) $2;\r
731                                 if (codegen.CurrentTypeDef != null)\r
732                                         num = codegen.CurrentTypeDef.GetGenericParamNum (name);\r
733                                 GenParam gpar = new GenParam (num, name, GenParamType.Var);\r
734                                 $$ = new GenericParamRef (gpar, name);\r
735                           }\r
736                         | BANG BANG id\r
737                           {\r
738                                 int num = -1;\r
739                                 string name = (string) $3;\r
740                                 if (codegen.CurrentMethodDef != null)\r
741                                         num = codegen.CurrentMethodDef.GetGenericParamNum (name);\r
742                                 GenParam gpar = new GenParam (num, name, GenParamType.MVar);\r
743                                 $$ = new GenericParamRef (gpar, name);\r
744                           }\r
745                         ; \r
746 \r
747 formal_typars           : formal_typar_attr constraints_clause formal_typar\r
748                           {\r
749                                 GenericParameter gp = new GenericParameter ((string) $3, (PEAPI.GenericParamAttributes) $1, (ArrayList) $2);\r
750 \r
751                                 GenericParameters colln = new GenericParameters ();\r
752                                 colln.Add (gp);\r
753                                 $$ = colln;\r
754                           }\r
755                         | formal_typars COMMA formal_typar_attr constraints_clause formal_typar\r
756                           {\r
757                                 GenericParameters colln = (GenericParameters) $1;\r
758                                 colln.Add (new GenericParameter ((string) $5, (PEAPI.GenericParamAttributes) $3, (ArrayList) $4));\r
759                                 $$ = colln;\r
760                           }\r
761                          ;\r
762  \r
763 formal_typar_attr       : /* EMPTY */\r
764                           {\r
765                                 $$ = new PEAPI.GenericParamAttributes ();\r
766                           }\r
767                         | formal_typar_attr PLUS\r
768                           {\r
769                                $$ = (PEAPI.GenericParamAttributes) $1 | PEAPI.GenericParamAttributes.Covariant; \r
770                           }\r
771                         | formal_typar_attr DASH\r
772                           {\r
773                                $$ = (PEAPI.GenericParamAttributes) $1 | PEAPI.GenericParamAttributes.Contravariant; \r
774                           }\r
775                         | formal_typar_attr D_CTOR\r
776                           {\r
777                                $$ = (PEAPI.GenericParamAttributes) $1 | PEAPI.GenericParamAttributes.DefaultConstructorConstrait; \r
778                           }\r
779                         | formal_typar_attr K_VALUETYPE\r
780                           {\r
781                                $$ = (PEAPI.GenericParamAttributes) $1 | PEAPI.GenericParamAttributes.NotNullableValueTypeConstraint; \r
782                           }\r
783                         | formal_typar_attr K_CLASS\r
784                           {\r
785                                $$ = (PEAPI.GenericParamAttributes) $1 | PEAPI.GenericParamAttributes.ReferenceTypeConstraint; \r
786                           }\r
787                         ;\r
788 \r
789 formal_typar            : id\r
790                           {\r
791                                 $$ = $1;\r
792                           }\r
793                         ;\r
794 \r
795 param_type_decl         : D_PARAM K_TYPE id\r
796                           {\r
797                                   if (codegen.CurrentMethodDef != null)\r
798                                           codegen.CurrentCustomAttrTarget = codegen.CurrentMethodDef.GetGenericParam ((string) $3);\r
799                                   else\r
800                                           codegen.CurrentCustomAttrTarget = codegen.CurrentTypeDef.GetGenericParam ((string) $3);\r
801                                   if (codegen.CurrentCustomAttrTarget == null)\r
802                                           Report.Error (String.Format ("Type parameter '{0}' undefined.", (string) $3));\r
803                           }\r
804                         | D_PARAM K_TYPE OPEN_BRACKET int32 CLOSE_BRACKET\r
805                           {\r
806                                   int index = ((int) $4);\r
807                                   if (codegen.CurrentMethodDef != null)\r
808                                           codegen.CurrentCustomAttrTarget = codegen.CurrentMethodDef.GetGenericParam (index - 1);\r
809                                   else\r
810                                           codegen.CurrentCustomAttrTarget = codegen.CurrentTypeDef.GetGenericParam (index - 1);\r
811                                   if (codegen.CurrentCustomAttrTarget == null)\r
812                                           Report.Error (String.Format ("Type parameter '{0}' index out of range.", index));\r
813                           }\r
814                         ;\r
815                         \r
816 class_refs              : class_ref\r
817                           {\r
818                                 ArrayList class_list = new ArrayList ();\r
819                                 class_list.Add ($1);\r
820                                 $$ = class_list; \r
821                           }\r
822                         | class_refs COMMA class_ref\r
823                           {\r
824                                 ArrayList class_list = (ArrayList) $1;\r
825                                 class_list.Add ($3);\r
826                           }\r
827                         ;\r
828 \r
829 slashed_name            : comp_name\r
830                         | slashed_name SLASH comp_name\r
831                           {\r
832                                 $$ = String.Format ("{0}/{1}", $1, $3);\r
833                           }\r
834                         ;\r
835 \r
836 class_ref               : OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name\r
837                           {\r
838                                 if (codegen.IsThisAssembly ((string) $2)) {\r
839                                         $$ = codegen.GetTypeRef ((string) $4);\r
840                                 } else {\r
841                                         $$ = codegen.ExternTable.GetTypeRef ((string) $2, (string) $4, false);\r
842                                 }\r
843                           }\r
844                         | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET slashed_name\r
845                           {\r
846                                 if (codegen.IsThisModule ((string) $3)) {\r
847                                         $$ = codegen.GetTypeRef ((string) $5);\r
848                                 } else {\r
849                                         $$ = codegen.ExternTable.GetModuleTypeRef ((string) $3, (string) $5, false);\r
850                                 }\r
851                           }\r
852                         | slashed_name\r
853                           {\r
854                                 PrimitiveTypeRef prim = PrimitiveTypeRef.GetPrimitiveType ((string) $1);\r
855 \r
856                                 if (prim != null && !codegen.IsThisAssembly ("mscorlib"))\r
857                                         $$ = prim;\r
858                                 else\r
859                                         $$ = codegen.GetTypeRef ((string) $1);\r
860                           }\r
861                       \r
862                         ;\r
863 \r
864 class_decls             : /* EMPTY */\r
865                         | class_decls class_decl\r
866                         ;\r
867 \r
868 class_decl              : method_all\r
869                         | class_all\r
870                         | event_all\r
871                         | prop_all\r
872                         | field_decl\r
873                         | data_decl\r
874                         | sec_decl\r
875                           {\r
876                                 AddSecDecl ($1, false);\r
877                           }\r
878                         | extsource_spec\r
879                         | customattr_decl\r
880                           {\r
881                                 if (codegen.CurrentCustomAttrTarget != null)\r
882                                         codegen.CurrentCustomAttrTarget.AddCustomAttribute ((CustomAttr) $1);\r
883                           }\r
884                         | param_type_decl\r
885                         | D_SIZE int32\r
886                           {\r
887                                 codegen.CurrentTypeDef.SetSize ((int) $2);\r
888                           }\r
889                         | D_PACK int32\r
890                           {\r
891                                 codegen.CurrentTypeDef.SetPack ((int) $2);\r
892                           }\r
893                         | D_OVERRIDE type_spec DOUBLE_COLON method_name K_WITH call_conv type\r
894                           type_spec DOUBLE_COLON method_name type_list\r
895                           {\r
896                                 //\r
897                                 // My copy of the spec didn't have a type_list but\r
898                                 // it seems pretty crucial\r
899                                 //\r
900                                 BaseTypeRef owner = (BaseTypeRef) $2;\r
901                                 ArrayList arg_list = (ArrayList) $11;\r
902                                 BaseTypeRef[] param_list;\r
903                                 BaseMethodRef decl;\r
904 \r
905                                 if (arg_list != null)\r
906                                         param_list = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
907                                 else\r
908                                         param_list = new BaseTypeRef[0];\r
909 \r
910                                 decl = owner.GetMethodRef ((BaseTypeRef) $7,\r
911                                         (CallConv) $6, (string) $4, param_list, 0);\r
912 \r
913                                 // NOTICE: `owner' here might be wrong\r
914                                 string sig = MethodDef.CreateSignature (owner, (CallConv) $6, (string) $10,\r
915                                                                         param_list, 0, false);\r
916                                 codegen.CurrentTypeDef.AddOverride (sig, decl);                                        \r
917                           }\r
918                           OPEN_PARENS sig_args CLOSE_PARENS\r
919                         | language_decl\r
920                         ;\r
921 \r
922 type                    : generic_class_ref\r
923                           {\r
924                                 $$ = $1;\r
925                           }\r
926                         | K_OBJECT\r
927                           {\r
928                                 $$ = new PrimitiveTypeRef (PrimitiveType.Object, "System.Object");\r
929                           }\r
930                         | K_VALUE K_CLASS class_ref\r
931                           {\r
932                                 BaseClassRef class_ref = (BaseClassRef) $3;\r
933                                 class_ref.MakeValueClass ();\r
934                                 $$ = class_ref;\r
935                           }\r
936                         | K_VALUETYPE OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name typars_clause\r
937                           {\r
938                                 ExternTypeRef ext_ref = codegen.ExternTable.GetTypeRef ((string) $3, (string) $5, true);\r
939                                 if ($6 != null)\r
940                                         $$ = ext_ref.GetGenericTypeInst ((GenericArguments) $6);\r
941                                 else\r
942                                         $$ = ext_ref;\r
943                           }\r
944                         | K_VALUETYPE slashed_name typars_clause\r
945                           {\r
946                                 TypeRef t_ref = codegen.GetTypeRef ((string) $2);\r
947                                 t_ref.MakeValueClass ();\r
948                                 if ($3 != null)\r
949                                         $$ = t_ref.GetGenericTypeInst ((GenericArguments) $3);\r
950                                 else\r
951                                         $$ = t_ref;\r
952                           }\r
953                         | type OPEN_BRACKET CLOSE_BRACKET\r
954                           {\r
955                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
956                                 base_type.MakeArray ();\r
957                                 $$ = base_type;\r
958                           }\r
959                         | type OPEN_BRACKET bounds CLOSE_BRACKET\r
960                           {\r
961                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
962                                 ArrayList bound_list = (ArrayList) $3;\r
963                                 base_type.MakeBoundArray (bound_list);\r
964                                 $$ = base_type;\r
965                           }\r
966                         | type AMPERSAND\r
967                           {\r
968                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
969                                 base_type.MakeManagedPointer ();\r
970                                 $$ = base_type;\r
971                           }\r
972                         | type STAR\r
973                           {\r
974                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
975                                 base_type.MakeUnmanagedPointer ();\r
976                                 $$ = base_type;\r
977                           }\r
978                         | type K_PINNED\r
979                           {\r
980                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
981                                 base_type.MakePinned ();\r
982                                 $$ = base_type;\r
983                           }\r
984                         | type K_MODREQ OPEN_PARENS class_ref CLOSE_PARENS\r
985                           {\r
986                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
987                                 BaseClassRef class_ref = (BaseClassRef) $4;\r
988                                 base_type.MakeCustomModified (codegen,\r
989                                         CustomModifier.modreq, class_ref);\r
990                                 $$ = base_type;\r
991                           }\r
992                         | type K_MODOPT OPEN_PARENS class_ref CLOSE_PARENS\r
993                           {\r
994                                 BaseTypeRef base_type = GetTypeRef ((BaseTypeRef) $1);\r
995                                 BaseClassRef class_ref = (BaseClassRef) $4;\r
996                                 base_type.MakeCustomModified (codegen,\r
997                                         CustomModifier.modopt, class_ref);\r
998                                 $$ = base_type;\r
999                           }\r
1000                         | K_METHOD call_conv type STAR OPEN_PARENS sig_args CLOSE_PARENS\r
1001                           {\r
1002                                 $$ = new MethodPointerTypeRef ((CallConv) $2, (BaseTypeRef) $3, (ArrayList) $6);\r
1003                           }\r
1004                         | primitive_type\r
1005                         ;\r
1006 \r
1007                         ;\r
1008 \r
1009 primitive_type          : K_INT8\r
1010                           {\r
1011                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int8, "System.SByte");\r
1012                           }\r
1013                         | K_INT16\r
1014                           {\r
1015                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int16, "System.Int16");\r
1016                           }\r
1017                         | K_INT32\r
1018                           {\r
1019                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int32, "System.Int32");\r
1020                           }\r
1021                         | K_INT64\r
1022                           {\r
1023                                 $$ = new PrimitiveTypeRef (PrimitiveType.Int64, "System.Int64");\r
1024                           }\r
1025                         | K_FLOAT32\r
1026                           {\r
1027                                 $$ = new PrimitiveTypeRef (PrimitiveType.Float32, "System.Single");\r
1028                           }\r
1029                         | K_FLOAT64\r
1030                           {\r
1031                                 $$ = new PrimitiveTypeRef (PrimitiveType.Float64, "System.Double");\r
1032                           }\r
1033                         | K_UNSIGNED K_INT8\r
1034                           {\r
1035                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt8, "System.Byte");\r
1036                           }\r
1037                         | K_UINT8\r
1038                           {\r
1039                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt8, "System.Byte");\r
1040                           }\r
1041                         | K_UNSIGNED K_INT16\r
1042                           {\r
1043                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt16, "System.UInt16");     \r
1044                           }\r
1045                         | K_UINT16\r
1046                           {\r
1047                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt16, "System.UInt16");     \r
1048                           }\r
1049                         | K_UNSIGNED K_INT32\r
1050                           {\r
1051                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt32, "System.UInt32");\r
1052                           }\r
1053                         | K_UINT32\r
1054                           {\r
1055                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt32, "System.UInt32");\r
1056                           }\r
1057                         | K_UNSIGNED K_INT64\r
1058                           {\r
1059                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt64, "System.UInt64");\r
1060                           }\r
1061                         | K_UINT64\r
1062                           {\r
1063                                 $$ = new PrimitiveTypeRef (PrimitiveType.UInt64, "System.UInt64");\r
1064                           }\r
1065                         | K_NATIVE K_INT\r
1066                           {\r
1067                                 // TODO: Is this the proper full name\r
1068                                 $$ = new PrimitiveTypeRef (PrimitiveType.NativeInt, "System.IntPtr");\r
1069                           }\r
1070                         | K_NATIVE K_UNSIGNED K_INT\r
1071                           {\r
1072                                 $$ = new PrimitiveTypeRef (PrimitiveType.NativeUInt, "System.UIntPtr");\r
1073                           }\r
1074                         | K_NATIVE K_UINT\r
1075                           {\r
1076                                 $$ = new PrimitiveTypeRef (PrimitiveType.NativeUInt, "System.UIntPtr");\r
1077                           }\r
1078                         | K_TYPEDREF\r
1079                           {\r
1080                                 $$ = new PrimitiveTypeRef (PrimitiveType.TypedRef,\r
1081                                         "System.TypedReference");\r
1082                           }\r
1083                         | K_CHAR\r
1084                           {\r
1085                                 $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");\r
1086                           }\r
1087                         | K_WCHAR\r
1088                           {\r
1089                                 $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");\r
1090                           }\r
1091                         | K_VOID\r
1092                           {\r
1093                                 $$ = new PrimitiveTypeRef (PrimitiveType.Void, "System.Void");\r
1094                           }\r
1095                         | K_BOOL\r
1096                           {\r
1097                                 $$ = new PrimitiveTypeRef (PrimitiveType.Boolean, "System.Boolean");\r
1098                           }\r
1099                         | K_STRING\r
1100                           {\r
1101                                 $$ = new PrimitiveTypeRef (PrimitiveType.String, "System.String");\r
1102                           }\r
1103                         ;\r
1104 \r
1105 bounds                  : bound\r
1106                           {\r
1107                                 ArrayList bound_list = new ArrayList ();\r
1108                                 bound_list.Add ($1);\r
1109                                 $$ = bound_list;\r
1110                           }\r
1111                         | bounds COMMA bound\r
1112                           {\r
1113                                 ArrayList bound_list = (ArrayList) $1;\r
1114                                 bound_list.Add ($3);\r
1115                           }\r
1116                         ;\r
1117 \r
1118 bound                   : /* EMPTY */\r
1119                           {\r
1120                                 // This is shortref for no lowerbound or size\r
1121                                 $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);\r
1122                           }\r
1123                         | ELLIPSIS\r
1124                           {\r
1125                                 // No lower bound or size\r
1126                                 $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);\r
1127                           }\r
1128                         | int32\r
1129                           {\r
1130                                 /* Only size specified */ \r
1131                                 int size = (int) $1;\r
1132                                 if (size < 0)\r
1133                                         /* size cannot be < 0, so emit as (0, ...)\r
1134                                            ilasm.net emits it like this */\r
1135                                         $$ = new DictionaryEntry (0, TypeRef.Ellipsis);\r
1136                                 else\r
1137                                         $$ = new DictionaryEntry (TypeRef.Ellipsis, size);\r
1138                           }\r
1139                         | int32 ELLIPSIS int32\r
1140                           {\r
1141                                 // lower and upper bound\r
1142                                 int lower = (int) $1;\r
1143                                 int upper = (int) $3;\r
1144                                 if (lower > upper) \r
1145                                         Report.Error ("Lower bound " + lower + " must be <= upper bound " + upper);\r
1146 \r
1147                                 $$ = new DictionaryEntry ($1, $3);\r
1148                           }\r
1149                         | int32 ELLIPSIS\r
1150                           {\r
1151                                 // Just lower bound\r
1152                                 $$ = new DictionaryEntry ($1, TypeRef.Ellipsis);\r
1153                           }\r
1154                         ;\r
1155 \r
1156 call_conv               : K_INSTANCE call_conv\r
1157                           {\r
1158                                 $$ = (CallConv) $2 | CallConv.Instance;\r
1159                           }\r
1160                         | K_EXPLICIT call_conv\r
1161                           {\r
1162                                 $$ = (CallConv) $2 | CallConv.InstanceExplicit;\r
1163                           }\r
1164                         | call_kind\r
1165                         ;\r
1166 \r
1167 call_kind               : /* EMPTY */\r
1168                           {\r
1169                                 $$ = new CallConv ();\r
1170                           }\r
1171                         | K_DEFAULT\r
1172                           {\r
1173                                 $$ = CallConv.Default;\r
1174                           }\r
1175                         | K_VARARG\r
1176                           {\r
1177                                 $$ = CallConv.Vararg;\r
1178                           }\r
1179                         | K_UNMANAGED K_CDECL\r
1180                           {\r
1181                                 $$ = CallConv.Cdecl;\r
1182                           }\r
1183                         | K_UNMANAGED K_STDCALL\r
1184                           {\r
1185                                 $$ = CallConv.Stdcall;\r
1186                           }\r
1187                         | K_UNMANAGED K_THISCALL\r
1188                           {\r
1189                                 $$ = CallConv.Thiscall;\r
1190                           }\r
1191                         | K_UNMANAGED K_FASTCALL\r
1192                           {\r
1193                                 $$ = CallConv.Fastcall;\r
1194                           }\r
1195                         ;\r
1196 \r
1197 native_type             : /* EMPTY */\r
1198                         | K_CUSTOM OPEN_PARENS comp_qstring COMMA comp_qstring CLOSE_PARENS\r
1199                           {\r
1200                                 $$ = new CustomMarshaller ((string) $3, (string) $5);\r
1201                           }\r
1202                         | K_FIXED K_SYSSTRING OPEN_BRACKET int32 CLOSE_BRACKET\r
1203                           {\r
1204                                 $$ = new FixedSysString ((uint) (int)$4);\r
1205                           }\r
1206                         | K_FIXED K_ARRAY OPEN_BRACKET int32 CLOSE_BRACKET\r
1207                           {\r
1208                                 $$ = new FixedArray ((int) $4);        \r
1209                           }\r
1210                         | K_VARIANT\r
1211                         | K_CURRENCY\r
1212                           {\r
1213                                 $$ = NativeType.Currency;\r
1214                           }\r
1215                         | K_SYSCHAR\r
1216                         | K_VOID\r
1217                           {\r
1218                                 $$ = NativeType.Void;\r
1219                           }\r
1220                         | K_BOOL\r
1221                           {\r
1222                                 $$ = NativeType.Boolean;\r
1223                           }\r
1224                         | K_INT8\r
1225                           {\r
1226                                 $$ = NativeType.Int8;\r
1227                           }\r
1228                         | K_INT16\r
1229                           {\r
1230                                 $$ = NativeType.Int16;\r
1231                           }\r
1232                         | K_INT32\r
1233                           {\r
1234                                 $$ = NativeType.Int32;\r
1235                           }\r
1236                         | K_INT64\r
1237                           {\r
1238                                 $$ = NativeType.Int64;\r
1239                           }\r
1240                         | K_FLOAT32\r
1241                           {\r
1242                                 $$ = NativeType.Float32;\r
1243                           }\r
1244                         | K_FLOAT64\r
1245                           {\r
1246                                 $$ = NativeType.Float64;\r
1247                           }\r
1248                         | K_ERROR\r
1249                           {\r
1250                                 $$ = NativeType.Error;\r
1251                           }\r
1252                         | K_UNSIGNED K_INT8\r
1253                           {\r
1254                                 $$ = NativeType.UInt8;\r
1255                           }\r
1256                         | K_UINT8\r
1257                           {\r
1258                                 $$ = NativeType.UInt8;\r
1259                           }\r
1260                         | K_UNSIGNED K_INT16\r
1261                           {\r
1262                                 $$ = NativeType.UInt16;\r
1263                           }\r
1264                         | K_UINT16\r
1265                           {\r
1266                                 $$ = NativeType.UInt16;\r
1267                           }\r
1268                         | K_UNSIGNED K_INT32\r
1269                           {\r
1270                                 $$ = NativeType.UInt32;\r
1271                           }\r
1272                         | K_UINT32\r
1273                           {\r
1274                                 $$ = NativeType.UInt32;\r
1275                           }\r
1276                         | K_UNSIGNED K_INT64\r
1277                           {\r
1278                                 $$ = NativeType.UInt64;\r
1279                           }\r
1280                         | K_UINT64\r
1281                           {\r
1282                                 $$ = NativeType.UInt64;\r
1283                           }\r
1284                         | native_type STAR\r
1285                         | native_type OPEN_BRACKET CLOSE_BRACKET\r
1286                           {\r
1287                                 $$ = new NativeArray ((NativeType) $1);\r
1288                           }\r
1289                         | native_type OPEN_BRACKET int32 CLOSE_BRACKET\r
1290                           {\r
1291                                 $$ = new NativeArray ((NativeType) $1, (int) $3, 0, 0);\r
1292                           }\r
1293                         | native_type OPEN_BRACKET int32 PLUS int32 CLOSE_BRACKET\r
1294                           {\r
1295                                 //FIXME: Allowed only for methods, !fields\r
1296                                 $$ = new NativeArray ((NativeType) $1, (int) $3, (int) $5);\r
1297                           }\r
1298                         | native_type OPEN_BRACKET PLUS int32 CLOSE_BRACKET\r
1299                           {\r
1300                                 //FIXME: Allowed only for methods, !fields\r
1301                                 $$ = new NativeArray ((NativeType) $1, -1, (int) $4);\r
1302                           }\r
1303                         | K_DECIMAL\r
1304                         | K_DATE\r
1305                         | K_BSTR\r
1306                           {\r
1307                                 $$ = NativeType.BStr;\r
1308                           }\r
1309                         | K_LPSTR\r
1310                           {\r
1311                                 $$ = NativeType.LPStr;\r
1312                           }\r
1313                         | K_LPWSTR\r
1314                           {\r
1315                                 $$ = NativeType.LPWStr;\r
1316                           }\r
1317                         | K_LPTSTR\r
1318                           {\r
1319                                 $$ = NativeType.LPTStr;\r
1320                           }\r
1321                         | K_OBJECTREF\r
1322                         | K_IUNKNOWN\r
1323                           {\r
1324                                 $$ = NativeType.IUnknown;\r
1325                           }\r
1326                         | K_IDISPATCH\r
1327                           {\r
1328                                 $$ = NativeType.IDispatch;\r
1329                           }\r
1330                         | K_STRUCT\r
1331                           {\r
1332                                 $$ = NativeType.Struct;\r
1333                           }\r
1334                         | K_INTERFACE\r
1335                           {\r
1336                                 $$ = NativeType.Interface;\r
1337                           }\r
1338                         | K_SAFEARRAY variant_type\r
1339                           {\r
1340                                 if ($2 == null)\r
1341                                         $$ = new SafeArray ();\r
1342                                 else        \r
1343                                         $$ = new SafeArray ((SafeArrayType) $2);\r
1344                           }\r
1345                         | K_SAFEARRAY variant_type COMMA comp_qstring\r
1346                         | K_INT\r
1347                           {\r
1348                                 $$ = NativeType.Int;\r
1349                           }\r
1350                         | K_UNSIGNED K_INT\r
1351                           {\r
1352                                 $$ = NativeType.UInt;\r
1353                           }\r
1354                         | K_NESTED K_STRUCT\r
1355                         | K_BYVALSTR\r
1356                           {\r
1357                                 $$ = NativeType.ByValStr;\r
1358                           }\r
1359                         | K_ANSI K_BSTR\r
1360                           {\r
1361                                 $$ = NativeType.AnsiBStr;\r
1362                           }\r
1363                         | K_TBSTR\r
1364                           {\r
1365                                 $$ = NativeType.TBstr;\r
1366                           }\r
1367                         | K_VARIANT K_BOOL\r
1368                           {\r
1369                                 $$ = NativeType.VariantBool;\r
1370                           }\r
1371                         | K_METHOD\r
1372                           {\r
1373                                 $$ = NativeType.FuncPtr;\r
1374                           }     \r
1375                         | K_AS K_ANY\r
1376                           {\r
1377                                 $$ = NativeType.AsAny;\r
1378                           }\r
1379                         | K_LPSTRUCT\r
1380                           {\r
1381                                 $$ = NativeType.LPStruct;\r
1382                           }\r
1383                         ;\r
1384 \r
1385 variant_type            : /* EMPTY */\r
1386                         | K_NULL\r
1387                         | K_VARIANT\r
1388                           {\r
1389                                 $$ = SafeArrayType.variant;\r
1390                           }\r
1391                         | K_CURRENCY\r
1392                           {\r
1393                                 $$ = SafeArrayType.currency;\r
1394                           }\r
1395                         | K_VOID\r
1396                         | K_BOOL\r
1397                           {\r
1398                                 $$ = SafeArrayType.boolean;\r
1399                           }\r
1400                         | K_INT8\r
1401                           {\r
1402                                 $$ = SafeArrayType.int8;\r
1403                           }\r
1404                         | K_INT16\r
1405                           {\r
1406                                 $$ = SafeArrayType.int16;\r
1407                           }\r
1408                         | K_INT32\r
1409                           {\r
1410                                 $$ = SafeArrayType.int32;\r
1411                           }\r
1412                         | K_INT64\r
1413                         | K_FLOAT32\r
1414                           {\r
1415                                 $$ = SafeArrayType.float32;\r
1416                           }\r
1417                         | K_FLOAT64\r
1418                           {\r
1419                                 $$ = SafeArrayType.float64;\r
1420                           }\r
1421                         | K_UNSIGNED K_INT8\r
1422                           {\r
1423                                 $$ = SafeArrayType.uint8;\r
1424                           }\r
1425                         | K_UNSIGNED K_INT16\r
1426                           {\r
1427                                 $$ = SafeArrayType.uint16;\r
1428                           }\r
1429                         | K_UNSIGNED K_INT32\r
1430                           {\r
1431                                 $$ = SafeArrayType.uint32;\r
1432                           }\r
1433                         | K_UNSIGNED K_INT64\r
1434                         | STAR\r
1435                         | variant_type OPEN_BRACKET CLOSE_BRACKET\r
1436                         | variant_type K_VECTOR\r
1437                         | variant_type AMPERSAND\r
1438                         | K_DECIMAL\r
1439                           {\r
1440                                 $$ = SafeArrayType.Decimal;\r
1441                           }\r
1442                         | K_DATE\r
1443                           {\r
1444                                 $$ = SafeArrayType.date;\r
1445                           }\r
1446                         | K_BSTR\r
1447                           {\r
1448                                 $$ = SafeArrayType.bstr;\r
1449                           }\r
1450                         | K_LPSTR\r
1451                         | K_LPWSTR\r
1452                         | K_IUNKNOWN\r
1453                           {\r
1454                                 $$ = SafeArrayType.unknown;\r
1455                           }\r
1456                         | K_IDISPATCH\r
1457                           {\r
1458                                 $$ = SafeArrayType.unknown;\r
1459                           }\r
1460                         | K_SAFEARRAY\r
1461                         | K_INT\r
1462                           {\r
1463                                 $$ = SafeArrayType.Int;\r
1464                           }\r
1465                         | K_UNSIGNED K_INT\r
1466                           {\r
1467                                 $$ = SafeArrayType.UInt;\r
1468                           }\r
1469                         | K_ERROR\r
1470                           {\r
1471                                 $$ = SafeArrayType.error;\r
1472                           }\r
1473                         | K_HRESULT\r
1474                         | K_CARRAY\r
1475                         | K_USERDEFINED\r
1476                         | K_RECORD\r
1477                         | K_FILETIME\r
1478                         | K_BLOB\r
1479                         | K_STREAM\r
1480                         | K_STORAGE\r
1481                         | K_STREAMED_OBJECT\r
1482                         | K_STORED_OBJECT\r
1483                         | K_BLOB_OBJECT\r
1484                         | K_CF\r
1485                         | K_CLSID\r
1486                         ;\r
1487 \r
1488 field_decl              : D_FIELD repeat_opt field_attr type id at_opt init_opt\r
1489                           {\r
1490                                 FieldDef field_def = new FieldDef((FieldAttr) $3, \r
1491                                         (string) $5, (BaseTypeRef) $4);\r
1492                                 codegen.AddFieldDef (field_def);\r
1493                                 codegen.CurrentCustomAttrTarget = field_def;\r
1494                                 \r
1495                                 if ($2 != null) {\r
1496                                         field_def.SetOffset ((uint) (int)$2);\r
1497                                 }\r
1498 \r
1499                                 if ($6 != null) {\r
1500                                         field_def.AddDataValue ((string) $6);\r
1501                                 }\r
1502 \r
1503                                 if ($7 != null) {\r
1504                                         field_def.SetValue ((Constant) $7);\r
1505                                 }\r
1506                           }\r
1507                         ;\r
1508 \r
1509 repeat_opt              : /* EMPTY */\r
1510                         | OPEN_BRACKET int32 CLOSE_BRACKET\r
1511                           {\r
1512                                 $$ = $2;\r
1513                           }\r
1514                         ;\r
1515 \r
1516 field_attr              : /* EMPTY */\r
1517                           {\r
1518                                 $$ = new FieldAttr ();\r
1519                           }\r
1520                         | field_attr K_PUBLIC\r
1521                           {\r
1522                                 $$ = (FieldAttr) $1 | FieldAttr.Public;\r
1523                           }\r
1524                         | field_attr K_PRIVATE\r
1525                           {\r
1526                                 $$ = (FieldAttr) $1 | FieldAttr.Private;\r
1527                           }\r
1528                         | field_attr K_FAMILY\r
1529                           {\r
1530                                 $$ = (FieldAttr) $1 | FieldAttr.Family;\r
1531                           }\r
1532                         | field_attr K_ASSEMBLY\r
1533                           {\r
1534                                 $$ = (FieldAttr) $1 | FieldAttr.Assembly;\r
1535                           }\r
1536                         | field_attr K_FAMANDASSEM\r
1537                           {\r
1538                                 $$ = (FieldAttr) $1 | FieldAttr.FamAndAssem;\r
1539                           }\r
1540                         | field_attr K_FAMORASSEM\r
1541                           {\r
1542                                 $$ = (FieldAttr) $1 | FieldAttr.FamOrAssem;\r
1543                           }\r
1544                         | field_attr K_PRIVATESCOPE\r
1545                           {\r
1546                                 // This is just 0x0000\r
1547                           }\r
1548                         | field_attr K_STATIC\r
1549                           {\r
1550                                 $$ = (FieldAttr) $1 | FieldAttr.Static;\r
1551                           }\r
1552                         | field_attr K_INITONLY\r
1553                           {\r
1554                                 $$ = (FieldAttr) $1 | FieldAttr.Initonly;\r
1555                           }\r
1556                         | field_attr K_RTSPECIALNAME\r
1557                           {\r
1558                                 $$ = (FieldAttr) $1 | FieldAttr.RTSpecialName;\r
1559                           }\r
1560                         | field_attr K_SPECIALNAME\r
1561                           {\r
1562                                 $$ = (FieldAttr) $1 | FieldAttr.SpecialName;\r
1563                           }\r
1564                         | field_attr K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS\r
1565                           {\r
1566                                codegen.AddFieldMarshalInfo ((NativeType) $4);\r
1567                                $$ = (FieldAttr) $1 | FieldAttr.HasFieldMarshal;\r
1568                           }\r
1569                         | field_attr K_LITERAL\r
1570                           {\r
1571                                 $$ = (FieldAttr) $1 | FieldAttr.Literal;\r
1572                           }\r
1573                         | field_attr K_NOTSERIALIZED\r
1574                           {\r
1575                                 $$ = (FieldAttr) $1 | FieldAttr.Notserialized;\r
1576                           }\r
1577                         ;\r
1578 \r
1579 at_opt                  : /* EMPTY */\r
1580                         | K_AT id\r
1581                           {\r
1582                                 $$ = $2;\r
1583                           }\r
1584                         ;\r
1585 \r
1586 init_opt                : /* EMPTY */\r
1587                         | ASSIGN field_init\r
1588                           {\r
1589                                 $$ = $2;\r
1590                           }\r
1591                         ;\r
1592 \r
1593 field_init_primitive    : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS\r
1594                           {\r
1595                                 $$ = new FloatConst (Convert.ToSingle ($3));\r
1596                           }\r
1597                         | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS\r
1598                           {\r
1599                                 $$ = new DoubleConst (Convert.ToDouble ($3));\r
1600                           }\r
1601                         | K_FLOAT32 OPEN_PARENS int64 CLOSE_PARENS\r
1602                           {\r
1603                                 $$ = new FloatConst (BitConverter.ToSingle (BitConverter.GetBytes ((long)$3), BitConverter.IsLittleEndian ? 0 : 4));\r
1604                           }\r
1605                         | K_FLOAT64 OPEN_PARENS int64 CLOSE_PARENS\r
1606                           {\r
1607                                 $$ = new DoubleConst (BitConverter.Int64BitsToDouble ((long)$3));\r
1608                           }\r
1609                         | K_INT64 OPEN_PARENS int64 CLOSE_PARENS\r
1610                           {\r
1611                                 $$ = new IntConst (Convert.ToInt64 ($3));\r
1612                           }\r
1613                         | K_UINT64 OPEN_PARENS int64 CLOSE_PARENS\r
1614                           {\r
1615                                 $$ = new UIntConst (Convert.ToUInt64 ((ulong)(long) $3));\r
1616                           }\r
1617                         | K_INT32 OPEN_PARENS int64 CLOSE_PARENS\r
1618                           {\r
1619                                 $$ = new IntConst ((int)((long)$3));\r
1620                           }\r
1621                         | K_UINT32 OPEN_PARENS int64 CLOSE_PARENS\r
1622                           {\r
1623                                 $$ = new UIntConst ((uint)((long)$3));\r
1624                           }\r
1625                         | K_INT16 OPEN_PARENS int64 CLOSE_PARENS\r
1626                           {\r
1627                                 $$ = new IntConst ((short)((long) $3));\r
1628                           }\r
1629                         | K_UINT16 OPEN_PARENS int64 CLOSE_PARENS\r
1630                           {\r
1631                                 $$ = new UIntConst ((ushort)((long) $3));\r
1632                           }\r
1633                         | K_CHAR OPEN_PARENS int64 CLOSE_PARENS\r
1634                           {\r
1635                                 $$ = new CharConst (Convert.ToChar ($3));\r
1636                           }\r
1637                         | K_WCHAR OPEN_PARENS int64 CLOSE_PARENS\r
1638                           {\r
1639                                 $$ = new CharConst (Convert.ToChar ($3));\r
1640                           }\r
1641                         | K_INT8 OPEN_PARENS int64 CLOSE_PARENS\r
1642                           {\r
1643                                 $$ = new IntConst ((sbyte)((long) ($3)));\r
1644                           }\r
1645                         | K_UINT8 OPEN_PARENS int64 CLOSE_PARENS\r
1646                           {\r
1647                                 $$ = new UIntConst ((byte)((long) ($3)));\r
1648                           }\r
1649                         | K_BOOL OPEN_PARENS truefalse CLOSE_PARENS\r
1650                           {\r
1651                                 $$ = new BoolConst ((bool) $3);\r
1652                           }\r
1653                         ;\r
1654 \r
1655 field_init              : field_init_primitive\r
1656                         | K_BYTEARRAY bytes_list\r
1657                           {\r
1658                                 $$ = new ByteArrConst ((byte[]) $2);\r
1659                           }\r
1660                         | comp_qstring\r
1661                           {\r
1662                                 // ******** THIS IS NOT IN THE DOCUMENTATION ******** //\r
1663                                 $$ = new StringConst ((string) $1);\r
1664                           }\r
1665                         | K_NULLREF\r
1666                           {\r
1667                                 $$ = new NullConst ();\r
1668                           }\r
1669                         ;\r
1670 \r
1671 data_decl               : data_head data_body\r
1672                           {\r
1673                                 DataDef datadef = (DataDef) $1;\r
1674                                 \r
1675                                 if ($2 is ArrayList) {\r
1676                                         ArrayList const_list = (ArrayList) $2;\r
1677                                         DataConstant[] const_arr = new DataConstant[const_list.Count];\r
1678                                         \r
1679                                         for (int i=0; i<const_arr.Length; i++)\r
1680                                                 const_arr[i] = (DataConstant) const_list[i];\r
1681 \r
1682                                         datadef.PeapiConstant = new ArrayConstant (const_arr);\r
1683                                 } else {\r
1684                                         datadef.PeapiConstant = (PEAPI.Constant) $2;\r
1685                                 }\r
1686                                 codegen.AddDataDef (datadef);\r
1687                           }\r
1688                         ;\r
1689 \r
1690 data_head               : D_DATA tls id ASSIGN\r
1691                           {\r
1692                                 $$ = new DataDef ((string) $3, (bool) $2);    \r
1693                           } \r
1694                         | D_DATA tls\r
1695                           {\r
1696                                 $$ = new DataDef (String.Empty, (bool) $2);\r
1697                           }\r
1698                         ;\r
1699 \r
1700 tls                     : /* EMPTY */   { $$ = false; }\r
1701                         | K_TLS         { $$ = true; }\r
1702                         ;\r
1703 \r
1704 data_body               : OPEN_BRACE dataitem_list CLOSE_BRACE\r
1705                           {\r
1706                                 $$ = $2;\r
1707                           }\r
1708                         | dataitem\r
1709                         ;\r
1710 \r
1711 dataitem_list           : dataitem\r
1712                           {\r
1713                                 ArrayList dataitem_list = new ArrayList ();\r
1714                                 dataitem_list.Add ($1);\r
1715                                 $$ = dataitem_list;\r
1716                           }\r
1717                         | dataitem_list COMMA dataitem\r
1718                           {\r
1719                                 ArrayList list = (ArrayList) $1;\r
1720                                 list.Add ($3);\r
1721                           }\r
1722                         ;\r
1723 \r
1724 dataitem                : K_CHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS\r
1725                           {\r
1726                                 $$ = new StringConst ((string) $4);\r
1727                           }\r
1728                         | K_WCHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS\r
1729                           {\r
1730                                 $$ = new StringConst ((string) $4);\r
1731                           }\r
1732                         | AMPERSAND OPEN_PARENS id CLOSE_PARENS\r
1733                           {\r
1734                            //     DataDef def = codegen.CurrentTypeDef.GetDataDef ((string) $3);\r
1735                            //     $$ = new AddressConstant ((DataConstant) def.PeapiConstant);\r
1736                           }\r
1737                         | K_BYTEARRAY ASSIGN bytes_list\r
1738                           {\r
1739                                 $$ = new ByteArrConst ((byte[]) $3);\r
1740                           }\r
1741                         | K_BYTEARRAY bytes_list\r
1742                           {\r
1743                                 // ******** THIS IS NOT IN THE SPECIFICATION ******** //\r
1744                                 $$ = new ByteArrConst ((byte[]) $2);\r
1745                           }\r
1746                         | K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS repeat_opt\r
1747                           {\r
1748                                 double d = (double) $3;\r
1749                                 FloatConst float_const = new FloatConst ((float) d);\r
1750 \r
1751                                 if ($5 != null)\r
1752                                         $$ = new RepeatedConstant (float_const, (int) $5);\r
1753                                 else\r
1754                                         $$ = float_const;\r
1755                           }\r
1756                         | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS repeat_opt\r
1757                           {\r
1758                                 DoubleConst double_const = new DoubleConst ((double) $3);\r
1759 \r
1760                                 if ($5 != null)\r
1761                                         $$ = new RepeatedConstant (double_const, (int) $5);\r
1762                                 else\r
1763                                         $$ = double_const;\r
1764                           }\r
1765                         | K_INT64 OPEN_PARENS int64 CLOSE_PARENS repeat_opt\r
1766                           {\r
1767                                 IntConst int_const = new IntConst ((long) $3);\r
1768 \r
1769                                 if ($5 != null)\r
1770                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1771                                 else\r
1772                                         $$ = int_const;\r
1773                           }\r
1774                         | K_INT32 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
1775                           {\r
1776                                 IntConst int_const = new IntConst ((int) $3);\r
1777 \r
1778                                 if ($5 != null)\r
1779                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1780                                 else\r
1781                                         $$ = int_const;\r
1782                           }\r
1783                         | K_INT16 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
1784                           {\r
1785                                 int i = (int) $3;\r
1786                                 IntConst int_const = new IntConst ((short) i);\r
1787 \r
1788                                 if ($5 != null)\r
1789                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1790                                 else\r
1791                                         $$ = int_const;\r
1792                           }\r
1793                         | K_INT8 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
1794                           {\r
1795                                 int i = (int) $3;\r
1796                                 IntConst int_const = new IntConst ((sbyte) i);\r
1797 \r
1798                                 if ($5 != null)\r
1799                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
1800                                 else\r
1801                                         $$ = int_const;\r
1802                           }\r
1803                         | K_FLOAT32 repeat_opt\r
1804                           {\r
1805                                 FloatConst float_const = new FloatConst (0F);\r
1806 \r
1807                                 if ($2 != null)\r
1808                                         $$ = new RepeatedConstant (float_const, (int) $2);\r
1809                                 else\r
1810                                         $$ = float_const;\r
1811                           }\r
1812                         | K_FLOAT64 repeat_opt\r
1813                           {\r
1814                                 DoubleConst double_const = new DoubleConst (0);\r
1815 \r
1816                                 if ($2 != null)\r
1817                                         $$ = new RepeatedConstant (double_const, (int) $2);\r
1818                                 else\r
1819                                         $$ = double_const;\r
1820                           }\r
1821                         | K_INT64 repeat_opt\r
1822                           {\r
1823                                 IntConst int_const = new IntConst ((long) 0);\r
1824 \r
1825                                 if ($2 != null)\r
1826                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1827                                 else\r
1828                                         $$ = int_const;\r
1829                           }\r
1830                         | K_INT32 repeat_opt\r
1831                           {\r
1832                                 IntConst int_const = new IntConst ((int) 0);\r
1833 \r
1834                                 if ($2 != null)\r
1835                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1836                                 else\r
1837                                         $$ = int_const;\r
1838                           }\r
1839                         | K_INT16 repeat_opt\r
1840                           {\r
1841                                 IntConst int_const = new IntConst ((short) 0);\r
1842 \r
1843                                 if ($2 != null)\r
1844                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1845                                 else\r
1846                                         $$ = int_const;\r
1847                           }\r
1848                         | K_INT8 repeat_opt\r
1849                           {\r
1850                                 IntConst int_const = new IntConst ((sbyte) 0);\r
1851 \r
1852                                 if ($2 != null)\r
1853                                         $$ = new RepeatedConstant (int_const, (int) $2);\r
1854                                 else\r
1855                                         $$ = int_const;\r
1856                           }\r
1857                         ;\r
1858 \r
1859 method_all              : method_head OPEN_BRACE method_decls CLOSE_BRACE\r
1860                           {\r
1861                                 codegen.EndMethodDef (tokenizer.Location);\r
1862                           }\r
1863                         ;\r
1864 \r
1865 method_head             : D_METHOD meth_attr call_conv param_attr type method_name\r
1866                           formal_typars_clause OPEN_PARENS sig_args CLOSE_PARENS impl_attr\r
1867                           {\r
1868                                 CallConv cc = (CallConv) $3;\r
1869                                 if ($7 != null)\r
1870                                         cc |= CallConv.Generic;\r
1871 \r
1872                                 MethodDef methdef = new MethodDef (\r
1873                                         codegen, (MethAttr) $2, cc,\r
1874                                         (ImplAttr) $11, (string) $6, (BaseTypeRef) $5,\r
1875                                         (ArrayList) $9, tokenizer.Reader.Location, (GenericParameters) $7, codegen.CurrentTypeDef);\r
1876                                 if (pinvoke_info) {\r
1877                                         ExternModule mod = codegen.ExternTable.AddModule (pinvoke_mod);\r
1878                                         methdef.AddPInvokeInfo (pinvoke_attr, mod, pinvoke_meth);\r
1879                                         pinvoke_info = false;\r
1880                                 }\r
1881                           }\r
1882                         | D_METHOD meth_attr call_conv param_attr type \r
1883                           K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS method_name\r
1884                           OPEN_PARENS sig_args CLOSE_PARENS impl_attr\r
1885                           {\r
1886                                 MethodDef methdef = new MethodDef (\r
1887                                         codegen, (MethAttr) $2, (CallConv) $3,\r
1888                                         (ImplAttr) $14, (string) $10, (BaseTypeRef) $5,\r
1889                                         (ArrayList) $12, tokenizer.Reader.Location, null, codegen.CurrentTypeDef);\r
1890 \r
1891                                 if (pinvoke_info) {\r
1892                                         ExternModule mod = codegen.ExternTable.AddModule (pinvoke_mod);\r
1893                                         methdef.AddPInvokeInfo (pinvoke_attr, mod, pinvoke_meth);\r
1894                                         pinvoke_info = false;\r
1895                                 }\r
1896                                 \r
1897                                 methdef.AddRetTypeMarshalInfo ((NativeType) $8);\r
1898                           }\r
1899                         ;\r
1900 \r
1901 meth_attr               : /* EMPTY */                   { $$ = new MethAttr (); }\r
1902                         | meth_attr K_STATIC            { $$ = (MethAttr) $1 | MethAttr.Static; }\r
1903                         | meth_attr K_PUBLIC            { $$ = (MethAttr) $1 | MethAttr.Public; }\r
1904                         | meth_attr K_PRIVATE           { $$ = (MethAttr) $1 | MethAttr.Private; }\r
1905                         | meth_attr K_FAMILY            { $$ = (MethAttr) $1 | MethAttr.Family; }\r
1906                         | meth_attr K_ASSEMBLY          { $$ = (MethAttr) $1 | MethAttr.Assembly; }\r
1907                         | meth_attr K_FAMANDASSEM       { $$ = (MethAttr) $1 | MethAttr.FamAndAssem; } \r
1908                         | meth_attr K_FAMORASSEM        { $$ = (MethAttr) $1 | MethAttr.FamOrAssem; } \r
1909                         | meth_attr K_PRIVATESCOPE      { /* CHECK HEADERS */ }\r
1910                         | meth_attr K_FINAL             { $$ = (MethAttr) $1 | MethAttr.Final; } \r
1911                         | meth_attr K_VIRTUAL           { $$ = (MethAttr) $1 | MethAttr.Virtual; }\r
1912                         | meth_attr K_ABSTRACT          { $$ = (MethAttr) $1 | MethAttr.Abstract; }\r
1913                         | meth_attr K_HIDEBYSIG         { $$ = (MethAttr) $1 | MethAttr.HideBySig; }\r
1914                         | meth_attr K_NEWSLOT           { $$ = (MethAttr) $1 | MethAttr.NewSlot; }\r
1915                         | meth_attr K_REQSECOBJ         { $$ = (MethAttr) $1 | MethAttr.RequireSecObject; }\r
1916                         | meth_attr K_SPECIALNAME       { $$ = (MethAttr) $1 | MethAttr.SpecialName; }\r
1917                         | meth_attr K_RTSPECIALNAME     { $$ = (MethAttr) $1 | MethAttr.RTSpecialName; }\r
1918                         | meth_attr K_STRICT            { $$ = (MethAttr) $1 | MethAttr.Strict; }\r
1919                         | meth_attr K_COMPILERCONTROLLED { /* Do nothing */ }\r
1920                         | meth_attr K_UNMANAGEDEXP      \r
1921                         | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring K_AS\r
1922                                 comp_qstring pinv_attr CLOSE_PARENS\r
1923                           {\r
1924                                 pinvoke_info = true;\r
1925                                 pinvoke_mod = (string) $4;\r
1926                                 pinvoke_meth = (string) $6;\r
1927                                 pinvoke_attr = (PInvokeAttr) $7;\r
1928                           }\r
1929                         | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring pinv_attr CLOSE_PARENS\r
1930                           {\r
1931                                 pinvoke_info = true;\r
1932                                 pinvoke_mod = (string) $4;\r
1933                                 pinvoke_meth = null;\r
1934                                 pinvoke_attr = (PInvokeAttr) $5;\r
1935                           }\r
1936                         | meth_attr K_PINVOKEIMPL OPEN_PARENS pinv_attr CLOSE_PARENS\r
1937                           {\r
1938                                 pinvoke_info = true;\r
1939                                 pinvoke_mod = null;\r
1940                                 pinvoke_meth = null;\r
1941                                 pinvoke_attr = (PInvokeAttr) $4;\r
1942                           }\r
1943                         ;\r
1944 \r
1945 pinv_attr               : /* EMPTY */ { $$ = new PInvokeAttr (); }\r
1946                         | pinv_attr K_NOMANGLE { $$ = (PInvokeAttr) $1 | PInvokeAttr.nomangle; }\r
1947                         | pinv_attr K_ANSI { $$ = (PInvokeAttr) $1 | PInvokeAttr.ansi; }\r
1948                         | pinv_attr K_UNICODE { $$ = (PInvokeAttr) $1 | PInvokeAttr.unicode; }\r
1949                         | pinv_attr K_AUTOCHAR { $$ = (PInvokeAttr) $1 | PInvokeAttr.autochar; }\r
1950                         | pinv_attr K_LASTERR { $$ = (PInvokeAttr) $1 | PInvokeAttr.lasterr; }\r
1951                         | pinv_attr K_WINAPI { $$ = (PInvokeAttr) $1 | PInvokeAttr.winapi; }\r
1952                         | pinv_attr K_CDECL { $$ = (PInvokeAttr) $1 | PInvokeAttr.cdecl; }\r
1953                         | pinv_attr K_STDCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.stdcall; }\r
1954                         | pinv_attr K_THISCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.thiscall; }\r
1955                         | pinv_attr K_FASTCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.fastcall; }\r
1956                         | pinv_attr K_BESTFIT COLON K_ON { $$ = (PInvokeAttr) $1 | PInvokeAttr.bestfit_on; }\r
1957                         | pinv_attr K_BESTFIT COLON K_OFF { $$ = (PInvokeAttr) $1 | PInvokeAttr.bestfit_off; }\r
1958                         | pinv_attr K_CHARMAPERROR COLON K_ON { $$ = (PInvokeAttr) $1 | PInvokeAttr.charmaperror_on; }\r
1959                         | pinv_attr K_CHARMAPERROR COLON K_OFF { $$ = (PInvokeAttr) $1 | PInvokeAttr.charmaperror_off; }\r
1960                         ;\r
1961 \r
1962 method_name             : D_CTOR\r
1963                         | D_CCTOR\r
1964                         | comp_name\r
1965                         ;\r
1966 \r
1967 param_attr              : /* EMPTY */                                   { $$ = new ParamAttr (); }\r
1968                         | param_attr OPEN_BRACKET K_IN CLOSE_BRACKET    { $$ = (ParamAttr) $1 | ParamAttr.In; }\r
1969                         | param_attr OPEN_BRACKET K_OUT CLOSE_BRACKET   { $$ = (ParamAttr) $1 | ParamAttr.Out; }\r
1970                         | param_attr OPEN_BRACKET K_OPT CLOSE_BRACKET   { $$ = (ParamAttr) $1 | ParamAttr.Opt; }\r
1971                         ;\r
1972 \r
1973 impl_attr               : /* EMPTY */                   { $$ = new ImplAttr (); }\r
1974                         | impl_attr K_NATIVE            { $$ = (ImplAttr) $1 | ImplAttr.Native; }\r
1975                         | impl_attr K_CIL               { $$ = (ImplAttr) $1 | ImplAttr.IL; }\r
1976                         | impl_attr K_IL                { $$ = (ImplAttr) $1 | ImplAttr.IL; }\r
1977                         | impl_attr K_OPTIL             { $$ = (ImplAttr) $1 | ImplAttr.Optil; }\r
1978                         | impl_attr K_MANAGED           { /* should this reset? */ }\r
1979                         | impl_attr K_UNMANAGED         { $$ = (ImplAttr) $1 | ImplAttr.Unmanaged; }\r
1980                         | impl_attr K_FORWARDREF        { $$ = (ImplAttr) $1 | ImplAttr.ForwardRef; }\r
1981                         | impl_attr K_PRESERVESIG       { $$ = (ImplAttr) $1 | ImplAttr.PreserveSig; }\r
1982                         | impl_attr K_RUNTIME           { $$ = (ImplAttr) $1 | ImplAttr.Runtime; }\r
1983                         | impl_attr K_INTERNALCALL      { $$ = (ImplAttr) $1 | ImplAttr.InternalCall; }\r
1984                         | impl_attr K_SYNCHRONIZED      { $$ = (ImplAttr) $1 | ImplAttr.Synchronised; }\r
1985                         | impl_attr K_NOINLINING        { $$ = (ImplAttr) $1 | ImplAttr.NoInLining; }\r
1986                         ;\r
1987 \r
1988 sig_args                : /* EMPTY */\r
1989                         | sig_arg_list\r
1990                         ;\r
1991 \r
1992 sig_arg_list            : sig_arg\r
1993                           {\r
1994                                 ArrayList sig_list = new ArrayList ();\r
1995                                 sig_list.Add ($1);\r
1996                                 $$ = sig_list;\r
1997                           }\r
1998                         | sig_arg_list COMMA sig_arg\r
1999                           {\r
2000                                 ArrayList sig_list = (ArrayList) $1;\r
2001                                 sig_list.Add ($3);\r
2002                                 $$ = sig_list;\r
2003                           }\r
2004                         ;\r
2005 \r
2006 sig_arg                 : param_attr type\r
2007                           {\r
2008                                 $$ = new ParamDef ((ParamAttr) $1, null, (BaseTypeRef) $2);\r
2009                           }\r
2010                         | param_attr type id\r
2011                           {\r
2012                                 $$ = new ParamDef ((ParamAttr) $1, (string) $3, (BaseTypeRef) $2);\r
2013                           }\r
2014                         | ELLIPSIS\r
2015                           {\r
2016                                 $$ = new ParamDef ((ParamAttr) 0, "...", new SentinelTypeRef ());\r
2017                                 // $$ = ParamDef.Ellipsis;\r
2018                           }\r
2019                         | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS\r
2020                           {\r
2021                                 ParamDef param_def = new ParamDef ((ParamAttr) $1, null, (BaseTypeRef) $2);\r
2022                                 param_def.AddMarshalInfo ((PEAPI.NativeType) $5);\r
2023 \r
2024                                 $$ = param_def;\r
2025                           }\r
2026                         | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS id\r
2027                           {\r
2028                                 ParamDef param_def = new ParamDef ((ParamAttr) $1, (string) $7, (BaseTypeRef) $2);\r
2029                                 param_def.AddMarshalInfo ((PEAPI.NativeType) $5);\r
2030 \r
2031                                 $$ = param_def;\r
2032                           }\r
2033                         ;\r
2034 \r
2035 type_list               : /* EMPTY */\r
2036                           {\r
2037                                 $$ = new ArrayList (0);\r
2038                           }\r
2039                         | ELLIPSIS\r
2040                           {\r
2041                                 ArrayList type_list = new ArrayList ();\r
2042                                 // type_list.Add (TypeRef.Ellipsis);\r
2043                                 type_list.Add (new SentinelTypeRef ());\r
2044                                 $$ = type_list;\r
2045                           }\r
2046                         | type_list COMMA ELLIPSIS\r
2047                           {\r
2048                                 ArrayList type_list = (ArrayList) $1;\r
2049                                 // type_list.Add (TypeRef.Ellipsis);\r
2050                                 type_list.Add (new SentinelTypeRef ());\r
2051                                 $$ = type_list;\r
2052                           }\r
2053                         | param_attr type opt_id\r
2054                           {\r
2055                                 ArrayList type_list = new ArrayList ();\r
2056                                 type_list.Add ($2);\r
2057                                 $$ = type_list;\r
2058                           }\r
2059                         | type_list COMMA param_attr type opt_id\r
2060                           {\r
2061                                 ArrayList type_list = (ArrayList) $1;\r
2062                                 type_list.Add ($4);\r
2063                           }\r
2064                         ;\r
2065 \r
2066 opt_id                  : /* EMPTY */\r
2067                         | id\r
2068                         ;\r
2069 \r
2070 method_decls            : /* EMPTY */\r
2071                         | method_decls method_decl\r
2072                         ;\r
2073 \r
2074 method_decl             : D_EMITBYTE int32\r
2075                                                 {\r
2076                                                         codegen.CurrentMethodDef.AddInstr (new\r
2077                                         EmitByteInstr ((int) $2, tokenizer.Location));\r
2078                           \r
2079                                                 }\r
2080                         | D_MAXSTACK int32\r
2081                           {\r
2082                                 codegen.CurrentMethodDef.SetMaxStack ((int) $2);\r
2083                           }\r
2084                         | D_LOCALS OPEN_PARENS local_list CLOSE_PARENS\r
2085                           {\r
2086                                 if ($3 != null) {\r
2087                                         codegen.CurrentMethodDef.AddLocals (\r
2088                                                 (ArrayList) $3);\r
2089                                 }\r
2090                           }\r
2091                         | D_LOCALS K_INIT OPEN_PARENS local_list CLOSE_PARENS\r
2092                           {\r
2093                                 if ($4 != null) {\r
2094                                         codegen.CurrentMethodDef.AddLocals (\r
2095                                                 (ArrayList) $4);\r
2096                                         codegen.CurrentMethodDef.InitLocals ();\r
2097                                 }\r
2098                           }\r
2099                         | D_ENTRYPOINT\r
2100                           {\r
2101                                 codegen.CurrentMethodDef.EntryPoint ();\r
2102                                 codegen.HasEntryPoint = true;\r
2103                           }\r
2104                         | D_ZEROINIT\r
2105                           {\r
2106                                 codegen.CurrentMethodDef.ZeroInit ();\r
2107                           }\r
2108                         | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET\r
2109                         | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET K_AS id\r
2110                         | D_VTENTRY int32 COLON int32 \r
2111                         | D_OVERRIDE type_spec DOUBLE_COLON method_name\r
2112                           {\r
2113                                 codegen.CurrentTypeDef.AddOverride (codegen.CurrentMethodDef,\r
2114                                         (BaseTypeRef) $2, (string) $4);\r
2115                                 \r
2116                           }\r
2117                         | D_OVERRIDE K_METHOD method_ref\r
2118                           {\r
2119                                 codegen.CurrentTypeDef.AddOverride (codegen.CurrentMethodDef.Signature,\r
2120                                         (BaseMethodRef) $3);\r
2121                           }\r
2122                         | D_OVERRIDE K_METHOD call_conv type type_spec DOUBLE_COLON method_name\r
2123                           OPEN_ANGLE_BRACKET OPEN_BRACKET int32 CLOSE_BRACKET CLOSE_ANGLE_BRACKET\r
2124                           OPEN_PARENS type_list CLOSE_PARENS \r
2125                           {\r
2126                                 BaseTypeRef owner = (BaseTypeRef) $5;\r
2127                                 ArrayList arg_list = (ArrayList) $14;\r
2128                                 BaseTypeRef[] param_list;\r
2129                                 BaseMethodRef methref;\r
2130 \r
2131                                 if (arg_list != null)\r
2132                                         param_list = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
2133                                 else\r
2134                                         param_list = new BaseTypeRef[0];\r
2135 \r
2136                                 if (owner.UseTypeSpec) {\r
2137                                         methref = new TypeSpecMethodRef (owner, (CallConv) $3, (BaseTypeRef) $4,\r
2138                                                 (string) $7, param_list, (int) $10);\r
2139                                 } else {\r
2140                                         methref = owner.GetMethodRef ((BaseTypeRef) $4,\r
2141                                                 (CallConv) $3, (string) $7, param_list, (int) $10);\r
2142                                 }\r
2143 \r
2144                                 codegen.CurrentTypeDef.AddOverride (codegen.CurrentMethodDef.Signature,\r
2145                                         methref);\r
2146                           }\r
2147                         | scope_block\r
2148                         | D_PARAM OPEN_BRACKET int32 CLOSE_BRACKET init_opt\r
2149                           {\r
2150                                 int index = (int) $3;\r
2151                                 ParamDef param = codegen.CurrentMethodDef.GetParam (index);\r
2152                                 codegen.CurrentCustomAttrTarget = param;\r
2153 \r
2154                                 if (param == null) {\r
2155                                         Report.Warning (tokenizer.Location, String.Format ("invalid param index ({0}) with .param", index));\r
2156                                 } else if ($5 != null)\r
2157                                         param.AddDefaultValue ((Constant) $5);\r
2158                           }\r
2159                         | param_type_decl\r
2160                         | id COLON\r
2161                           {\r
2162                                 codegen.CurrentMethodDef.AddLabel ((string) $1);\r
2163                           }\r
2164                         | seh_block\r
2165                         | instr\r
2166                         | sec_decl\r
2167                           {\r
2168                                 AddSecDecl ($1, false);\r
2169                           }\r
2170                         | extsource_spec\r
2171                         | language_decl\r
2172                         | customattr_decl\r
2173                           {\r
2174                                 if (codegen.CurrentCustomAttrTarget != null)\r
2175                                         codegen.CurrentCustomAttrTarget.AddCustomAttribute ((CustomAttr) $1);\r
2176                           }\r
2177                         | data_decl\r
2178                         ;\r
2179 \r
2180 local_list              : /* EMPTY */\r
2181                         | local\r
2182                           {\r
2183                                 ArrayList local_list = new ArrayList ();\r
2184                                 local_list.Add ($1);\r
2185                                 $$ = local_list;\r
2186                           }\r
2187                         | local_list COMMA local\r
2188                           {\r
2189                                 ArrayList local_list = (ArrayList) $1;\r
2190                                 local_list.Add ($3);\r
2191                           }\r
2192                         ;\r
2193 \r
2194 local                   : type\r
2195                           {\r
2196                                 $$ = new Local (-1, (BaseTypeRef) $1);\r
2197                           }\r
2198                         | type id\r
2199                           {\r
2200                                 $$ = new Local (-1, (string) $2, (BaseTypeRef) $1);\r
2201                           }\r
2202                         | slot_num type\r
2203                           {\r
2204                                 $$ = new Local ((int) $1, (BaseTypeRef) $2);\r
2205                           }\r
2206                         | slot_num type id\r
2207                           {\r
2208                                 $$ = new Local ((int) $1, (string) $3, (BaseTypeRef) $2);\r
2209                           }\r
2210                         ;\r
2211 \r
2212 slot_num                : OPEN_BRACKET int32 CLOSE_BRACKET\r
2213                           {\r
2214                                 $$ = $2;\r
2215                           }\r
2216                         ;\r
2217 \r
2218 type_spec               : OPEN_BRACKET slashed_name CLOSE_BRACKET\r
2219                           {\r
2220                                 // This is a reference to a global method in another\r
2221                                 // assembly. This is not supported in the MS version of ilasm\r
2222                           }\r
2223                         | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET\r
2224                           {\r
2225                                 string module = (string) $3;\r
2226 \r
2227                                 if (codegen.IsThisModule (module)) {\r
2228                                     // This is not handled yet.\r
2229                                 } else {\r
2230                                     $$ = codegen.ExternTable.GetModuleTypeRef ((string) $3, "<Module>", false);\r
2231                                 }\r
2232 \r
2233                           }\r
2234                         | type\r
2235                         ;\r
2236 \r
2237 scope_block             : scope_block_begin method_decls CLOSE_BRACE\r
2238                           {\r
2239                                 $$ = new HandlerBlock ((LabelInfo) $1,\r
2240                                         codegen.CurrentMethodDef.AddLabel ());\r
2241                                 codegen.CurrentMethodDef.EndLocalsScope ();\r
2242                           }\r
2243                         ;\r
2244 \r
2245 scope_block_begin       : OPEN_BRACE\r
2246                           {\r
2247                                 $$ = codegen.CurrentMethodDef.AddLabel ();\r
2248                                 codegen.CurrentMethodDef.BeginLocalsScope ();\r
2249                           }\r
2250                         ;\r
2251                         \r
2252                         \r
2253 seh_block               : try_block seh_clauses\r
2254                           {\r
2255                                 TryBlock try_block = (TryBlock) $1;\r
2256 \r
2257                                 ArrayList clause_list = (ArrayList) $2;\r
2258                                 foreach (object clause in clause_list)\r
2259                                         try_block.AddSehClause ((ISehClause) clause);\r
2260 \r
2261                                 codegen.CurrentMethodDef.AddInstr (try_block);\r
2262                           }\r
2263                         ;\r
2264 \r
2265 try_block               : D_TRY scope_block\r
2266                           {\r
2267                                 $$ = new TryBlock ((HandlerBlock) $2, tokenizer.Location);\r
2268                           }\r
2269                         | D_TRY id K_TO id\r
2270                           {\r
2271                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
2272                                 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
2273                                 \r
2274                                 $$ = new TryBlock (new HandlerBlock (from, to), tokenizer.Location);\r
2275                           }\r
2276                         | D_TRY int32 K_TO int32\r
2277                           {\r
2278                                 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
2279                                 LabelInfo to = codegen.CurrentMethodDef.AddLabel ((int) $4);\r
2280                                 \r
2281                                 $$ = new TryBlock (new HandlerBlock (from, to), tokenizer.Location);\r
2282                           }\r
2283                         ;\r
2284 \r
2285 seh_clauses             : seh_clause\r
2286                           {\r
2287                                 ArrayList clause_list = new ArrayList ();\r
2288                                 clause_list.Add ($1);\r
2289                                 $$ = clause_list;\r
2290                           }\r
2291                         | seh_clauses seh_clause\r
2292                           {\r
2293                                 ArrayList clause_list = (ArrayList) $1;\r
2294                                 clause_list.Add ($2);\r
2295                           }\r
2296                         ;\r
2297 \r
2298 seh_clause              : K_CATCH type handler_block\r
2299                           {\r
2300                                 if ($2.GetType () == typeof (PrimitiveTypeRef))\r
2301                                         Report.Error ("Exception not be of a primitive type.");\r
2302                                         \r
2303                                 BaseTypeRef type = (BaseTypeRef) $2;\r
2304                                 CatchBlock cb = new CatchBlock (type);\r
2305                                 cb.SetHandlerBlock ((HandlerBlock) $3);\r
2306                                 $$ = cb;\r
2307                           }\r
2308                         | K_FINALLY handler_block\r
2309                           {\r
2310                                 FinallyBlock fb = new FinallyBlock ();\r
2311                                 fb.SetHandlerBlock ((HandlerBlock) $2);\r
2312                                 $$ = fb;\r
2313                           }\r
2314                         | K_FAULT handler_block\r
2315                           {\r
2316                                 FaultBlock fb = new FaultBlock ();\r
2317                                 fb.SetHandlerBlock ((HandlerBlock) $2);\r
2318                                 $$ = fb;\r
2319                           }\r
2320                         | filter_clause handler_block\r
2321                           {\r
2322                                 FilterBlock fb = (FilterBlock) $1;\r
2323                                 fb.SetHandlerBlock ((HandlerBlock) $2);\r
2324                           }\r
2325                         ;\r
2326 \r
2327 filter_clause           : K_FILTER scope_block\r
2328                           {\r
2329                                 HandlerBlock block = (HandlerBlock) $2;\r
2330                                 FilterBlock fb = new FilterBlock (block);\r
2331                                 $$ = fb;\r
2332                           }\r
2333                         | K_FILTER id\r
2334                           {\r
2335                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
2336                                 FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));\r
2337                                 $$ = fb;\r
2338                           }\r
2339                         | K_FILTER int32\r
2340                           {\r
2341                                 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
2342                                 FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));\r
2343                                 $$ = fb;\r
2344                           }\r
2345                         ;\r
2346 \r
2347 handler_block           : scope_block\r
2348                           {\r
2349                                 \r
2350                           }\r
2351                         | K_HANDLER id K_TO id\r
2352                           {     \r
2353                                 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
2354                                 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
2355 \r
2356                                 $$ = new HandlerBlock (from, to);\r
2357                           }\r
2358                         | K_HANDLER int32 K_TO int32\r
2359                           {\r
2360                                 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
2361                                 LabelInfo to = codegen.CurrentMethodDef.AddLabel ((int) $4);\r
2362 \r
2363                                 $$ = new HandlerBlock (from, to);\r
2364                           }\r
2365                         ;\r
2366 \r
2367 instr                   : INSTR_NONE\r
2368                           {\r
2369                                 codegen.CurrentMethodDef.AddInstr (\r
2370                                         new SimpInstr ((Op) $1, tokenizer.Location));\r
2371                           }\r
2372                         | INSTR_LOCAL int32\r
2373                           {\r
2374                                 codegen.CurrentMethodDef.AddInstr (\r
2375                                         new IntInstr ((IntOp) $1, (int) $2, tokenizer.Location));        \r
2376                           }\r
2377                         | INSTR_LOCAL id\r
2378                           {\r
2379                                 int slot = codegen.CurrentMethodDef.GetNamedLocalSlot ((string) $2);\r
2380                                 if (slot < 0)\r
2381                                         Report.Error (String.Format ("Undeclared identifier '{0}'", (string) $2));\r
2382                                 codegen.CurrentMethodDef.AddInstr (\r
2383                                         new IntInstr ((IntOp) $1, slot, tokenizer.Location));\r
2384                           }\r
2385                         | INSTR_PARAM int32\r
2386                           {\r
2387                                 codegen.CurrentMethodDef.AddInstr (\r
2388                                         new IntInstr ((IntOp) $1, (int) $2, tokenizer.Location));\r
2389                           }\r
2390                         | INSTR_PARAM id\r
2391                           {\r
2392                                 int pos = codegen.CurrentMethodDef.GetNamedParamPos ((string) $2);\r
2393                                 if (pos < 0)\r
2394                                         Report.Error (String.Format ("Undeclared identifier '{0}'", (string) $2));\r
2395 \r
2396                                 codegen.CurrentMethodDef.AddInstr (\r
2397                                         new IntInstr ((IntOp) $1, pos, tokenizer.Location));\r
2398                           }\r
2399                         | INSTR_I int32\r
2400                           {\r
2401                                 codegen.CurrentMethodDef.AddInstr (new\r
2402                                         IntInstr ((IntOp) $1, (int) $2, tokenizer.Location));\r
2403                           }\r
2404                         | INSTR_I id\r
2405                           {\r
2406                                 int slot = codegen.CurrentMethodDef.GetNamedLocalSlot ((string) $2);\r
2407                                 if (slot < 0)\r
2408                                         Report.Error (String.Format ("Undeclared identifier '{0}'", (string) $2));\r
2409                                 codegen.CurrentMethodDef.AddInstr (new\r
2410                                         IntInstr ((IntOp) $1, slot, tokenizer.Location));\r
2411                           }\r
2412                         | INSTR_I8 int64\r
2413                           {\r
2414                                 if ($1 is MiscInstr) {\r
2415                                         switch ((MiscInstr) $1) {\r
2416                                         case MiscInstr.ldc_i8:\r
2417                                         codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1,\r
2418                                                 (long) $2, tokenizer.Location));\r
2419                                         break;\r
2420                                         }\r
2421                                 }\r
2422                           }\r
2423                         | INSTR_R float64\r
2424                           {\r
2425                                 switch ((MiscInstr) $1) {\r
2426                                 case MiscInstr.ldc_r4:\r
2427                                 case MiscInstr.ldc_r8:\r
2428                                          codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) $2, tokenizer.Location));\r
2429                                          break;\r
2430                                 }\r
2431                           }\r
2432                         | INSTR_R int64\r
2433                           {\r
2434                                 long l = (long) $2;\r
2435                                 \r
2436                                 switch ((MiscInstr) $1) {\r
2437                                         case MiscInstr.ldc_r4:\r
2438                                         case MiscInstr.ldc_r8:\r
2439                                         codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) l, tokenizer.Location));\r
2440                                         break;\r
2441                                 }\r
2442                           }\r
2443                         | INSTR_R bytes_list\r
2444                           {\r
2445                                 byte[] fpdata;\r
2446                                 switch ((MiscInstr) $1) {\r
2447                                         case MiscInstr.ldc_r4:\r
2448                                                 fpdata = (byte []) $2;\r
2449                                                 if (!BitConverter.IsLittleEndian) {\r
2450                                                         System.Array.Reverse (fpdata, 0, 4);\r
2451                                                 }\r
2452                                                 float s = BitConverter.ToSingle (fpdata, 0);\r
2453                                                 codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, s, tokenizer.Location));\r
2454                                                 break;\r
2455                                         case MiscInstr.ldc_r8:\r
2456                                                 fpdata = (byte []) $2;\r
2457                                                 if (!BitConverter.IsLittleEndian) {\r
2458                                                         System.Array.Reverse (fpdata, 0, 8);\r
2459                                                 }\r
2460                                                 double d = BitConverter.ToDouble (fpdata, 0);\r
2461                                                 codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, d, tokenizer.Location));\r
2462                                                 break;\r
2463                                 }\r
2464                           }\r
2465                         | INSTR_BRTARGET int32\r
2466                           {\r
2467                                 LabelInfo target = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
2468                                 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,\r
2469                                                                    target, tokenizer.Location));  \r
2470                           }\r
2471                         | INSTR_BRTARGET id\r
2472                           {\r
2473                                 LabelInfo target = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
2474                                 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,\r
2475                                                                    target, tokenizer.Location));\r
2476                           }\r
2477                         | INSTR_METHOD method_ref\r
2478                           {\r
2479                                 codegen.CurrentMethodDef.AddInstr (new MethodInstr ((MethodOp) $1,\r
2480                                         (BaseMethodRef) $2, tokenizer.Location));\r
2481                           }\r
2482                         | INSTR_FIELD type type_spec DOUBLE_COLON id\r
2483                           {\r
2484                                 \r
2485                                 BaseTypeRef owner = (BaseTypeRef) $3;\r
2486                                 GenericParamRef gpr = $2 as GenericParamRef;\r
2487                                 if (gpr != null && codegen.CurrentMethodDef != null)\r
2488                                         codegen.CurrentMethodDef.ResolveGenParam ((PEAPI.GenParam) gpr.PeapiType);\r
2489                                 IFieldRef fieldref = owner.GetFieldRef (\r
2490                                         (BaseTypeRef) $2, (string) $5);\r
2491 \r
2492                                 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref, tokenizer.Location));\r
2493                           }\r
2494                         | INSTR_FIELD type id\r
2495                           {\r
2496                                 GlobalFieldRef fieldref = codegen.GetGlobalFieldRef ((BaseTypeRef) $2, (string) $3);\r
2497 \r
2498                                 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref, tokenizer.Location));\r
2499                           }\r
2500                         | INSTR_TYPE type_spec\r
2501                           {\r
2502                                 codegen.CurrentMethodDef.AddInstr (new TypeInstr ((TypeOp) $1,\r
2503                                         (BaseTypeRef) $2, tokenizer.Location));\r
2504                           }\r
2505                         | INSTR_STRING comp_qstring\r
2506                           {\r
2507                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
2508                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr ((string) $2, tokenizer.Location));\r
2509                           }\r
2510                         | INSTR_STRING K_BYTEARRAY ASSIGN bytes_list\r
2511                           {\r
2512                                 byte[] bs = (byte[]) $4;\r
2513                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
2514                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs, tokenizer.Location));\r
2515                           }\r
2516                         | INSTR_STRING K_BYTEARRAY bytes_list\r
2517                           {\r
2518                                 byte[] bs = (byte[]) $3;\r
2519                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
2520                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs, tokenizer.Location));\r
2521                           }\r
2522                         | INSTR_SIG call_conv type OPEN_PARENS type_list CLOSE_PARENS\r
2523                           {\r
2524                                 ArrayList arg_list = (ArrayList) $5;\r
2525                                 BaseTypeRef[] arg_array = null;\r
2526 \r
2527                                 if (arg_list != null)\r
2528                                         arg_array = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
2529 \r
2530                                 codegen.CurrentMethodDef.AddInstr (new CalliInstr ((CallConv) $2,\r
2531                                         (BaseTypeRef) $3, arg_array, tokenizer.Location));\r
2532                           }     \r
2533                         | INSTR_TOK owner_type\r
2534                           {\r
2535                                 if ((MiscInstr) $1 == MiscInstr.ldtoken) {\r
2536                                         if ($2 is BaseMethodRef)\r
2537                                                 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((BaseMethodRef) $2, tokenizer.Location));\r
2538                                         else if ($2 is IFieldRef)\r
2539                                                 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IFieldRef) $2, tokenizer.Location));\r
2540                                         else\r
2541                                                 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((BaseTypeRef) $2, tokenizer.Location));\r
2542                                                 \r
2543                                 }\r
2544                           }\r
2545                         | INSTR_SWITCH OPEN_PARENS labels CLOSE_PARENS\r
2546                           {\r
2547                                 codegen.CurrentMethodDef.AddInstr (new SwitchInstr ((ArrayList) $3, tokenizer.Location));\r
2548                           }\r
2549                         ;\r
2550 \r
2551 method_ref              : call_conv type method_name typars_clause\r
2552                           OPEN_PARENS type_list CLOSE_PARENS\r
2553                           {\r
2554                                 ArrayList arg_list = (ArrayList) $6;\r
2555                                 GenericArguments ga = (GenericArguments) $4;\r
2556                                 BaseTypeRef[] param_list;\r
2557   \r
2558                                 if (arg_list != null)\r
2559                                         param_list = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
2560                                 else\r
2561                                         param_list = new BaseTypeRef[0];\r
2562 \r
2563                                 BaseMethodRef methref = codegen.GetGlobalMethodRef ((BaseTypeRef) $2, (CallConv) $1,\r
2564                                         (string) $3, param_list, (ga != null ? ga.Count : 0));\r
2565 \r
2566                                 if (ga != null)\r
2567                                         methref = methref.GetGenericMethodRef (ga);\r
2568 \r
2569                                 $$ = methref;\r
2570                           }\r
2571                         | call_conv type type_spec DOUBLE_COLON method_name\r
2572                           typars_clause OPEN_PARENS type_list CLOSE_PARENS \r
2573                           {\r
2574                                 BaseTypeRef owner = (BaseTypeRef) $3;\r
2575                                 ArrayList arg_list = (ArrayList) $8;\r
2576                                 GenericArguments ga = (GenericArguments) $6;\r
2577                                 BaseTypeRef[] param_list;\r
2578                                 BaseMethodRef methref;\r
2579 \r
2580                                 if (arg_list != null)\r
2581                                         param_list = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
2582                                 else\r
2583                                         param_list = new BaseTypeRef[0];\r
2584 \r
2585                                 if (codegen.IsThisAssembly ("mscorlib")) {\r
2586                                         PrimitiveTypeRef prim = owner as PrimitiveTypeRef;\r
2587                                         if (prim != null && prim.SigMod == "")\r
2588                                                 owner = codegen.GetTypeRef (prim.Name);\r
2589                                 }\r
2590 \r
2591                                 if (owner.UseTypeSpec) {\r
2592                                         methref = new TypeSpecMethodRef (owner, (CallConv) $1, (BaseTypeRef) $2,\r
2593                                                 (string) $5, param_list, (ga != null ? ga.Count : 0));\r
2594                                 } else {\r
2595                                         methref = owner.GetMethodRef ((BaseTypeRef) $2,\r
2596                                                 (CallConv) $1, (string) $5, param_list, (ga != null ? ga.Count : 0));\r
2597                                 }\r
2598 \r
2599                                 if (ga != null)\r
2600                                         methref = methref.GetGenericMethodRef (ga);\r
2601                                 \r
2602                                 $$ = methref;\r
2603                           }\r
2604                         ;\r
2605 \r
2606 labels                  : /* EMPTY */\r
2607                         | id\r
2608                           {\r
2609                                 ArrayList label_list = new ArrayList ();\r
2610                                 label_list.Add (codegen.CurrentMethodDef.AddLabelRef ((string) $1));\r
2611                                 $$ = label_list;\r
2612                           }\r
2613                         | int32\r
2614                           {\r
2615                                 ArrayList label_list = new ArrayList ();\r
2616                                 label_list.Add ($1);\r
2617                                 $$ = label_list;\r
2618                           }\r
2619                         | labels COMMA id\r
2620                           {\r
2621                                 ArrayList label_list = (ArrayList) $1;\r
2622                                 label_list.Add (codegen.CurrentMethodDef.AddLabelRef ((string) $3));\r
2623                           }\r
2624                         | labels COMMA int32\r
2625                           {\r
2626                                 ArrayList label_list = (ArrayList) $1;\r
2627                                 label_list.Add ($3);\r
2628                           }\r
2629                         ;\r
2630 \r
2631 owner_type              : type_spec\r
2632                         | member_ref\r
2633                         ;\r
2634 \r
2635 member_ref              : K_METHOD method_ref\r
2636                           {\r
2637                                 $$ = $2;\r
2638                           }\r
2639                         | K_FIELD type type_spec DOUBLE_COLON id\r
2640                           {\r
2641                                 BaseTypeRef owner = (BaseTypeRef) $3;\r
2642 \r
2643                                 $$ = owner.GetFieldRef (\r
2644                                         (BaseTypeRef) $2, (string) $5);\r
2645                           }\r
2646                         | K_FIELD type id\r
2647                           {\r
2648                                 $$ = codegen.GetGlobalFieldRef ((BaseTypeRef) $2, (string) $3);\r
2649                           }\r
2650                         ;\r
2651 \r
2652 event_all               : event_head OPEN_BRACE event_decls CLOSE_BRACE\r
2653                           {\r
2654                                 codegen.CurrentTypeDef.EndEventDef ();\r
2655                           }\r
2656                         ;\r
2657 \r
2658 event_head              : D_EVENT event_attr type_spec comp_name\r
2659                           {\r
2660                                 EventDef event_def = new EventDef ((FeatureAttr) $2,\r
2661                                         (BaseTypeRef) $3, (string) $4);\r
2662                                 codegen.CurrentTypeDef.BeginEventDef (event_def);\r
2663                                 codegen.CurrentCustomAttrTarget = event_def;\r
2664                           }\r
2665                         | D_EVENT event_attr id\r
2666                         ;\r
2667 \r
2668 event_attr              : /* EMPTY */\r
2669                           {\r
2670                                 $$ = new FeatureAttr ();\r
2671                           }\r
2672                         | event_attr K_RTSPECIALNAME\r
2673                           {\r
2674                                 $$ = (FeatureAttr) $1 & FeatureAttr.Rtspecialname;\r
2675                           }\r
2676                         | event_attr K_SPECIALNAME\r
2677                           {\r
2678                                 $$ = (FeatureAttr) $1 & FeatureAttr.Specialname;\r
2679                           }\r
2680                         ;\r
2681 \r
2682 event_decls             : /* EMPTY */\r
2683                         | event_decls event_decl\r
2684                         ;\r
2685 \r
2686 event_decl              : D_ADDON method_ref\r
2687                           {\r
2688                                 codegen.CurrentTypeDef.CurrentEvent.AddAddon (\r
2689                                         (MethodRef) $2);                                \r
2690                           }\r
2691                         | D_REMOVEON method_ref\r
2692                           {\r
2693                                 codegen.CurrentTypeDef.CurrentEvent.AddRemoveon (\r
2694                                         (MethodRef) $2);\r
2695                           }\r
2696                         | D_FIRE method_ref\r
2697                           {\r
2698                                 codegen.CurrentTypeDef.CurrentEvent.AddFire (\r
2699                                         (MethodRef) $2);\r
2700                           }\r
2701                         | D_OTHER method_ref\r
2702                           {\r
2703                                 codegen.CurrentTypeDef.CurrentEvent.AddOther (\r
2704                                         (MethodRef) $2);\r
2705                           }\r
2706                         | customattr_decl\r
2707                           {\r
2708                                 if (codegen.CurrentCustomAttrTarget != null)\r
2709                                         codegen.CurrentCustomAttrTarget.AddCustomAttribute ((CustomAttr) $1);\r
2710                           }\r
2711                         | extsource_spec\r
2712                         | language_decl\r
2713                         ;\r
2714 \r
2715 prop_all                : prop_head OPEN_BRACE prop_decls CLOSE_BRACE\r
2716                           {\r
2717                                 codegen.CurrentTypeDef.EndPropertyDef ();\r
2718                           }\r
2719                         ;\r
2720 \r
2721 prop_head               : D_PROPERTY prop_attr type comp_name OPEN_PARENS type_list CLOSE_PARENS init_opt\r
2722                           {\r
2723                                 PropertyDef prop_def = new PropertyDef ((FeatureAttr) $2, (BaseTypeRef) $3,\r
2724                                         (string) $4, (ArrayList) $6);\r
2725                                 codegen.CurrentTypeDef.BeginPropertyDef (prop_def);\r
2726                                 codegen.CurrentCustomAttrTarget = prop_def;\r
2727 \r
2728                                 if ($8 != null) {\r
2729                                         prop_def.AddInitValue ((Constant) $8);\r
2730                                 }\r
2731                           }\r
2732                         ;\r
2733 \r
2734 prop_attr               : /* EMPTY */\r
2735                           {\r
2736                                 $$ = new FeatureAttr ();\r
2737                           }\r
2738                         | prop_attr K_RTSPECIALNAME\r
2739                           {\r
2740                                 $$ = (FeatureAttr) $1 | FeatureAttr.Rtspecialname;\r
2741                           }\r
2742                         | prop_attr K_SPECIALNAME\r
2743                           {\r
2744                                 $$ = (FeatureAttr) $1 | FeatureAttr.Specialname;\r
2745                           }\r
2746                         | prop_attr K_INSTANCE\r
2747                           {\r
2748                                 $$ = (FeatureAttr) $1 | FeatureAttr.Instance;\r
2749                           }\r
2750                         ;\r
2751 \r
2752 prop_decls              : /* EMPTY */\r
2753                         | prop_decls prop_decl\r
2754                         ;\r
2755 \r
2756 prop_decl               : D_SET method_ref\r
2757                           {\r
2758                                 codegen.CurrentTypeDef.CurrentProperty.AddSet ((MethodRef) $2);\r
2759                           }\r
2760                         | D_GET method_ref\r
2761                           {\r
2762                                 codegen.CurrentTypeDef.CurrentProperty.AddGet ((MethodRef) $2);\r
2763                           }\r
2764                         | D_OTHER method_ref\r
2765                           {\r
2766                                 codegen.CurrentTypeDef.CurrentProperty.AddOther ((MethodRef) $2);\r
2767                           }\r
2768                         | customattr_decl\r
2769                          {\r
2770                                 if (codegen.CurrentCustomAttrTarget != null)\r
2771                                         codegen.CurrentCustomAttrTarget.AddCustomAttribute ((CustomAttr) $1);\r
2772                          }\r
2773                         | extsource_spec\r
2774                         | language_decl\r
2775                         ;\r
2776 \r
2777 customattr_decl         : D_CUSTOM custom_type\r
2778                           {\r
2779                                 $$ = new CustomAttr ((BaseMethodRef) $2, null);\r
2780                           }\r
2781                         | D_CUSTOM custom_type ASSIGN comp_qstring\r
2782                         | D_CUSTOM custom_type ASSIGN bytes_list\r
2783                           {\r
2784                                 $$ = new CustomAttr ((BaseMethodRef) $2,\r
2785                                         (byte[]) $4);\r
2786                           }\r
2787                         | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type\r
2788                         | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN comp_qstring\r
2789                         | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN\r
2790                           bytes_list\r
2791                         ;\r
2792                         \r
2793 custom_type             : call_conv type type_spec DOUBLE_COLON method_name OPEN_PARENS type_list CLOSE_PARENS\r
2794                           {\r
2795                                 BaseTypeRef owner = (BaseTypeRef) $3;\r
2796                                 ArrayList arg_list = (ArrayList) $7;\r
2797                                 BaseTypeRef[] param_list;\r
2798   \r
2799                                 if (arg_list != null)\r
2800                                         param_list = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
2801                                 else\r
2802                                         param_list = new BaseTypeRef[0];\r
2803 \r
2804                                 $$ = owner.GetMethodRef ((BaseTypeRef) $2,\r
2805                                         (CallConv) $1, (string) $5, param_list, 0);\r
2806                           }\r
2807                         | call_conv type method_name OPEN_PARENS type_list CLOSE_PARENS\r
2808                           {\r
2809                                 ArrayList arg_list = (ArrayList) $5;\r
2810                                 BaseTypeRef[] param_list;\r
2811   \r
2812                                 if (arg_list != null)\r
2813                                         param_list = (BaseTypeRef[]) arg_list.ToArray (typeof (BaseTypeRef));\r
2814                                 else\r
2815                                         param_list = new BaseTypeRef[0];\r
2816 \r
2817                                 $$ = codegen.GetGlobalMethodRef ((BaseTypeRef) $2, (CallConv) $1,\r
2818                                         (string) $3, param_list, 0);\r
2819                           }\r
2820                         ;\r
2821 \r
2822 sec_decl                : D_PERMISSION sec_action type_spec OPEN_PARENS nameval_pairs CLOSE_PARENS\r
2823                           {\r
2824                                 $$ = TypeSpecToPermPair ($2, $3, (ArrayList) $5);\r
2825                           }\r
2826                         | D_PERMISSION sec_action type_spec\r
2827                           {\r
2828                                 $$ = TypeSpecToPermPair ($2, $3, null);\r
2829                           }\r
2830                         | D_PERMISSIONSET sec_action ASSIGN bytes_list\r
2831                           {\r
2832                                 System.Text.UnicodeEncoding ue = new System.Text.UnicodeEncoding ();\r
2833                                 PermissionSetAttribute psa = new PermissionSetAttribute ((System.Security.Permissions.SecurityAction) (short) $2);\r
2834                                 psa.XML = ue.GetString ((byte []) $4);\r
2835                                 $$ = new PermPair ((PEAPI.SecurityAction) $2, psa.CreatePermissionSet ());\r
2836                           }\r
2837                         | D_PERMISSIONSET sec_action comp_qstring\r
2838                           {\r
2839                                 PermissionSetAttribute psa = new PermissionSetAttribute ((System.Security.Permissions.SecurityAction) (short) $2);\r
2840                                 psa.XML = (string) $3;\r
2841                                 $$ = new PermPair ((PEAPI.SecurityAction) $2, psa.CreatePermissionSet ());\r
2842                           }\r
2843                         | D_PERMISSIONSET sec_action ASSIGN OPEN_BRACE permissions CLOSE_BRACE\r
2844                           {\r
2845                                 $$ = new MIPermissionSet ((PEAPI.SecurityAction) $2, (ArrayList) $5);\r
2846                           }\r
2847                         ;\r
2848 \r
2849 permissions             : permission\r
2850                           {\r
2851                                 ArrayList list = new ArrayList ();\r
2852                                 list.Add ($1);\r
2853                                 $$ = list;\r
2854                           }\r
2855                         | permissions COMMA permission\r
2856                           {\r
2857                                 ArrayList list = (ArrayList) $1;\r
2858                                 list.Add ($3);\r
2859                                 $$ = list;\r
2860                           }\r
2861                         ;\r
2862                         \r
2863 permission              : class_ref ASSIGN OPEN_BRACE permission_members CLOSE_BRACE\r
2864                           {\r
2865                                 $$ = new MIPermission ((BaseTypeRef) $1, (ArrayList) $4);\r
2866                           }\r
2867                         ;\r
2868 \r
2869 permission_members      : permission_member\r
2870                           {\r
2871                                   ArrayList list = new ArrayList ();\r
2872                                   list.Add ($1);\r
2873                                   $$ = list;\r
2874                           }\r
2875                         | permission_members permission_member\r
2876                           {\r
2877                                   ArrayList list = (ArrayList) $1;\r
2878                                   list.Add ($2);\r
2879                                   $$ = list;\r
2880                           }\r
2881                         ;\r
2882 \r
2883 permission_member       : prop_or_field primitive_type perm_mbr_nameval_pair\r
2884                           {\r
2885                                 NameValuePair pair = (NameValuePair) $3;\r
2886                                 $$ = new PermissionMember ((MemberTypes) $1, (BaseTypeRef) $2, pair.Name, pair.Value);\r
2887                           }\r
2888                         | prop_or_field K_ENUM class_ref perm_mbr_nameval_pair\r
2889                           {\r
2890                                 NameValuePair pair = (NameValuePair) $4;\r
2891                                 $$ = new PermissionMember ((MemberTypes) $1, (BaseTypeRef) $3, pair.Name, pair.Value);\r
2892                           }\r
2893                         ;\r
2894 \r
2895 perm_mbr_nameval_pair   : SQSTRING ASSIGN field_init_primitive\r
2896                           {\r
2897                                 $$ = new NameValuePair ((string) $1, (PEAPI.Constant) $3);\r
2898                           }\r
2899                         | SQSTRING ASSIGN K_BYTEARRAY bytes_list\r
2900                           {\r
2901                                 $$ = new NameValuePair ((string) $1, new ByteArrConst ((byte[]) $4));\r
2902                           }\r
2903                         | SQSTRING ASSIGN K_STRING OPEN_PARENS SQSTRING CLOSE_PARENS\r
2904                           {\r
2905                                 $$ = new NameValuePair ((string) $1, new StringConst ((string) $5));\r
2906                           }\r
2907                         ;\r
2908 \r
2909 prop_or_field           : K_PROPERTY\r
2910                           {\r
2911                                 $$ = MemberTypes.Property;\r
2912                           }\r
2913                         | K_FIELD\r
2914                           {\r
2915                                 $$ = MemberTypes.Field;\r
2916                           }\r
2917                         ;\r
2918 \r
2919 nameval_pairs           : nameval_pair \r
2920                           {\r
2921                                 ArrayList pairs = new ArrayList ();\r
2922                                 pairs.Add ($1);\r
2923                                 $$ = pairs;\r
2924                           }\r
2925                         | nameval_pairs COMMA nameval_pair\r
2926                           {\r
2927                                 ArrayList pairs = (ArrayList) $1;\r
2928                                 pairs.Add ($3);\r
2929                                 $$ = pairs;\r
2930                           }\r
2931                         ;\r
2932 \r
2933 nameval_pair            : comp_qstring ASSIGN cavalue\r
2934                           {\r
2935                                 $$ = new NameValuePair ((string) $1, $3);\r
2936                           }\r
2937                         ;\r
2938 \r
2939 cavalue                 : truefalse\r
2940                         | int32\r
2941                         | int32 OPEN_PARENS int32 CLOSE_PARENS\r
2942                           {\r
2943                                 $$ = $3;\r
2944                           }\r
2945                         | comp_qstring \r
2946                         | class_ref OPEN_PARENS K_INT8 COLON int32 CLOSE_PARENS\r
2947                           {\r
2948                                 $$ = ClassRefToObject ($1, (byte) (int) $5);\r
2949                           }\r
2950                         | class_ref OPEN_PARENS K_INT16 COLON int32 CLOSE_PARENS\r
2951                           {\r
2952                                 $$ = ClassRefToObject ($1, (short) (int) $5);\r
2953                           }\r
2954                         | class_ref OPEN_PARENS K_INT32 COLON int32 CLOSE_PARENS\r
2955                           {\r
2956                                 $$ = ClassRefToObject ($1, (int) $5);\r
2957                           }\r
2958                         | class_ref OPEN_PARENS int32 CLOSE_PARENS\r
2959                           {\r
2960                                 $$ = ClassRefToObject ($1, (int) $3);\r
2961                           }\r
2962                         ;\r
2963 \r
2964 sec_action              : K_REQUEST\r
2965                           {\r
2966                                 $$ = PEAPI.SecurityAction.Request;\r
2967                           }\r
2968                         | K_DEMAND\r
2969                           {\r
2970                                 $$ = PEAPI.SecurityAction.Demand;\r
2971                           }\r
2972                         | K_ASSERT\r
2973                           {\r
2974                                 $$ = PEAPI.SecurityAction.Assert;\r
2975                           }\r
2976                         | K_DENY\r
2977                           {\r
2978                                 $$ = PEAPI.SecurityAction.Deny;\r
2979                           }\r
2980                         | K_PERMITONLY\r
2981                           {\r
2982                                 $$ = PEAPI.SecurityAction.PermitOnly;\r
2983                           }\r
2984                         | K_LINKCHECK\r
2985                           {\r
2986                                 $$ = PEAPI.SecurityAction.LinkDemand;\r
2987                           }\r
2988                         | K_INHERITCHECK\r
2989                           {\r
2990                                 $$ = PEAPI.SecurityAction.InheritDemand;\r
2991                           }\r
2992                         | K_REQMIN\r
2993                           {\r
2994                                 $$ = PEAPI.SecurityAction.RequestMinimum;\r
2995                           }\r
2996                         | K_REQOPT\r
2997                           {\r
2998                                 $$ = PEAPI.SecurityAction.RequestOptional;\r
2999                           }\r
3000                         | K_REQREFUSE\r
3001                           {\r
3002                                 $$ = PEAPI.SecurityAction.RequestRefuse;\r
3003                           }\r
3004                         | K_PREJITGRANT\r
3005                           {\r
3006                                 $$ = PEAPI.SecurityAction.PreJitGrant;\r
3007                           }\r
3008                         | K_PREJITDENY\r
3009                           {\r
3010                                 $$ = PEAPI.SecurityAction.PreJitDeny;\r
3011                           }\r
3012                         | K_NONCASDEMAND\r
3013                           {\r
3014                                 $$ = PEAPI.SecurityAction.NonCasDemand;\r
3015                           }\r
3016                         | K_NONCASLINKDEMAND\r
3017                           {\r
3018                                 $$ = PEAPI.SecurityAction.NonCasLinkDemand;\r
3019                           }\r
3020                         | K_NONCASINHERITANCE\r
3021                           {\r
3022                                 $$ = PEAPI.SecurityAction.NonCasInheritance;\r
3023                           }\r
3024                         /* FIXME: Should we have LinkDemandChoice, InheritDemandChoice and DemandChoice ? */  \r
3025                         ;\r
3026 \r
3027 module_head             : D_MODULE\r
3028                           {\r
3029                           }\r
3030                         | D_MODULE comp_name\r
3031                           {\r
3032                                 codegen.SetModuleName ((string) $2);\r
3033                           }\r
3034                         | D_MODULE K_EXTERN comp_name\r
3035                           {\r
3036                                 codegen.ExternTable.AddModule ((string) $3);                         \r
3037                           }\r
3038                         ;\r
3039 \r
3040 file_decl               : D_FILE file_attr comp_name file_entry D_HASH ASSIGN\r
3041                           bytes_list file_entry\r
3042                           {\r
3043                                 codegen.SetFileRef (new FileRef ((string) $3, (byte []) $7, (bool) $2, (bool) $8)); \r
3044                           }\r
3045                         | D_FILE file_attr comp_name file_entry\r
3046                           {\r
3047                                 // We need to compute the hash ourselves. :-(\r
3048                                 // AssemblyName an = AssemblyName.GetName ((string) $3);\r
3049                           }\r
3050                         ;\r
3051 \r
3052 file_attr               : /* EMPTY */\r
3053                           {\r
3054                                 $$ = true;\r
3055                           }\r
3056                         | file_attr K_NOMETADATA\r
3057                           {\r
3058                                 $$ = false;\r
3059                           }\r
3060                         ;\r
3061 \r
3062 file_entry              : /* EMPTY */\r
3063                           {\r
3064                                 $$ = false;\r
3065                           }\r
3066                         | D_ENTRYPOINT\r
3067                           {\r
3068                                 $$ = true;\r
3069                           }\r
3070                         ;\r
3071 \r
3072 assembly_all            : assembly_head OPEN_BRACE assembly_decls CLOSE_BRACE\r
3073                           {\r
3074                                 codegen.CurrentCustomAttrTarget = null;\r
3075                                 codegen.CurrentDeclSecurityTarget = null;\r
3076                           }\r
3077                         ;\r
3078 \r
3079 assembly_head           : D_ASSEMBLY asm_attr slashed_name\r
3080                           {\r
3081                                 codegen.SetThisAssembly ((string) $3, (PEAPI.AssemAttr) $2);\r
3082                                 codegen.CurrentCustomAttrTarget = codegen.ThisAssembly;\r
3083                                 codegen.CurrentDeclSecurityTarget = codegen.ThisAssembly;\r
3084                           }\r
3085                         ;\r
3086 \r
3087 asm_attr                : /* EMPTY */\r
3088                           {\r
3089                                   $$ = new PEAPI.AssemAttr ();\r
3090                           }\r
3091                         /*| asm_attr K_NOAPPDOMAIN\r
3092                         | asm_attr K_NOPROCESS\r
3093                         | asm_attr K_NOMACHINE*/\r
3094                         | asm_attr K_RETARGETABLE\r
3095                           {\r
3096                                   $$ = ((PEAPI.AssemAttr) $1) | PEAPI.AssemAttr.Retargetable;\r
3097                           }\r
3098                         ;\r
3099 \r
3100 assembly_decls          : /* EMPTY */\r
3101                         | assembly_decls assembly_decl\r
3102                         ;\r
3103 \r
3104 assembly_decl           : D_PUBLICKEY ASSIGN bytes_list\r
3105                           {\r
3106                                 codegen.ThisAssembly.SetPublicKey ((byte []) $3);\r
3107                           }\r
3108                         | D_VER int32 COLON int32 COLON int32 COLON int32\r
3109                           {\r
3110                                 codegen.ThisAssembly.SetVersion ((int) $2, (int) $4, (int) $6, (int) $8);\r
3111                           }\r
3112                         | D_LOCALE comp_qstring\r
3113                           {\r
3114                                 codegen.ThisAssembly.SetLocale ((string) $2);\r
3115                           }\r
3116                         | D_LOCALE ASSIGN bytes_list\r
3117                         | D_HASH K_ALGORITHM int32\r
3118                           {\r
3119                                 codegen.ThisAssembly.SetHashAlgorithm ((int) $3);\r
3120                           }\r
3121                         | customattr_decl\r
3122                           {\r
3123                                 codegen.ThisAssembly.AddCustomAttribute ((CustomAttr) $1);\r
3124                           }\r
3125                         | sec_decl\r
3126                           {\r
3127                                 AddSecDecl ($1, true);\r
3128                           }\r
3129                         ;\r
3130 \r
3131 asm_or_ref_decl         : D_PUBLICKEY ASSIGN bytes_list\r
3132                         | D_VER int32 COLON int32 COLON int32 COLON int32 \r
3133                         | D_LOCALE comp_qstring\r
3134                         | D_LOCALE ASSIGN bytes_list\r
3135                         | customattr_decl\r
3136                         ;\r
3137 \r
3138 assemblyref_all         : assemblyref_head OPEN_BRACE assemblyref_decls CLOSE_BRACE\r
3139                         ;\r
3140 \r
3141 assemblyref_head        : D_ASSEMBLY K_EXTERN asm_attr slashed_name\r
3142                           {\r
3143                                 System.Reflection.AssemblyName asmb_name = \r
3144                                         new System.Reflection.AssemblyName ();\r
3145                                 asmb_name.Name = (string) $4;\r
3146                                 codegen.BeginAssemblyRef ((string) $4, asmb_name, (PEAPI.AssemAttr) $3);\r
3147                           }\r
3148                         | D_ASSEMBLY K_EXTERN asm_attr slashed_name K_AS slashed_name\r
3149                           {\r
3150                                 System.Reflection.AssemblyName asmb_name = \r
3151                                         new System.Reflection.AssemblyName ();\r
3152                                 asmb_name.Name = (string) $4;\r
3153                                 codegen.BeginAssemblyRef ((string) $6, asmb_name, (PEAPI.AssemAttr) $3);\r
3154                           }\r
3155                         ;\r
3156 \r
3157 assemblyref_decls       : /* EMPTY */\r
3158                         | assemblyref_decls assemblyref_decl\r
3159                         ;\r
3160 \r
3161 assemblyref_decl        : D_VER int32 COLON int32 COLON int32 COLON int32\r
3162                           {\r
3163                                 codegen.CurrentAssemblyRef.SetVersion ((int) $2, (int) $4, (int) $6, (int) $8);\r
3164                           }\r
3165                         | D_PUBLICKEY ASSIGN bytes_list\r
3166                           {\r
3167                                 codegen.CurrentAssemblyRef.SetPublicKey ((byte []) $3);\r
3168                           }\r
3169                         | D_PUBLICKEYTOKEN ASSIGN bytes_list\r
3170                           {\r
3171                                 codegen.CurrentAssemblyRef.SetPublicKeyToken ((byte []) $3);\r
3172                           }\r
3173                         | D_LOCALE comp_qstring\r
3174                           {\r
3175                                 codegen.CurrentAssemblyRef.SetLocale ((string) $2);\r
3176                           }\r
3177                         | D_LOCALE ASSIGN bytes_list\r
3178                         \r
3179                         | D_HASH ASSIGN bytes_list\r
3180                           {\r
3181                                 codegen.CurrentAssemblyRef.SetHash ((byte []) $3);\r
3182                           }\r
3183                         | customattr_decl\r
3184                           {\r
3185                                 if (codegen.CurrentCustomAttrTarget != null)\r
3186                                         codegen.CurrentCustomAttrTarget.AddCustomAttribute ((CustomAttr) $1);\r
3187                           }\r
3188                         ;\r
3189 \r
3190 exptype_all             : exptype_head OPEN_BRACE exptype_decls CLOSE_BRACE\r
3191                         ;\r
3192 \r
3193 exptype_head            : D_CLASS K_EXTERN expt_attr comp_name\r
3194                                         {\r
3195                                                 current_extern = new KeyValuePair<string, TypeAttr> ((string) $4, (TypeAttr) $3);\r
3196                                         }\r
3197                         ;\r
3198 \r
3199 expt_attr               : { $$ = 0; } /* EMPTY */\r
3200                         | expt_attr K_PRIVATE                   { $$ = (TypeAttr)$1 | TypeAttr.Private; }\r
3201                         | expt_attr K_PUBLIC                    { $$ = (TypeAttr)$1 | TypeAttr.Public; }\r
3202                         | expt_attr K_NESTED K_PUBLIC           { $$ = (TypeAttr)$1 | TypeAttr.NestedPublic; }\r
3203                         | expt_attr K_NESTED K_PRIVATE          { $$ = (TypeAttr)$1 | TypeAttr.NestedPrivate; }\r
3204                         | expt_attr K_NESTED K_FAMILY           { $$ = (TypeAttr)$1 | TypeAttr.NestedFamily; }\r
3205                         | expt_attr K_NESTED K_ASSEMBLY         { $$ = (TypeAttr)$1 | TypeAttr.NestedAssembly;}\r
3206                         | expt_attr K_NESTED K_FAMANDASSEM      { $$ = (TypeAttr)$1 | TypeAttr.NestedFamAndAssem; }\r
3207                         | expt_attr K_NESTED K_FAMORASSEM       { $$ = (TypeAttr)$1 | TypeAttr.NestedFamOrAssem; }\r
3208                         | K_FORWARDER                           { $$ = TypeAttr.Forwarder; }\r
3209                         ;\r
3210 \r
3211 exptype_decls           : /* EMPTY */\r
3212                         | exptype_decls exptype_decl\r
3213                         ;\r
3214 \r
3215 exptype_decl            : D_FILE comp_name\r
3216                         | D_CLASS K_EXTERN comp_name\r
3217                         | customattr_decl\r
3218                         | D_ASSEMBLY K_EXTERN comp_name\r
3219                           {\r
3220                                 codegen.ExternTable.AddClass (current_extern.Key, current_extern.Value, (string) $3);\r
3221                           }\r
3222                         ;\r
3223 \r
3224 manifestres_all         : manifestres_head OPEN_BRACE manifestres_decls CLOSE_BRACE\r
3225                         ;\r
3226 \r
3227 manifestres_head        : D_MRESOURCE manres_attr comp_name\r
3228                           {\r
3229                                 FileStream s = new FileStream ((string) $3, FileMode.Open, FileAccess.Read);\r
3230                                 byte [] buff = new byte [s.Length];\r
3231                                 s.Read (buff, 0, (int) s.Length);\r
3232                                 s.Close ();\r
3233 \r
3234                                 codegen.AddManifestResource (new ManifestResource ((string) $3, buff, ($2 == null) ? 0 : (uint) $2));\r
3235                           }\r
3236                         ;\r
3237 \r
3238 manres_attr             : /* EMPTY */\r
3239                         | manres_attr K_PUBLIC { $$ = ManifestResource.PublicResource; }\r
3240                         | manres_attr K_PRIVATE { $$ = ManifestResource.PrivateResource; } \r
3241                         ;\r
3242 \r
3243 manifestres_decls       : /* EMPTY */\r
3244                         | manifestres_decls manifestres_decl\r
3245                         ;\r
3246 \r
3247 manifestres_decl        : D_FILE comp_name K_AT int32\r
3248                         | D_ASSEMBLY K_EXTERN slashed_name\r
3249                         | customattr_decl\r
3250                         ;\r
3251 \r
3252 comp_qstring            : QSTRING\r
3253                         | comp_qstring PLUS QSTRING     { $$ = String.Format ("{0}{1}", $1, $3); }\r
3254                         ;\r
3255 \r
3256 int32                   : INT64\r
3257                           {\r
3258                                 long l = (long) $1;\r
3259                                 byte[] intb = BitConverter.GetBytes (l);\r
3260                                 $$ = BitConverter.ToInt32 (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
3261                           }\r
3262                         ;\r
3263 \r
3264 int64                   : INT64\r
3265                         ;\r
3266 \r
3267 float64                 : FLOAT64\r
3268                         | K_FLOAT32 OPEN_PARENS INT32 CLOSE_PARENS\r
3269                           {\r
3270                                 int i = (int) $3;\r
3271                                 byte[] intb = BitConverter.GetBytes (i);\r
3272                                 $$ = (double) BitConverter.ToSingle (intb, 0);\r
3273                           }\r
3274                         | K_FLOAT32 OPEN_PARENS INT64 CLOSE_PARENS\r
3275                           {\r
3276                                 long l = (long) $3;\r
3277                                 byte[] intb = BitConverter.GetBytes (l);\r
3278                                 $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
3279                           }\r
3280                         | K_FLOAT64 OPEN_PARENS INT64 CLOSE_PARENS\r
3281                           {\r
3282                                 byte[] intb = BitConverter.GetBytes ((long) $3);\r
3283                                 $$ = BitConverter.ToDouble (intb, 0);\r
3284                           }\r
3285                         | K_FLOAT64 OPEN_PARENS INT32 CLOSE_PARENS\r
3286                           {\r
3287                                 byte[] intb = BitConverter.GetBytes ((int) $3);\r
3288                                 $$ = (double) BitConverter.ToSingle (intb, 0);\r
3289                           }\r
3290                         ;\r
3291 \r
3292 hexbyte                 : HEXBYTE       { }\r
3293                         ;\r
3294 \r
3295 bytes_list              : OPEN_PARENS\r
3296                           {\r
3297                                 tokenizer.InByteArray = true;\r
3298                           }\r
3299                           bytes CLOSE_PARENS\r
3300                           {\r
3301                                 $$ = $3;\r
3302                                 tokenizer.InByteArray = false;\r
3303                           }\r
3304                         ;\r
3305 \r
3306 bytes                   : /* EMPTY */   { $$ = new byte[0]; }\r
3307                         | hexbytes\r
3308                           {\r
3309                                 ArrayList byte_list = (ArrayList) $1;\r
3310                                 $$ = byte_list.ToArray (typeof (byte));\r
3311                           }\r
3312                         ;\r
3313 \r
3314 hexbytes                : hexbyte\r
3315                           {\r
3316                                 ArrayList byte_list = new ArrayList ();\r
3317                                 byte_list.Add (Convert.ToByte ($1));\r
3318                                 $$ = byte_list;\r
3319                           }\r
3320                         | hexbytes hexbyte\r
3321                           {\r
3322                                 ArrayList byte_list = (ArrayList) $1;\r
3323                                 byte_list.Add (Convert.ToByte ($2));\r
3324                           }\r
3325                         ;\r
3326 \r
3327 truefalse               : K_TRUE\r
3328                           {\r
3329                                 $$ = true;\r
3330                           }\r
3331                         | K_FALSE\r
3332                           {\r
3333                                 $$ = false;\r
3334                           }\r
3335                         ;\r
3336 \r
3337 id                      : ID\r
3338                         | SQSTRING\r
3339                         ;\r
3340 \r
3341 comp_name               : id\r
3342                         | comp_name DOT comp_name\r
3343                           {\r
3344                                 $$ = (string) $1 + '.' + (string) $3;\r
3345                           }\r
3346                         | COMP_NAME\r
3347                         ;\r
3348 \r
3349 %%\r
3350 \r
3351 }\r
3352 \r