%{\r
-// Mono::ILASM::ILParser\r
//\r
+// Mono::ILASM::ILParser\r
+// \r
// (C) Sergey Chaban (serge@wildwestsoftware.com)\r
+// (C) 2003 Jackson Harper, All rights reserved\r
+//\r
\r
using PEAPI;\r
using System;\r
\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
/* 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
%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
%token D_CUSTOM\r
%token K_NOMETADATA\r
%token K_ALGORITHM\r
%token K_FULLORIGIN\r
-%token K_NAN\r
-%token K_INF\r
+// %token K_NAN\r
+// %token K_INF\r
%token K_PUBLICKEY\r
%token K_ENABLEJITTRACKING\r
%token K_DISABLEJITOPTIMIZER\r
%token K_STRING\r
%token K_TRUE\r
%token K_FALSE\r
+%token K_IS\r
\r
/* end generated */\r
\r
| sec_decl\r
| customattr_decl\r
| D_SUBSYSTEM int32\r
+ {\r
+ codegen.SetSubSystem ((int) $2);\r
+ }\r
| D_CORFLAGS int32\r
+ {\r
+ codegen.SetCorFlags ((int) $2);\r
+ }\r
| D_FILE K_ALIGNMENT int32\r
- /* | D_IMAGEBASE int64 */\r
+ | D_IMAGEBASE int64\r
+ {\r
+ codegen.SetImageBase ((long) $2);\r
+ }\r
| extsource_spec\r
| language_decl\r
;\r
| 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
}\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
- // Lets not worry about generics for now :p\r
if ($4 != null) {\r
ArrayList typars_list = (ArrayList) $4;\r
- int index = 0;\r
- foreach (DictionaryEntry entry in typars_list) {\r
- TypeRef type = (TypeRef) entry.Key;\r
- string name = (string) entry.Value;\r
- codegen.CurrentClass.AddGenericParameter ((short) index++, type.Type, name);\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
| 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
}\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
;\r
\r
\r
-formal_typar : type { $$ = new DictionaryEntry ($1, null); }\r
- | type id { $$ = new DictionaryEntry ($1, $2); }\r
+formal_typar : id\r
+ {\r
+ $$ = $1;\r
+ }\r
;\r
\r
class_refs : class_ref\r
}\r
;\r
\r
-class_ref : OPEN_BRACKET comp_name CLOSE_BRACKET slashed_name\r
+class_ref : OPEN_BRACKET slashed_name CLOSE_BRACKET slashed_name\r
{\r
- ClassRef klass = codegen.ExternTable.GetClass ((string) $2, (string)$4);\r
- $$ = new ExternTypeRef (klass, (string) $4);\r
+ if (codegen.IsThisAssembly ((string) $2)) {\r
+ $$ = new TypeRef ((string) $4, false, null);\r
+ } else {\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 comp_name CLOSE_BRACKET slashed_name\r
| slashed_name\r
{\r
- $$ = new TypeRef ((string) $1, null);\r
+ PrimitiveTypeRef prim = PrimitiveTypeRef.GetPrimitiveType ((string) $1);\r
+\r
+ if (prim != null)\r
+ $$ = prim;\r
+ else\r
+ $$ = new TypeRef ((string) $1, false, null);\r
}\r
+ \r
;\r
\r
class_decls : /* EMPTY */\r
| sec_decl\r
| extsource_spec\r
| customattr_decl\r
+ {\r
+ codegen.CurrentTypeDef.AddCustomAttribute ((CustomAttr) $1);\r
+ }\r
| D_SIZE int32\r
{\r
codegen.CurrentTypeDef.SetSize ((int) $2);\r
{\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
}\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 comp_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
- /*\r
- ITypeRef base_type = (ITypeRef) $1;\r
- ITypeRef class_ref = (ITypeRef) $4;\r
-\r
- $$ = new CustomModifiedType (base_type.Type,\r
- CustomModifier.modreq, (Class) class_ref.Type);\r
- */\r
+ ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
+ IClassRef class_ref = (IClassRef) $4;\r
+ base_type.MakeCustomModified (codegen,\r
+ CustomModifier.modopt, class_ref);\r
+ $$ = base_type;\r
}\r
| type K_MODOPT OPEN_PARENS class_ref CLOSE_PARENS\r
{\r
- /*\r
- TypeRef base_type = (TypeRef) $1;\r
- TypeRef class_ref = (TypeRef) $4;\r
-\r
- $$ = new CustomModifiedType (base_type.Type,\r
- CustomModifier.modopt, (Class) class_ref.Type);\r
- */\r
+ ITypeRef base_type = GetTypeRef ((ITypeRef) $1);\r
+ IClassRef class_ref = (IClassRef) $4;\r
+ base_type.MakeCustomModified (codegen,\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
{\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
}\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
;\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
| int32 ELLIPSIS\r
{\r
// Just lower bound\r
- $$ = new DictionaryEntry ($1, null);\r
+ $$ = new DictionaryEntry ($1, TypeRef.Ellipsis);\r
}\r
;\r
\r
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
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
}\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
}\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
{\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
\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
} else {\r
datadef.PeapiConstant = (PEAPI.Constant) $2;\r
}\r
- */\r
+ codegen.AddDataDef (datadef);\r
}\r
;\r
\r
;\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
}\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
}\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
;\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,\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
| 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
impl_attr : /* EMPTY */ { $$ = new ImplAttr (); }\r
| impl_attr K_NATIVE { $$ = (ImplAttr) $1 | ImplAttr.Native; }\r
| impl_attr K_CIL { $$ = (ImplAttr) $1 | ImplAttr.IL; }\r
+ | impl_attr K_IL { $$ = (ImplAttr) $1 | ImplAttr.IL; }\r
| impl_attr K_OPTIL { $$ = (ImplAttr) $1 | ImplAttr.Optil; }\r
| impl_attr K_MANAGED { /* should this reset? */ }\r
| impl_attr K_UNMANAGED { $$ = (ImplAttr) $1 | ImplAttr.Unmanaged; }\r
{\r
$$ = new ParamDef ((ParamAttr) $1, (string) $3, (ITypeRef) $2);\r
}\r
+ | ELLIPSIS\r
+ {\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
- | type\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 (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 (new SentinelTypeRef ());\r
+ $$ = type_list;\r
+ }\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\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
+opt_id : /* EMPTY */\r
+ | id\r
+ ;\r
+\r
method_decls : /* EMPTY */\r
| method_decls method_decl\r
;\r
\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
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
| extsource_spec\r
| language_decl\r
| customattr_decl\r
+ {\r
+ codegen.CurrentMethodDef.AddCustomAttr ((CustomAttr) $1);\r
+ }\r
| data_decl\r
;\r
\r
}\r
| slot_num type id\r
{\r
- $$ = new Local ((int) $1, (string) $5, (ITypeRef) $2);\r
+ $$ = new Local ((int) $1, (string) $3, (ITypeRef) $2);\r
}\r
;\r
\r
;\r
\r
type_spec : class_ref\r
- | OPEN_BRACKET comp_name CLOSE_BRACKET\r
- | OPEN_BRACKET D_MODULE comp_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 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 : OPEN_BRACE method_decls CLOSE_BRACE\r
+scope_block : scope_block_begin method_decls CLOSE_BRACE\r
+ {\r
+ $$ = new HandlerBlock ((LabelInfo) $1,\r
+ codegen.CurrentMethodDef.AddLabel ());\r
+ }\r
;\r
\r
+scope_block_begin : OPEN_BRACE\r
+ {\r
+ $$ = codegen.CurrentMethodDef.AddLabel ();\r
+ }\r
+ ;\r
+ \r
+ \r
seh_block : try_block seh_clauses\r
+ {\r
+ TryBlock try_block = (TryBlock) $1;\r
+\r
+ ArrayList clause_list = (ArrayList) $2;\r
+ foreach (object clause in clause_list)\r
+ try_block.AddSehClause ((ISehClause) clause);\r
+\r
+ codegen.CurrentMethodDef.AddInstr (try_block);\r
+ }\r
;\r
\r
try_block : D_TRY scope_block\r
+ {\r
+ $$ = new TryBlock ((HandlerBlock) $2);\r
+ }\r
| D_TRY id K_TO id\r
+ {\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
+ {\r
+ ArrayList clause_list = new ArrayList ();\r
+ clause_list.Add ($1);\r
+ $$ = clause_list;\r
+ }\r
| seh_clauses seh_clause\r
+ {\r
+ ArrayList clause_list = (ArrayList) $1;\r
+ clause_list.Add ($2);\r
+ }\r
;\r
\r
seh_clause : K_CATCH class_ref handler_block\r
+ {\r
+ IClassRef type = (IClassRef) $2;\r
+ CatchBlock cb = new CatchBlock (type);\r
+ cb.SetHandlerBlock ((HandlerBlock) $3);\r
+ $$ = cb;\r
+ }\r
| K_FINALLY handler_block\r
+ {\r
+ FinallyBlock fb = new FinallyBlock ();\r
+ fb.SetHandlerBlock ((HandlerBlock) $2);\r
+ $$ = fb;\r
+ }\r
| K_FAULT handler_block\r
+ {\r
+ FaultBlock fb = new FaultBlock ();\r
+ fb.SetHandlerBlock ((HandlerBlock) $2);\r
+ $$ = fb;\r
+ }\r
| filter_clause handler_block\r
+ {\r
+ FilterBlock fb = (FilterBlock) $1;\r
+ fb.SetHandlerBlock ((HandlerBlock) $2);\r
+ }\r
;\r
\r
filter_clause : K_FILTER scope_block\r
+ {\r
+ HandlerBlock block = (HandlerBlock) $2;\r
+ FilterBlock fb = new FilterBlock (block);\r
+ $$ = fb;\r
+ }\r
| K_FILTER id\r
+ {\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
+ {\r
+ \r
+ }\r
| K_HANDLER id K_TO id\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
}\r
| INSTR_I8 int64\r
{\r
- codegen.CurrentMethodDef.AddInstr (new\r
- IntInstr ((IntOp) $1, (int) $2));\r
+ if ($1 is MiscInstr) {\r
+ switch ((MiscInstr) $1) {\r
+ case MiscInstr.ldc_i8:\r
+ codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1,\r
+ (long) $2));\r
+ break;\r
+ }\r
+ }\r
}\r
| INSTR_R float64\r
{\r
}\r
| INSTR_R int64\r
{\r
+ long l = (long) $2;\r
+ \r
switch ((MiscInstr) $1) {\r
+ case MiscInstr.ldc_r4:\r
case MiscInstr.ldc_r8:\r
- codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) $2));\r
+ codegen.CurrentMethodDef.AddInstr (new LdcInstr ((MiscInstr) $1, (double) l));\r
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
}\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
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_SIG call_conv type OPEN_PARENS sig_args CLOSE_PARENS\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
+ ITypeRef[] arg_array = null;\r
+\r
+ if (arg_list != null)\r
+ arg_array = (ITypeRef[]) arg_list.ToArray (typeof (ITypeRef));\r
+\r
+ codegen.CurrentMethodDef.AddInstr (new CalliInstr ((CallConv) $2,\r
+ (ITypeRef) $3, arg_array));\r
+ } \r
| INSTR_TOK owner_type\r
+ {\r
+ if ((MiscInstr) $1 == MiscInstr.ldtoken) {\r
+ if ($2 is IMethodRef)\r
+ codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IMethodRef) $2));\r
+ else if ($2 is IFieldRef)\r
+ codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((IFieldRef) $2));\r
+ else\r
+ codegen.CurrentMethodDef.AddInstr (new LdtokenInstr ((ITypeRef) $2));\r
+ \r
+ }\r
+ }\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
else\r
param_list = new ITypeRef[0];\r
\r
- $$ = new GlobalMethodRef ((ITypeRef) $2, (string) $3, param_list);\r
+ $$ = 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
| member_ref\r
;\r
\r
-member_ref : K_METHOD member_ref\r
+member_ref : K_METHOD method_ref\r
+ {\r
+ $$ = $2;\r
+ }\r
| K_FIELD type type_spec DOUBLE_COLON id\r
+ {\r
+ ITypeRef owner = (ITypeRef) $3;\r
+\r
+ $$ = owner.GetFieldRef (\r
+ (ITypeRef) $2, (string) $5);\r
+ }\r
| K_FIELD type id\r
+ {\r
+ $$ = new GlobalFieldRef ((ITypeRef) $2, (string) $3);\r
+ }\r
;\r
\r
event_all : event_head OPEN_BRACE event_decls CLOSE_BRACE\r
+ {\r
+ codegen.CurrentTypeDef.EndEventDef ();\r
+ }\r
;\r
\r
event_head : D_EVENT event_attr type_spec id\r
+ {\r
+ EventDef event_def = new EventDef ((FeatureAttr) $2,\r
+ (ITypeRef) $3, (string) $4);\r
+ codegen.CurrentTypeDef.BeginEventDef (event_def);\r
+ }\r
| D_EVENT event_attr id\r
;\r
\r
event_attr : /* EMPTY */\r
+ {\r
+ $$ = new FeatureAttr ();\r
+ }\r
| event_attr K_RTSPECIALNAME\r
+ {\r
+ $$ = (FeatureAttr) $1 & FeatureAttr.Rtspecialname;\r
+ }\r
| event_attr K_SPECIALNAME\r
+ {\r
+ $$ = (FeatureAttr) $1 & FeatureAttr.Specialname;\r
+ }\r
;\r
\r
event_decls : /* EMPTY */\r
;\r
\r
event_decl : D_ADDON method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentEvent.AddAddon (\r
+ (MethodRef) $2); \r
+ }\r
| D_REMOVEON method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentEvent.AddRemoveon (\r
+ (MethodRef) $2);\r
+ }\r
| D_FIRE method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentEvent.AddFire (\r
+ (MethodRef) $2);\r
+ }\r
| D_OTHER method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentEvent.AddOther (\r
+ (MethodRef) $2);\r
+ }\r
| customattr_decl\r
| extsource_spec\r
| language_decl\r
;\r
\r
prop_all : prop_head OPEN_BRACE prop_decls CLOSE_BRACE\r
+ {\r
+ codegen.CurrentTypeDef.EndPropertyDef ();\r
+ }\r
;\r
\r
-prop_head : D_PROPERTY prop_attr type id OPEN_PARENS sig_args CLOSE_PARENS init_opt\r
+prop_head : D_PROPERTY prop_attr type id OPEN_PARENS type_list CLOSE_PARENS init_opt\r
+ {\r
+ PropertyDef prop_def = new PropertyDef ((FeatureAttr) $2, (ITypeRef) $3,\r
+ (string) $4, (ArrayList) $6);\r
+ codegen.CurrentTypeDef.BeginPropertyDef (prop_def);\r
+\r
+ if ($8 != null) {\r
+ prop_def.AddInitValue ((Constant) $8);\r
+ }\r
+ }\r
;\r
\r
prop_attr : /* EMPTY */\r
+ {\r
+ $$ = new FeatureAttr ();\r
+ }\r
| prop_attr K_RTSPECIALNAME\r
+ {\r
+ $$ = (FeatureAttr) $1 | FeatureAttr.Rtspecialname;\r
+ }\r
| prop_attr K_SPECIALNAME\r
+ {\r
+ $$ = (FeatureAttr) $1 | FeatureAttr.Specialname;\r
+ }\r
+ | prop_attr K_INSTANCE\r
+ {\r
+ }\r
;\r
\r
prop_decls : /* EMPTY */\r
;\r
\r
prop_decl : D_SET method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentProperty.AddSet ((MethodRef) $2);\r
+ }\r
| D_GET method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentProperty.AddGet ((MethodRef) $2);\r
+ }\r
| D_OTHER method_ref\r
+ {\r
+ codegen.CurrentTypeDef.CurrentProperty.AddOther ((MethodRef) $2);\r
+ }\r
| customattr_decl\r
| extsource_spec\r
| language_decl\r
;\r
\r
customattr_decl : D_CUSTOM custom_type\r
+ {\r
+ $$ = 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[]) $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 sig_args CLOSE_PARENS\r
- | call_conv type D_CTOR OPEN_PARENS sig_args CLOSE_PARENS\r
+custom_type : call_conv type type_spec DOUBLE_COLON D_CTOR OPEN_PARENS type_list CLOSE_PARENS\r
+ {\r
+ ITypeRef owner = (ITypeRef) $3;\r
+ ArrayList arg_list = (ArrayList) $7;\r
+ ITypeRef[] param_list;\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.GetMethodRef ((ITypeRef) $2,\r
+ (CallConv) $1, (string) $5, param_list);\r
+ }\r
+ | call_conv type D_CTOR OPEN_PARENS type_list CLOSE_PARENS\r
+ {\r
+ ArrayList arg_list = (ArrayList) $5;\r
+ ITypeRef[] param_list;\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
+ $$ = new GlobalMethodRef ((ITypeRef) $2, (CallConv) $1,\r
+ (string) $3, param_list);\r
+ }\r
;\r
\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
;\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 comp_name\r
+assembly_head : D_ASSEMBLY asm_attr slashed_name\r
+ {\r
+ codegen.SetAssemblyName ((string) $3);\r
+ }\r
;\r
\r
asm_attr : /* EMPTY */\r
| 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 comp_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 comp_name K_AS comp_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
| 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
;\r
\r
manifestres_decl : D_FILE comp_name K_AT int32\r
- | D_ASSEMBLY K_EXTERN comp_name\r
+ | D_ASSEMBLY K_EXTERN slashed_name\r
| customattr_decl\r
;\r
\r
| comp_qstring PLUS QSTRING { $$ = String.Format ("{0}{1}", $1, $3); }\r
;\r
\r
-int32 : INT32\r
- | INT64\r
+int32 : INT64\r
{\r
- Int64 int64 = (Int64) $1;\r
-\r
- if (int64 > Int32.MaxValue)\r
- $$ = Int32.MaxValue;\r
- else if (int64 < Int32.MinValue)\r
- $$ = Int32.MinValue;\r
+ long l = (long) $1;\r
+ byte[] intb = BitConverter.GetBytes (l);\r
+ $$ = BitConverter.ToInt32 (intb, BitConverter.IsLittleEndian ? 0 : 4);\r
}\r
;\r
\r
int64 : INT64\r
- | INT32\r
;\r
\r
float64 : FLOAT64\r
- | K_FLOAT32 OPEN_PARENS int32 CLOSE_PARENS\r
+ | K_FLOAT32 OPEN_PARENS INT32 CLOSE_PARENS\r
{\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
+ | 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, 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
;\r
\r
truefalse : K_TRUE\r
+ {\r
+ $$ = true;\r
+ }\r
| K_FALSE\r
+ {\r
+ $$ = false;\r
+ }\r
;\r
\r
id : ID\r
{\r
$$ = (string) $1 + '.' + (string) $3;\r
}\r
+ | COMP_NAME\r
;\r
\r
-\r
%%\r
\r
}\r
projects / mono.git / blobdiff