typo on last commit
[mono.git] / mcs / ilasm / parser / ILParser.jay
index 82064391058fd5f2cf8b3c501a1a0bb8cca62f41..67c9d234af1832d42a69b145f5b1b42b584a2df6 100644 (file)
@@ -18,14 +18,38 @@ namespace Mono.ILASM {
 \r
                private CodeGen codegen;\r
 \r
-               public ILParser (CodeGen codegen) {\r
+               private bool is_value_class;\r
+               private bool is_enum_class;\r
+                private bool pinvoke_info;\r
+                private string pinvoke_mod;\r
+                private string pinvoke_meth;\r
+                private PEAPI.PInvokeAttr pinvoke_attr;\r
+                private ILTokenizer tokenizer;\r
+                                \r
+               public ILParser (CodeGen codegen, ILTokenizer tokenizer)\r
+                {\r
                        this.codegen = codegen;\r
+                        this.tokenizer = tokenizer;\r
                }\r
 \r
                public CodeGen CodeGen {\r
                        get { return codegen; }\r
                }\r
-               \r
+\r
+                private ITypeRef GetTypeRef (ITypeRef b)\r
+                {\r
+                        ExternTypeRefInst etri = b as ExternTypeRefInst;\r
+                        ExternTypeRef etr;\r
+\r
+                        if (etri != null)\r
+                                return etri.Clone ();\r
+\r
+                        etr = b as ExternTypeRef;\r
+                        if (etr != null)\r
+                                return etr.Clone ();\r
+\r
+                        return b;\r
+                }\r
 %}\r
 \r
 %token EOF\r
@@ -39,6 +63,9 @@ namespace Mono.ILASM {
 /* SQSTRING - single quoted string */\r
 %token SQSTRING\r
 \r
+/* COMP_NAME - A name with dots */\r
+%token COMP_NAME\r
+\r
 /* INT32 - 32 bit integer */\r
 %token INT32\r
 \r
@@ -118,6 +145,7 @@ namespace Mono.ILASM {
 %token D_CLASS\r
 %token D_COMTYPE\r
 %token D_CONFIG\r
+%token D_CONSTRAINT\r
 %token D_IMAGEBASE\r
 %token D_CORFLAGS\r
 %token D_CTOR\r
@@ -352,6 +380,7 @@ namespace Mono.ILASM {
 %token K_STRING\r
 %token K_TRUE\r
 %token K_FALSE\r
+%token K_IS\r
 \r
 /* end generated */\r
 \r
@@ -412,12 +441,19 @@ language_decl             : D_LANGUAGE SQSTRING
                        | D_LANGUAGE SQSTRING COMMA SQSTRING COMMA SQSTRING\r
                        ;\r
 \r
+constraint_decl         : D_CONSTRAINT BANG int32 K_IS type\r
+                          {\r
+                                codegen.CurrentTypeDef.AddGenericConstraint ((int) $3, (ITypeRef) $5);\r
+                          }\r
+                        ;\r
+                        \r
 vtfixup_decl           : D_VTFIXUP OPEN_BRACKET int32 CLOSE_BRACKET \r
                          vtfixup_attr K_AT id\r
                        ;\r
 \r
 vtfixup_attr           : /* EMPTY */\r
-                       | vtfixup_attr int64\r
+                       | vtfixup_attr K_INT32\r
+                       | vtfixup_attr K_INT64\r
                        | vtfixup_attr K_FROMUNMANAGED\r
                        | vtfixup_attr K_CALLMOSTDERIVED\r
                        ;\r
@@ -440,29 +476,35 @@ class_all         : class_head OPEN_BRACE class_decls CLOSE_BRACE
                           }\r
                        ;\r
 \r
-class_head             : D_CLASS class_attr id typars_clause extends_clause\r
+class_head             : D_CLASS class_attr id formal_typars_clause extends_clause\r
                           impl_clause\r
                           {\r
                                 codegen.BeginTypeDef ((TypeAttr) $2, (string) $3, \r
                                                $5 as IClassRef, $6 as ArrayList, null);\r
+                               \r
+                               if (is_value_class)\r
+                                       codegen.CurrentTypeDef.MakeValueClass ();\r
+                               if (is_enum_class)\r
+                                       codegen.CurrentTypeDef.MakeEnumClass ();\r
 \r
-                                                /*\r
                                 if ($4 != null) {\r
                                         ArrayList typars_list = (ArrayList) $4;\r
-                                        foreach (DictionaryEntry entry in typars_list) {\r
-                                                ITypeRef constraint = (ITypeRef) entry.Key;\r
-                                                string id = (string) entry.Value;\r
-                                                codegen.CurrentTypeDef.AddGenericParam (constraint, id);\r
-                                        }\r
-                                }\r
-                                */\r
+                                        foreach (string id in typars_list)\r
+                                                codegen.CurrentTypeDef.AddGenericParam (id);\r
+                                }                                \r
                           }\r
                        ;\r
 \r
 class_attrs            : class_attrs class_attr\r
                        ;\r
 \r
-class_attr             : /* EMPTY */                           { $$ = new TypeAttr (); }\r
+class_attr             : /* EMPTY */                           \r
+                         { \r
+                               // Reset some flags\r
+                               is_value_class = false;\r
+                               is_enum_class = false;\r
+                               $$ = new TypeAttr ();\r
+                         }\r
                        | class_attr K_PUBLIC                   { $$ = (TypeAttr)$1 | TypeAttr.Public; }        \r
                        | class_attr K_PRIVATE                  { $$ = (TypeAttr)$1 | TypeAttr.Private; }\r
                        | class_attr K_NESTED K_PRIVATE         { $$ = (TypeAttr)$1 | TypeAttr.NestedPrivate; }\r
@@ -471,8 +513,9 @@ class_attr          : /* EMPTY */                           { $$ = new TypeAttr (); }
                        | class_attr K_NESTED K_ASSEMBLY        { $$ = (TypeAttr)$1 | TypeAttr.NestedAssembly;}\r
                        | class_attr K_NESTED K_FAMANDASSEM     { $$ = (TypeAttr)$1 | TypeAttr.NestedFamAndAssem; }\r
                        | class_attr K_NESTED K_FAMORASSEM      { $$ = (TypeAttr)$1 | TypeAttr.NestedFamOrAssem; }\r
-                       | class_attr K_VALUE                    {  }\r
-                       | class_attr K_ENUM                     {  }\r
+                       | class_attr K_VALUE                    { is_value_class = true; }\r
+                       | class_attr K_ENUM                     { is_enum_class = true; is_value_class = true;\r
+                         }\r
                        | class_attr K_INTERFACE                { $$ = (TypeAttr)$1 | TypeAttr.Interface; }\r
                        | class_attr K_SEALED                   { $$ = (TypeAttr)$1 | TypeAttr.Sealed; }\r
                        | class_attr K_ABSTRACT                 { $$ = (TypeAttr)$1 | TypeAttr.Abstract; }\r
@@ -503,13 +546,20 @@ impl_clause               : /* EMPTY */
                           }\r
                        ;\r
 \r
-typars_clause           : /* EMPTY */\r
+formal_typars_clause           : /* EMPTY */\r
                         | OPEN_ANGLE_BRACKET formal_typars CLOSE_ANGLE_BRACKET\r
                           {\r
                                 $$ = $2;\r
                           }\r
                         ;\r
 \r
+typars_clause           : /* EMPTY */\r
+                        | OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET\r
+                          {\r
+                                $$ = $2;\r
+                          }\r
+                        ;\r
+\r
 typars                  : type\r
                           {\r
                                 ArrayList typars_list = new ArrayList ();\r
@@ -539,13 +589,9 @@ formal_typars           : formal_typar
                         ;\r
 \r
 \r
-formal_typar            : type\r
+formal_typar            : id\r
                           {\r
-                                $$ = new DictionaryEntry ($1, null);\r
-                          }\r
-                        | type id\r
-                          {\r
-                                $$ = new DictionaryEntry ($1, $2);\r
+                                $$ = $1;\r
                           }\r
                         ;\r
                         \r
@@ -569,17 +615,22 @@ slashed_name              : comp_name
                           }\r
                        ;\r
 \r
-class_ref              : OPEN_BRACKET file_name CLOSE_BRACKET slashed_name\r
+class_ref              : OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name\r
                           {\r
                                 if (codegen.IsThisAssembly ((string) $2)) {\r
-                                        $$ = new TypeRef ((string) $4, null);\r
+                                        $$ = new TypeRef ((string) $4, false, null);\r
                                 } else {\r
-                                        ClassRef klass = codegen.ExternTable.GetClass (\r
-                                                (string) $2, (string)$4);\r
-                                        $$ = new ExternTypeRef (klass, (string) $4);\r
+                                        $$ = codegen.ExternTable.GetTypeRef ((string) $2, (string) $4, false);\r
+                                }\r
+                          }\r
+                       | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET slashed_name\r
+                          {\r
+                                if (codegen.IsThisModule ((string) $3)) {\r
+                                        $$ = new TypeRef ((string) $5, false, null);\r
+                                } else {\r
+                                        $$ = codegen.ExternTable.GetModuleTypeRef ((string) $3, (string) $5, false);\r
                                 }\r
                           }\r
-                       | OPEN_BRACKET D_MODULE file_name CLOSE_BRACKET slashed_name\r
                        | slashed_name\r
                           {\r
                                 PrimitiveTypeRef prim = PrimitiveTypeRef.GetPrimitiveType ((string) $1);\r
@@ -587,8 +638,9 @@ class_ref           : OPEN_BRACKET file_name CLOSE_BRACKET slashed_name
                                 if (prim != null)\r
                                         $$ = prim;\r
                                 else\r
-                                        $$ = new TypeRef ((string) $1, null);\r
+                                        $$ = new TypeRef ((string) $1, false, null);\r
                           }\r
+                      \r
                        ;\r
 \r
 class_decls            : /* EMPTY */\r
@@ -615,10 +667,33 @@ class_decl                : method_all
                           {\r
                                 codegen.CurrentTypeDef.SetPack ((int) $2);\r
                           }\r
-                       | D_OVERRIDE type_spec DOUBLE_COLON method_name\r
-                         K_WITH call_conv type type_spec DOUBLE_COLON method_name\r
+                       | D_OVERRIDE type_spec DOUBLE_COLON method_name K_WITH call_conv type\r
+                          type_spec DOUBLE_COLON method_name type_list\r
+                          {\r
+                                //\r
+                                // My copy of the spec didn't have a type_list but\r
+                                // it seems pretty crucial\r
+                                //\r
+                                ITypeRef owner = (ITypeRef) $2;\r
+                                ArrayList arg_list = (ArrayList) $11;\r
+                                ITypeRef[] param_list;\r
+                                IMethodRef decl;\r
+\r
+                                if (arg_list != null)\r
+                                        param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
+                                else\r
+                                        param_list = new ITypeRef[0];\r
+\r
+                                decl = owner.GetMethodRef ((ITypeRef) $7,\r
+                                        (CallConv) $6, (string) $4, param_list);\r
+\r
+                                string sig = MethodDef.CreateSignature ((string) $10,\r
+                                                                        param_list);\r
+                                codegen.CurrentTypeDef.AddOverride (sig, decl);                                        \r
+                          }\r
                          OPEN_PARENS sig_args CLOSE_PARENS\r
                        | language_decl\r
+                        | constraint_decl\r
                        ;\r
 \r
 type                   : K_CLASS class_ref\r
@@ -635,58 +710,73 @@ type                      : K_CLASS class_ref
                           }\r
                        | K_VALUE K_CLASS class_ref\r
                           {\r
-                                $$ = $3;\r
+                               IClassRef class_ref = (IClassRef) $3;\r
+                               class_ref.MakeValueClass ();\r
+                                $$ = class_ref;\r
                           }\r
-                       | K_VALUETYPE OPEN_BRACKET file_name CLOSE_BRACKET slashed_name\r
+                       | K_VALUETYPE OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name\r
                           {\r
-                                ClassRef klass = codegen.ExternTable.GetValueClass ((string) $3, (string)$5);\r
-                                $$ = new ExternTypeRef (klass, (string) $5);\r
+                                ExternTypeRef ext_ref = codegen.ExternTable.GetTypeRef ((string) $3, (string) $5, false);\r
+                                ExternTypeRefInst inst = new ExternTypeRefInst (ext_ref, true);\r
+                                $$ = inst;\r
                           }\r
                         | K_VALUETYPE slashed_name\r
                           {\r
-                                $$ = new TypeRef ((string) $2, null);\r
+                                TypeRef t_ref = new TypeRef ((string) $2, true, null);\r
+                                t_ref.MakeValueClass ();\r
+                                $$ = t_ref;\r
                           }\r
                        | type OPEN_BRACKET CLOSE_BRACKET\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 base_type.MakeArray ();\r
+                                $$ = base_type;\r
                           }\r
                        | type OPEN_BRACKET bounds CLOSE_BRACKET\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 ArrayList bound_list = (ArrayList) $3;\r
                                 base_type.MakeBoundArray (bound_list);\r
+                                $$ = base_type;\r
                           }\r
                        | type AMPERSAND\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 base_type.MakeManagedPointer ();\r
+                                $$ = base_type;\r
                           }\r
                        | type STAR\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 base_type.MakeUnmanagedPointer ();\r
+                                $$ = base_type;\r
                           }\r
                        | type K_PINNED\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 base_type.MakePinned ();\r
+                                $$ = base_type;\r
                           }\r
                        | type K_MODREQ OPEN_PARENS class_ref CLOSE_PARENS\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 IClassRef class_ref = (IClassRef) $4;\r
                                 base_type.MakeCustomModified (codegen,\r
-                                        CustomModifier.modopt, class_ref);    \r
+                                        CustomModifier.modopt, class_ref);\r
+                                $$ = base_type;\r
                           }\r
                        | type K_MODOPT OPEN_PARENS class_ref CLOSE_PARENS\r
                           {\r
-                                ITypeRef base_type = (ITypeRef) $1;\r
+                                ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
                                 IClassRef class_ref = (IClassRef) $4;\r
                                 base_type.MakeCustomModified (codegen,\r
-                                        CustomModifier.modopt, class_ref);    \r
+                                        CustomModifier.modopt, class_ref);\r
+                                $$ = base_type;\r
                           }\r
                        | K_METHOD call_conv type STAR OPEN_PARENS sig_args CLOSE_PARENS\r
+                          {\r
+                                $$ = new MethodPointerTypeRef ((CallConv) $2, (ITypeRef) $3, (ArrayList) $6);\r
+                          }\r
                        | K_TYPEDREF\r
                           {\r
                                 $$ = new PrimitiveTypeRef (PrimitiveType.TypedRef,\r
@@ -696,6 +786,10 @@ type                       : K_CLASS class_ref
                           {\r
                                 $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");\r
                           }\r
+                       | K_WCHAR\r
+                         {\r
+                               $$ = new PrimitiveTypeRef (PrimitiveType.Char, "System.Char");\r
+                         }\r
                        | K_VOID\r
                           {\r
                                 $$ = new PrimitiveTypeRef (PrimitiveType.Void, "System.Void");\r
@@ -756,11 +850,24 @@ type                      : K_CLASS class_ref
                           }\r
                         | BANG int32\r
                           {\r
-                                // access class type parameter by number\r
+                                GenericTypeSpec spec = new GenericTypeSpec ((int) $2);\r
+                                $$ = new GenericTypeRef (spec, $2.ToString ());\r
                           }\r
                         | BANG BANG int32\r
                           {\r
-                                // access method type parameter by number\r
+                                MVar mvar = new MVar ((int) $3);\r
+                                $$ = new GenericTypeRef (mvar, $3.ToString ());\r
+                          }\r
+                        | K_CLASS slashed_name OPEN_ANGLE_BRACKET BANG int32 CLOSE_ANGLE_BRACKET\r
+                          {\r
+                                $$ = new TypeRef ((string) $2, false, null);\r
+                          }\r
+                        | K_CLASS slashed_name OPEN_ANGLE_BRACKET typars CLOSE_ANGLE_BRACKET\r
+                          {\r
+                                ArrayList typar_list = (ArrayList) $4;\r
+                                ITypeRef[] typar_array = (ITypeRef[]) typar_list.ToArray (typeof (ITypeRef));\r
+                                \r
+                                $$ = new GenericTypeInst ((string)$2, typar_array);\r
                           }\r
                        ;\r
 \r
@@ -778,17 +885,21 @@ bounds                    : bound
                        ;\r
 \r
 bound                  : /* EMPTY */\r
+                          {\r
+                                // This is shortref for no lowerbound or size\r
+                                $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);\r
+                          }\r
                        | ELLIPSIS\r
                           {\r
                                 // No lower bound or size\r
-                                $$ = new DictionaryEntry (null,null);\r
+                                $$ = new DictionaryEntry (TypeRef.Ellipsis, TypeRef.Ellipsis);\r
                           }\r
                        | int32\r
                           {\r
                                 // ******** Not sure what this is?\r
                                 // For now I will say it is size because there\r
                                 // is allready a way to set lower\r
-                                $$ = new DictionaryEntry (null, $1);\r
+                                $$ = new DictionaryEntry (TypeRef.Ellipsis, $1);\r
                           }\r
                        | int32 ELLIPSIS int32\r
                           {\r
@@ -798,7 +909,7 @@ bound                       : /* EMPTY */
                        | int32 ELLIPSIS\r
                           {\r
                                 // Just lower bound\r
-                                $$ = new DictionaryEntry ($1, null);\r
+                                $$ = new DictionaryEntry ($1, TypeRef.Ellipsis);\r
                           }\r
                        ;\r
 \r
@@ -1035,11 +1146,11 @@ field_decl              : D_FIELD repeat_opt field_attr type id at_opt init_opt
                                 if ($2 != null) {\r
                                         field_def.SetOffset ((uint) $2);\r
                                 }\r
-                                /*\r
+\r
                                 if ($6 != null) {\r
-                                        field_def.AddDataValue ((DataConstant) $6);\r
+                                        field_def.AddDataValue ((string) $6);\r
                                 }\r
-                                */\r
+\r
                                 if ($7 != null) {\r
                                         field_def.SetValue ((Constant) $7);\r
                                 }\r
@@ -1118,8 +1229,7 @@ field_attr                : /* EMPTY */
 at_opt                 : /* EMPTY */\r
                        | K_AT id\r
                           {\r
-                                // TODO: Implement DataTable\r
-                                // $$ = new DataConstant (DataTable.GetOffset ((string) $2));\r
+                                $$ = $2;\r
                           }\r
                        ;\r
 \r
@@ -1144,7 +1254,7 @@ field_init                : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS
                           }\r
                        | K_FLOAT64 OPEN_PARENS int64 CLOSE_PARENS\r
                           {\r
-                                $$ = new DoubleConst (Convert.ToDouble (3));\r
+                                $$ = new DoubleConst (Convert.ToDouble ($3));\r
                           }\r
                        | K_INT64 OPEN_PARENS int64 CLOSE_PARENS\r
                           {\r
@@ -1152,16 +1262,20 @@ field_init              : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS
                           }\r
                        | K_INT32 OPEN_PARENS int64 CLOSE_PARENS\r
                           {\r
-                                $$ = new IntConst (Convert.ToUInt32 ($3));\r
+                                $$ = new IntConst (Convert.ToInt32 ($3));\r
                           }\r
                        | K_INT16 OPEN_PARENS int64 CLOSE_PARENS\r
                           {\r
-                                $$ = new IntConst (Convert.ToUInt16 ($3));\r
+                                $$ = new IntConst (Convert.ToInt16 ($3));\r
                           }\r
                        | K_CHAR OPEN_PARENS int64 CLOSE_PARENS\r
                           {\r
                                 $$ = new CharConst (Convert.ToChar ($3));\r
                           }\r
+                       | K_WCHAR OPEN_PARENS int64 CLOSE_PARENS\r
+                         {\r
+                               $$ = new CharConst (Convert.ToChar ($3));\r
+                         }\r
                        | K_INT8 OPEN_PARENS int64 CLOSE_PARENS\r
                           {\r
                                 $$ = new IntConst (Convert.ToByte ($3));\r
@@ -1170,9 +1284,9 @@ field_init                : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS
                           {\r
                                 $$ = new BoolConst ((bool) $3);\r
                           }\r
-                       | K_BYTEARRAY OPEN_PARENS bytes CLOSE_PARENS\r
+                       | K_BYTEARRAY bytes_list\r
                           {\r
-                                $$ = new ByteArrConst ((byte[]) $3);\r
+                                $$ = new ByteArrConst ((byte[]) $2);\r
                           }\r
                        | comp_qstring\r
                           {\r
@@ -1187,9 +1301,6 @@ field_init                : K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS
 \r
 data_decl              : data_head data_body\r
                           {\r
-                                /*\r
-                                Console.WriteLine ("Creating data decl: '{0}' '{1}'", $1, $2);\r
-\r
                                 DataDef datadef = (DataDef) $1;\r
                                 \r
                                 if ($2 is ArrayList) {\r
@@ -1203,7 +1314,7 @@ data_decl         : data_head data_body
                                 } else {\r
                                         datadef.PeapiConstant = (PEAPI.Constant) $2;\r
                                 }\r
-                                */\r
+                                codegen.AddDataDef (datadef);\r
                           }\r
                        ;\r
 \r
@@ -1226,23 +1337,44 @@ data_body               : OPEN_BRACE dataitem_list CLOSE_BRACE
                        ;\r
 \r
 dataitem_list          : dataitem\r
+                          {\r
+                                ArrayList dataitem_list = new ArrayList ();\r
+                                dataitem_list.Add ($1);\r
+                                $$ = dataitem_list;\r
+                          }\r
                        | dataitem_list COMMA dataitem\r
+                          {\r
+                                ArrayList list = (ArrayList) $1;\r
+                                list.Add ($3);\r
+                          }\r
                        ;\r
 \r
 dataitem               : K_CHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS\r
+                          {\r
+                                $$ = new StringConst ((string) $4);\r
+                          }\r
+                       | K_WCHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS\r
+                         {\r
+                               $$ = new StringConst ((string) $4);\r
+                         }\r
                        | AMPERSAND OPEN_PARENS id CLOSE_PARENS\r
-                       | K_BYTEARRAY ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
                           {\r
-                                $$ = new ByteArrConst ((byte[]) $4);\r
+                           //     DataDef def = codegen.CurrentTypeDef.GetDataDef ((string) $3);\r
+                           //     $$ = new AddressConstant ((DataConstant) def.PeapiConstant);\r
                           }\r
-                       | K_BYTEARRAY OPEN_PARENS bytes CLOSE_PARENS\r
+                       | K_BYTEARRAY ASSIGN bytes_list\r
                           {\r
-                                // ******** THIS IS NOT IN THE SPECIFICATION ******** //\r
                                 $$ = new ByteArrConst ((byte[]) $3);\r
                           }\r
+                       | K_BYTEARRAY bytes_list\r
+                          {\r
+                                // ******** THIS IS NOT IN THE SPECIFICATION ******** //\r
+                                $$ = new ByteArrConst ((byte[]) $2);\r
+                          }\r
                        | K_FLOAT32 OPEN_PARENS float64 CLOSE_PARENS repeat_opt\r
                           {\r
-                                FloatConst float_const = new FloatConst ((float) $3);\r
+                                double d = (double) $3;\r
+                                FloatConst float_const = new FloatConst ((float) d);\r
 \r
                                 if ($5 != null)\r
                                         $$ = new RepeatedConstant (float_const, (int) $5);\r
@@ -1278,7 +1410,8 @@ dataitem          : K_CHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS
                           }\r
                        | K_INT16 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
                           {\r
-                                IntConst int_const = new IntConst ((short) $3);\r
+                                int i = (int) $3;\r
+                                IntConst int_const = new IntConst ((short) i);\r
 \r
                                 if ($5 != null)\r
                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
@@ -1287,7 +1420,8 @@ dataitem          : K_CHAR STAR OPEN_PARENS comp_qstring CLOSE_PARENS
                           }\r
                        | K_INT8 OPEN_PARENS int32 CLOSE_PARENS repeat_opt\r
                           {\r
-                                IntConst int_const = new IntConst ((sbyte) $3);\r
+                                int i = (int) $3;\r
+                                IntConst int_const = new IntConst ((sbyte) i);\r
 \r
                                 if ($5 != null)\r
                                         $$ = new RepeatedConstant (int_const, (int) $5);\r
@@ -1357,12 +1491,24 @@ method_all              : method_head OPEN_BRACE method_decls CLOSE_BRACE
                        ;\r
 \r
 method_head            : D_METHOD meth_attr call_conv param_attr type method_name\r
-                          typars_clause OPEN_PARENS sig_args CLOSE_PARENS impl_attr\r
+                          formal_typars_clause OPEN_PARENS sig_args CLOSE_PARENS impl_attr\r
                           {\r
                                 MethodDef methdef = new MethodDef ((MethAttr) $2, (CallConv) $3,\r
                                         (ImplAttr) $11, (string) $6, (ITypeRef) $5,\r
                                         (ArrayList) $9);\r
                                 codegen.BeginMethodDef (methdef);\r
+\r
+                                if (pinvoke_info) {\r
+                                        ExternModule mod = codegen.ExternTable.AddModule (pinvoke_mod);\r
+                                        methdef.AddPInvokeInfo (pinvoke_attr, mod, pinvoke_meth);\r
+                                        pinvoke_info = false;\r
+                                }\r
+\r
+                                if ($7 != null) {\r
+                                        ArrayList typars_list = (ArrayList) $7;\r
+                                        foreach (string id in typars_list)\r
+                                                methdef.AddGenericParam (id);\r
+                                }\r
                           }\r
                        | D_METHOD meth_attr call_conv param_attr type \r
                          K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS method_name\r
@@ -1386,24 +1532,43 @@ meth_attr               : /* EMPTY */                   { $$ = new MethAttr (); }
                        | meth_attr K_REQSECOBJ         { $$ = (MethAttr) $1 | MethAttr.RequireSecObject; }\r
                        | meth_attr K_SPECIALNAME       { $$ = (MethAttr) $1 | MethAttr.SpecialName; }\r
                        | meth_attr K_RTSPECIALNAME     { $$ = (MethAttr) $1 | MethAttr.RTSpecialName; }\r
+                        | meth_attr K_COMPILERCONTROLLED { /* Do nothing */ }\r
                        | meth_attr K_UNMANAGEDEXP      \r
                        | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring K_AS\r
                                comp_qstring pinv_attr CLOSE_PARENS\r
+                          {\r
+                                pinvoke_info = true;\r
+                                pinvoke_mod = (string) $4;\r
+                                pinvoke_meth = (string) $6;\r
+                                pinvoke_attr = (PInvokeAttr) $7;\r
+                          }\r
                        | meth_attr K_PINVOKEIMPL OPEN_PARENS comp_qstring pinv_attr CLOSE_PARENS\r
+                          {\r
+                                pinvoke_info = true;\r
+                                pinvoke_mod = (string) $4;\r
+                                pinvoke_meth = null;\r
+                                pinvoke_attr = (PInvokeAttr) $5;\r
+                          }\r
                        | meth_attr K_PINVOKEIMPL OPEN_PARENS pinv_attr CLOSE_PARENS\r
+                          {\r
+                                pinvoke_info = true;\r
+                                pinvoke_mod = null;\r
+                                pinvoke_meth = null;\r
+                                pinvoke_attr = (PInvokeAttr) $4;\r
+                          }\r
                        ;\r
 \r
-pinv_attr              : /* EMPTY */\r
-                       | pinv_attr K_NOMANGLE\r
-                       | pinv_attr K_ANSI\r
-                       | pinv_attr K_UNICODE\r
-                       | pinv_attr K_AUTOCHAR\r
-                       | pinv_attr K_LASTERR\r
-                       | pinv_attr K_WINAPI\r
-                       | pinv_attr K_CDECL\r
-                       | pinv_attr K_STDCALL\r
-                       | pinv_attr K_THISCALL\r
-                       | pinv_attr K_FASTCALL\r
+pinv_attr              : /* EMPTY */ { $$ = new PInvokeAttr (); }\r
+                       | pinv_attr K_NOMANGLE { $$ = (PInvokeAttr) $1 | PInvokeAttr.nomangle; }\r
+                       | pinv_attr K_ANSI { $$ = (PInvokeAttr) $1 | PInvokeAttr.ansi; }\r
+                       | pinv_attr K_UNICODE { $$ = (PInvokeAttr) $1 | PInvokeAttr.unicode; }\r
+                       | pinv_attr K_AUTOCHAR { $$ = (PInvokeAttr) $1 | PInvokeAttr.autochar; }\r
+                       | pinv_attr K_LASTERR { $$ = (PInvokeAttr) $1 | PInvokeAttr.lasterr; }\r
+                       | pinv_attr K_WINAPI { $$ = (PInvokeAttr) $1 | PInvokeAttr.winapi; }\r
+                       | pinv_attr K_CDECL { $$ = (PInvokeAttr) $1 | PInvokeAttr.cdecl; }\r
+                       | pinv_attr K_STDCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.stdcall; }\r
+                       | pinv_attr K_THISCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.thiscall; }\r
+                       | pinv_attr K_FASTCALL { $$ = (PInvokeAttr) $1 | PInvokeAttr.fastcall; }\r
                        ;\r
 \r
 method_name            : D_CTOR\r
@@ -1460,34 +1625,41 @@ sig_arg                 : param_attr type
                           }\r
                         | ELLIPSIS\r
                           {\r
-                                $$ = ParamDef.Ellipsis;\r
+                               $$ = new ParamDef ((ParamAttr) 0, "...", new SentinelTypeRef ());\r
+                                // $$ = ParamDef.Ellipsis;\r
                           }\r
                        | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS\r
                        | param_attr type K_MARSHAL OPEN_PARENS native_type CLOSE_PARENS id\r
                        ;\r
 \r
 type_list               : /* EMPTY */\r
+                          {\r
+                                $$ = new ArrayList (0);\r
+                          }\r
                         | ELLIPSIS\r
                           {\r
                                 ArrayList type_list = new ArrayList ();\r
-                                type_list.Add (TypeRef.Ellipsis);\r
+                                // type_list.Add (TypeRef.Ellipsis);\r
+                               type_list.Add (new SentinelTypeRef ());\r
                                 $$ = type_list;\r
                           }\r
                         | type_list COMMA ELLIPSIS\r
                           {\r
                                 ArrayList type_list = (ArrayList) $1;\r
-                                type_list.Add (TypeRef.Ellipsis);\r
+                                // type_list.Add (TypeRef.Ellipsis);\r
+                               type_list.Add (new SentinelTypeRef ());\r
+                               $$ = type_list;\r
                           }\r
-                        | type opt_id\r
+                        | param_attr type opt_id\r
                           {\r
                                 ArrayList type_list = new ArrayList ();\r
-                                type_list.Add ($1);\r
+                                type_list.Add ($2);\r
                                 $$ = type_list;\r
                           }\r
-                        | type_list COMMA type opt_id\r
+                        | type_list COMMA param_attr type opt_id\r
                           {\r
                                 ArrayList type_list = (ArrayList) $1;\r
-                                type_list.Add ($3);\r
+                                type_list.Add ($4);\r
                           }\r
                         ;\r
 \r
@@ -1501,6 +1673,9 @@ method_decls              : /* EMPTY */
 \r
 method_decl            : D_EMITBYTE int32\r
                        | D_MAXSTACK int32\r
+                          {\r
+                                codegen.CurrentMethodDef.SetMaxStack ((int) $2);\r
+                          }\r
                        | D_LOCALS OPEN_PARENS local_list CLOSE_PARENS\r
                           {\r
                                 if ($3 != null) {\r
@@ -1521,10 +1696,18 @@ method_decl             : D_EMITBYTE int32
                                 codegen.CurrentMethodDef.EntryPoint ();\r
                           }\r
                        | D_ZEROINIT\r
+                          {\r
+                                codegen.CurrentMethodDef.ZeroInit ();\r
+                          }\r
                        | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET\r
                        | D_EXPORT OPEN_BRACKET int32 CLOSE_BRACKET K_AS id\r
                        | D_VTENTRY int32 COLON int32 \r
                        | D_OVERRIDE type_spec DOUBLE_COLON method_name\r
+                          {\r
+                                codegen.CurrentTypeDef.AddOverride (codegen.CurrentMethodDef,\r
+                                        (ITypeRef) $2, (string) $4);\r
+                                \r
+                          }\r
                        | scope_block\r
                        | D_PARAM OPEN_BRACKET int32 CLOSE_BRACKET init_opt\r
                        | id COLON\r
@@ -1582,25 +1765,35 @@ slot_num                : OPEN_BRACKET int32 CLOSE_BRACKET
                         ;\r
 \r
 type_spec              : class_ref\r
-                       | OPEN_BRACKET file_name CLOSE_BRACKET\r
+                       | OPEN_BRACKET slashed_name CLOSE_BRACKET\r
                           {\r
                                 // This is a reference to a global method in another\r
                                 // assembly. This is not supported in the MS version of ilasm\r
                           }\r
-                       | OPEN_BRACKET D_MODULE file_name CLOSE_BRACKET\r
+                       | OPEN_BRACKET D_MODULE slashed_name CLOSE_BRACKET\r
+                          {\r
+                                string module = (string) $3;\r
+\r
+                                if (codegen.IsThisModule (module)) {\r
+                                    // This is not handled yet.\r
+                                } else {\r
+                                    $$ = codegen.ExternTable.GetModuleTypeRef ((string) $3, "<Module>", false);\r
+                                }\r
+\r
+                          }\r
                        | type\r
                        ;\r
 \r
 scope_block            : scope_block_begin method_decls CLOSE_BRACE\r
                           {\r
-                                $$ = new HandlerBlock ((string) $1,\r
-                                        codegen.CurrentMethodDef.RandomLabel ());\r
+                                $$ = new HandlerBlock ((LabelInfo) $1,\r
+                                        codegen.CurrentMethodDef.AddLabel ());\r
                           }\r
                        ;\r
 \r
 scope_block_begin       : OPEN_BRACE\r
                           {\r
-                                $$ = codegen.CurrentMethodDef.RandomLabel ();\r
+                                $$ = codegen.CurrentMethodDef.AddLabel ();\r
                           }\r
                         ;\r
                         \r
@@ -1608,7 +1801,6 @@ scope_block_begin       : OPEN_BRACE
 seh_block              : try_block seh_clauses\r
                           {\r
                                 TryBlock try_block = (TryBlock) $1;\r
-                                try_block.SetMethod (codegen.CurrentMethodDef);\r
 \r
                                 ArrayList clause_list = (ArrayList) $2;\r
                                 foreach (object clause in clause_list)\r
@@ -1624,9 +1816,18 @@ try_block                : D_TRY scope_block
                           }\r
                        | D_TRY id K_TO id\r
                           {\r
-                                $$ = new TryBlock ((string) $2, (string) $4);\r
+                               LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
+                               LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
+                               \r
+                                $$ = new TryBlock (new HandlerBlock (from, to));\r
                           }\r
                        | D_TRY int32 K_TO int32\r
+                         {\r
+                               LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
+                               LabelInfo to = codegen.CurrentMethodDef.AddLabel ((int) $4);\r
+                               \r
+                               $$ = new TryBlock (new HandlerBlock (from, to));\r
+                         }\r
                        ;\r
 \r
 seh_clauses            : seh_clause\r
@@ -1644,8 +1845,8 @@ seh_clauses               : seh_clause
 \r
 seh_clause             : K_CATCH class_ref handler_block\r
                           {\r
-                                ITypeRef type = (ITypeRef) $2;\r
-                                CatchBlock cb = new CatchBlock (type.AsClassRef (codegen));\r
+                                IClassRef type = (IClassRef) $2;\r
+                                CatchBlock cb = new CatchBlock (type);\r
                                 cb.SetHandlerBlock ((HandlerBlock) $3);\r
                                 $$ = cb;\r
                           }\r
@@ -1671,15 +1872,21 @@ seh_clause              : K_CATCH class_ref handler_block
 filter_clause          : K_FILTER scope_block\r
                           {\r
                                 HandlerBlock block = (HandlerBlock) $2;\r
-                                FilterBlock fb = new FilterBlock (block.from_label);\r
+                                FilterBlock fb = new FilterBlock (block);\r
                                 $$ = fb;\r
                           }\r
                        | K_FILTER id\r
                           {\r
-                                FilterBlock fb = new FilterBlock ((string) $2);\r
+                               LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
+                                FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));\r
                                 $$ = fb;\r
                           }\r
                        | K_FILTER int32\r
+                         {\r
+                               LabelInfo from = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
+                               FilterBlock fb = new FilterBlock (new HandlerBlock (from, null));\r
+                               $$ = fb;\r
+                         }\r
                        ;\r
 \r
 handler_block          : scope_block\r
@@ -1687,10 +1894,19 @@ handler_block           : scope_block
                                 \r
                           }\r
                        | K_HANDLER id K_TO id\r
-                          {\r
-                                $$ = new HandlerBlock ((string) $2, (string) $4);\r
+                          {    \r
+                               LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
+                               LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
+\r
+                                $$ = new HandlerBlock (from, to);\r
                           }\r
                        | K_HANDLER int32 K_TO int32\r
+                         {\r
+                               LabelInfo from = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
+                               LabelInfo to = codegen.CurrentMethodDef.AddLabelRef ((string) $4);\r
+\r
+                               $$ = new HandlerBlock (from, to);\r
+                         }\r
                        ;\r
 \r
 instr                  : INSTR_NONE\r
@@ -1762,15 +1978,18 @@ instr                   : INSTR_NONE
                                         break;\r
                                 }\r
                           }\r
-                       | INSTR_R OPEN_PARENS bytes CLOSE_PARENS\r
+                       | INSTR_R bytes_list\r
                        | INSTR_BRTARGET int32\r
                           {\r
-                                // Need to add this to PEAPI        \r
+                               LabelInfo target = codegen.CurrentMethodDef.AddLabel ((int) $2);\r
+                                codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,\r
+                                                                  target));  \r
                           }\r
                        | INSTR_BRTARGET id\r
                           {\r
+                               LabelInfo target = codegen.CurrentMethodDef.AddLabelRef ((string) $2);\r
                                 codegen.CurrentMethodDef.AddInstr (new BranchInstr ((BranchOp) $1,\r
-                                        codegen.CurrentMethodDef, (string) $2));\r
+                                                                  target));\r
                           }\r
                        | INSTR_METHOD method_ref\r
                           {\r
@@ -1779,8 +1998,9 @@ instr                     : INSTR_NONE
                           }\r
                        | INSTR_FIELD type type_spec DOUBLE_COLON id\r
                           {\r
+                                \r
                                 ITypeRef owner = (ITypeRef) $3;\r
-                                IFieldRef fieldref = owner.AsClassRef (codegen).GetFieldRef (\r
+                                IFieldRef fieldref = owner.GetFieldRef (\r
                                         (ITypeRef) $2, (string) $5);\r
 \r
                                 codegen.CurrentMethodDef.AddInstr (new FieldInstr ((FieldOp) $1, fieldref));\r
@@ -1801,8 +2021,18 @@ instr                    : INSTR_NONE
                                 if ((MiscInstr) $1 == MiscInstr.ldstr)\r
                                         codegen.CurrentMethodDef.AddInstr (new LdstrInstr ((string) $2));\r
                           }\r
-                       | INSTR_STRING K_BYTEARRAY ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
-                       | INSTR_STRING K_BYTEARRAY OPEN_PARENS bytes CLOSE_PARENS               // ****** ADDED\r
+                       | INSTR_STRING K_BYTEARRAY ASSIGN bytes_list\r
+                          {\r
+                                byte[] bs = (byte[]) $4;\r
+                                if ((MiscInstr) $1 == MiscInstr.ldstr)\r
+                                        codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs));\r
+                          }\r
+                       | INSTR_STRING K_BYTEARRAY bytes_list\r
+                          {\r
+                                byte[] bs = (byte[]) $3;\r
+                                if ((MiscInstr) $1 == MiscInstr.ldstr)\r
+                                        codegen.CurrentMethodDef.AddInstr (new LdstrInstr (bs));\r
+                          }\r
                        | INSTR_SIG call_conv type OPEN_PARENS type_list CLOSE_PARENS\r
                           {\r
                                 ArrayList arg_list = (ArrayList) $5;\r
@@ -1811,7 +2041,7 @@ instr                     : INSTR_NONE
                                 if (arg_list != null)\r
                                         arg_array = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
 \r
-                                codegen.CurrentMethodDef.AddInstr (new CalliInstr ((CallConv) $1,\r
+                                codegen.CurrentMethodDef.AddInstr (new CalliInstr ((CallConv) $2,\r
                                         (ITypeRef) $3, arg_array));\r
                           }     \r
                        | INSTR_TOK owner_type\r
@@ -1828,25 +2058,32 @@ instr                   : INSTR_NONE
                           }\r
                        | INSTR_SWITCH OPEN_PARENS labels CLOSE_PARENS\r
                           {\r
-                                codegen.CurrentMethodDef.AddInstr (new SwitchInstr ((ArrayList) $3,\r
-                                        codegen.CurrentMethodDef));\r
+                                codegen.CurrentMethodDef.AddInstr (new SwitchInstr ((ArrayList) $3));\r
                           }\r
                        ;\r
 \r
-method_ref             : call_conv type type_spec DOUBLE_COLON method_name \r
-                         OPEN_PARENS type_list CLOSE_PARENS\r
+method_ref             : call_conv type type_spec DOUBLE_COLON method_name\r
+                          OPEN_PARENS type_list CLOSE_PARENS \r
                           {\r
                                 ITypeRef owner = (ITypeRef) $3;\r
                                 ArrayList arg_list = (ArrayList) $7;\r
                                 ITypeRef[] param_list;\r
-  \r
+                                IMethodRef methref;\r
+\r
                                 if (arg_list != null)\r
                                         param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
                                 else\r
                                         param_list = new ITypeRef[0];\r
 \r
-                                $$ = owner.AsClassRef (codegen).GetMethodRef ((ITypeRef) $2,\r
-                                        (CallConv) $1, (string) $5, param_list);\r
+                                if (owner.UseTypeSpec) {\r
+                                        methref = new TypeSpecMethodRef (owner, (ITypeRef) $2,\r
+                                                (CallConv) $1, (string) $5, param_list);\r
+                                } else {\r
+                                        methref = owner.GetMethodRef ((ITypeRef) $2,\r
+                                                (CallConv) $1, (string) $5, param_list);\r
+                                }\r
+\r
+                                $$ = methref;\r
                           }\r
                        | call_conv type method_name \r
                          OPEN_PARENS type_list CLOSE_PARENS\r
@@ -1862,6 +2099,36 @@ method_ref               : call_conv type type_spec DOUBLE_COLON method_name
                                 $$ = new GlobalMethodRef ((ITypeRef) $2, (CallConv) $1,\r
                                         (string) $3, param_list);\r
                           }\r
+                        | call_conv type type_spec DOUBLE_COLON method_name\r
+                          typars_clause OPEN_PARENS type_list CLOSE_PARENS \r
+                          {\r
+                                ITypeRef owner = (ITypeRef) $3;\r
+                                ArrayList arg_list = (ArrayList) $8;\r
+                                ITypeRef[] param_list;\r
+                                IMethodRef methref;\r
+\r
+                                if (arg_list != null)\r
+                                        param_list = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
+                                else\r
+                                        param_list = new ITypeRef[0];\r
+\r
+                                if (owner.UseTypeSpec) {\r
+                                        methref = new TypeSpecMethodRef (owner, (ITypeRef) $2,\r
+                                                (CallConv) $1, (string) $5, param_list);\r
+                                } else {\r
+                                        methref = owner.GetMethodRef ((ITypeRef) $2,\r
+                                                (CallConv) $1, (string) $5, param_list);\r
+                                }\r
+\r
+                                if ($6 != null) {\r
+                                        ArrayList tp = (ArrayList) $6;\r
+                                        ITypeRef[] ta = (ITypeRef[]) tp.ToArray (typeof (ITypeRef));\r
+                                        \r
+                                        methref = new GenericMethodRef (methref, new GenericMethodSig (ta));\r
+                                }\r
+                                \r
+                                $$ = methref;\r
+                          }\r
                        ;\r
 \r
 labels                 : /* EMPTY */\r
@@ -1901,7 +2168,7 @@ member_ref                : K_METHOD method_ref
                           {\r
                                 ITypeRef owner = (ITypeRef) $3;\r
 \r
-                                $$ = owner.AsClassRef (codegen).GetFieldRef (\r
+                                $$ = owner.GetFieldRef (\r
                                         (ITypeRef) $2, (string) $5);\r
                           }\r
                        | K_FIELD type id\r
@@ -1998,6 +2265,9 @@ prop_attr                 : /* EMPTY */
                           {\r
                                 $$ = (FeatureAttr) $1 | FeatureAttr.Specialname;\r
                           }\r
+                        | prop_attr K_INSTANCE\r
+                          {\r
+                          }\r
                        ;\r
 \r
 prop_decls             : /* EMPTY */\r
@@ -2026,15 +2296,15 @@ customattr_decl         : D_CUSTOM custom_type
                                 $$ = new CustomAttr ((IMethodRef) $2, null);\r
                           }\r
                        | D_CUSTOM custom_type ASSIGN comp_qstring\r
-                       | D_CUSTOM custom_type ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
+                       | D_CUSTOM custom_type ASSIGN bytes_list\r
                           {\r
                                 $$ = new CustomAttr ((IMethodRef) $2,\r
-                                        (byte[]) $5);\r
+                                        (byte[]) $4);\r
                           }\r
                        | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type\r
                        | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN comp_qstring\r
                        | D_CUSTOM OPEN_PARENS owner_type CLOSE_PARENS custom_type ASSIGN\r
-                         OPEN_PARENS bytes CLOSE_PARENS\r
+                         bytes_list\r
                        ;\r
                        \r
 custom_type            : call_conv type type_spec DOUBLE_COLON D_CTOR OPEN_PARENS type_list CLOSE_PARENS\r
@@ -2048,7 +2318,7 @@ custom_type               : call_conv type type_spec DOUBLE_COLON D_CTOR OPEN_PARENS type_lis
                                 else\r
                                         param_list = new ITypeRef[0];\r
 \r
-                                $$ = owner.AsClassRef (codegen).GetMethodRef ((ITypeRef) $2,\r
+                                $$ = owner.GetMethodRef ((ITypeRef) $2,\r
                                         (CallConv) $1, (string) $5, param_list);\r
                           }\r
                        | call_conv type D_CTOR OPEN_PARENS type_list CLOSE_PARENS\r
@@ -2068,7 +2338,7 @@ custom_type               : call_conv type type_spec DOUBLE_COLON D_CTOR OPEN_PARENS type_lis
 \r
 sec_decl               : D_PERMISSION sec_action type_spec OPEN_PARENS nameval_pairs CLOSE_PARENS\r
                        | D_PERMISSION sec_action type_spec\r
-                       | D_PERMISSIONSET sec_action ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
+                       | D_PERMISSIONSET sec_action ASSIGN bytes_list\r
                        ;\r
 \r
 nameval_pairs          : nameval_pair \r
@@ -2106,27 +2376,54 @@ sec_action              : K_REQUEST
                        ;\r
 \r
 module_head            : D_MODULE\r
+                          {\r
+                          }\r
                        | D_MODULE comp_name\r
+                          {\r
+                                codegen.SetModuleName ((string) $2);\r
+                          }\r
                        | D_MODULE K_EXTERN comp_name\r
+                          {\r
+                                codegen.ExternTable.AddModule ((string) $3);                         \r
+                          }\r
                        ;\r
 \r
 file_decl              : D_FILE file_attr comp_name file_entry D_HASH ASSIGN\r
-                         OPEN_PARENS bytes CLOSE_PARENS file_entry\r
+                         bytes_list file_entry\r
+                          {\r
+                                codegen.SetFileRef (new FileRef ((string) $3, (byte []) $7, (bool) $2, (bool) $8)); \r
+                          }\r
                        | D_FILE file_attr comp_name file_entry\r
+                          {\r
+                                // We need to compute the hash ourselves. :-(\r
+                                // AssemblyName an = AssemblyName.GetName ((string) $3);\r
+                          }\r
                        ;\r
 \r
 file_attr              : /* EMPTY */\r
+                          {\r
+                                $$ = true;\r
+                          }\r
                        | file_attr K_NOMETADATA\r
+                          {\r
+                                $$ = false;\r
+                          }\r
                        ;\r
 \r
 file_entry             : /* EMPTY */\r
+                          {\r
+                                $$ = false;\r
+                          }\r
                        | D_ENTRYPOINT\r
+                          {\r
+                                $$ = true;\r
+                          }\r
                        ;\r
 \r
 assembly_all           : assembly_head OPEN_BRACE assembly_decls CLOSE_BRACE\r
                        ;\r
 \r
-assembly_head          : D_ASSEMBLY asm_attr file_name\r
+assembly_head          : D_ASSEMBLY asm_attr slashed_name\r
                           {\r
                                 codegen.SetAssemblyName ((string) $3);\r
                           }\r
@@ -2142,34 +2439,53 @@ assembly_decls          : /* EMPTY */
                        | assembly_decls assembly_decl\r
                        ;\r
 \r
-assembly_decl          : D_HASH K_ALGORITHM int32\r
+assembly_decl          : D_PUBLICKEY ASSIGN bytes_list\r
+                         {\r
+                               codegen.SetAssemblyPublicKey ((byte []) $3);\r
+                         }\r
+                       | D_VER int32 COLON int32 COLON int32 COLON int32\r
+                         {\r
+                               codegen.SetAssemblyVersion ((int) $2, (int) $4, (int) $6, (int) $8);\r
+                         }\r
+                       | D_LOCALE comp_qstring\r
+                         {\r
+                               codegen.SetAssemblyLocale ((string) $2);\r
+                         }\r
+                       | D_LOCALE ASSIGN bytes_list\r
+                       | D_HASH K_ALGORITHM int32\r
+                         {\r
+                               codegen.SetAssemblyHashAlgorithm ((int) $3);\r
+                         }\r
+                       | customattr_decl\r
+                         {\r
+                               codegen.AddAssemblyCustomAttribute ((CustomAttr) $1);\r
+                         }\r
                        | sec_decl\r
-                       | asm_or_ref_decl\r
                        ;\r
 \r
-asm_or_ref_decl                : D_PUBLICKEY ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
+asm_or_ref_decl                : D_PUBLICKEY ASSIGN bytes_list\r
                        | D_VER int32 COLON int32 COLON int32 COLON int32 \r
                        | D_LOCALE comp_qstring\r
-                       | D_LOCALE ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
+                       | D_LOCALE ASSIGN bytes_list\r
                        | customattr_decl\r
                        ;\r
 \r
 assemblyref_all                : assemblyref_head OPEN_BRACE assemblyref_decls CLOSE_BRACE\r
                        ;\r
 \r
-assemblyref_head       : D_ASSEMBLY K_EXTERN file_name\r
+assemblyref_head       : D_ASSEMBLY K_EXTERN slashed_name\r
                           {\r
                                 System.Reflection.AssemblyName asmb_name = \r
                                        new System.Reflection.AssemblyName ();\r
                                asmb_name.Name = (string) $3;\r
-                               codegen.ExternTable.AddAssembly ((string) $3, asmb_name);\r
+                               codegen.BeginAssemblyRef ((string) $3, asmb_name);\r
                           }\r
-                       | D_ASSEMBLY K_EXTERN file_name K_AS file_name\r
+                       | D_ASSEMBLY K_EXTERN slashed_name K_AS slashed_name\r
                           {\r
                                 System.Reflection.AssemblyName asmb_name = \r
                                        new System.Reflection.AssemblyName ();\r
                                asmb_name.Name = (string) $3;\r
-                               codegen.ExternTable.AddAssembly ((string) $5, asmb_name);\r
+                               codegen.BeginAssemblyRef ((string) $5, asmb_name);\r
                           }\r
                        ;\r
 \r
@@ -2177,9 +2493,32 @@ assemblyref_decls        : /* EMPTY */
                        | assemblyref_decls assemblyref_decl\r
                        ;\r
 \r
-assemblyref_decl       : D_HASH ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
-                       | asm_or_ref_decl\r
-                       | D_PUBLICKEYTOKEN ASSIGN OPEN_PARENS bytes CLOSE_PARENS\r
+assemblyref_decl       : D_VER int32 COLON int32 COLON int32 COLON int32\r
+                          {\r
+                                codegen.CurrentAssemblyRef.SetVersion ((int) $2, (int) $4, (int) $6, (int) $8);\r
+                          }\r
+                        | D_PUBLICKEY ASSIGN bytes_list\r
+                          {\r
+                                codegen.CurrentAssemblyRef.SetPublicKey ((byte []) $3);\r
+                          }\r
+                        | D_PUBLICKEYTOKEN ASSIGN bytes_list\r
+                          {\r
+                                codegen.CurrentAssemblyRef.SetPublicKeyToken ((byte []) $3);\r
+                          }\r
+                       | D_LOCALE comp_qstring\r
+                          {\r
+                                codegen.CurrentAssemblyRef.SetLocale ((string) $2);\r
+                          }\r
+                       | D_LOCALE ASSIGN bytes_list\r
+                       \r
+                        | D_HASH ASSIGN bytes_list\r
+                          {\r
+                                codegen.CurrentAssemblyRef.SetHash ((byte []) $3);\r
+                          }\r
+                        | customattr_decl\r
+                          {\r
+                                codegen.CurrentAssemblyRef.AddCustomAttribute ((CustomAttr) $1);\r
+                          }\r
                        ;\r
 \r
 exptype_all            : exptype_head OPEN_BRACE exptype_decls CLOSE_BRACE\r
@@ -2225,7 +2564,7 @@ manifestres_decls : /* EMPTY */
                        ;\r
 \r
 manifestres_decl       : D_FILE comp_name K_AT int32\r
-                       | D_ASSEMBLY K_EXTERN file_name\r
+                       | D_ASSEMBLY K_EXTERN slashed_name\r
                        | customattr_decl\r
                        ;\r
 \r
@@ -2233,20 +2572,15 @@ comp_qstring            : QSTRING
                        | comp_qstring PLUS QSTRING     { $$ = String.Format ("{0}{1}", $1, $3); }\r
                        ;\r
 \r
-int32                  : INT32\r
-                        | INT64\r
+int32                  : INT64\r
                           {\r
                                 long l = (long) $1;\r
                                 byte[] intb = BitConverter.GetBytes (l);\r
-                                $$ = BitConverter.ToInt32 (intb, 0);\r
+                                $$ = BitConverter.ToInt32 (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
                           }\r
                        ;\r
 \r
 int64                  : INT64\r
-                        | INT32\r
-                          {\r
-                                $$ = Convert.ToInt64 ($1);\r
-                          }\r
                        ;\r
 \r
 float64                        : FLOAT64\r
@@ -2254,33 +2588,39 @@ float64                 : FLOAT64
                           {\r
                                 int i = (int) $3;\r
                                 byte[] intb = BitConverter.GetBytes (i);\r
-                                $$ = (double) BitConverter.ToSingle (intb, 0);\r
+                                $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
                           }\r
                         | K_FLOAT32 OPEN_PARENS INT64 CLOSE_PARENS\r
                           {\r
                                 long l = (long) $3;\r
                                 byte[] intb = BitConverter.GetBytes (l);\r
-                                $$ = (double) BitConverter.ToSingle (intb, 0);\r
+                                $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
                           }\r
                        | K_FLOAT64 OPEN_PARENS INT64 CLOSE_PARENS\r
                           {\r
                                 byte[] intb = BitConverter.GetBytes ((long) $3);\r
-                                $$ = BitConverter.ToDouble (intb, 0);\r
+                               $$ = BitConverter.ToDouble (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
                           }\r
                         | K_FLOAT64 OPEN_PARENS INT32 CLOSE_PARENS\r
                           {\r
                                 byte[] intb = BitConverter.GetBytes ((int) $3);\r
-                                $$ = (double) BitConverter.ToSingle (intb, 0);\r
+                                $$ = (double) BitConverter.ToSingle (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
                           }\r
                        ;\r
 \r
-hexbyte                        : HEXBYTE\r
-                        | INT32         { $$ = Convert.ToByte ($1); }\r
-                        | ID\r
+hexbyte                        : HEXBYTE       { }\r
+                       ;\r
+\r
+bytes_list              : OPEN_PARENS\r
                           {\r
-                                $$ = Byte.Parse ((string) $1, NumberStyles.HexNumber);\r
+                                tokenizer.InByteArray = true;\r
                           }\r
-                       ;\r
+                          bytes CLOSE_PARENS\r
+                          {\r
+                                $$ = $3;\r
+                                tokenizer.InByteArray = false;\r
+                          }\r
+                        ;\r
 \r
 bytes                  : /* EMPTY */   { $$ = new byte[0]; }\r
                        | hexbytes\r
@@ -2304,7 +2644,13 @@ hexbytes         : hexbyte
                        ;\r
 \r
 truefalse              : K_TRUE\r
+                          {\r
+                                $$ = true;\r
+                          }\r
                        | K_FALSE\r
+                          {\r
+                                $$ = false;\r
+                          }\r
                        ;\r
 \r
 id                     : ID\r
@@ -2316,16 +2662,9 @@ comp_name                : id
                           {\r
                                 $$ = (string) $1 + '.' + (string) $3;\r
                           }\r
+                        | COMP_NAME\r
                        ;\r
 \r
-file_name               : comp_name\r
-                        | file_name DASH comp_name\r
-                          {\r
-                                $$ = (string) $1 + '-' + (string) $3;\r
-                          }\r
-                        ;\r
-\r
-\r
 %%\r
 \r
 }\r