We need you! We're working hard on the next version of Developer Fusion - Let us know what you think we should be up to!

The Labs \ Source Viewer \ SSCLI \ System.Reflection.Emit \ TypeBuilder

SSCLI
  1. // ==++==
  2. //
  3. //
  4. // Copyright (c) 2006 Microsoft Corporation. All rights reserved.
  5. //
  6. // The use and distribution terms for this software are contained in the file
  7. // named license.txt, which can be found in the root of this distribution.
  8. // By using this software in any fashion, you are agreeing to be bound by the
  9. // terms of this license.
  10. //
  11. // You must not remove this notice, or any other, from this software.
  12. //
  13. //
  14. // ==--==
  16. namespace System.Reflection.Emit
  17. {
  18.    
  19.     using System;
  20.     using System.Runtime.Remoting.Activation;
  21.     using System.Reflection;
  22.     using System.Security;
  23.     using System.Security.Permissions;
  24.     using System.Diagnostics;
  25.     using System.Runtime.InteropServices;
  26.     using System.Runtime.CompilerServices;
  27.     using ArrayList = System.Collections.ArrayList;
  28.     using CultureInfo = System.Globalization.CultureInfo;
  29.     using System.Threading;
  30.    
  31.    
  32.     [Serializable()]
  33.     [System.Runtime.InteropServices.ComVisible(true)]
  34.     public enum PackingSize
  35.     {
  36.         Unspecified = 0,
  37.         Size1 = 1,
  38.         Size2 = 2,
  39.         Size4 = 4,
  40.         Size8 = 8,
  41.         Size16 = 16,
  42.         Size32 = 32,
  43.         Size64 = 64,
  44.         Size128 = 128
  45.     }
  46.    
  47.    
  48.     [HostProtection(MayLeakOnAbort = true)]
  49.     [ClassInterface(ClassInterfaceType.None)]
  50.     [ComDefaultInterface(typeof(_TypeBuilder))]
  51.     [System.Runtime.InteropServices.ComVisible(true)]
  52.     public sealed class TypeBuilder : Type, _TypeBuilder
  53.     {
  54.         #region Declarations
  55.         internal class CustAttr
  56.         {
  57.             private ConstructorInfo m_con;
  58.             private byte[] m_binaryAttribute;
  59.             private CustomAttributeBuilder m_customBuilder;
  60.            
  61.             public CustAttr(ConstructorInfo con, byte[] binaryAttribute)
  62.             {
  63.                 if (con == null)
  64.                     throw new ArgumentNullException("con");
  65.                
  66.                 if (binaryAttribute == null)
  67.                     throw new ArgumentNullException("binaryAttribute");
  68.                
  69.                 m_con = con;
  70.                 m_binaryAttribute = binaryAttribute;
  71.             }
  72.            
  73.             public CustAttr(CustomAttributeBuilder customBuilder)
  74.             {
  75.                 if (customBuilder == null)
  76.                     throw new ArgumentNullException("customBuilder");
  77.                
  78.                 m_customBuilder = customBuilder;
  79.             }
  80.            
  81.             public void Bake(ModuleBuilder module, int token)
  82.             {
  83.                 if (m_customBuilder == null) {
  84.                     TypeBuilder.InternalCreateCustomAttribute(token, module.GetConstructorToken(m_con).Token, m_binaryAttribute, module, false);
  85.                 }
  86.                 else {
  87.                     m_customBuilder.CreateCustomAttribute(module, token);
  88.                 }
  89.             }
  90.         }
  91.         #endregion
  92.        
  93.         #region Public Static Methods
  94.         public static MethodInfo GetMethod(Type type, MethodInfo method)
  95.         {
  96.             if (!(type is TypeBuilder) && !(type is TypeBuilderInstantiation))
  97.                 throw new ArgumentException(Environment.GetResourceString("Argument_MustBeTypeBuilder"));
  98.            
  99.             // The following checks establishes invariants that more simply put require type to be generic and
  100.             // method to be a generic method definition declared on the generic type definition of type.
  101.             // To create generic method G<Foo>.M<Bar> these invariants require that G<Foo>.M<S> be created by calling
  102.             // this function followed by MakeGenericMethod on the resulting MethodInfo to finally get G<Foo>.M<Bar>.
  103.             // We could also allow G<T>.M<Bar> to be created before G<Foo>.M<Bar> (BindGenParm followed by this method)
  104.             // if we wanted to but that just complicates things so these checks are designed to prevent that scenario.
  105.            
  106.             if (method.IsGenericMethod && !method.IsGenericMethodDefinition)
  107.                 throw new ArgumentException(Environment.GetResourceString("Argument_NeedGenericMethodDefinition"), "method");
  108.            
  109.             if (method.DeclaringType == null || !method.DeclaringType.IsGenericTypeDefinition)
  110.                 throw new ArgumentException(Environment.GetResourceString("Argument_MethodNeedGenericDeclaringType"), "method");
  111.            
  112.             if (type.GetGenericTypeDefinition() != method.DeclaringType)
  113.                 throw new ArgumentException(Environment.GetResourceString("Argument_InvalidMethodDeclaringType"), "type");
  114.            
  115.             // The following converts from Type or TypeBuilder of G<T> to TypeBuilderInstantiation G<T>. These types
  116.             // both logically represent the same thing. The runtime displays a similar convention by having
  117.             // G<M>.M() be encoded by a typeSpec whose parent is the typeDef for G<M> and whose instantiation is also G<M>.
  118.             if (type.IsGenericTypeDefinition)
  119.                 type = type.MakeGenericType(type.GetGenericArguments());
  120.            
  121.             if (!(type is TypeBuilderInstantiation))
  122.                 throw new ArgumentException(Environment.GetResourceString("Argument_NeedNonGenericType"), "type");
  123.            
  124.             return MethodOnTypeBuilderInstantiation.GetMethod(method, type as TypeBuilderInstantiation);
  125.         }
  126.         public static ConstructorInfo GetConstructor(Type type, ConstructorInfo constructor)
  127.         {
  128.             if (!(type is TypeBuilder) && !(type is TypeBuilderInstantiation))
  129.                 throw new ArgumentException(Environment.GetResourceString("Argument_MustBeTypeBuilder"));
  130.            
  131.             if (!constructor.DeclaringType.IsGenericTypeDefinition)
  132.                 throw new ArgumentException(Environment.GetResourceString("Argument_ConstructorNeedGenericDeclaringType"), "constructor");
  133.            
  134.             if (!(type is TypeBuilderInstantiation))
  135.                 throw new ArgumentException(Environment.GetResourceString("Argument_NeedNonGenericType"), "type");
  136.            
  137.             // TypeBuilder G<T> ==> TypeBuilderInstantiation G<T>
  138.             if (type is TypeBuilder && type.IsGenericTypeDefinition)
  139.                 type = type.MakeGenericType(type.GetGenericArguments());
  140.            
  141.             if (type.GetGenericTypeDefinition() != constructor.DeclaringType)
  142.                 throw new ArgumentException(Environment.GetResourceString("Argument_InvalidConstructorDeclaringType"), "type");
  143.            
  144.             return ConstructorOnTypeBuilderInstantiation.GetConstructor(constructor, type as TypeBuilderInstantiation);
  145.         }
  146.         public static FieldInfo GetField(Type type, FieldInfo field)
  147.         {
  148.             if (!(type is TypeBuilder) && !(type is TypeBuilderInstantiation))
  149.                 throw new ArgumentException(Environment.GetResourceString("Argument_MustBeTypeBuilder"));
  150.            
  151.             if (!field.DeclaringType.IsGenericTypeDefinition)
  152.                 throw new ArgumentException(Environment.GetResourceString("Argument_FieldNeedGenericDeclaringType"), "field");
  153.            
  154.             if (!(type is TypeBuilderInstantiation))
  155.                 throw new ArgumentException(Environment.GetResourceString("Argument_NeedNonGenericType"), "type");
  156.            
  157.             // TypeBuilder G<T> ==> TypeBuilderInstantiation G<T>
  158.             if (type is TypeBuilder && type.IsGenericTypeDefinition)
  159.                 type = type.MakeGenericType(type.GetGenericArguments());
  160.            
  161.             if (type.GetGenericTypeDefinition() != field.DeclaringType)
  162.                 throw new ArgumentException(Environment.GetResourceString("Argument_InvalidFieldDeclaringType"), "type");
  163.            
  164.             return FieldOnTypeBuilderInstantiation.GetField(field, type as TypeBuilderInstantiation);
  165.         }
  166.         #endregion
  167.        
  168.         #region Public Const
  169.         public const int UnspecifiedTypeSize = 0;
  170.         #endregion
  171.        
  172.         #region Private Static FCalls
  173.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  174.         private static extern void InternalSetParentType(int tdTypeDef, int tkParent, Module module);
  175.        
  176.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  177.         private static extern void InternalAddInterfaceImpl(int tdTypeDef, int tkInterface, Module module);
  178.         #endregion
  179.        
  180.         #region Internal Static FCalls
  181.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  182.         static internal extern int InternalDefineMethod(int handle, string name, byte[] signature, int sigLength, MethodAttributes attributes, Module module);
  183.        
  184.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  185.         static internal extern int InternalDefineMethodSpec(int handle, byte[] signature, int sigLength, Module module);
  186.        
  187.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  188.         static internal extern int InternalDefineField(int handle, string name, byte[] signature, int sigLength, FieldAttributes attributes, Module module);
  189.        
  190.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  191.         static internal extern void InternalSetMethodIL(int methodHandle, bool isInitLocals, byte[] body, byte[] LocalSig, int sigLength, int maxStackSize, int numExceptions, __ExceptionInstance[] exceptions, int[] tokenFixups, int[] rvaFixups,
  192.         Module module);
  193.        
  194.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  195.         static internal extern void InternalCreateCustomAttribute(int tkAssociate, int tkConstructor, byte[] attr, Module module, bool toDisk, bool updateCompilerFlags);
  196.        
  197.         static internal void InternalCreateCustomAttribute(int tkAssociate, int tkConstructor, byte[] attr, Module module, bool toDisk)
  198.         {
  199.             byte[] localAttr = null;
  200.            
  201.             if (attr != null) {
  202.                 localAttr = new byte[attr.Length];
  203.                 Array.Copy(attr, localAttr, attr.Length);
  204.             }
  205.             TypeBuilder.InternalCreateCustomAttribute(tkAssociate, tkConstructor, localAttr, module, toDisk, false);
  206.         }
  207.        
  208.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  209.         static internal extern void InternalSetPInvokeData(Module module, string DllName, string name, int token, int linkType, int linkFlags);
  210.        
  211.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  212.         static internal extern int InternalDefineProperty(Module module, int handle, string name, int attributes, byte[] signature, int sigLength, int notifyChanging, int notifyChanged);
  213.        
  214.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  215.         static internal extern int InternalDefineEvent(Module module, int handle, string name, int attributes, int tkEventType);
  216.        
  217.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  218.         static internal extern void InternalDefineMethodSemantics(Module module, int tkAssociation, MethodSemanticsAttributes semantics, int tkMethod);
  219.        
  220.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  221.         static internal extern void InternalDefineMethodImpl(ModuleBuilder module, int tkType, int tkBody, int tkDecl);
  222.        
  223.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  224.         static internal extern void InternalSetMethodImpl(Module module, int tkMethod, MethodImplAttributes MethodImplAttributes);
  225.        
  226.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  227.         static internal extern int InternalSetParamInfo(Module module, int tkMethod, int iSequence, ParameterAttributes iParamAttributes, string strParamName);
  228.        
  229.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  230.         static internal extern int InternalGetTokenFromSig(Module module, byte[] signature, int sigLength);
  231.        
  232.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  233.         static internal extern void InternalSetFieldOffset(Module module, int fdToken, int iOffset);
  234.        
  235.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  236.         static internal extern void InternalSetClassLayout(Module module, int tdToken, PackingSize iPackingSize, int iTypeSize);
  237.        
  238.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  239.         static internal extern void InternalSetMarshalInfo(Module module, int tk, byte[] ubMarshal, int ubSize);
  240.        
  241.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  242.         static internal extern void InternalSetConstantValue(Module module, int tk, ref Variant var);
  243.        
  244.         [MethodImplAttribute(MethodImplOptions.InternalCall)]
  245.         static internal extern void InternalAddDeclarativeSecurity(Module module, int parent, SecurityAction action, byte[] blob);
  246.         #endregion
  247.        
  248.         #region Internal\Private Static Members
  249.         private static bool IsPublicComType(Type type)
  250.         {
  251.             // Internal Helper to determine if a type should be added to ComType table.
  252.             // A top level type should be added if it is Public.
  253.             // A nested type should be added if the top most enclosing type is Public
  254.             // and all the enclosing types are NestedPublic
  255.            
  256.             Type enclosingType = type.DeclaringType;
  257.             if (enclosingType != null) {
  258.                 if (IsPublicComType(enclosingType)) {
  259.                     if ((type.Attributes & TypeAttributes.VisibilityMask) == TypeAttributes.NestedPublic) {
  260.                         return true;
  261.                     }
  262.                 }
  263.             }
  264.             else {
  265.                 if ((type.Attributes & TypeAttributes.VisibilityMask) == TypeAttributes.Public) {
  266.                     return true;
  267.                 }
  268.             }
  269.            
  270.             return false;
  271.         }
  272.        
  273.         static internal bool IsTypeEqual(Type t1, Type t2)
  274.         {
  275.             // Maybe we are lucky that they are equal in the first place
  276.             if (t1 == t2)
  277.                 return true;
  278.             TypeBuilder tb1 = null;
  279.             TypeBuilder tb2 = null;
  280.             Type runtimeType1 = null;
  281.             Type runtimeType2 = null;
  282.            
  283.             // set up the runtimeType and TypeBuilder type corresponding to t1 and t2
  284.             if (t1 is TypeBuilder) {
  285.                 tb1 = (TypeBuilder)t1;
  286.                 // This will be null if it is not baked.
  287.                 runtimeType1 = tb1.m_runtimeType;
  288.             }
  289.             else {
  290.                 runtimeType1 = t1;
  291.             }
  292.            
  293.             if (t2 is TypeBuilder) {
  294.                 tb2 = (TypeBuilder)t2;
  295.                 // This will be null if it is not baked.
  296.                 runtimeType2 = tb2.m_runtimeType;
  297.             }
  298.             else {
  299.                 runtimeType2 = t2;
  300.             }
  301.            
  302.             // If the type builder view is eqaul then it is equal
  303.             if (tb1 != null && tb2 != null && tb1 == tb2)
  304.                 return true;
  305.            
  306.             // if the runtimetype view is eqaul than it is equal
  307.             if (runtimeType1 != null && runtimeType2 != null && runtimeType1 == runtimeType2)
  308.                 return true;
  309.            
  310.             return false;
  311.         }
  312.        
  313.         static internal void SetConstantValue(Module module, int tk, Type destType, object value)
  314.         {
  315.             // This is a helper function that is used by ParameterBuilder, PropertyBuilder,
  316.             // and FieldBuilder to validate a default value and save it in the meta-data.
  317.            
  318.             if (value == null) {
  319.                 if (destType.IsValueType)
  320.                     throw new ArgumentException(Environment.GetResourceString("Argument_ConstantNull"));
  321.             }
  322.             else {
  323.                 // client is going to set non-null constant value
  324.                 Type type = value.GetType();
  325.                
  326.                 // The default value on the enum typed field/parameter is the underlying type.
  327.                 if (destType.IsEnum == false) {
  328.                     if (destType != type)
  329.                         throw new ArgumentException(Environment.GetResourceString("Argument_ConstantDoesntMatch"));
  330.                    
  331.                     switch (Type.GetTypeCode(type)) {
  332.                         case TypeCode.Boolean:
  333.                         case TypeCode.Char:
  334.                         case TypeCode.SByte:
  335.                         case TypeCode.Byte:
  336.                         case TypeCode.Int16:
  337.                         case TypeCode.UInt16:
  338.                         case TypeCode.Int32:
  339.                         case TypeCode.UInt32:
  340.                         case TypeCode.Int64:
  341.                         case TypeCode.UInt64:
  342.                         case TypeCode.Single:
  343.                         case TypeCode.Double:
  344.                         case TypeCode.Decimal:
  345.                         case TypeCode.String:
  346.                             break;
  347.                         default:
  348.                            
  349.                             {
  350.                                 if (type != typeof(System.DateTime))
  351.                                     throw new ArgumentException(Environment.GetResourceString("Argument_ConstantNotSupported"));
  352.                                 break;
  353.                             }
  355.                             break;
  356.                        
  357.                     }
  358.                 }
  359.                 else {
  360.                     // The constant value supplied should match the underlying type of the enum
  361.                     if (destType.UnderlyingSystemType != type)
  362.                         throw new ArgumentException(Environment.GetResourceString("Argument_ConstantDoesntMatch"));
  363.                 }
  364.             }
  365.            
  366.             // pass the variant by reference to avoid woes with passing valuetypes into FCALLs
  367.             Variant var = new Variant(value);
  368.            
  369.             InternalSetConstantValue(module, tk, ref var);
  370.         }
  371.        
  372.         #endregion
  373.        
  374.         #region Private Data Members
  375.         internal ArrayList m_ca;
  376.         internal MethodBuilder m_currentMethod;
  377.         private TypeToken m_tdType;
  378.         private ModuleBuilder m_module;
  379.         internal string m_strName;
  380.         private string m_strNameSpace;
  381.         private string m_strFullQualName;
  382.         private Type m_typeParent;
  383.         private Type[] m_typeInterfaces;
  384.         internal TypeAttributes m_iAttr;
  385.         internal GenericParameterAttributes m_genParamAttributes;
  386.         internal ArrayList m_listMethods;
  387.         private int m_constructorCount;
  388.         private int m_iTypeSize;
  389.         private PackingSize m_iPackingSize;
  390.         private TypeBuilder m_DeclaringType;
  391.         private Type m_underlyingSystemType;
  392.         // set when user calls UnderlyingSystemType on TypeBuilder if TypeBuilder is an Enum
  393.         internal bool m_isHiddenGlobalType;
  394.         internal bool m_isHiddenType;
  395.         internal bool m_hasBeenCreated;
  396.         internal RuntimeType m_runtimeType;
  397.        
  398.         private int m_genParamPos;
  399.         private GenericTypeParameterBuilder[] m_inst;
  400.         private bool m_bIsGenParam;
  401.         private bool