CodeGenerator.cs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398
  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 public Type GenerateMetadataType (Type type, StreamingContext context)
  43. {
  44. if (_module == null)
  45. {
  46. lock (typeof (ObjectWriter))
  47. {
  48. if (_module == null) {
  49. AppDomain myDomain = System.Threading.Thread.GetDomain();
  50. AssemblyName myAsmName = new AssemblyName();
  51. myAsmName.Name = "__MetadataTypes";
  52. AssemblyBuilder myAsmBuilder = myDomain.DefineDynamicAssembly (myAsmName, AssemblyBuilderAccess.Run);
  53. _module = myAsmBuilder.DefineDynamicModule("__MetadataTypesModule", true);
  54. }
  55. }
  56. }
  57. string name = type.Name + "__TypeMetadata";
  58. string sufix = "";
  59. int n = 0;
  60. while (_module.GetType (name + sufix) != null)
  61. sufix = (++n).ToString();
  62. name += sufix;
  63. MemberInfo[] members = FormatterServices.GetSerializableMembers (type, context);
  64. TypeBuilder typeBuilder = _module.DefineType (name, TypeAttributes.Public, typeof(TypeMetadata));
  65. Type[] parameters;
  66. MethodBuilder method;
  67. ILGenerator gen;
  68. // *********************
  69. // METHOD public constructor (Type t): base (t);
  70. parameters = new Type[0];
  71. ConstructorBuilder ctor = typeBuilder.DefineConstructor (MethodAttributes.Public, CallingConventions.Standard, parameters);
  72. ConstructorInfo baseCtor = typeof(TypeMetadata).GetConstructor (new Type[] { typeof(Type) });
  73. gen = ctor.GetILGenerator();
  74. gen.Emit (OpCodes.Ldarg_0);
  75. gen.Emit (OpCodes.Ldtoken, type);
  76. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  77. gen.Emit (OpCodes.Call, baseCtor);
  78. gen.Emit (OpCodes.Ret);
  79. // *********************
  80. // METHOD public override void WriteAssemblies (ObjectWriter ow, BinaryWriter writer);
  81. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter) };
  82. method = typeBuilder.DefineMethod ("WriteAssemblies", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  83. gen = method.GetILGenerator();
  84. foreach (FieldInfo field in members)
  85. {
  86. Type memberType = field.FieldType;
  87. while (memberType.IsArray)
  88. memberType = memberType.GetElementType();
  89. if (memberType.Assembly != ObjectWriter.CorlibAssembly)
  90. {
  91. // EMIT ow.WriteAssembly (writer, memberType.Assembly);
  92. gen.Emit (OpCodes.Ldarg_1);
  93. gen.Emit (OpCodes.Ldarg_2);
  94. EmitLoadTypeAssembly (gen, memberType, field.Name);
  95. gen.EmitCall (OpCodes.Callvirt, typeof(ObjectWriter).GetMethod("WriteAssembly"), null);
  96. gen.Emit (OpCodes.Pop);
  97. }
  98. }
  99. gen.Emit(OpCodes.Ret);
  100. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteAssemblies"));
  101. // *********************
  102. // METHOD public override void WriteTypeData (ObjectWriter ow, BinaryWriter writer);
  103. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter) };
  104. method = typeBuilder.DefineMethod ("WriteTypeData", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  105. gen = method.GetILGenerator();
  106. // EMIT writer.Write (members.Length);
  107. gen.Emit (OpCodes.Ldarg_2);
  108. gen.Emit (OpCodes.Ldc_I4, members.Length);
  109. EmitWrite (gen, typeof(int));
  110. // Names of fields
  111. foreach (FieldInfo field in members)
  112. {
  113. // EMIT writer.Write (name);
  114. gen.Emit (OpCodes.Ldarg_2);
  115. if (field.DeclaringType == type)
  116. gen.Emit (OpCodes.Ldstr, field.Name);
  117. else
  118. gen.Emit (OpCodes.Ldstr, field.DeclaringType.Name + "+" + field.Name);
  119. EmitWrite (gen, typeof(string));
  120. }
  121. // Types of fields
  122. foreach (FieldInfo field in members)
  123. {
  124. // EMIT writer.Write ((byte) ObjectWriter.GetTypeTag (type));
  125. gen.Emit (OpCodes.Ldarg_2);
  126. gen.Emit (OpCodes.Ldc_I4_S, (byte) ObjectWriter.GetTypeTag (field.FieldType));
  127. EmitWrite (gen, typeof(byte));
  128. }
  129. // Type specs of fields
  130. foreach (FieldInfo field in members)
  131. {
  132. // EMIT ow.WriteTypeSpec (writer, field.FieldType);
  133. EmitWriteTypeSpec (gen, field.FieldType, field.Name);
  134. }
  135. gen.Emit(OpCodes.Ret);
  136. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteTypeData"));
  137. // *********************
  138. // METHOD public override void WriteObjectData (ObjectWriter ow, BinaryWriter writer, object data)
  139. parameters = new Type[] { typeof(ObjectWriter), typeof(BinaryWriter), typeof(object) };
  140. method = typeBuilder.DefineMethod ("WriteObjectData", MethodAttributes.Public | MethodAttributes.Virtual, typeof(void), parameters);
  141. gen = method.GetILGenerator();
  142. LocalBuilder localBuilder = gen.DeclareLocal (type);
  143. OpCode lload = OpCodes.Ldloc;
  144. gen.Emit (OpCodes.Ldarg_3);
  145. if (type.IsValueType)
  146. {
  147. gen.Emit (OpCodes.Unbox, type);
  148. LoadFromPtr (gen, type);
  149. lload = OpCodes.Ldloca_S;
  150. }
  151. else
  152. gen.Emit (OpCodes.Castclass, type);
  153. gen.Emit (OpCodes.Stloc, localBuilder);
  154. foreach (FieldInfo field in members)
  155. {
  156. // EMIT ow.WriteValue (writer, ((FieldInfo)members[n]).FieldType, values[n]);
  157. Type ftype = field.FieldType;
  158. if (BinaryCommon.IsPrimitive (ftype))
  159. {
  160. gen.Emit (OpCodes.Ldarg_2);
  161. gen.Emit (lload, localBuilder);
  162. if (ftype == typeof(DateTime) || ftype == typeof(TimeSpan) || ftype == typeof(decimal))
  163. gen.Emit (OpCodes.Ldflda, field);
  164. else
  165. gen.Emit (OpCodes.Ldfld, field);
  166. EmitWritePrimitiveValue (gen, ftype);
  167. }
  168. else
  169. {
  170. gen.Emit (OpCodes.Ldarg_1);
  171. gen.Emit (OpCodes.Ldarg_2);
  172. gen.Emit (OpCodes.Ldtoken, ftype);
  173. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  174. gen.Emit (lload, localBuilder);
  175. gen.Emit (OpCodes.Ldfld, field);
  176. if (ftype.IsValueType)
  177. gen.Emit (OpCodes.Box, ftype);
  178. gen.EmitCall (OpCodes.Call, typeof(ObjectWriter).GetMethod("WriteValue"), null);
  179. }
  180. }
  181. gen.Emit(OpCodes.Ret);
  182. typeBuilder.DefineMethodOverride (method, typeof(TypeMetadata).GetMethod ("WriteObjectData"));
  183. return typeBuilder.CreateType();
  184. }
  185. public static void LoadFromPtr (ILGenerator ig, Type t)
  186. {
  187. if (t == typeof(int))
  188. ig.Emit (OpCodes.Ldind_I4);
  189. else if (t == typeof(uint))
  190. ig.Emit (OpCodes.Ldind_U4);
  191. else if (t == typeof(short))
  192. ig.Emit (OpCodes.Ldind_I2);
  193. else if (t == typeof(ushort))
  194. ig.Emit (OpCodes.Ldind_U2);
  195. else if (t == typeof(char))
  196. ig.Emit (OpCodes.Ldind_U2);
  197. else if (t == typeof(byte))
  198. ig.Emit (OpCodes.Ldind_U1);
  199. else if (t == typeof(sbyte))
  200. ig.Emit (OpCodes.Ldind_I1);
  201. else if (t == typeof(ulong))
  202. ig.Emit (OpCodes.Ldind_I8);
  203. else if (t == typeof(long))
  204. ig.Emit (OpCodes.Ldind_I8);
  205. else if (t == typeof(float))
  206. ig.Emit (OpCodes.Ldind_R4);
  207. else if (t == typeof(double))
  208. ig.Emit (OpCodes.Ldind_R8);
  209. else if (t == typeof(bool))
  210. ig.Emit (OpCodes.Ldind_I1);
  211. else if (t == typeof(IntPtr))
  212. ig.Emit (OpCodes.Ldind_I);
  213. else if (t.IsEnum) {
  214. if (t == typeof(Enum))
  215. ig.Emit (OpCodes.Ldind_Ref);
  216. else
  217. LoadFromPtr (ig, EnumToUnderlying (t));
  218. } else if (t.IsValueType)
  219. ig.Emit (OpCodes.Ldobj, t);
  220. else
  221. ig.Emit (OpCodes.Ldind_Ref);
  222. }
  223. public static void EmitWriteTypeSpec (ILGenerator gen, Type type, string member)
  224. {
  225. // WARNING Keep in sync with WriteTypeSpec
  226. switch (ObjectWriter.GetTypeTag (type))
  227. {
  228. case TypeTag.PrimitiveType:
  229. // EMIT writer.Write (BinaryCommon.GetTypeCode (type));
  230. gen.Emit (OpCodes.Ldarg_2);
  231. gen.Emit (OpCodes.Ldc_I4_S, (byte) BinaryCommon.GetTypeCode (type));
  232. EmitWrite (gen, typeof(byte));
  233. break;
  234. case TypeTag.RuntimeType:
  235. // EMIT writer.Write (type.FullName);
  236. gen.Emit (OpCodes.Ldarg_2);
  237. gen.Emit (OpCodes.Ldstr, type.FullName);
  238. EmitWrite (gen, typeof(string));
  239. break;
  240. case TypeTag.GenericType:
  241. // EMIT writer.Write (type.FullName);
  242. gen.Emit (OpCodes.Ldarg_2);
  243. gen.Emit (OpCodes.Ldstr, type.FullName);
  244. EmitWrite (gen, typeof(string));
  245. // EMIT writer.Write ((int)ow.GetAssemblyId (type.Assembly));
  246. gen.Emit (OpCodes.Ldarg_2);
  247. gen.Emit (OpCodes.Ldarg_1);
  248. EmitLoadTypeAssembly (gen, type, member);
  249. gen.EmitCall (OpCodes.Callvirt, typeof(ObjectWriter).GetMethod("GetAssemblyId"), null);
  250. gen.Emit (OpCodes.Conv_I4);
  251. EmitWrite (gen, typeof(int));
  252. break;
  253. case TypeTag.ArrayOfPrimitiveType:
  254. // EMIT writer.Write (BinaryCommon.GetTypeCode (type.GetElementType()));
  255. gen.Emit (OpCodes.Ldarg_2);
  256. gen.Emit (OpCodes.Ldc_I4_S, (byte) BinaryCommon.GetTypeCode (type.GetElementType()));
  257. EmitWrite (gen, typeof(byte));
  258. break;
  259. default:
  260. // Type spec not needed
  261. break;
  262. }
  263. }
  264. static void EmitLoadTypeAssembly (ILGenerator gen, Type type, string member)
  265. {
  266. gen.Emit (OpCodes.Ldtoken, type);
  267. gen.EmitCall (OpCodes.Call, typeof(Type).GetMethod("GetTypeFromHandle"), null);
  268. gen.EmitCall (OpCodes.Callvirt, typeof(Type).GetProperty("Assembly").GetGetMethod(), null);
  269. }
  270. static void EmitWrite (ILGenerator gen, Type type)
  271. {
  272. gen.EmitCall (OpCodes.Callvirt, typeof(BinaryWriter).GetMethod("Write", new Type[] { type }), null);
  273. }
  274. public static void EmitWritePrimitiveValue (ILGenerator gen, Type type)
  275. {
  276. switch (Type.GetTypeCode (type))
  277. {
  278. case TypeCode.Boolean:
  279. case TypeCode.Byte:
  280. case TypeCode.Char:
  281. case TypeCode.Double:
  282. case TypeCode.Int16:
  283. case TypeCode.Int32:
  284. case TypeCode.Int64:
  285. case TypeCode.SByte:
  286. case TypeCode.Single:
  287. case TypeCode.UInt16:
  288. case TypeCode.UInt32:
  289. case TypeCode.UInt64:
  290. case TypeCode.String:
  291. EmitWrite (gen, type);
  292. break;
  293. case TypeCode.Decimal:
  294. // writer.Write (val.ToString (CultureInfo.InvariantCulture));
  295. gen.EmitCall (OpCodes.Call, typeof(CultureInfo).GetProperty("InvariantCulture").GetGetMethod(), null);
  296. gen.EmitCall (OpCodes.Call, typeof(Decimal).GetMethod("ToString", new Type[] {typeof(IFormatProvider)}), null);
  297. EmitWrite (gen, typeof(string));
  298. break;
  299. case TypeCode.DateTime:
  300. gen.EmitCall (OpCodes.Call, typeof(DateTime).GetProperty("Ticks").GetGetMethod(), null);
  301. EmitWrite (gen, typeof(long));
  302. break;
  303. default:
  304. if (type == typeof (TimeSpan)) {
  305. gen.EmitCall (OpCodes.Call, typeof(TimeSpan).GetProperty("Ticks").GetGetMethod(), null);
  306. EmitWrite (gen, typeof(long));
  307. }
  308. else
  309. throw new NotSupportedException ("Unsupported primitive type: " + type.FullName);
  310. break;
  311. }
  312. }
  313. //
  314. // This is needed, because enumerations from assemblies
  315. // do not report their underlyingtype, but they report
  316. // themselves
  317. //
  318. public static Type EnumToUnderlying (Type t)
  319. {
  320. TypeCode tc = Type.GetTypeCode (t);
  321. switch (tc){
  322. case TypeCode.Boolean:
  323. return typeof (bool);
  324. case TypeCode.Byte:
  325. return typeof (byte);
  326. case TypeCode.SByte:
  327. return typeof (sbyte);
  328. case TypeCode.Char:
  329. return typeof (char);
  330. case TypeCode.Int16:
  331. return typeof (short);
  332. case TypeCode.UInt16:
  333. return typeof (ushort);
  334. case TypeCode.Int32:
  335. return typeof (int);
  336. case TypeCode.UInt32:
  337. return typeof (uint);
  338. case TypeCode.Int64:
  339. return typeof (long);
  340. case TypeCode.UInt64:
  341. return typeof (ulong);
  342. }
  343. throw new Exception ("Unhandled typecode in enum " + tc + " from " + t.AssemblyQualifiedName);
  344. }
  345. }
  346. }