2 // System.Reflection.Emit.DynamicMethod.cs
5 // Paolo Molaro (lupus@ximian.com)
6 // Zoltan Varga (vargaz@freemail.hu)
8 // (C) 2003 Ximian, Inc. http://www.ximian.com
12 // Copyright (C) 2004 Novell, Inc (http://www.novell.com)
14 // Permission is hereby granted, free of charge, to any person obtaining
15 // a copy of this software and associated documentation files (the
16 // "Software"), to deal in the Software without restriction, including
17 // without limitation the rights to use, copy, modify, merge, publish,
18 // distribute, sublicense, and/or sell copies of the Software, and to
19 // permit persons to whom the Software is furnished to do so, subject to
20 // the following conditions:
22 // The above copyright notice and this permission notice shall be
23 // included in all copies or substantial portions of the Software.
25 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
26 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
27 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
28 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
29 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
30 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
31 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
37 using System.Reflection;
38 using System.Reflection.Emit;
39 using System.Globalization;
40 using System.Runtime.CompilerServices;
41 using System.Runtime.InteropServices;
43 namespace System.Reflection.Emit {
46 [StructLayout (LayoutKind.Sequential)]
47 public sealed class DynamicMethod : MethodInfo {
49 #pragma warning disable 169, 414, 649
50 #region Sync with reflection.h
51 private RuntimeMethodHandle mhandle;
53 private Type returnType;
54 private Type[] parameters;
55 private MethodAttributes attributes;
56 private CallingConventions callingConvention;
57 private Module module;
58 private bool skipVisibility;
59 private bool init_locals = true;
60 private ILGenerator ilgen;
62 private object[] refs;
63 private IntPtr referenced_by;
66 #pragma warning restore 169, 414, 649
68 private Delegate deleg;
69 private MonoMethod method;
70 private ParameterBuilder[] pinfo;
71 internal bool creating;
72 private DynamicILInfo il_info;
74 public DynamicMethod (string name, Type returnType, Type[] parameterTypes, Module m) : this (name, returnType, parameterTypes, m, false) {
77 public DynamicMethod (string name, Type returnType, Type[] parameterTypes, Type owner) : this (name, returnType, parameterTypes, owner, false) {
80 public DynamicMethod (string name, Type returnType, Type[] parameterTypes, Module m, bool skipVisibility) : this (name, MethodAttributes.Public | MethodAttributes.Static, CallingConventions.Standard, returnType, parameterTypes, m, skipVisibility) {
83 public DynamicMethod (string name, Type returnType, Type[] parameterTypes, Type owner, bool skipVisibility) : this (name, MethodAttributes.Public | MethodAttributes.Static, CallingConventions.Standard, returnType, parameterTypes, owner, skipVisibility) {
86 public DynamicMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, Type owner, bool skipVisibility) : this (name, attributes, callingConvention, returnType, parameterTypes, owner, owner.Module, skipVisibility, false) {
89 public DynamicMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, Module m, bool skipVisibility) : this (name, attributes, callingConvention, returnType, parameterTypes, null, m, skipVisibility, false) {
92 public DynamicMethod (string name, Type returnType, Type[] parameterTypes) : this (name, returnType, parameterTypes, false) {
95 [MonoTODO ("Visibility is not restricted")]
96 public DynamicMethod (string name, Type returnType, Type[] parameterTypes, bool restrictedSkipVisibility)
97 : this (name, MethodAttributes.Public | MethodAttributes.Static, CallingConventions.Standard, returnType, parameterTypes, null, null, restrictedSkipVisibility, true)
101 DynamicMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type [] parameterTypes, Type owner, Module m, bool skipVisibility, bool anonHosted)
104 throw new ArgumentNullException ("name");
105 if (returnType == null)
106 returnType = typeof (void);
107 if ((m == null) && !anonHosted)
108 throw new ArgumentNullException ("m");
109 if (returnType.IsByRef)
110 throw new ArgumentException ("Return type can't be a byref type", "returnType");
111 if (parameterTypes != null) {
112 for (int i = 0; i < parameterTypes.Length; ++i)
113 if (parameterTypes [i] == null)
114 throw new ArgumentException ("Parameter " + i + " is null", "parameterTypes");
116 if (owner != null && (owner.IsArray || owner.IsInterface)) {
117 throw new ArgumentException ("Owner can't be an array or an interface.");
121 m = AnonHostModuleHolder.AnonHostModule;
124 this.attributes = attributes | MethodAttributes.Static;
125 this.callingConvention = callingConvention;
126 this.returnType = returnType;
127 this.parameters = parameterTypes;
130 this.skipVisibility = skipVisibility;
133 [MethodImplAttribute(MethodImplOptions.InternalCall)]
134 private extern void create_dynamic_method (DynamicMethod m);
136 private void CreateDynMethod () {
137 if (mhandle.Value == IntPtr.Zero) {
138 if (ilgen == null || ilgen.ILOffset == 0)
139 throw new InvalidOperationException ("Method '" + name + "' does not have a method body.");
141 ilgen.label_fixup (this);
143 // Have to create all DynamicMethods referenced by this one
145 // Used to avoid cycles
148 for (int i = 0; i < refs.Length; ++i) {
149 if (refs [i] is DynamicMethod) {
150 DynamicMethod m = (DynamicMethod)refs [i];
152 m.CreateDynMethod ();
160 create_dynamic_method (this);
166 public Delegate CreateDelegate (Type delegateType)
168 if (delegateType == null)
169 throw new ArgumentNullException ("delegateType");
175 deleg = Delegate.CreateDelegate (delegateType, this);
181 public Delegate CreateDelegate (Type delegateType, object target)
183 if (delegateType == null)
184 throw new ArgumentNullException ("delegateType");
188 /* Can't cache the delegate since it is different for each target */
189 return Delegate.CreateDelegate (delegateType, target, this);
192 public ParameterBuilder DefineParameter (int position, ParameterAttributes attributes, string parameterName)
195 // Extension: Mono allows position == 0 for the return attribute
197 if ((position < 0) || (position > parameters.Length))
198 throw new ArgumentOutOfRangeException ("position");
202 ParameterBuilder pb = new ParameterBuilder (this, position, attributes, parameterName);
204 pinfo = new ParameterBuilder [parameters.Length + 1];
205 pinfo [position] = pb;
209 public override MethodInfo GetBaseDefinition () {
213 [MonoTODO("Not implemented")]
214 public override object[] GetCustomAttributes (bool inherit) {
215 throw new NotImplementedException ();
218 [MonoTODO("Not implemented")]
219 public override object[] GetCustomAttributes (Type attributeType,
221 throw new NotImplementedException ();
224 public DynamicILInfo GetDynamicILInfo () {
226 il_info = new DynamicILInfo (this);
230 public ILGenerator GetILGenerator () {
231 return GetILGenerator (64);
234 public ILGenerator GetILGenerator (int streamSize) {
235 if (((GetMethodImplementationFlags () & MethodImplAttributes.CodeTypeMask) !=
236 MethodImplAttributes.IL) ||
237 ((GetMethodImplementationFlags () & MethodImplAttributes.ManagedMask) !=
238 MethodImplAttributes.Managed))
239 throw new InvalidOperationException ("Method body should not exist.");
242 ilgen = new ILGenerator (Module, new DynamicMethodTokenGenerator (this), streamSize);
246 public override MethodImplAttributes GetMethodImplementationFlags () {
247 return MethodImplAttributes.IL | MethodImplAttributes.Managed;
250 public override ParameterInfo[] GetParameters ()
252 return GetParametersInternal ();
255 internal override ParameterInfo[] GetParametersInternal ()
257 if (parameters == null)
258 return EmptyArray<ParameterInfo>.Value;
260 ParameterInfo[] retval = new ParameterInfo [parameters.Length];
261 for (int i = 0; i < parameters.Length; i++) {
262 retval [i] = ParameterInfo.New (pinfo == null ? null : pinfo [i + 1], parameters [i], this, i + 1);
267 internal override int GetParametersCount ()
269 return parameters == null ? 0 : parameters.Length;
272 internal override Type GetParameterType (int pos) {
273 return parameters [pos];
277 public override object Invoke (object obj, object[] parameters) {
280 method = new MonoMethod (mhandle);
281 return method.Invoke (obj, parameters);
285 public override object Invoke (object obj, BindingFlags invokeAttr,
286 Binder binder, object[] parameters,
292 method = new MonoMethod (mhandle);
294 return method.Invoke (obj, parameters);
296 catch (MethodAccessException mae) {
297 throw new TargetInvocationException ("Method cannot be invoked.", mae);
301 [MonoTODO("Not implemented")]
302 public override bool IsDefined (Type attributeType, bool inherit) {
303 throw new NotImplementedException ();
306 public override string ToString () {
307 string parms = String.Empty;
308 ParameterInfo[] p = GetParametersInternal ();
309 for (int i = 0; i < p.Length; ++i) {
311 parms = parms + ", ";
312 parms = parms + p [i].ParameterType.Name;
314 return ReturnType.Name+" "+Name+"("+parms+")";
317 public override MethodAttributes Attributes {
323 public override CallingConventions CallingConvention {
325 return callingConvention;
329 public override Type DeclaringType {
335 public bool InitLocals {
344 public override RuntimeMethodHandle MethodHandle {
350 public override Module Module {
356 public override string Name {
362 public override Type ReflectedType {
368 [MonoTODO("Not implemented")]
369 public override ParameterInfo ReturnParameter {
371 throw new NotImplementedException ();
375 public override Type ReturnType {
381 [MonoTODO("Not implemented")]
382 public override ICustomAttributeProvider ReturnTypeCustomAttributes {
384 throw new NotImplementedException ();
389 public override int MetadataToken {
396 private void RejectIfCreated () {
397 if (mhandle.Value != IntPtr.Zero)
398 throw new InvalidOperationException ("Type definition of the method is complete.");
401 internal int AddRef (object reference) {
403 refs = new object [4];
404 if (nrefs >= refs.Length - 1) {
405 object [] new_refs = new object [refs.Length * 2];
406 System.Array.Copy (refs, new_refs, refs.Length);
409 refs [nrefs] = reference;
410 /* Reserved by the runtime */
411 refs [nrefs + 1] = null;
416 // This class takes care of constructing the module in a thread safe manner
417 class AnonHostModuleHolder {
418 public static Module anon_host_module;
420 static AnonHostModuleHolder () {
421 AssemblyName aname = new AssemblyName ();
422 aname.Name = "Anonymously Hosted DynamicMethods Assembly";
423 AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (aname, AssemblyBuilderAccess.Run);
425 anon_host_module = ab.GetManifestModule ();
428 public static Module AnonHostModule {
430 return anon_host_module;
436 internal class DynamicMethodTokenGenerator : TokenGenerator {
438 private DynamicMethod m;
440 public DynamicMethodTokenGenerator (DynamicMethod m) {
444 public int GetToken (string str) {
445 return m.AddRef (str);
448 public int GetToken (MethodBase method, Type[] opt_param_types) {
449 throw new InvalidOperationException ();
452 public int GetToken (MemberInfo member, bool create_open_instance) {
453 return m.AddRef (member);
456 public int GetToken (SignatureHelper helper) {
457 return m.AddRef (helper);