3 // Mono::ILASM::ILParser
\r
5 // (C) Sergey Chaban (serge@wildwestsoftware.com)
\r
6 // (C) 2003 Jackson Harper, All rights reserved
\r
12 using System.Collections;
\r
13 using System.Globalization;
\r
15 namespace Mono.ILASM {
\r
17 public class ILParser {
\r
19 private CodeGen codegen;
\r
21 private bool is_value_class;
\r
22 private bool is_enum_class;
\r
23 private bool pinvoke_info;
\r
24 private string pinvoke_mod;
\r
25 private string pinvoke_meth;
\r
26 private PEAPI.PInvokeAttr pinvoke_attr;
\r
27 private StreamReader stream;
\r
29 public ILParser (CodeGen codegen, StreamReader stream) {
\r
30 this.codegen = codegen;
\r
31 this.stream = stream;
\r
34 public CodeGen CodeGen {
\r
35 get { return codegen; }
\r
42 /* ID - alpha-numeric identifier */
\r
45 /* QSTRING - quoted string */
\r
48 /* SQSTRING - single quoted string */
\r
51 /* COMP_NAME - A name with dots */
\r
54 /* INT32 - 32 bit integer */
\r
57 /* INT64 - 64 bit integer */
\r
60 /* FLOAT64 - floating point number */
\r
63 /* HEXBYTE - two digit hex number */
\r
69 %token OPEN_BRACE "{"
\r
70 %token CLOSE_BRACE "}"
\r
71 %token OPEN_BRACKET "["
\r
72 %token CLOSE_BRACKET "]"
\r
73 %token OPEN_PARENS "("
\r
74 %token CLOSE_PARENS ")"
\r
77 %token DOUBLE_COLON "::"
\r
78 %token SEMICOLON ";"
\r
81 %token AMPERSAND "&"
\r
85 %token ELLIPSIS "..."
\r
87 %token OPEN_ANGLE_BRACKET "<"
\r
88 %token CLOSE_ANGLE_BRACKET ">"
\r
95 /* INSTR_* instruction types */
\r
101 %token INSTR_BRTARGET
\r
102 %token INSTR_METHOD
\r
103 %token INSTR_NEWOBJ
\r
106 %token INSTR_STRING
\r
110 %token INSTR_SWITCH
\r
119 /* Mechanically generated - DO NOT EDIT! */
\r
128 %token D_CAPABILITY
\r
133 %token D_CONSTRAINT
\r
140 %token D_ENTRYPOINT
\r
149 %token D_IMPLICITCOM
\r
155 %token D_MANIFESTRES
\r
162 %token D_ORIGINATOR
\r
168 %token D_PERMISSION
\r
169 %token D_PERMISSIONSET
\r
173 %token D_PUBLICKEYTOKEN
\r
190 %token K_IMPLICITCOM
\r
191 %token K_IMPLICITRES
\r
192 %token K_NOAPPDOMAIN
\r
216 %token K_RTSPECIALNAME
\r
217 %token K_SPECIALNAME
\r
219 %token K_FAMANDASSEM
\r
220 %token K_FAMORASSEM
\r
221 %token K_PRIVATESCOPE
\r
223 %token K_NOTSERIALIZED
\r
225 %token K_NOT_IN_GC_HEAP
\r
230 %token K_SEQUENTIAL
\r
235 %token K_SERIALIZABLE
\r
239 %token K_IMPLEMENTS
\r
244 %token K_UNMANAGEDEXP
\r
245 %token K_PINVOKEIMPL
\r
255 %token K_FORWARDREF
\r
257 %token K_INTERNALCALL
\r
258 %token K_SYNCHRONIZED
\r
259 %token K_NOINLINING
\r
300 %token K_USERDEFINED
\r
306 %token K_STREAMED_OBJECT
\r
307 %token K_STORED_OBJECT
\r
308 %token K_BLOB_OBJECT
\r
319 %token K_FROMUNMANAGED
\r
320 %token K_CALLMOSTDERIVED
\r
336 %token K_PERMITONLY
\r
338 %token K_INHERITCHECK
\r
342 %token K_PREJITGRANT
\r
343 %token K_PREJITDENY
\r
344 %token K_NONCASDEMAND
\r
345 %token K_NONCASLINKDEMAND
\r
346 %token K_NONCASINHERITANCE
\r
348 %token K_NOMETADATA
\r
350 %token K_FULLORIGIN
\r
354 %token K_ENABLEJITTRACKING
\r
355 %token K_DISABLEJITOPTIMIZER
\r
356 %token K_PRESERVESIG
\r
357 %token K_BEFOREFIELDINIT
\r
361 %token K_COMPILERCONTROLLED
\r
370 /* end generated */
\r
383 decls : /* EMPTY */
\r
401 | D_SUBSYSTEM int32
\r
403 codegen.SetSubSystem ((int) $2);
\r
407 codegen.SetCorFlags ((int) $2);
\r
409 | D_FILE K_ALIGNMENT int32
\r
410 | D_IMAGEBASE int64
\r
412 codegen.SetImageBase ((long) $2);
\r
418 extsource_spec : D_LINE int32 SQSTRING
\r
420 | D_LINE int32 COLON int32 SQSTRING
\r
421 | D_LINE int32 COLON int32
\r
424 language_decl : D_LANGUAGE SQSTRING
\r
425 | D_LANGUAGE SQSTRING COMMA SQSTRING
\r
426 | D_LANGUAGE SQSTRING COMMA SQSTRING COMMA SQSTRING
\r
429 constraint_decl : D_CONSTRAINT BANG int32 K_IS type
\r
431 codegen.CurrentTypeDef.AddGenericConstraint ((int) $3, (ITypeRef) $5);
\r
435 vtfixup_decl : D_VTFIXUP OPEN_BRACKET int32 CLOSE_BRACKET
\r
436 vtfixup_attr K_AT id
\r
439 vtfixup_attr : /* EMPTY */
\r
440 | vtfixup_attr int32
\r
441 | vtfixup_attr int64
\r
442 | vtfixup_attr K_FROMUNMANAGED
\r
443 | vtfixup_attr K_CALLMOSTDERIVED
\r
446 namespace_all : namespace_head OPEN_BRACE decls CLOSE_BRACE
\r
448 codegen.CurrentNameSpace = null;
\r
452 namespace_head : D_NAMESPACE comp_name
\r
454 codegen.CurrentNameSpace = (string) $2;
\r
458 class_all : class_head OPEN_BRACE class_decls CLOSE_BRACE
\r
460 codegen.EndTypeDef ();
\r
464 class_head : D_CLASS class_attr id formal_typars_clause extends_clause
\r
467 codegen.BeginTypeDef ((TypeAttr) $2, (string) $3,
\r
468 $5 as IClassRef, $6 as ArrayList, null);
\r
470 if (is_value_class)
\r
471 codegen.CurrentTypeDef.MakeValueClass ();
\r
473 codegen.CurrentTypeDef.MakeEnumClass ();
\r
476 ArrayList typars_list = (ArrayList) $4;
\r
477 foreach (string id in typars_list)
\r
478 codegen.CurrentTypeDef.AddGenericParam (id);
\r
483 class_attrs : class_attrs class_attr
\r
486 class_attr : /* EMPTY */
\r
488 // Reset some flags
\r
489 is_value_class = false;
\r
490 is_enum_class = false;
\r
491 $$ = new TypeAttr ();
\r
493 | class_attr K_PUBLIC { $$ = (TypeAttr)$1 | TypeAttr.Public; }
\r
494 | class_attr K_PRIVATE { $$ = (TypeAttr)$1 | TypeAttr.Private; }
\r
495 | class_attr K_NESTED K_PRIVATE { $$ = (TypeAttr)$1 | TypeAttr.NestedPrivate; }
\r
496 | class_attr K_NESTED K_PUBLIC { $$ = (TypeAttr)$1 | TypeAttr.NestedPublic; }
\r
497 | class_attr K_NESTED K_FAMILY { $$ = (TypeAttr)$1 | TypeAttr.NestedFamily; }
\r
498 | class_attr K_NESTED K_ASSEMBLY { $$ = (TypeAttr)$1 | TypeAttr.NestedAssembly;}
\r
499 | class_attr K_NESTED K_FAMANDASSEM { $$ = (TypeAttr)$1 | TypeAttr.NestedFamAndAssem; }
\r
500 | class_attr K_NESTED K_FAMORASSEM { $$ = (TypeAttr)$1 | TypeAttr.NestedFamOrAssem; }
\r
501 | class_attr K_VALUE { is_value_class = true; }
\r
502 | class_attr K_ENUM { is_enum_class = true; is_value_class = true;
\r
504 | class_attr K_INTERFACE { $$ = (TypeAttr)$1 | TypeAttr.Interface; }
\r
505 | class_attr K_SEALED { $$ = (TypeAttr)$1 | TypeAttr.Sealed; }
\r
506 | class_attr K_ABSTRACT { $$ = (TypeAttr)$1 | TypeAttr.Abstract; }
\r
507 | class_attr K_AUTO { }
\r
508 | class_attr K_SEQUENTIAL { $$ = (TypeAttr)$1 | TypeAttr.SequentialLayout; }
\r
509 | class_attr K_EXPLICIT { $$ = (TypeAttr)$1 | TypeAttr.ExplicitLayout; }
\r
510 | class_attr K_ANSI { }
\r
511 | class_attr K_UNICODE { $$ = (TypeAttr)$1 | TypeAttr.UnicodeClass; }
\r
512 | class_attr K_AUTOCHAR { $$ = (TypeAttr)$1 | TypeAttr.AutoClass; }
\r
513 | class_attr K_IMPORT { $$ = (TypeAttr)$1 | TypeAttr.Import; }
\r
514 | class_attr K_SERIALIZABLE { $$ = (TypeAttr)$1 | TypeAttr.Serializable; }
\r
515 | class_attr K_BEFOREFIELDINIT { $$ = (TypeAttr)$1 | TypeAttr.BeforeFieldInit; }
\r
516 | class_attr K_SPECIALNAME { $$ = (TypeAttr)$1 | TypeAttr.SpecialName; }
\r
517 | class_attr K_RTSPECIALNAME { $$ = (TypeAttr)$1 | TypeAttr.RTSpecialName; }
\r
520 extends_clause : /* EMPTY */
\r
521 | K_EXTENDS class_ref
\r
527 impl_clause : /* EMPTY */
\r
528 | K_IMPLEMENTS class_refs
\r
534 formal_typars_clause : /* EMPTY */
\r
535 | OPEN_ANGLE_BRACKET formal_typars CLOSE_ANGLE_BRACKET
\r
541 typars_clause : /* EMPTY */
\r
542 | OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET
\r
550 ArrayList typars_list = new ArrayList ();
\r
551 typars_list.Add ($1);
\r
554 | typars COMMA type
\r
556 ArrayList typars_list = (ArrayList) $1;
\r
557 typars_list.Add ($3);
\r
562 formal_typars : formal_typar
\r
564 ArrayList formal_list = new ArrayList ();
\r
565 formal_list.Add ($1);
\r
568 | formal_typars COMMA formal_typar
\r
570 ArrayList formal_list = (ArrayList) $1;
\r
571 formal_list.Add ($3);
\r
583 class_refs : class_ref
\r
585 ArrayList class_list = new ArrayList ();
\r
586 class_list.Add ($1);
\r
589 | class_refs COMMA class_ref
\r
591 ArrayList class_list = (ArrayList) $1;
\r
592 class_list.Add ($3);
\r
596 slashed_name : comp_name
\r
597 | slashed_name SLASH comp_name
\r
599 $$ = String.Format ("{0}/{1}", $1, $3);
\r
603 class_ref : OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name
\r
605 if (codegen.IsThisAssembly ((string) $2)) {
\r
606 $$ = new TypeRef ((string) $4, false, null);
\r
608 $$ = codegen.ExternTable.GetTypeRef ((string) $2, (string) $4, false);
\r
611 | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET slashed_name
\r
614 PrimitiveTypeRef prim = PrimitiveTypeRef.GetPrimitiveType ((string) $1);
\r
619 $$ = new TypeRef ((string) $1, false, null);
\r
624 class_decls : /* EMPTY */
\r
625 | class_decls class_decl
\r
628 class_decl : method_all
\r
638 codegen.CurrentTypeDef.AddCustomAttribute ((CustomAttr) $1);
\r
642 codegen.CurrentTypeDef.SetSize ((int) $2);
\r
646 codegen.CurrentTypeDef.SetPack ((int) $2);
\r
648 | D_OVERRIDE type_spec DOUBLE_COLON method_name K_WITH call_conv type
\r
649 type_spec DOUBLE_COLON method_name type_list
\r
652 // My copy of the spec didn't have a type_list but
\r
653 // it seems pretty crucial
\r
655 ITypeRef owner = (ITypeRef) $2;
\r
656 ArrayList arg_list = (ArrayList) $11;
\r
657 ITypeRef[] param_list;
\r
660 if (arg_list != null)
\r
661 param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
663 param_list = new ITypeRef[0];
\r
665 decl = owner.GetMethodRef ((ITypeRef) $7,
\r
666 (CallConv) $6, (string) $4, param_list);
\r
668 string sig = MethodDef.CreateSignature ((string) $10,
\r
670 codegen.CurrentTypeDef.AddOverride (sig, decl);
\r
672 OPEN_PARENS sig_args CLOSE_PARENS
\r
677 type : K_CLASS class_ref
\r
683 $$ = new PrimitiveTypeRef (PrimitiveType.Object, "System.Object");
\r
687 $$ = new PrimitiveTypeRef (PrimitiveType.String, "System.String");
\r
689 | K_VALUE K_CLASS class_ref
\r
691 IClassRef class_ref = (IClassRef) $3;
\r
692 class_ref.MakeValueClass ();
\r
695 | K_VALUETYPE OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name
\r
697 ExternTypeRef ext_ref = codegen.ExternTable.GetTypeRef ((string) $3, (string) $5, false);
\r
698 ext_ref.MakeValueClass ();
\r
701 | K_VALUETYPE slashed_name
\r
703 TypeRef t_ref = new TypeRef ((string) $2, true, null);
\r
704 t_ref.MakeValueClass ();
\r
707 | type OPEN_BRACKET CLOSE_BRACKET
\r
709 ITypeRef base_type = (ITypeRef) $1;
\r
710 if (base_type is ExternTypeRef)
\r
711 base_type = ((ExternTypeRef) base_type).Clone ();
\r
712 base_type.MakeArray ();
\r
715 | type OPEN_BRACKET bounds CLOSE_BRACKET
\r
717 ITypeRef base_type = (ITypeRef) $1;
\r
718 if (base_type is ExternTypeRef)
\r
719 base_type = ((ExternTypeRef) base_type).Clone ();
\r
720 ArrayList bound_list = (ArrayList) $3;
\r
721 base_type.MakeBoundArray (bound_list);
\r
726 ITypeRef base_type = (ITypeRef) $1;
\r
727 if (base_type is ExternTypeRef)
\r
728 base_type = ((ExternTypeRef) base_type).Clone ();
\r
729 base_type.MakeManagedPointer ();
\r
734 ITypeRef base_type = (ITypeRef) $1;
\r
735 if (base_type is ExternTypeRef)
\r
736 base_type = ((ExternTypeRef) base_type).Clone ();
\r
737 base_type.MakeUnmanagedPointer ();
\r
742 ITypeRef base_type = (ITypeRef) $1;
\r
743 if (base_type is ExternTypeRef)
\r
744 base_type = ((ExternTypeRef) base_type).Clone ();
\r
745 base_type.MakePinned ();
\r
748 | type K_MODREQ OPEN_PARENS class_ref CLOSE_PARENS
\r
750 ITypeRef base_type = (ITypeRef) $1;
\r
751 if (base_type is ExternTypeRef)
\r
752 base_type = ((ExternTypeRef) base_type).Clone ();
\r
753 IClassRef class_ref = (IClassRef) $4;
\r
754 base_type.MakeCustomModified (codegen,
\r
755 CustomModifier.modopt, class_ref);
\r
758 | type K_MODOPT OPEN_PARENS class_ref CLOSE_PARENS
\r
760 ITypeRef base_type = (ITypeRef) $1;
\r
761 if (base_type is ExternTypeRef)
\r
762 base_type = ((ExternTypeRef) base_type).Clone ();
\r
763 IClassRef class_ref = (IClassRef) $4;
\r
764 base_type.MakeCustomModified (codegen,
\r
765 CustomModifier.modopt, class_ref);
\r
768 | K_METHOD call_conv type STAR OPEN_PARENS sig_args CLOSE_PARENS
\r
771 $$ = new PrimitiveTypeRef (PrimitiveType.TypedRef,
\r
772 "System.TypedReference");
\r
776 $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");
\r
780 $$ = new PrimitiveTypeRef (PrimitiveType.Void, "System.Void");
\r
784 $$ = new PrimitiveTypeRef (PrimitiveType.Boolean, "System.Bool");
\r
788 $$ = new PrimitiveTypeRef (PrimitiveType.Int8, "System.Int8");
\r
792 $$ = new PrimitiveTypeRef (PrimitiveType.Int16, "System.Int16");
\r
796 $$ = new PrimitiveTypeRef (PrimitiveType.Int32, "System.Int32");
\r
800 $$ = new PrimitiveTypeRef (PrimitiveType.Int64, "System.Int64");
\r
804 $$ = new PrimitiveTypeRef (PrimitiveType.Float32, "System.Float32");
\r
808 $$ = new PrimitiveTypeRef (PrimitiveType.Float64, "System.Float64");
\r
810 | K_UNSIGNED K_INT8
\r
812 $$ = new PrimitiveTypeRef (PrimitiveType.UInt8, "System.UInt8");
\r
814 | K_UNSIGNED K_INT16
\r
816 $$ = new PrimitiveTypeRef (PrimitiveType.UInt16, "System.UInt16");
\r
818 | K_UNSIGNED K_INT32
\r
820 $$ = new PrimitiveTypeRef (PrimitiveType.UInt32, "System.UInt32");
\r
822 | K_UNSIGNED K_INT64
\r
824 $$ = new PrimitiveTypeRef (PrimitiveType.UInt64, "System.UInt64");
\r
828 // TODO: Is this the proper full name
\r
829 $$ = new PrimitiveTypeRef (PrimitiveType.NativeInt, "System.IntPtr");
\r
832 | K_NATIVE K_UNSIGNED K_INT
\r
834 $$ = new PrimitiveTypeRef (PrimitiveType.NativeUInt, "System.UIntPtr");
\r
838 GenericTypeSpec spec = new GenericTypeSpec ((int) $2);
\r
839 $$ = new GenericTypeRef (spec, $2.ToString ());
\r
843 MVar mvar = new MVar ((int) $3);
\r
844 $$ = new GenericTypeRef (mvar, $3.ToString ());
\r
846 | K_CLASS slashed_name OPEN_ANGLE_BRACKET BANG int32 CLOSE_ANGLE_BRACKET
\r
848 $$ = new TypeRef ((string) $2, false, null);
\r
850 | K_CLASS slashed_name OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET
\r
852 ArrayList typar_list = (ArrayList) $4;
\r
853 ITypeRef[] typar_array = (ITypeRef[]) typar_list.ToArray (typeof (ITypeRef));
\r
855 $$ = new GenericTypeInst ((string)$2, typar_array);
\r
861 ArrayList bound_list = new ArrayList ();
\r
862 bound_list.Add ($1);
\r
865 | bounds COMMA bound
\r
867 ArrayList bound_list = (ArrayList) $1;
\r
868 bound_list.Add ($3);
\r
872 bound : /* EMPTY */
\r
875 // No lower bound or size
\r
876 $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);
\r
880 // ******** Not sure what this is?
\r
881 // For now I will say it is size because there
\r
882 // is allready a way to set lower
\r
883 $$ = new DictionaryEntry (TypeRef.Ellipsis, $1);
\r
885 | int32 ELLIPSIS int32
\r
887 // lower bound and size
\r
888 $$ = new DictionaryEntry ($1, $3);
\r
892 // Just lower bound
\r
893 $$ = new DictionaryEntry ($1, TypeRef.Ellipsis);
\r
897 call_conv : K_INSTANCE call_conv
\r
899 $$ = (CallConv) $2 | CallConv.Instance;
\r
901 | K_EXPLICIT call_conv
\r
903 $$ = (CallConv) $2 | CallConv.InstanceExplicit;
\r
908 call_kind : /* EMPTY */
\r
910 $$ = new CallConv ();
\r
914 $$ = CallConv.Default;
\r
918 $$ = CallConv.Vararg;
\r
920 | K_UNMANAGED K_CDECL
\r
922 $$ = CallConv.Cdecl;
\r
924 | K_UNMANAGED K_STDCALL
\r
926 $$ = CallConv.Stdcall;
\r
928 | K_UNMANAGED K_THISCALL
\r
930 $$ = CallConv.Thiscall;
\r
932 | K_UNMANAGED K_FASTCALL
\r
934 $$ = CallConv.Fastcall;
\r
938 native_type : /* EMPTY */
\r
939 | K_CUSTOM OPEN_PARENS comp_qstring COMMA comp_qstring CLOSE_PARENS
\r
940 | K_FIXED K_SYSSTRING OPEN_BRACKET int32 CLOSE_BRACKET
\r
942 $$ = NativeType.FixedSysString;
\r
944 | K_FIXED K_ARRAY OPEN_BRACKET int32 CLOSE_BRACKET
\r
948 $$ = NativeType.Currency;
\r
953 $$ = NativeType.Void;
\r
957 $$ = NativeType.Boolean;
\r
961 $$ = NativeType.Int8;
\r
965 $$ = NativeType.Int16;
\r
969 $$ = NativeType.Int32;
\r
973 $$ = NativeType.Int64;
\r
977 $$ = NativeType.Float32;
\r
981 $$ = NativeType.Float64;
\r
984 | K_UNSIGNED K_INT8
\r
986 $$ = NativeType.UInt8;
\r
988 | K_UNSIGNED K_INT16
\r
990 $$ = NativeType.UInt16;
\r
992 | K_UNSIGNED K_INT32
\r
994 $$ = NativeType.UInt32;
\r
996 | K_UNSIGNED K_INT64
\r
998 $$ = NativeType.UInt64;
\r
1000 | native_type STAR
\r
1001 | native_type OPEN_BRACKET CLOSE_BRACKET
\r
1002 | native_type OPEN_BRACKET int32 CLOSE_BRACKET
\r
1003 | native_type OPEN_BRACKET int32 PLUS int32 CLOSE_BRACKET
\r
1004 | native_type OPEN_BRACKET PLUS int32 CLOSE_BRACKET
\r
1009 $$ = NativeType.BStr;
\r
1013 $$ = NativeType.LPStr;
\r
1017 $$ = NativeType.LPWStr;
\r
1021 $$ = NativeType.LPTStr;
\r
1026 $$ = NativeType.IUnknown;
\r
1030 $$ = NativeType.IDispatch;
\r
1034 $$ = NativeType.Struct;
\r
1038 $$ = NativeType.Interface;
\r
1040 | K_SAFEARRAY variant_type
\r
1041 | K_SAFEARRAY variant_type COMMA comp_qstring
\r
1044 $$ = NativeType.Int;
\r
1046 | K_UNSIGNED K_INT
\r
1048 $$ = NativeType.UInt;
\r
1050 | K_NESTED K_STRUCT
\r
1053 $$ = NativeType.ByValStr;
\r
1057 $$ = NativeType.AnsiBStr;
\r
1061 $$ = NativeType.TBstr;
\r
1063 | K_VARIANT K_BOOL
\r
1065 $$ = NativeType.VariantBool;
\r
1070 $$ = NativeType.AsAny;
\r
1075 variant_type : /* EMPTY */
\r
1087 | K_UNSIGNED K_INT8
\r
1088 | K_UNSIGNED K_INT16
\r
1089 | K_UNSIGNED K_INT32
\r
1090 | K_UNSIGNED K_INT64
\r
1092 | variant_type OPEN_BRACKET CLOSE_BRACKET
\r
1093 | variant_type K_VECTOR
\r
1094 | variant_type AMPERSAND
\r
1104 | K_UNSIGNED K_INT
\r
1114 | K_STREAMED_OBJECT
\r
1121 field_decl : D_FIELD repeat_opt field_attr type id at_opt init_opt
\r
1123 FieldDef field_def = new FieldDef((FieldAttr) $3,
\r
1124 (string) $5, (ITypeRef) $4);
\r
1125 codegen.AddFieldDef (field_def);
\r
1128 field_def.SetOffset ((uint) $2);
\r
1132 field_def.AddDataValue ((string) $6);
\r
1136 field_def.SetValue ((Constant) $7);
\r
1141 repeat_opt : /* EMPTY */
\r
1142 | OPEN_BRACKET int32 CLOSE_BRACKET
\r
1148 field_attr : /* EMPTY */
\r
1150 $$ = new FieldAttr ();
\r
1152 | field_attr K_PUBLIC
\r
1154 $$ = (FieldAttr) $1 | FieldAttr.Public;
\r
1156 | field_attr K_PRIVATE
\r
1158 $$ = (FieldAttr) $1 | FieldAttr.Private;
\r
1160 | field_attr K_FAMILY
\r
1162 $$ = (FieldAttr) $1 | FieldAttr.Family;
\r
1164 | field_attr K_ASSEMBLY
\r
1166 $$ = (FieldAttr) $1 | FieldAttr.Assembly;
\r
1168 | field_attr K_FAMANDASSEM
\r
1170 $$ = (FieldAttr) $1 | FieldAttr.FamAndAssem;
\r
1172 | field_attr K_FAMORASSEM
\r
1174 $$ = (FieldAttr) $1 | FieldAttr.FamOrAssem;
\r
1176 | field_attr K_PRIVATESCOPE
\r
1178 // This is just 0x0000
\r
1180 | field_attr K_STATIC
\r
1182 $$ = (FieldAttr) $1 | FieldAttr.Static;
\r
1184 | field_attr K_INITONLY
\r
1186 $$ = (FieldAttr) $1 | FieldAttr.Initonly;
\r
1188 | field_attr K_RTSPECIALNAME
\r
1190 $$ = (FieldAttr) $1 | FieldAttr.RTSpecialName;
\r
1192 | field_attr K_SPECIALNAME
\r
1194 $$ = (FieldAttr) $1 | FieldAttr.SpecialName;
\r
1196 | field_attr K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS
\r
1200 | field_attr K_LITERAL
\r
1202 $$ = (FieldAttr) $1 | FieldAttr.Literal;
\r
1204 | field_attr K_NOTSERIALIZED
\r
1206 $$ = (FieldAttr) $1 | FieldAttr.Notserialized;
\r
1210 at_opt : /* EMPTY */
\r
1217 init_opt : /* EMPTY */
\r
1218 | ASSIGN field_init
\r
1224 field_init : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS
\r
1226 $$ = new FloatConst (Convert.ToSingle ($3));
\r
1228 | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS
\r
1230 $$ = new DoubleConst (Convert.ToDouble ($3));
\r
1232 | K_FLOAT32 OPEN_PARENS int64 CLOSE_PARENS
\r
1234 $$ = new FloatConst (Convert.ToSingle ($3));
\r
1236 | K_FLOAT64 OPEN_PARENS int64 CLOSE_PARENS
\r
1238 $$ = new DoubleConst (Convert.ToDouble (3));
\r
1240 | K_INT64 OPEN_PARENS int64 CLOSE_PARENS
\r
1242 $$ = new IntConst (Convert.ToInt64 ($3));
\r
1244 | K_INT32 OPEN_PARENS int64 CLOSE_PARENS
\r
1246 $$ = new IntConst (Convert.ToInt32 ($3));
\r
1248 | K_INT16 OPEN_PARENS int64 CLOSE_PARENS
\r
1250 $$ = new IntConst (Convert.ToInt16 ($3));
\r
1252 | K_CHAR OPEN_PARENS int64 CLOSE_PARENS
\r
1254 $$ = new CharConst (Convert.ToChar ($3));
\r
1256 | K_INT8 OPEN_PARENS int64 CLOSE_PARENS
\r
1258 $$ = new IntConst (Convert.ToByte ($3));
\r
1260 | K_BOOL OPEN_PARENS truefalse CLOSE_PARENS
\r
1262 $$ = new BoolConst ((bool) $3);
\r
1264 | K_BYTEARRAY OPEN_PARENS bytes CLOSE_PARENS
\r
1266 $$ = new ByteArrConst ((byte[]) $3);
\r
1270 // ******** THIS IS NOT IN THE DOCUMENTATION ******** //
\r
1271 $$ = new StringConst ((string) $1);
\r
1275 $$ = new NullConst ();
\r
1279 data_decl : data_head data_body
\r
1281 DataDef datadef = (DataDef) $1;
\r
1283 if ($2 is ArrayList) {
\r
1284 ArrayList const_list = (ArrayList) $2;
\r
1285 DataConstant[] const_arr = new DataConstant[const_list.Count];
\r
1287 for (int i=0; i<const_arr.Length; i++)
\r
1288 const_arr[i] = (DataConstant) const_list[i];
\r
1290 datadef.PeapiConstant = new ArrayConstant (const_arr);
\r
1292 datadef.PeapiConstant = (PEAPI.Constant) $2;
\r
1294 codegen.AddDataDef (datadef);
\r
1298 data_head : D_DATA tls id ASSIGN
\r
1300 $$ = new DataDef ((string) $3, (bool) $2);
\r
1304 $$ = new DataDef (String.Empty, (bool) $2);
\r
1308 tls : /* EMPTY */ { $$ = false; }
\r
1309 | K_TLS { $$ = true; }
\r
1312 data_body : OPEN_BRACE dataitem_list CLOSE_BRACE
\r
1316 dataitem_list : dataitem
\r
1318 ArrayList dataitem_list = new ArrayList ();
\r
1319 dataitem_list.Add ($1);
\r
1320 $$ = dataitem_list;
\r
1322 | dataitem_list COMMA dataitem
\r
1324 ArrayList list = (ArrayList) $1;
\r
1329 dataitem : K_CHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS
\r
1331 $$ = new StringConst ((string) $4);
\r
1333 | AMPERSAND OPEN_PARENS id CLOSE_PARENS
\r
1335 // DataDef def = codegen.CurrentTypeDef.GetDataDef ((string) $3);
\r
1336 // $$ = new AddressConstant ((DataConstant) def.PeapiConstant);
\r
1338 | K_BYTEARRAY ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
1340 $$ = new ByteArrConst ((byte[]) $4);
\r
1342 | K_BYTEARRAY OPEN_PARENS bytes CLOSE_PARENS
\r
1344 // ******** THIS IS NOT IN THE SPECIFICATION ******** //
\r
1345 $$ = new ByteArrConst ((byte[]) $3);
\r
1347 | K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS repeat_opt
\r
1349 FloatConst float_const = new FloatConst ((float) $3);
\r
1352 $$ = new RepeatedConstant (float_const, (int) $5);
\r
1356 | K_FLOAT64 OPEN_PARENS float64 CLOSE_PARENS repeat_opt
\r
1358 DoubleConst double_const = new DoubleConst ((double) $3);
\r
1361 $$ = new RepeatedConstant (double_const, (int) $5);
\r
1363 $$ = double_const;
\r
1365 | K_INT64 OPEN_PARENS int64 CLOSE_PARENS repeat_opt
\r
1367 IntConst int_const = new IntConst ((long) $3);
\r
1370 $$ = new RepeatedConstant (int_const, (int) $5);
\r
1374 | K_INT32 OPEN_PARENS int32 CLOSE_PARENS repeat_opt
\r
1376 IntConst int_const = new IntConst ((int) $3);
\r
1379 $$ = new RepeatedConstant (int_const, (int) $5);
\r
1383 | K_INT16 OPEN_PARENS int32 CLOSE_PARENS repeat_opt
\r
1385 IntConst int_const = new IntConst ((short) $3);
\r
1388 $$ = new RepeatedConstant (int_const, (int) $5);
\r
1392 | K_INT8 OPEN_PARENS int32 CLOSE_PARENS repeat_opt
\r
1394 IntConst int_const = new IntConst ((sbyte) $3);
\r
1397 $$ = new RepeatedConstant (int_const, (int) $5);
\r
1401 | K_FLOAT32 repeat_opt
\r
1403 FloatConst float_const = new FloatConst (0F);
\r
1406 $$ = new RepeatedConstant (float_const, (int) $2);
\r
1410 | K_FLOAT64 repeat_opt
\r
1412 DoubleConst double_const = new DoubleConst (0);
\r
1415 $$ = new RepeatedConstant (double_const, (int) $2);
\r
1417 $$ = double_const;
\r
1419 | K_INT64 repeat_opt
\r
1421 IntConst int_const = new IntConst ((long) 0);
\r
1424 $$ = new RepeatedConstant (int_const, (int) $2);
\r
1428 | K_INT32 repeat_opt
\r
1430 IntConst int_const = new IntConst ((int) 0);
\r
1433 $$ = new RepeatedConstant (int_const, (int) $2);
\r
1437 | K_INT16 repeat_opt
\r
1439 IntConst int_const = new IntConst ((short) 0);
\r
1442 $$ = new RepeatedConstant (int_const, (int) $2);
\r
1446 | K_INT8 repeat_opt
\r
1448 IntConst int_const = new IntConst ((sbyte) 0);
\r
1451 $$ = new RepeatedConstant (int_const, (int) $2);
\r
1457 method_all : method_head OPEN_BRACE method_decls CLOSE_BRACE
\r
1459 codegen.EndMethodDef ();
\r
1463 method_head : D_METHOD meth_attr call_conv param_attr type method_name
\r
1464 formal_typars_clause OPEN_PARENS sig_args CLOSE_PARENS impl_attr
\r
1466 MethodDef methdef = new MethodDef ((MethAttr) $2, (CallConv) $3,
\r
1467 (ImplAttr) $11, (string) $6, (ITypeRef) $5,
\r
1469 codegen.BeginMethodDef (methdef);
\r
1471 if (pinvoke_info) {
\r
1472 methdef.AddPInvokeInfo (pinvoke_attr, pinvoke_mod, pinvoke_meth);
\r
1473 pinvoke_info = false;
\r
1477 ArrayList typars_list = (ArrayList) $7;
\r
1478 foreach (string id in typars_list)
\r
1479 methdef.AddGenericParam (id);
\r
1482 | D_METHOD meth_attr call_conv param_attr type
\r
1483 K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS method_name
\r
1484 OPEN_PARENS sig_args CLOSE_PARENS impl_attr
\r
1487 meth_attr : /* EMPTY */ { $$ = new MethAttr (); }
\r
1488 | meth_attr K_STATIC { $$ = (MethAttr) $1 | MethAttr.Static; }
\r
1489 | meth_attr K_PUBLIC { $$ = (MethAttr) $1 | MethAttr.Public; }
\r
1490 | meth_attr K_PRIVATE { $$ = (MethAttr) $1 | MethAttr.Private; }
\r
1491 | meth_attr K_FAMILY { $$ = (MethAttr) $1 | MethAttr.Family; }
\r
1492 | meth_attr K_ASSEMBLY { $$ = (MethAttr) $1 | MethAttr.Assembly; }
\r
1493 | meth_attr K_FAMANDASSEM { $$ = (MethAttr) $1 | MethAttr.FamAndAssem; }
\r
1494 | meth_attr K_FAMORASSEM { $$ = (MethAttr) $1 | MethAttr.FamOrAssem; }
\r
1495 | meth_attr K_PRIVATESCOPE { /* CHECK HEADERS */ }
\r
1496 | meth_attr K_FINAL { $$ = (MethAttr) $1 | MethAttr.Final; }
\r
1497 | meth_attr K_VIRTUAL { $$ = (MethAttr) $1 | MethAttr.Virtual; }
\r
1498 | meth_attr K_ABSTRACT { $$ = (MethAttr) $1 | MethAttr.Abstract; }
\r
1499 | meth_attr K_HIDEBYSIG { $$ = (MethAttr) $1 | MethAttr.HideBySig; }
\r
1500 | meth_attr K_NEWSLOT { $$ = (MethAttr) $1 | MethAttr.NewSlot; }
\r
1501 | meth_attr K_REQSECOBJ { $$ = (MethAttr) $1 | MethAttr.RequireSecObject; }
\r
1502 | meth_attr K_SPECIALNAME { $$ = (MethAttr) $1 | MethAttr.SpecialName; }
\r
1503 | meth_attr K_RTSPECIALNAME { $$ = (MethAttr) $1 | MethAttr.RTSpecialName; }
\r
1504 | meth_attr K_COMPILERCONTROLLED { /* Do nothing */ }
\r
1505 | meth_attr K_UNMANAGEDEXP
\r
1506 | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring K_AS
\r
1507 comp_qstring pinv_attr CLOSE_PARENS
\r
1509 pinvoke_info = true;
\r
1510 pinvoke_mod = (string) $4;
\r
1511 pinvoke_meth = (string) $6;
\r
1512 pinvoke_attr = (PInvokeAttr) $7;
\r
1514 | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring pinv_attr CLOSE_PARENS
\r
1516 pinvoke_info = true;
\r
1517 pinvoke_mod = (string) $4;
\r
1518 pinvoke_meth = null;
\r
1519 pinvoke_attr = (PInvokeAttr) $5;
\r
1521 | meth_attr K_PINVOKEIMPL OPEN_PARENS pinv_attr CLOSE_PARENS
\r
1523 pinvoke_info = true;
\r
1524 pinvoke_mod = null;
\r
1525 pinvoke_meth = null;
\r
1526 pinvoke_attr = (PInvokeAttr) $4;
\r
1530 pinv_attr : /* EMPTY */ { $$ = new PInvokeAttr (); }
\r
1531 | pinv_attr K_NOMANGLE { $$ = (PInvokeAttr) $1 | PInvokeAttr.nomangle; }
\r
1532 | pinv_attr K_ANSI { $$ = (PInvokeAttr) $1 | PInvokeAttr.ansi; }
\r
1533 | pinv_attr K_UNICODE { $$ = (PInvokeAttr) $1 | PInvokeAttr.unicode; }
\r
1534 | pinv_attr K_AUTOCHAR { $$ = (PInvokeAttr) $1 | PInvokeAttr.autochar; }
\r
1535 | pinv_attr K_LASTERR { $$ = (PInvokeAttr) $1 | PInvokeAttr.lasterr; }
\r
1536 | pinv_attr K_WINAPI { $$ = (PInvokeAttr) $1 | PInvokeAttr.winapi; }
\r
1537 | pinv_attr K_CDECL { $$ = (PInvokeAttr) $1 | PInvokeAttr.cdecl; }
\r
1538 | pinv_attr K_STDCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.stdcall; }
\r
1539 | pinv_attr K_THISCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.thiscall; }
\r
1540 | pinv_attr K_FASTCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.fastcall; }
\r
1543 method_name : D_CTOR
\r
1548 param_attr : /* EMPTY */ { $$ = new ParamAttr (); }
\r
1549 | param_attr OPEN_BRACKET K_IN CLOSE_BRACKET { $$ = (ParamAttr) $1 | ParamAttr.In; }
\r
1550 | param_attr OPEN_BRACKET K_OUT CLOSE_BRACKET { $$ = (ParamAttr) $1 | ParamAttr.Out; }
\r
1551 | param_attr OPEN_BRACKET K_OPT CLOSE_BRACKET { $$ = (ParamAttr) $1 | ParamAttr.Opt; }
\r
1554 impl_attr : /* EMPTY */ { $$ = new ImplAttr (); }
\r
1555 | impl_attr K_NATIVE { $$ = (ImplAttr) $1 | ImplAttr.Native; }
\r
1556 | impl_attr K_CIL { $$ = (ImplAttr) $1 | ImplAttr.IL; }
\r
1557 | impl_attr K_IL { $$ = (ImplAttr) $1 | ImplAttr.IL; }
\r
1558 | impl_attr K_OPTIL { $$ = (ImplAttr) $1 | ImplAttr.Optil; }
\r
1559 | impl_attr K_MANAGED { /* should this reset? */ }
\r
1560 | impl_attr K_UNMANAGED { $$ = (ImplAttr) $1 | ImplAttr.Unmanaged; }
\r
1561 | impl_attr K_FORWARDREF { $$ = (ImplAttr) $1 | ImplAttr.ForwardRef; }
\r
1562 | impl_attr K_PRESERVESIG { $$ = (ImplAttr) $1 | ImplAttr.PreserveSig; }
\r
1563 | impl_attr K_RUNTIME { $$ = (ImplAttr) $1 | ImplAttr.Runtime; }
\r
1564 | impl_attr K_INTERNALCALL { $$ = (ImplAttr) $1 | ImplAttr.InternalCall; }
\r
1565 | impl_attr K_SYNCHRONIZED { $$ = (ImplAttr) $1 | ImplAttr.Synchronised; }
\r
1566 | impl_attr K_NOINLINING { $$ = (ImplAttr) $1 | ImplAttr.NoInLining; }
\r
1569 sig_args : /* EMPTY */
\r
1573 sig_arg_list : sig_arg
\r
1575 ArrayList sig_list = new ArrayList ();
\r
1576 sig_list.Add ($1);
\r
1579 | sig_arg_list COMMA sig_arg
\r
1581 ArrayList sig_list = (ArrayList) $1;
\r
1582 sig_list.Add ($3);
\r
1587 sig_arg : param_attr type
\r
1589 $$ = new ParamDef ((ParamAttr) $1, null, (ITypeRef) $2);
\r
1591 | param_attr type id
\r
1593 $$ = new ParamDef ((ParamAttr) $1, (string) $3, (ITypeRef) $2);
\r
1597 $$ = new ParamDef ((ParamAttr) 0, "...", new SentinelTypeRef ());
\r
1598 // $$ = ParamDef.Ellipsis;
\r
1600 | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS
\r
1601 | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS id
\r
1604 type_list : /* EMPTY */
\r
1606 $$ = new ArrayList (0);
\r
1610 ArrayList type_list = new ArrayList ();
\r
1611 // type_list.Add (TypeRef.Ellipsis);
\r
1612 type_list.Add (new SentinelTypeRef ());
\r
1615 | type_list COMMA ELLIPSIS
\r
1617 ArrayList type_list = (ArrayList) $1;
\r
1618 // type_list.Add (TypeRef.Ellipsis);
\r
1619 type_list.Add (new SentinelTypeRef ());
\r
1622 | param_attr type opt_id
\r
1624 ArrayList type_list = new ArrayList ();
\r
1625 type_list.Add ($2);
\r
1628 | type_list COMMA param_attr type opt_id
\r
1630 ArrayList type_list = (ArrayList) $1;
\r
1631 type_list.Add ($4);
\r
1635 opt_id : /* EMPTY */
\r
1639 method_decls : /* EMPTY */
\r
1640 | method_decls method_decl
\r
1643 method_decl : D_EMITBYTE int32
\r
1644 | D_MAXSTACK int32
\r
1646 codegen.CurrentMethodDef.SetMaxStack ((int) $2);
\r
1648 | D_LOCALS OPEN_PARENS local_list CLOSE_PARENS
\r
1651 codegen.CurrentMethodDef.AddLocals (
\r
1655 | D_LOCALS K_INIT OPEN_PARENS local_list CLOSE_PARENS
\r
1658 codegen.CurrentMethodDef.AddLocals (
\r
1660 codegen.CurrentMethodDef.InitLocals ();
\r
1665 codegen.CurrentMethodDef.EntryPoint ();
\r
1669 codegen.CurrentMethodDef.ZeroInit ();
\r
1671 | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET
\r
1672 | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET K_AS id
\r
1673 | D_VTENTRY int32 COLON int32
\r
1674 | D_OVERRIDE type_spec DOUBLE_COLON method_name
\r
1676 codegen.CurrentTypeDef.AddOverride (codegen.CurrentMethodDef,
\r
1677 (ITypeRef) $2, (string) $4);
\r
1681 | D_PARAM OPEN_BRACKET int32 CLOSE_BRACKET init_opt
\r
1684 codegen.CurrentMethodDef.AddLabel ((string) $1);
\r
1693 codegen.CurrentMethodDef.AddCustomAttr ((CustomAttr) $1);
\r
1698 local_list : /* EMPTY */
\r
1701 ArrayList local_list = new ArrayList ();
\r
1702 local_list.Add ($1);
\r
1705 | local_list COMMA local
\r
1707 ArrayList local_list = (ArrayList) $1;
\r
1708 local_list.Add ($3);
\r
1714 $$ = new Local (-1, (ITypeRef) $1);
\r
1718 $$ = new Local (-1, (string) $2, (ITypeRef) $1);
\r
1722 $$ = new Local ((int) $1, (ITypeRef) $2);
\r
1724 | slot_num type id
\r
1726 $$ = new Local ((int) $1, (string) $3, (ITypeRef) $2);
\r
1730 slot_num : OPEN_BRACKET int32 CLOSE_BRACKET
\r
1736 type_spec : class_ref
\r
1737 | OPEN_BRACKET slashed_name CLOSE_BRACKET
\r
1739 // This is a reference to a global method in another
\r
1740 // assembly. This is not supported in the MS version of ilasm
\r
1742 | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET
\r
1746 scope_block : scope_block_begin method_decls CLOSE_BRACE
\r
1748 $$ = new HandlerBlock ((LabelInfo) $1,
\r
1749 codegen.CurrentMethodDef.AddLabel ());
\r
1753 scope_block_begin : OPEN_BRACE
\r
1755 $$ = codegen.CurrentMethodDef.AddLabel ();
\r
1760 seh_block : try_block seh_clauses
\r
1762 TryBlock try_block = (TryBlock) $1;
\r
1764 ArrayList clause_list = (ArrayList) $2;
\r
1765 foreach (object clause in clause_list)
\r
1766 try_block.AddSehClause ((ISehClause) clause);
\r
1768 codegen.CurrentMethodDef.AddInstr (try_block);
\r
1772 try_block : D_TRY scope_block
\r
1774 $$ = new TryBlock ((HandlerBlock) $2);
\r
1776 | D_TRY id K_TO id
\r
1778 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);
\r
1779 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);
\r
1781 $$ = new TryBlock (new HandlerBlock (from, to));
\r
1783 | D_TRY int32 K_TO int32
\r
1785 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);
\r
1786 LabelInfo to = codegen.CurrentMethodDef.AddLabel ((int) $4);
\r
1788 $$ = new TryBlock (new HandlerBlock (from, to));
\r
1792 seh_clauses : seh_clause
\r
1794 ArrayList clause_list = new ArrayList ();
\r
1795 clause_list.Add ($1);
\r
1798 | seh_clauses seh_clause
\r
1800 ArrayList clause_list = (ArrayList) $1;
\r
1801 clause_list.Add ($2);
\r
1805 seh_clause : K_CATCH class_ref handler_block
\r
1807 IClassRef type = (IClassRef) $2;
\r
1808 CatchBlock cb = new CatchBlock (type);
\r
1809 cb.SetHandlerBlock ((HandlerBlock) $3);
\r
1812 | K_FINALLY handler_block
\r
1814 FinallyBlock fb = new FinallyBlock ();
\r
1815 fb.SetHandlerBlock ((HandlerBlock) $2);
\r
1818 | K_FAULT handler_block
\r
1820 FaultBlock fb = new FaultBlock ();
\r
1821 fb.SetHandlerBlock ((HandlerBlock) $2);
\r
1824 | filter_clause handler_block
\r
1826 FilterBlock fb = (FilterBlock) $1;
\r
1827 fb.SetHandlerBlock ((HandlerBlock) $2);
\r
1831 filter_clause : K_FILTER scope_block
\r
1833 HandlerBlock block = (HandlerBlock) $2;
\r
1834 FilterBlock fb = new FilterBlock (block);
\r
1839 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);
\r
1840 FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));
\r
1845 LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);
\r
1846 FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));
\r
1851 handler_block : scope_block
\r
1855 | K_HANDLER id K_TO id
\r
1857 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);
\r
1858 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);
\r
1860 $$ = new HandlerBlock (from, to);
\r
1862 | K_HANDLER int32 K_TO int32
\r
1864 LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);
\r
1865 LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);
\r
1867 $$ = new HandlerBlock (from, to);
\r
1871 instr : INSTR_NONE
\r
1873 codegen.CurrentMethodDef.AddInstr (
\r
1874 new SimpInstr ((Op) $1));
\r
1876 | INSTR_LOCAL int32
\r
1878 codegen.CurrentMethodDef.AddInstr (
\r
1879 new IntInstr ((IntOp) $1, (int) $2));
\r
1883 int slot = codegen.CurrentMethodDef.GetNamedLocalSlot ((string) $2);
\r
1884 codegen.CurrentMethodDef.AddInstr (
\r
1885 new IntInstr ((IntOp) $1, slot));
\r
1887 | INSTR_PARAM int32
\r
1889 codegen.CurrentMethodDef.AddInstr (
\r
1890 new IntInstr ((IntOp) $1, (int) $2));
\r
1894 int pos = codegen.CurrentMethodDef.GetNamedParamPos ((string) $2);
\r
1895 codegen.CurrentMethodDef.AddInstr (
\r
1896 new IntInstr ((IntOp) $1, pos));
\r
1900 codegen.CurrentMethodDef.AddInstr (new
\r
1901 IntInstr ((IntOp) $1, (int) $2));
\r
1905 int slot = codegen.CurrentMethodDef.GetNamedLocalSlot ((string) $2);
\r
1906 codegen.CurrentMethodDef.AddInstr (new
\r
1907 IntInstr ((IntOp) $1, slot));
\r
1911 if ($1 is MiscInstr) {
\r
1912 switch ((MiscInstr) $1) {
\r
1913 case MiscInstr.ldc_i8:
\r
1914 codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1,
\r
1922 switch ((MiscInstr) $1) {
\r
1923 case MiscInstr.ldc_r4:
\r
1924 case MiscInstr.ldc_r8:
\r
1925 codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) $2));
\r
1931 long l = (long) $2;
\r
1933 switch ((MiscInstr) $1) {
\r
1934 case MiscInstr.ldc_r4:
\r
1935 case MiscInstr.ldc_r8:
\r
1936 codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) l));
\r
1940 | INSTR_R OPEN_PARENS bytes CLOSE_PARENS
\r
1941 | INSTR_BRTARGET int32
\r
1943 LabelInfo target = codegen.CurrentMethodDef.AddLabel ((int) $2);
\r
1944 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,
\r
1947 | INSTR_BRTARGET id
\r
1949 LabelInfo target = codegen.CurrentMethodDef.AddLabelRef ((string) $2);
\r
1950 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,
\r
1953 | INSTR_METHOD method_ref
\r
1955 codegen.CurrentMethodDef.AddInstr (new MethodInstr ((MethodOp) $1,
\r
1956 (IMethodRef) $2));
\r
1958 | INSTR_FIELD type type_spec DOUBLE_COLON id
\r
1961 ITypeRef owner = (ITypeRef) $3;
\r
1962 IFieldRef fieldref = owner.GetFieldRef (
\r
1963 (ITypeRef) $2, (string) $5);
\r
1965 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref));
\r
1967 | INSTR_FIELD type id
\r
1969 GlobalFieldRef fieldref = new GlobalFieldRef ((ITypeRef) $2, (string) $3);
\r
1971 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref));
\r
1973 | INSTR_TYPE type_spec
\r
1975 codegen.CurrentMethodDef.AddInstr (new TypeInstr ((TypeOp) $1,
\r
1978 | INSTR_STRING comp_qstring
\r
1980 if ((MiscInstr) $1 == MiscInstr.ldstr)
\r
1981 codegen.CurrentMethodDef.AddInstr (new LdstrInstr ((string) $2));
\r
1983 | INSTR_STRING K_BYTEARRAY ASSIGN OPEN_PARENS
\r
1984 bytes CLOSE_PARENS
\r
1986 byte[] bs = (byte[]) $5;
\r
1987 if ((MiscInstr) $1 == MiscInstr.ldstr)
\r
1988 codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs));
\r
1990 | INSTR_STRING K_BYTEARRAY OPEN_PARENS bytes
\r
1993 byte[] bs = (byte[]) $4;
\r
1994 if ((MiscInstr) $1 == MiscInstr.ldstr)
\r
1995 codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs));
\r
1997 | INSTR_SIG call_conv type OPEN_PARENS type_list CLOSE_PARENS
\r
1999 ArrayList arg_list = (ArrayList) $5;
\r
2000 ITypeRef[] arg_array = null;
\r
2002 if (arg_list != null)
\r
2003 arg_array = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
2005 codegen.CurrentMethodDef.AddInstr (new CalliInstr ((CallConv) $2,
\r
2006 (ITypeRef) $3, arg_array));
\r
2008 | INSTR_TOK owner_type
\r
2010 if ((MiscInstr) $1 == MiscInstr.ldtoken) {
\r
2011 if ($2 is IMethodRef)
\r
2012 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IMethodRef) $2));
\r
2013 else if ($2 is IFieldRef)
\r
2014 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IFieldRef) $2));
\r
2016 codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((ITypeRef) $2));
\r
2020 | INSTR_SWITCH OPEN_PARENS labels CLOSE_PARENS
\r
2022 codegen.CurrentMethodDef.AddInstr (new SwitchInstr ((ArrayList) $3));
\r
2026 method_ref : call_conv type type_spec DOUBLE_COLON method_name
\r
2027 OPEN_PARENS type_list CLOSE_PARENS
\r
2029 ITypeRef owner = (ITypeRef) $3;
\r
2030 ArrayList arg_list = (ArrayList) $7;
\r
2031 ITypeRef[] param_list;
\r
2032 IMethodRef methref;
\r
2034 if (arg_list != null)
\r
2035 param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
2037 param_list = new ITypeRef[0];
\r
2039 if (owner.UseTypeSpec) {
\r
2040 methref = new TypeSpecMethodRef (owner, (ITypeRef) $2,
\r
2041 (CallConv) $1, (string) $5, param_list);
\r
2043 methref = owner.GetMethodRef ((ITypeRef) $2,
\r
2044 (CallConv) $1, (string) $5, param_list);
\r
2049 | call_conv type method_name
\r
2050 OPEN_PARENS type_list CLOSE_PARENS
\r
2052 ArrayList arg_list = (ArrayList) $5;
\r
2053 ITypeRef[] param_list;
\r
2055 if (arg_list != null)
\r
2056 param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
2058 param_list = new ITypeRef[0];
\r
2060 $$ = new GlobalMethodRef ((ITypeRef) $2, (CallConv) $1,
\r
2061 (string) $3, param_list);
\r
2063 | call_conv type type_spec DOUBLE_COLON method_name
\r
2064 typars_clause OPEN_PARENS type_list CLOSE_PARENS
\r
2066 ITypeRef owner = (ITypeRef) $3;
\r
2067 ArrayList arg_list = (ArrayList) $8;
\r
2068 ITypeRef[] param_list;
\r
2069 IMethodRef methref;
\r
2071 if (arg_list != null)
\r
2072 param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
2074 param_list = new ITypeRef[0];
\r
2076 if (owner.UseTypeSpec) {
\r
2077 methref = new TypeSpecMethodRef (owner, (ITypeRef) $2,
\r
2078 (CallConv) $1, (string) $5, param_list);
\r
2080 methref = owner.GetMethodRef ((ITypeRef) $2,
\r
2081 (CallConv) $1, (string) $5, param_list);
\r
2085 ArrayList tp = (ArrayList) $6;
\r
2086 ITypeRef[] ta = (ITypeRef[]) tp.ToArray (typeof (ITypeRef));
\r
2088 methref = new GenericMethodRef (methref, new GenericMethodSig (ta));
\r
2095 labels : /* EMPTY */
\r
2098 ArrayList label_list = new ArrayList ();
\r
2099 label_list.Add ($1);
\r
2104 ArrayList label_list = new ArrayList ();
\r
2105 label_list.Add ($1);
\r
2110 ArrayList label_list = (ArrayList) $1;
\r
2111 label_list.Add ($3);
\r
2113 | labels COMMA int32
\r
2115 ArrayList label_list = (ArrayList) $1;
\r
2116 label_list.Add ($3);
\r
2120 owner_type : type_spec
\r
2124 member_ref : K_METHOD method_ref
\r
2128 | K_FIELD type type_spec DOUBLE_COLON id
\r
2130 ITypeRef owner = (ITypeRef) $3;
\r
2132 $$ = owner.GetFieldRef (
\r
2133 (ITypeRef) $2, (string) $5);
\r
2137 $$ = new GlobalFieldRef ((ITypeRef) $2, (string) $3);
\r
2141 event_all : event_head OPEN_BRACE event_decls CLOSE_BRACE
\r
2143 codegen.CurrentTypeDef.EndEventDef ();
\r
2147 event_head : D_EVENT event_attr type_spec id
\r
2149 EventDef event_def = new EventDef ((FeatureAttr) $2,
\r
2150 (ITypeRef) $3, (string) $4);
\r
2151 codegen.CurrentTypeDef.BeginEventDef (event_def);
\r
2153 | D_EVENT event_attr id
\r
2156 event_attr : /* EMPTY */
\r
2158 $$ = new FeatureAttr ();
\r
2160 | event_attr K_RTSPECIALNAME
\r
2162 $$ = (FeatureAttr) $1 & FeatureAttr.Rtspecialname;
\r
2164 | event_attr K_SPECIALNAME
\r
2166 $$ = (FeatureAttr) $1 & FeatureAttr.Specialname;
\r
2170 event_decls : /* EMPTY */
\r
2171 | event_decls event_decl
\r
2174 event_decl : D_ADDON method_ref
\r
2176 codegen.CurrentTypeDef.CurrentEvent.AddAddon (
\r
2179 | D_REMOVEON method_ref
\r
2181 codegen.CurrentTypeDef.CurrentEvent.AddRemoveon (
\r
2184 | D_FIRE method_ref
\r
2186 codegen.CurrentTypeDef.CurrentEvent.AddFire (
\r
2189 | D_OTHER method_ref
\r
2191 codegen.CurrentTypeDef.CurrentEvent.AddOther (
\r
2199 prop_all : prop_head OPEN_BRACE prop_decls CLOSE_BRACE
\r
2201 codegen.CurrentTypeDef.EndPropertyDef ();
\r
2205 prop_head : D_PROPERTY prop_attr type id OPEN_PARENS type_list CLOSE_PARENS init_opt
\r
2207 PropertyDef prop_def = new PropertyDef ((FeatureAttr) $2, (ITypeRef) $3,
\r
2208 (string) $4, (ArrayList) $6);
\r
2209 codegen.CurrentTypeDef.BeginPropertyDef (prop_def);
\r
2212 prop_def.AddInitValue ((Constant) $8);
\r
2217 prop_attr : /* EMPTY */
\r
2219 $$ = new FeatureAttr ();
\r
2221 | prop_attr K_RTSPECIALNAME
\r
2223 $$ = (FeatureAttr) $1 | FeatureAttr.Rtspecialname;
\r
2225 | prop_attr K_SPECIALNAME
\r
2227 $$ = (FeatureAttr) $1 | FeatureAttr.Specialname;
\r
2231 prop_decls : /* EMPTY */
\r
2232 | prop_decls prop_decl
\r
2235 prop_decl : D_SET method_ref
\r
2237 codegen.CurrentTypeDef.CurrentProperty.AddSet ((MethodRef) $2);
\r
2239 | D_GET method_ref
\r
2241 codegen.CurrentTypeDef.CurrentProperty.AddGet ((MethodRef) $2);
\r
2243 | D_OTHER method_ref
\r
2245 codegen.CurrentTypeDef.CurrentProperty.AddOther ((MethodRef) $2);
\r
2252 customattr_decl : D_CUSTOM custom_type
\r
2254 $$ = new CustomAttr ((IMethodRef) $2, null);
\r
2256 | D_CUSTOM custom_type ASSIGN comp_qstring
\r
2257 | D_CUSTOM custom_type ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
2259 $$ = new CustomAttr ((IMethodRef) $2,
\r
2262 | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type
\r
2263 | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN comp_qstring
\r
2264 | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN
\r
2265 OPEN_PARENS bytes CLOSE_PARENS
\r
2268 custom_type : call_conv type type_spec DOUBLE_COLON D_CTOR OPEN_PARENS type_list CLOSE_PARENS
\r
2270 ITypeRef owner = (ITypeRef) $3;
\r
2271 ArrayList arg_list = (ArrayList) $7;
\r
2272 ITypeRef[] param_list;
\r
2274 if (arg_list != null)
\r
2275 param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
2277 param_list = new ITypeRef[0];
\r
2279 $$ = owner.GetMethodRef ((ITypeRef) $2,
\r
2280 (CallConv) $1, (string) $5, param_list);
\r
2282 | call_conv type D_CTOR OPEN_PARENS type_list CLOSE_PARENS
\r
2284 ArrayList arg_list = (ArrayList) $5;
\r
2285 ITypeRef[] param_list;
\r
2287 if (arg_list != null)
\r
2288 param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));
\r
2290 param_list = new ITypeRef[0];
\r
2292 $$ = new GlobalMethodRef ((ITypeRef) $2, (CallConv) $1,
\r
2293 (string) $3, param_list);
\r
2297 sec_decl : D_PERMISSION sec_action type_spec OPEN_PARENS nameval_pairs CLOSE_PARENS
\r
2298 | D_PERMISSION sec_action type_spec
\r
2299 | D_PERMISSIONSET sec_action ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
2302 nameval_pairs : nameval_pair
\r
2303 | nameval_pairs COMMA nameval_pair
\r
2306 nameval_pair : comp_qstring ASSIGN cavalue
\r
2309 cavalue : truefalse
\r
2311 | int32 OPEN_PARENS int32 CLOSE_PARENS
\r
2313 | class_ref OPEN_PARENS K_INT8 COLON int32 CLOSE_PARENS
\r
2314 | class_ref OPEN_PARENS K_INT16 COLON int32 CLOSE_PARENS
\r
2315 | class_ref OPEN_PARENS K_INT32 COLON int32 CLOSE_PARENS
\r
2316 | class_ref OPEN_PARENS int32 CLOSE_PARENS
\r
2319 sec_action : K_REQUEST
\r
2332 | K_NONCASLINKDEMAND
\r
2333 | K_NONCASINHERITANCE
\r
2336 module_head : D_MODULE
\r
2337 | D_MODULE comp_name
\r
2338 | D_MODULE K_EXTERN comp_name
\r
2341 file_decl : D_FILE file_attr comp_name file_entry D_HASH ASSIGN
\r
2342 OPEN_PARENS bytes CLOSE_PARENS file_entry
\r
2343 | D_FILE file_attr comp_name file_entry
\r
2346 file_attr : /* EMPTY */
\r
2347 | file_attr K_NOMETADATA
\r
2350 file_entry : /* EMPTY */
\r
2354 assembly_all : assembly_head OPEN_BRACE assembly_decls CLOSE_BRACE
\r
2357 assembly_head : D_ASSEMBLY asm_attr slashed_name
\r
2359 codegen.SetAssemblyName ((string) $3);
\r
2363 asm_attr : /* EMPTY */
\r
2364 | asm_attr K_NOAPPDOMAIN
\r
2365 | asm_attr K_NOPROCESS
\r
2366 | asm_attr K_NOMACHINE
\r
2369 assembly_decls : /* EMPTY */
\r
2370 | assembly_decls assembly_decl
\r
2373 assembly_decl : D_HASH K_ALGORITHM int32
\r
2378 asm_or_ref_decl : D_PUBLICKEY ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
2379 | D_VER int32 COLON int32 COLON int32 COLON int32
\r
2380 | D_LOCALE comp_qstring
\r
2381 | D_LOCALE ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
2385 assemblyref_all : assemblyref_head OPEN_BRACE assemblyref_decls CLOSE_BRACE
\r
2388 assemblyref_head : D_ASSEMBLY K_EXTERN slashed_name
\r
2390 System.Reflection.AssemblyName asmb_name =
\r
2391 new System.Reflection.AssemblyName ();
\r
2392 asmb_name.Name = (string) $3;
\r
2393 codegen.ExternTable.AddAssembly ((string) $3, asmb_name);
\r
2395 | D_ASSEMBLY K_EXTERN slashed_name K_AS slashed_name
\r
2397 System.Reflection.AssemblyName asmb_name =
\r
2398 new System.Reflection.AssemblyName ();
\r
2399 asmb_name.Name = (string) $3;
\r
2400 codegen.ExternTable.AddAssembly ((string) $5, asmb_name);
\r
2404 assemblyref_decls : /* EMPTY */
\r
2405 | assemblyref_decls assemblyref_decl
\r
2408 assemblyref_decl : D_HASH ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
2410 | D_PUBLICKEYTOKEN ASSIGN OPEN_PARENS bytes CLOSE_PARENS
\r
2413 exptype_all : exptype_head OPEN_BRACE exptype_decls CLOSE_BRACE
\r
2416 exptype_head : D_CLASS K_EXTERN expt_attr comp_name
\r
2419 expt_attr : /* EMPTY */
\r
2420 | expt_attr K_PRIVATE
\r
2421 | expt_attr K_PUBLIC
\r
2422 | expt_attr K_NESTED K_PUBLIC
\r
2423 | expt_attr K_NESTED K_PRIVATE
\r
2424 | expt_attr K_NESTED K_FAMILY
\r
2425 | expt_attr K_NESTED K_ASSEMBLY
\r
2426 | expt_attr K_NESTED K_FAMANDASSEM
\r
2427 | expt_attr K_NESTED K_FAMORASSEM
\r
2430 exptype_decls : /* EMPTY */
\r
2431 | exptype_decls exptype_decl
\r
2434 exptype_decl : D_FILE comp_name
\r
2435 | D_CLASS K_EXTERN comp_name
\r
2440 manifestres_all : manifestres_head OPEN_BRACE manifestres_decls CLOSE_BRACE
\r
2443 manifestres_head : D_MRESOURCE manres_attr comp_name
\r
2446 manres_attr : /* EMPTY */
\r
2447 | manres_attr K_PUBLIC
\r
2448 | manres_attr K_PRIVATE
\r
2451 manifestres_decls : /* EMPTY */
\r
2452 | manifestres_decls manifestres_decl
\r
2455 manifestres_decl : D_FILE comp_name K_AT int32
\r
2456 | D_ASSEMBLY K_EXTERN slashed_name
\r
2460 comp_qstring : QSTRING
\r
2461 | comp_qstring PLUS QSTRING { $$ = String.Format ("{0}{1}", $1, $3); }
\r
2466 long l = (long) $1;
\r
2467 byte[] intb = BitConverter.GetBytes (l);
\r
2468 $$ = BitConverter.ToInt32 (intb, 0);
\r
2476 | K_FLOAT32 OPEN_PARENS INT32 CLOSE_PARENS
\r
2479 byte[] intb = BitConverter.GetBytes (i);
\r
2480 $$ = (double) BitConverter.ToSingle (intb, 0);
\r
2482 | K_FLOAT32 OPEN_PARENS INT64 CLOSE_PARENS
\r
2484 long l = (long) $3;
\r
2485 byte[] intb = BitConverter.GetBytes (l);
\r
2486 $$ = (double) BitConverter.ToSingle (intb, 0);
\r
2488 | K_FLOAT64 OPEN_PARENS INT64 CLOSE_PARENS
\r
2490 byte[] intb = BitConverter.GetBytes ((long) $3);
\r
2491 $$ = BitConverter.ToDouble (intb, 0);
\r
2493 | K_FLOAT64 OPEN_PARENS INT32 CLOSE_PARENS
\r
2495 byte[] intb = BitConverter.GetBytes ((int) $3);
\r
2496 $$ = (double) BitConverter.ToSingle (intb, 0);
\r
2500 hexbyte : HEXBYTE { }
\r
2503 long l = (long) $1;
\r
2504 byte b = Byte.Parse (l.ToString (), NumberStyles.HexNumber);
\r
2509 $$ = Byte.Parse ((string) $1, NumberStyles.HexNumber);
\r
2513 bytes : /* EMPTY */ { $$ = new byte[0]; }
\r
2516 ArrayList byte_list = (ArrayList) $1;
\r
2517 $$ = byte_list.ToArray (typeof (byte));
\r
2521 hexbytes : hexbyte
\r
2523 ArrayList byte_list = new ArrayList ();
\r
2524 byte_list.Add (Convert.ToByte ($1));
\r
2527 | hexbytes hexbyte
\r
2529 ArrayList byte_list = (ArrayList) $1;
\r
2530 byte_list.Add (Convert.ToByte ($2));
\r
2534 truefalse : K_TRUE
\r
2543 | comp_name DOT id
\r
2545 $$ = (string) $1 + '.' + (string) $3;
\r