CodeGenerator.cs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394
  1. // CodeGenerator.cs
  2. //
  3. // Author:
  4. // Lluis Sanchez Gual ([email protected])
  5. //
  6. // (C) 2004 Novell, Inc
  7. //
  8. // Copyright (C) 2004 Novell, Inc (http://www.novell.com)
  9. //
  10. // Permission is hereby granted, free of charge, to any person obtaining
  11. // a copy of this software and associated documentation files (the
  12. // "Software"), to deal in the Software without restriction, including
  13. // without limitation the rights to use, copy, modify, merge, publish,
  14. // distribute, sublicense, and/or sell copies of the Software, and to
  15. // permit persons to whom the Software is furnished to do so, subject to
  16. // the following conditions:
  17. //
  18. // The above copyright notice and this permission notice shall be
  19. // included in all copies or substantial portions of the Software.
  20. //
  21. // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  22. // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  23. // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  24. // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  25. // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  26. // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  27. // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  28. //
  29. using System;
  30. using System.IO;
  31. using System.Collections;
  32. using System.Runtime.Serialization;
  33. using System.Reflection;
  34. using System.Reflection.Emit;
  35. using System.Globalization;
  36. namespace System.Runtime.Serialization.Formatters.Binary
  37. {
  38. internal class CodeGenerator
  39. {
  40. // Code generation
  41. static ModuleBuilder _module;
  42. static CodeGenerator ()
  43. {
  44. AppDomain myDomain = System.Threading.Thread.GetDomain();
  45. AssemblyName myAsmName = new AssemblyName();
  46. myAsmName.Name = "__MetadataTypes";
  47. AssemblyBuilder myAsmBuilder = myDomain.DefineInternalDynamicAssembly (myAsmName, AssemblyBuilderAccess.Run);
  48. _module = myAsmBuilder.DefineDynamicModule("__MetadataTypesModule", false);
  49. }
  50. static public Type GenerateMetadataType (Type type, StreamingContext context)
  51. {
  52. string name = type.Name + "__TypeMetadata";
  53. string sufix = "";
  54. int n = 0;
  55. while (_module.GetType (name + sufix) != null)
  56. sufix = (++n).ToString();
  57. name += sufix;
  58. MemberInfo[] members = FormatterServices.GetSerializableMembers (type, context);
  59. TypeBuilder typeBuilder = _module.DefineType (name, TypeAttributes.Public, typeof(ClrTypeMetadata));
  60. Type[] parameters;
  61. MethodBuilder method;
  62. ILGenerator gen;
  63. // *********************
  64. // METHOD public constructor (Type t): base (t);
  65. parameters = new Type[0];
  66. ConstructorBuilder ctor = typeBuilder.DefineConstructor (MethodAttributes.Public, CallingConventions.Standard, parameters);
  67. ConstructorInfo baseCtor = typeof(ClrTypeMetadata).GetConstructor (new Type[] { typeof(Type) });
  68. gen = ctor.GetILGenerator();
  69. gen.Emit (OpCodes.Ldarg_0);
  70. gen.Emit (OpCodes.Ldtoken, type);
  71. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  72. gen.Emit (OpCodes.Call, baseCtor);
  73. gen.Emit (OpCodes.Ret);
  74. // *********************
  75. // METHOD public override void WriteAssemblies (ObjectWriter ow, BinaryWriter writer);
  76. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter) };
  77. method = typeBuilder.DefineMethod ("WriteAssemblies", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  78. gen = method.GetILGenerator();
  79. foreach (FieldInfo field in members)
  80. {
  81. Type memberType = field.FieldType;
  82. while (memberType.IsArray)
  83. memberType = memberType.GetElementType();
  84. if (memberType.Assembly != ObjectWriter.CorlibAssembly)
  85. {
  86. // EMIT ow.WriteAssembly (writer, memberType.Assembly);
  87. gen.Emit (OpCodes.Ldarg_1);
  88. gen.Emit (OpCodes.Ldarg_2);
  89. EmitLoadTypeAssembly (gen, memberType, field.Name);
  90. gen.EmitCall (OpCodes.Callvirt, typeof(ObjectWriter).GetMethod("WriteAssembly"), null);
  91. gen.Emit (OpCodes.Pop);
  92. }
  93. }
  94. gen.Emit(OpCodes.Ret);
  95. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteAssemblies"));
  96. // *********************
  97. // METHOD public override void WriteTypeData (ObjectWriter ow, BinaryWriter writer, bool writeTypes);
  98. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter), typeof(bool) };
  99. method = typeBuilder.DefineMethod ("WriteTypeData", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  100. gen = method.GetILGenerator();
  101. // EMIT writer.Write (members.Length);
  102. gen.Emit (OpCodes.Ldarg_2);
  103. gen.Emit (OpCodes.Ldc_I4, members.Length);
  104. EmitWrite (gen, typeof(int));
  105. // Names of fields
  106. foreach (FieldInfo field in members)
  107. {
  108. // EMIT writer.Write (name);
  109. gen.Emit (OpCodes.Ldarg_2);
  110. gen.Emit (OpCodes.Ldstr, field.Name);
  111. EmitWrite (gen, typeof(string));
  112. }
  113. Label falseLabel = gen.DefineLabel ();
  114. gen.Emit (OpCodes.Ldarg_3);
  115. gen.Emit (OpCodes.Brfalse, falseLabel);
  116. // Types of fields
  117. foreach (FieldInfo field in members)
  118. {
  119. // EMIT writer.Write ((byte) ObjectWriter.GetTypeTag (type));
  120. gen.Emit (OpCodes.Ldarg_2);
  121. gen.Emit (OpCodes.Ldc_I4_S, (byte) ObjectWriter.GetTypeTag (field.FieldType));
  122. EmitWrite (gen, typeof(byte));
  123. }
  124. // Type specs of fields
  125. foreach (FieldInfo field in members)
  126. {
  127. // EMIT ow.WriteTypeSpec (writer, field.FieldType);
  128. EmitWriteTypeSpec (gen, field.FieldType, field.Name);
  129. }
  130. gen.MarkLabel(falseLabel);
  131. gen.Emit(OpCodes.Ret);
  132. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteTypeData"));
  133. // *********************
  134. // METHOD public override void WriteObjectData (ObjectWriter ow, BinaryWriter writer, object data)
  135. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter), typeof(object) };
  136. method = typeBuilder.DefineMethod ("WriteObjectData", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  137. gen = method.GetILGenerator();
  138. LocalBuilder localBuilder = gen.DeclareLocal (type);
  139. OpCode lload = OpCodes.Ldloc;
  140. gen.Emit (OpCodes.Ldarg_3);
  141. if (type.IsValueType)
  142. {
  143. gen.Emit (OpCodes.Unbox, type);
  144. LoadFromPtr (gen, type);
  145. lload = OpCodes.Ldloca_S;
  146. }
  147. else
  148. gen.Emit (OpCodes.Castclass, type);
  149. gen.Emit (OpCodes.Stloc, localBuilder);
  150. foreach (FieldInfo field in members)
  151. {
  152. // EMIT ow.WriteValue (writer, ((FieldInfo)members[n]).FieldType, values[n]);
  153. Type ftype = field.FieldType;
  154. if (BinaryCommon.IsPrimitive (ftype))
  155. {
  156. gen.Emit (OpCodes.Ldarg_2);
  157. gen.Emit (lload, localBuilder);
  158. if (ftype == typeof(DateTime) || ftype == typeof(TimeSpan) || ftype == typeof(decimal))
  159. gen.Emit (OpCodes.Ldflda, field);
  160. else
  161. gen.Emit (OpCodes.Ldfld, field);
  162. EmitWritePrimitiveValue (gen, ftype);
  163. }
  164. else
  165. {
  166. gen.Emit (OpCodes.Ldarg_1);
  167. gen.Emit (OpCodes.Ldarg_2);
  168. gen.Emit (OpCodes.Ldtoken, ftype);
  169. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  170. gen.Emit (lload, localBuilder);
  171. gen.Emit (OpCodes.Ldfld, field);
  172. if (ftype.IsValueType)
  173. gen.Emit (OpCodes.Box, ftype);
  174. gen.EmitCall (OpCodes.Call, typeof(ObjectWriter).GetMethod("WriteValue"), null);
  175. }
  176. }
  177. gen.Emit(OpCodes.Ret);
  178. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteObjectData"));
  179. return typeBuilder.CreateType();
  180. }
  181. public static void LoadFromPtr (ILGenerator ig, Type t)
  182. {
  183. if (t == typeof(int))
  184. ig.Emit (OpCodes.Ldind_I4);
  185. else if (t == typeof(uint))
  186. ig.Emit (OpCodes.Ldind_U4);
  187. else if (t == typeof(short))
  188. ig.Emit (OpCodes.Ldind_I2);
  189. else if (t == typeof(ushort))
  190. ig.Emit (OpCodes.Ldind_U2);
  191. else if (t == typeof(char))
  192. ig.Emit (OpCodes.Ldind_U2);
  193. else if (t == typeof(byte))
  194. ig.Emit (OpCodes.Ldind_U1);
  195. else if (t == typeof(sbyte))
  196. ig.Emit (OpCodes.Ldind_I1);
  197. else if (t == typeof(ulong))
  198. ig.Emit (OpCodes.Ldind_I8);
  199. else if (t == typeof(long))
  200. ig.Emit (OpCodes.Ldind_I8);
  201. else if (t == typeof(float))
  202. ig.Emit (OpCodes.Ldind_R4);
  203. else if (t == typeof(double))
  204. ig.Emit (OpCodes.Ldind_R8);
  205. else if (t == typeof(bool))
  206. ig.Emit (OpCodes.Ldind_I1);
  207. else if (t == typeof(IntPtr))
  208. ig.Emit (OpCodes.Ldind_I);
  209. else if (t.IsEnum) {
  210. if (t == typeof(Enum))
  211. ig.Emit (OpCodes.Ldind_Ref);
  212. else
  213. LoadFromPtr (ig, EnumToUnderlying (t));
  214. } else if (t.IsValueType)
  215. ig.Emit (OpCodes.Ldobj, t);
  216. else
  217. ig.Emit (OpCodes.Ldind_Ref);
  218. }
  219. public static void EmitWriteTypeSpec (ILGenerator gen, Type type, string member)
  220. {
  221. // WARNING Keep in sync with WriteTypeSpec
  222. switch (ObjectWriter.GetTypeTag (type))
  223. {
  224. case TypeTag.PrimitiveType:
  225. // EMIT writer.Write (BinaryCommon.GetTypeCode (type));
  226. gen.Emit (OpCodes.Ldarg_2);
  227. gen.Emit (OpCodes.Ldc_I4_S, (byte) BinaryCommon.GetTypeCode (type));
  228. EmitWrite (gen, typeof(byte));
  229. break;
  230. case TypeTag.RuntimeType:
  231. // EMIT writer.Write (type.FullName);
  232. gen.Emit (OpCodes.Ldarg_2);
  233. gen.Emit (OpCodes.Ldstr, type.FullName);
  234. EmitWrite (gen, typeof(string));
  235. break;
  236. case TypeTag.GenericType:
  237. // EMIT writer.Write (type.FullName);
  238. gen.Emit (OpCodes.Ldarg_2);
  239. gen.Emit (OpCodes.Ldstr, type.FullName);
  240. EmitWrite (gen, typeof(string));
  241. // EMIT writer.Write ((int)ow.GetAssemblyId (type.Assembly));
  242. gen.Emit (OpCodes.Ldarg_2);
  243. gen.Emit (OpCodes.Ldarg_1);
  244. EmitLoadTypeAssembly (gen, type, member);
  245. gen.EmitCall (OpCodes.Callvirt, typeof(ObjectWriter).GetMethod("GetAssemblyId"), null);
  246. gen.Emit (OpCodes.Conv_I4);
  247. EmitWrite (gen, typeof(int));
  248. break;
  249. case TypeTag.ArrayOfPrimitiveType:
  250. // EMIT writer.Write (BinaryCommon.GetTypeCode (type.GetElementType()));
  251. gen.Emit (OpCodes.Ldarg_2);
  252. gen.Emit (OpCodes.Ldc_I4_S, (byte) BinaryCommon.GetTypeCode (type.GetElementType()));
  253. EmitWrite (gen, typeof(byte));
  254. break;
  255. default:
  256. // Type spec not needed
  257. break;
  258. }
  259. }
  260. static void EmitLoadTypeAssembly (ILGenerator gen, Type type, string member)
  261. {
  262. gen.Emit (OpCodes.Ldtoken, type);
  263. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  264. gen.EmitCall (OpCodes.Callvirt, typeof(Type).GetProperty("Assembly").GetGetMethod(), null);
  265. }
  266. static void EmitWrite (ILGenerator gen, Type type)
  267. {
  268. gen.EmitCall (OpCodes.Callvirt, typeof(BinaryWriter).GetMethod("Write", new Type[] { type }), null);
  269. }
  270. public static void EmitWritePrimitiveValue (ILGenerator gen, Type type)
  271. {
  272. switch (Type.GetTypeCode (type))
  273. {
  274. case TypeCode.Boolean:
  275. case TypeCode.Byte:
  276. case TypeCode.Char:
  277. case TypeCode.Double:
  278. case TypeCode.Int16:
  279. case TypeCode.Int32:
  280. case TypeCode.Int64:
  281. case TypeCode.SByte:
  282. case TypeCode.Single:
  283. case TypeCode.UInt16:
  284. case TypeCode.UInt32:
  285. case TypeCode.UInt64:
  286. case TypeCode.String:
  287. EmitWrite (gen, type);
  288. break;
  289. case TypeCode.Decimal:
  290. // writer.Write (val.ToString (CultureInfo.InvariantCulture));
  291. gen.EmitCall (OpCodes.Call, typeof(CultureInfo).GetProperty("InvariantCulture").GetGetMethod(), null);
  292. gen.EmitCall (OpCodes.Call, typeof(Decimal).GetMethod("ToString", new Type[] {typeof(IFormatProvider)}), null);
  293. EmitWrite (gen, typeof(string));
  294. break;
  295. case TypeCode.DateTime:
  296. gen.EmitCall (OpCodes.Call, typeof(DateTime).GetProperty("Ticks").GetGetMethod(), null);
  297. EmitWrite (gen, typeof(long));
  298. break;
  299. default:
  300. if (type == typeof (TimeSpan)) {
  301. gen.EmitCall (OpCodes.Call, typeof(TimeSpan).GetProperty("Ticks").GetGetMethod(), null);
  302. EmitWrite (gen, typeof(long));
  303. }
  304. else
  305. throw new NotSupportedException ("Unsupported primitive type: " + type.FullName);
  306. break;
  307. }
  308. }
  309. //
  310. // This is needed, because enumerations from assemblies
  311. // do not report their underlyingtype, but they report
  312. // themselves
  313. //
  314. public static Type EnumToUnderlying (Type t)
  315. {
  316. TypeCode tc = Type.GetTypeCode (t);
  317. switch (tc){
  318. case TypeCode.Boolean:
  319. return typeof (bool);
  320. case TypeCode.Byte:
  321. return typeof (byte);
  322. case TypeCode.SByte:
  323. return typeof (sbyte);
  324. case TypeCode.Char:
  325. return typeof (char);
  326. case TypeCode.Int16:
  327. return typeof (short);
  328. case TypeCode.UInt16:
  329. return typeof (ushort);
  330. case TypeCode.Int32:
  331. return typeof (int);
  332. case TypeCode.UInt32:
  333. return typeof (uint);
  334. case TypeCode.Int64:
  335. return typeof (long);
  336. case TypeCode.UInt64:
  337. return typeof (ulong);
  338. }
  339. throw new Exception ("Unhandled typecode in enum " + tc + " from " + t.AssemblyQualifiedName);
  340. }
  341. }
  342. }