mcs/class/Mono.Cecil/Mono.Cecil/ReflectionWriter.cs

   1 //
   2 // ReflectionWriter.cs
   3 //
   4 // Author:
   5 //   Jb Evain (jbevain@gmail.com)
   6 //
   7 // (C) 2005 - 2007 Jb Evain
   8 //
   9 // Permission is hereby granted, free of charge, to any person obtaining
  10 // a copy of this software and associated documentation files (the
  11 // "Software"), to deal in the Software without restriction, including
  12 // without limitation the rights to use, copy, modify, merge, publish,
  13 // distribute, sublicense, and/or sell copies of the Software, and to
  14 // permit persons to whom the Software is furnished to do so, subject to
  15 // the following conditions:
  16 //
  17 // The above copyright notice and this permission notice shall be
  18 // included in all copies or substantial portions of the Software.
  19 //
  20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  27 //
  28
  29 namespace Mono.Cecil {
  30
  31         using System;
  32         using System.Collections;
  33         using System.Globalization;
  34         using System.Text;
  35
  36         using Mono.Cecil.Binary;
  37         using Mono.Cecil.Cil;
  38         using Mono.Cecil.Metadata;
  39         using Mono.Cecil.Signatures;
  40
  41         internal sealed class ReflectionWriter : BaseReflectionVisitor {
  42
  43                 StructureWriter m_structureWriter;
  44                 ModuleDefinition m_mod;
  45                 SignatureWriter m_sigWriter;
  46                 CodeWriter m_codeWriter;
  47                 MetadataWriter m_mdWriter;
  48                 MetadataTableWriter m_tableWriter;
  49                 MetadataRowWriter m_rowWriter;
  50
  51                 bool m_saveSymbols;
  52                 string m_asmOutput;
  53                 ISymbolWriter m_symbolWriter;
  54
  55                 ArrayList m_typeDefStack;
  56                 ArrayList m_methodStack;
  57                 ArrayList m_fieldStack;
  58                 ArrayList m_genericParamStack;
  59                 IDictionary m_typeSpecTokenCache;
  60                 IDictionary m_memberRefTokenCache;
  61
  62                 uint m_methodIndex;
  63                 uint m_fieldIndex;
  64                 uint m_paramIndex;
  65                 uint m_eventIndex;
  66                 uint m_propertyIndex;
  67
  68                 MemoryBinaryWriter m_constWriter;
  69
  70                 public StructureWriter StructureWriter {
  71                         get { return m_structureWriter; }
  72                         set {
  73                                  m_structureWriter = value;
  74
  75                                 Initialize ();
  76                         }
  77                 }
  78
  79                 public CodeWriter CodeWriter {
  80                         get { return m_codeWriter; }
  81                 }
  82
  83                 public bool SaveSymbols {
  84                         get { return m_saveSymbols; }
  85                         set { m_saveSymbols = value; }
  86                 }
  87
  88                 public string OutputFile
  89                 {
  90                         get { return m_asmOutput; }
  91                         set { m_asmOutput = value; }
  92                 }
  93
  94                 public ISymbolWriter SymbolWriter {
  95                         get { return m_symbolWriter; }
  96                         set { m_symbolWriter = value; }
  97                 }
  98
  99                 public SignatureWriter SignatureWriter {
 100                         get { return m_sigWriter; }
 101                 }
 102
 103                 public MetadataWriter MetadataWriter {
 104                         get { return m_mdWriter; }
 105                 }
 106
 107                 public MetadataTableWriter MetadataTableWriter {
 108                         get { return m_tableWriter; }
 109                 }
 110
 111                 public MetadataRowWriter MetadataRowWriter {
 112                         get { return m_rowWriter; }
 113                 }
 114
 115                 public ReflectionWriter (ModuleDefinition mod)
 116                 {
 117                         m_mod = mod;
 118                 }
 119
 120                 void Initialize ()
 121                 {
 122                         m_mdWriter = new MetadataWriter (
 123                                 m_mod.Assembly,
 124                                 m_mod.Image.MetadataRoot,
 125                                 m_structureWriter.Assembly.Kind,
 126                                 m_mod.Assembly.Runtime,
 127                                 m_structureWriter.GetWriter ());
 128                         m_tableWriter = m_mdWriter.GetTableVisitor ();
 129                         m_rowWriter = m_tableWriter.GetRowVisitor () as MetadataRowWriter;
 130                         m_sigWriter = new SignatureWriter (m_mdWriter);
 131                         m_codeWriter = new CodeWriter (this, m_mdWriter.CilWriter);
 132
 133                         m_typeDefStack = new ArrayList ();
 134                         m_methodStack = new ArrayList ();
 135                         m_fieldStack = new ArrayList ();
 136                         m_genericParamStack = new ArrayList ();
 137                         m_typeSpecTokenCache = new Hashtable ();
 138                         m_memberRefTokenCache = new Hashtable ();
 139
 140                         m_methodIndex = 1;
 141                         m_fieldIndex = 1;
 142                         m_paramIndex = 1;
 143                         m_eventIndex = 1;
 144                         m_propertyIndex = 1;
 145
 146                         m_constWriter = new MemoryBinaryWriter ();
 147                 }
 148
 149                 public TypeReference GetCoreType (string name)
 150                 {
 151                         return m_mod.Controller.Reader.SearchCoreType (name);
 152                 }
 153
 154                 public static uint GetRidFor (IMetadataTokenProvider tp)
 155                 {
 156                         return tp.MetadataToken.RID;
 157                 }
 158
 159                 public uint GetRidFor (AssemblyNameReference asmName)
 160                 {
 161                         return (uint) m_mod.AssemblyReferences.IndexOf (asmName) + 1;
 162                 }
 163
 164                 public uint GetRidFor (ModuleDefinition mod)
 165                 {
 166                         return (uint) m_mod.Assembly.Modules.IndexOf (mod) + 1;
 167                 }
 168
 169                 public uint GetRidFor (ModuleReference modRef)
 170                 {
 171                         return (uint) m_mod.ModuleReferences.IndexOf (modRef) + 1;
 172                 }
 173
 174                 static bool IsTypeSpec (TypeReference type)
 175                 {
 176                         return type is TypeSpecification || type is GenericParameter;
 177                 }
 178
 179                 public MetadataToken GetTypeDefOrRefToken (TypeReference type)
 180                 {
 181                         if (IsTypeSpec (type)) {
 182                                 uint sig = m_sigWriter.AddTypeSpec (GetTypeSpecSig (type));
 183                                 if (m_typeSpecTokenCache.Contains (sig))
 184                                         return (MetadataToken) m_typeSpecTokenCache [sig];
 185
 186                                 TypeSpecTable tsTable = m_tableWriter.GetTypeSpecTable ();
 187                                 TypeSpecRow tsRow = m_rowWriter.CreateTypeSpecRow (sig);
 188                                 tsTable.Rows.Add (tsRow);
 189
 190                                 MetadataToken token = new MetadataToken (TokenType.TypeSpec, (uint) tsTable.Rows.Count);
 191                                 if (! (type is GenericParameter))
 192                                         type.MetadataToken = token;
 193
 194                                 m_typeSpecTokenCache [sig] = token;
 195                                 return token;
 196                         } else if (type != null)
 197                                 return type.MetadataToken;
 198                         else // <Module> and interfaces
 199                                 return new MetadataToken (TokenType.TypeRef, 0);
 200                 }
 201
 202                 public MetadataToken GetMemberRefToken (MemberReference member)
 203                 {
 204                         if (member is MethodSpecification)
 205                                 return GetMemberRefToken (((MethodSpecification) member).ElementMethod);
 206                         if (member is IMemberDefinition)
 207                                 return member.MetadataToken;
 208                         if (m_memberRefTokenCache.Contains (member))
 209                                 return (MetadataToken) m_memberRefTokenCache [member];
 210
 211                         MemberRefTable mrTable = m_tableWriter.GetMemberRefTable ();
 212
 213                         uint sig = 0;
 214                         if (member is FieldReference)
 215                                 sig = m_sigWriter.AddFieldSig (GetFieldSig ((FieldReference) member));
 216                         else if (member is MethodReference)
 217                                 sig = m_sigWriter.AddMethodRefSig (GetMethodRefSig ((MethodReference) member));
 218
 219                         MetadataToken declaringType = GetTypeDefOrRefToken (member.DeclaringType);
 220                         uint name = m_mdWriter.AddString (member.Name);
 221
 222                         for (int i = 0; i < mrTable.Rows.Count; i++) {
 223                                 MemberRefRow row = mrTable [i];
 224                                 if (row.Class == declaringType && row.Name == name && row.Signature == sig)
 225                                         return MetadataToken.FromMetadataRow (TokenType.MemberRef, i);
 226                         }
 227
 228                         MemberRefRow mrRow = m_rowWriter.CreateMemberRefRow (
 229                                 declaringType,
 230                                 name,
 231                                 sig);
 232
 233                         mrTable.Rows.Add (mrRow);
 234                         member.MetadataToken = new MetadataToken (
 235                                 TokenType.MemberRef, (uint) mrTable.Rows.Count);
 236                         m_memberRefTokenCache [member] = member.MetadataToken;
 237                         return member.MetadataToken;
 238                 }
 239
 240                 public MetadataToken GetMethodSpecToken (GenericInstanceMethod gim)
 241                 {
 242                         uint sig = m_sigWriter.AddMethodSpec (GetMethodSpecSig (gim));
 243                         MethodSpecTable msTable = m_tableWriter.GetMethodSpecTable ();
 244
 245                         MetadataToken meth = GetMemberRefToken (gim.ElementMethod);
 246
 247                         for (int i = 0; i < msTable.Rows.Count; i++) {
 248                                 MethodSpecRow row = msTable [i];
 249                                 if (row.Method == meth && row.Instantiation == sig)
 250                                         return MetadataToken.FromMetadataRow (TokenType.MethodSpec, i);
 251                         }
 252
 253                         MethodSpecRow msRow = m_rowWriter.CreateMethodSpecRow (
 254                                 meth,
 255                                 sig);
 256                         msTable.Rows.Add (msRow);
 257                         gim.MetadataToken = new MetadataToken (TokenType.MethodSpec, (uint) msTable.Rows.Count);
 258                         return gim.MetadataToken;
 259                 }
 260
 261                 public override void VisitModuleDefinition (ModuleDefinition mod)
 262                 {
 263                         mod.FullLoad ();
 264                 }
 265
 266                 public override void VisitTypeDefinitionCollection (TypeDefinitionCollection types)
 267                 {
 268                         TypeDefTable tdTable = m_tableWriter.GetTypeDefTable ();
 269
 270                         if (types [Constants.ModuleType] == null)
 271                                 types.Add (new TypeDefinition (
 272                                                 Constants.ModuleType, string.Empty, TypeAttributes.NotPublic));
 273
 274                         foreach (TypeDefinition t in types)
 275                                 m_typeDefStack.Add (t);
 276
 277                         m_typeDefStack.Sort (TableComparers.TypeDef.Instance);
 278
 279                         for (int i = 0; i < m_typeDefStack.Count; i++) {
 280                                 TypeDefinition t = (TypeDefinition) m_typeDefStack [i];
 281                                 if (t.Module.Assembly != m_mod.Assembly)
 282                                         throw new ReflectionException ("A type as not been correctly imported");
 283
 284                                 t.MetadataToken = new MetadataToken (TokenType.TypeDef, (uint) (i + 1));
 285                         }
 286
 287                         foreach (TypeDefinition t in m_typeDefStack) {
 288                                 TypeDefRow tdRow = m_rowWriter.CreateTypeDefRow (
 289                                         t.Attributes,
 290                                         m_mdWriter.AddString (t.Name),
 291                                         m_mdWriter.AddString (t.Namespace),
 292                                         GetTypeDefOrRefToken (t.BaseType),
 293                                         0,
 294                                         0);
 295
 296                                 tdTable.Rows.Add (tdRow);
 297                         }
 298                 }
 299
 300                 public void CompleteTypeDefinitions ()
 301                 {
 302                         TypeDefTable tdTable = m_tableWriter.GetTypeDefTable ();
 303
 304                         for (int i = 0; i < m_typeDefStack.Count; i++) {
 305                                 TypeDefRow tdRow = tdTable [i];
 306                                 TypeDefinition t = (TypeDefinition) m_typeDefStack [i];
 307                                 tdRow.FieldList = m_fieldIndex;
 308                                 tdRow.MethodList = m_methodIndex;
 309                                 foreach (FieldDefinition field in t.Fields)
 310                                         VisitFieldDefinition (field);
 311                                 foreach (MethodDefinition ctor in t.Constructors)
 312                                         VisitMethodDefinition (ctor);
 313                                 foreach (MethodDefinition meth in t.Methods)
 314                                         VisitMethodDefinition (meth);
 315
 316                                 if (t.HasLayoutInfo)
 317                                         WriteLayout (t);
 318                         }
 319
 320                         foreach (FieldDefinition field in m_fieldStack) {
 321                                 VisitCustomAttributeCollection (field.CustomAttributes);
 322                                 if (field.MarshalSpec != null)
 323                                         VisitMarshalSpec (field.MarshalSpec);
 324                         }
 325
 326                         foreach (MethodDefinition meth in m_methodStack) {
 327                                 VisitCustomAttributeCollection (meth.ReturnType.CustomAttributes);
 328                                 foreach (ParameterDefinition param in meth.Parameters)
 329                                         VisitCustomAttributeCollection (param.CustomAttributes);
 330                                 VisitGenericParameterCollection (meth.GenericParameters);
 331                                 VisitOverrideCollection (meth.Overrides);
 332                                 VisitCustomAttributeCollection (meth.CustomAttributes);
 333                                 VisitSecurityDeclarationCollection (meth.SecurityDeclarations);
 334                                 if (meth.PInvokeInfo != null) {
 335                                         meth.Attributes |= MethodAttributes.PInvokeImpl;
 336                                         VisitPInvokeInfo (meth.PInvokeInfo);
 337                                 }
 338                         }
 339
 340                         foreach (TypeDefinition t in m_typeDefStack)
 341                                 t.Accept (this);
 342                 }
 343
 344                 public override void VisitTypeReferenceCollection (TypeReferenceCollection refs)
 345                 {
 346                         ArrayList orderedTypeRefs = new ArrayList (refs.Count);
 347                         foreach (TypeReference tr in refs)
 348                                 orderedTypeRefs.Add (tr);
 349
 350                         orderedTypeRefs.Sort (TableComparers.TypeRef.Instance);
 351
 352                         TypeRefTable trTable = m_tableWriter.GetTypeRefTable ();
 353                         foreach (TypeReference t in orderedTypeRefs) {
 354                                 MetadataToken scope;
 355
 356                                 if (t.Module.Assembly != m_mod.Assembly)
 357                                         throw new ReflectionException ("A type as not been correctly imported");
 358
 359                                 if (t.Scope == null)
 360                                         continue;
 361
 362                                 if (t.DeclaringType != null)
 363                                         scope = new MetadataToken (TokenType.TypeRef, GetRidFor (t.DeclaringType));
 364                                 else if (t.Scope is AssemblyNameReference)
 365                                         scope = new MetadataToken (TokenType.AssemblyRef,
 366                                                 GetRidFor ((AssemblyNameReference) t.Scope));
 367                                 else if (t.Scope is ModuleDefinition)
 368                                         scope = new MetadataToken (TokenType.Module,
 369                                                 GetRidFor ((ModuleDefinition) t.Scope));
 370                                 else if (t.Scope is ModuleReference)
 371                                         scope = new MetadataToken (TokenType.ModuleRef,
 372                                                 GetRidFor ((ModuleReference) t.Scope));
 373                                 else
 374                                         scope = new MetadataToken (TokenType.ExportedType, 0);
 375
 376                                 TypeRefRow trRow = m_rowWriter.CreateTypeRefRow (
 377                                         scope,
 378                                         m_mdWriter.AddString (t.Name),
 379                                         m_mdWriter.AddString (t.Namespace));
 380
 381                                 trTable.Rows.Add (trRow);
 382                                 t.MetadataToken = new MetadataToken (TokenType.TypeRef, (uint) trTable.Rows.Count);
 383                         }
 384                 }
 385
 386                 public override void VisitGenericParameterCollection (GenericParameterCollection parameters)
 387                 {
 388                         if (parameters.Count == 0)
 389                                 return;
 390
 391                         foreach (GenericParameter gp in parameters)
 392                                 m_genericParamStack.Add (gp);
 393                 }
 394
 395                 public override void VisitInterfaceCollection (InterfaceCollection interfaces)
 396                 {
 397                         if (interfaces.Count == 0)
 398                                 return;
 399
 400                         InterfaceImplTable iiTable = m_tableWriter.GetInterfaceImplTable ();
 401                         foreach (TypeReference interf in interfaces) {
 402                                 InterfaceImplRow iiRow = m_rowWriter.CreateInterfaceImplRow (
 403                                         GetRidFor (interfaces.Container),
 404                                         GetTypeDefOrRefToken (interf));
 405
 406                                 iiTable.Rows.Add (iiRow);
 407                         }
 408                 }
 409
 410                 public override void VisitExternTypeCollection (ExternTypeCollection externs)
 411                 {
 412                         VisitCollection (externs);
 413                 }
 414
 415                 public override void VisitExternType (TypeReference externType)
 416                 {
 417                         // TODO
 418                 }
 419
 420                 public override void VisitOverrideCollection (OverrideCollection meths)
 421                 {
 422                         if (meths.Count == 0)
 423                                 return;
 424
 425                         MethodImplTable miTable = m_tableWriter.GetMethodImplTable ();
 426                         foreach (MethodReference ov in meths) {
 427                                 MethodImplRow miRow = m_rowWriter.CreateMethodImplRow (
 428                                         GetRidFor (meths.Container.DeclaringType as TypeDefinition),
 429                                         new MetadataToken (TokenType.Method, GetRidFor (meths.Container)),
 430                                         GetMemberRefToken (ov));
 431
 432                                 miTable.Rows.Add (miRow);
 433                         }
 434                 }
 435
 436                 public override void VisitNestedTypeCollection (NestedTypeCollection nestedTypes)
 437                 {
 438                         if (nestedTypes.Count == 0)
 439                                 return;
 440
 441                         NestedClassTable ncTable = m_tableWriter.GetNestedClassTable ();
 442                         foreach (TypeDefinition nested in nestedTypes) {
 443                                 NestedClassRow ncRow = m_rowWriter.CreateNestedClassRow (
 444                                         nested.MetadataToken.RID,
 445                                         GetRidFor (nestedTypes.Container));
 446
 447                                 ncTable.Rows.Add (ncRow);
 448                         }
 449                 }
 450
 451                 public override void VisitParameterDefinitionCollection (ParameterDefinitionCollection parameters)
 452                 {
 453                         if (parameters.Count == 0)
 454                                 return;
 455
 456                         ushort seq = 1;
 457                         ParamTable pTable = m_tableWriter.GetParamTable ();
 458                         foreach (ParameterDefinition param in parameters)
 459                                 InsertParameter (pTable, param, seq++);
 460                 }
 461
 462                 void InsertParameter (ParamTable pTable, ParameterDefinition param, ushort seq)
 463                 {
 464                         ParamRow pRow = m_rowWriter.CreateParamRow (
 465                                 param.Attributes,
 466                                 seq,
 467                                 m_mdWriter.AddString (param.Name));
 468
 469                         pTable.Rows.Add (pRow);
 470                         param.MetadataToken = new MetadataToken (TokenType.Param, (uint) pTable.Rows.Count);
 471
 472                         if (param.MarshalSpec != null)
 473                                 param.MarshalSpec.Accept (this);
 474
 475                         if (param.HasConstant)
 476                                 WriteConstant (param, param.ParameterType);
 477
 478                         m_paramIndex++;
 479                 }
 480
 481                 static bool RequiresParameterRow (MethodReturnType mrt)
 482                 {
 483                         return mrt.HasConstant || mrt.MarshalSpec != null ||
 484                                 mrt.CustomAttributes.Count > 0 || mrt.Parameter.Attributes != (ParameterAttributes) 0;
 485                 }
 486
 487                 public override void VisitMethodDefinition (MethodDefinition method)
 488                 {
 489                         MethodTable mTable = m_tableWriter.GetMethodTable ();
 490                         MethodRow mRow = m_rowWriter.CreateMethodRow (
 491                                 RVA.Zero,
 492                                 method.ImplAttributes,
 493                                 method.Attributes,
 494                                 m_mdWriter.AddString (method.Name),
 495                                 m_sigWriter.AddMethodDefSig (GetMethodDefSig (method)),
 496                                 m_paramIndex);
 497
 498                         mTable.Rows.Add (mRow);
 499                         m_methodStack.Add (method);
 500                         method.MetadataToken = new MetadataToken (TokenType.Method, (uint) mTable.Rows.Count);
 501                         m_methodIndex++;
 502
 503                         if (RequiresParameterRow (method.ReturnType))
 504                                 InsertParameter (m_tableWriter.GetParamTable (), method.ReturnType.Parameter, 0);
 505
 506                         VisitParameterDefinitionCollection (method.Parameters);
 507                 }
 508
 509                 public override void VisitPInvokeInfo (PInvokeInfo pinvk)
 510                 {
 511                         ImplMapTable imTable = m_tableWriter.GetImplMapTable ();
 512                         ImplMapRow imRow = m_rowWriter.CreateImplMapRow (
 513                                 pinvk.Attributes,
 514                                 new MetadataToken (TokenType.Method, GetRidFor (pinvk.Method)),
 515                                 m_mdWriter.AddString (pinvk.EntryPoint),
 516                                 GetRidFor (pinvk.Module));
 517
 518                         imTable.Rows.Add (imRow);
 519                 }
 520
 521                 public override void VisitEventDefinitionCollection (EventDefinitionCollection events)
 522                 {
 523                         if (events.Count == 0)
 524                                 return;
 525
 526                         EventMapTable emTable = m_tableWriter.GetEventMapTable ();
 527                         EventMapRow emRow = m_rowWriter.CreateEventMapRow (
 528                                 GetRidFor (events.Container),
 529                                 m_eventIndex);
 530
 531                         emTable.Rows.Add (emRow);
 532                         VisitCollection (events);
 533                 }
 534
 535                 public override void VisitEventDefinition (EventDefinition evt)
 536                 {
 537                         EventTable eTable = m_tableWriter.GetEventTable ();
 538                         EventRow eRow = m_rowWriter.CreateEventRow (
 539                                 evt.Attributes,
 540                                 m_mdWriter.AddString (evt.Name),
 541                                 GetTypeDefOrRefToken (evt.EventType));
 542
 543                         eTable.Rows.Add (eRow);
 544                         evt.MetadataToken = new MetadataToken (TokenType.Event, (uint) eTable.Rows.Count);
 545
 546                         if (evt.AddMethod != null)
 547                                 WriteSemantic (MethodSemanticsAttributes.AddOn, evt, evt.AddMethod);
 548
 549                         if (evt.InvokeMethod != null)
 550                                 WriteSemantic (MethodSemanticsAttributes.Fire, evt, evt.InvokeMethod);
 551
 552                         if (evt.RemoveMethod != null)
 553                                 WriteSemantic (MethodSemanticsAttributes.RemoveOn, evt, evt.RemoveMethod);
 554
 555                         m_eventIndex++;
 556                 }
 557
 558                 public override void VisitFieldDefinition (FieldDefinition field)
 559                 {
 560                         FieldTable fTable = m_tableWriter.GetFieldTable ();
 561                         FieldRow fRow = m_rowWriter.CreateFieldRow (
 562                                 field.Attributes,
 563                                 m_mdWriter.AddString (field.Name),
 564                                 m_sigWriter.AddFieldSig (GetFieldSig (field)));
 565
 566                         fTable.Rows.Add (fRow);
 567                         field.MetadataToken = new MetadataToken (TokenType.Field, (uint) fTable.Rows.Count);
 568                         m_fieldIndex++;
 569
 570                         if (field.HasConstant)
 571                                 WriteConstant (field, field.FieldType);
 572
 573                         if (field.HasLayoutInfo)
 574                                 WriteLayout (field);
 575
 576                         m_fieldStack.Add (field);
 577                 }
 578
 579                 public override void VisitPropertyDefinitionCollection (PropertyDefinitionCollection properties)
 580                 {
 581                         if (properties.Count == 0)
 582                                 return;
 583
 584                         PropertyMapTable pmTable = m_tableWriter.GetPropertyMapTable ();
 585                         PropertyMapRow pmRow = m_rowWriter.CreatePropertyMapRow (
 586                                 GetRidFor (properties.Container),
 587                                 m_propertyIndex);
 588
 589                         pmTable.Rows.Add (pmRow);
 590                         VisitCollection (properties);
 591                 }
 592
 593                 public override void VisitPropertyDefinition (PropertyDefinition property)
 594                 {
 595                         PropertyTable pTable = m_tableWriter.GetPropertyTable ();
 596                         PropertyRow pRow = m_rowWriter.CreatePropertyRow (
 597                                 property.Attributes,
 598                                 m_mdWriter.AddString (property.Name),
 599                                 m_sigWriter.AddPropertySig (GetPropertySig (property)));
 600
 601                         pTable.Rows.Add (pRow);
 602                         property.MetadataToken = new MetadataToken (TokenType.Property, (uint) pTable.Rows.Count);
 603
 604                         if (property.GetMethod != null)
 605                                 WriteSemantic (MethodSemanticsAttributes.Getter, property, property.GetMethod);
 606
 607                         if (property.SetMethod != null)
 608                                 WriteSemantic (MethodSemanticsAttributes.Setter, property, property.SetMethod);
 609
 610                         if (property.HasConstant)
 611                                 WriteConstant (property, property.PropertyType);
 612
 613                         m_propertyIndex++;
 614                 }
 615
 616                 public override void VisitSecurityDeclarationCollection (SecurityDeclarationCollection secDecls)
 617                 {
 618                         if (secDecls.Count == 0)
 619                                 return;
 620
 621                         DeclSecurityTable dsTable = m_tableWriter.GetDeclSecurityTable ();
 622                         foreach (SecurityDeclaration secDec in secDecls) {
 623                                 DeclSecurityRow dsRow = m_rowWriter.CreateDeclSecurityRow (
 624                                         secDec.Action,
 625                                         secDecls.Container.MetadataToken,
 626                                         m_mdWriter.AddBlob (secDec.Resolved ?
 627                                                 m_mod.GetAsByteArray (secDec) : secDec.Blob));
 628
 629                                 dsTable.Rows.Add (dsRow);
 630                         }
 631                 }
 632
 633                 public override void VisitCustomAttributeCollection (CustomAttributeCollection customAttrs)
 634                 {
 635                         if (customAttrs.Count == 0)
 636                                 return;
 637
 638                         CustomAttributeTable caTable = m_tableWriter.GetCustomAttributeTable ();
 639                         foreach (CustomAttribute ca in customAttrs) {
 640                                 MetadataToken parent;
 641                                 if (customAttrs.Container is AssemblyDefinition)
 642                                         parent = new MetadataToken (TokenType.Assembly, 1);
 643                                 else if (customAttrs.Container is ModuleDefinition)
 644                                         parent = new MetadataToken (TokenType.Module, 1);
 645                                 else if (customAttrs.Container is IMetadataTokenProvider)
 646                                         parent = ((IMetadataTokenProvider) customAttrs.Container).MetadataToken;
 647                                 else
 648                                         throw new ReflectionException ("Unknown Custom Attribute parent");
 649
 650                                 uint value = ca.Resolved ?
 651                                         m_sigWriter.AddCustomAttribute (GetCustomAttributeSig (ca), ca.Constructor) :
 652                                         m_mdWriter.AddBlob (m_mod.GetAsByteArray (ca));
 653                                 CustomAttributeRow caRow = m_rowWriter.CreateCustomAttributeRow (
 654                                         parent,
 655                                         GetMemberRefToken (ca.Constructor),
 656                                         value);
 657
 658                                 caTable.Rows.Add (caRow);
 659                         }
 660                 }
 661
 662                 public override void VisitMarshalSpec (MarshalSpec marshalSpec)
 663                 {
 664                         FieldMarshalTable fmTable = m_tableWriter.GetFieldMarshalTable ();
 665                         FieldMarshalRow fmRow = m_rowWriter.CreateFieldMarshalRow (
 666                                 marshalSpec.Container.MetadataToken,
 667                                 m_sigWriter.AddMarshalSig (GetMarshalSig (marshalSpec)));
 668
 669                         fmTable.Rows.Add (fmRow);
 670                 }
 671
 672                 void WriteConstant (IHasConstant hc, TypeReference type)
 673                 {
 674                         ConstantTable cTable = m_tableWriter.GetConstantTable ();
 675                         ElementType et;
 676                         if (type is TypeDefinition && (type as TypeDefinition).IsEnum) {
 677                                 Type t = hc.Constant.GetType ();
 678                                 if (t.IsEnum)
 679                                         t = Enum.GetUnderlyingType (t);
 680
 681                                 et = GetCorrespondingType (string.Concat (t.Namespace, '.', t.Name));
 682                         } else
 683                                 et = GetCorrespondingType (type.FullName);
 684
 685                         if (et == ElementType.Object || et == ElementType.Type || et == ElementType.String)
 686                                 et = hc.Constant == null ?
 687                                         ElementType.Class :
 688                                         GetCorrespondingType (hc.Constant.GetType ().FullName);
 689
 690                         ConstantRow cRow = m_rowWriter.CreateConstantRow (
 691                                 et,
 692                                 hc.MetadataToken,
 693                                 m_mdWriter.AddBlob (EncodeConstant (et, hc.Constant)));
 694
 695                         cTable.Rows.Add (cRow);
 696                 }
 697
 698                 void WriteLayout (FieldDefinition field)
 699                 {
 700                         FieldLayoutTable flTable = m_tableWriter.GetFieldLayoutTable ();
 701                         FieldLayoutRow flRow = m_rowWriter.CreateFieldLayoutRow (
 702                                 field.Offset,
 703                                 GetRidFor (field));
 704
 705                         flTable.Rows.Add (flRow);
 706                 }
 707
 708                 void WriteLayout (TypeDefinition type)
 709                 {
 710                         ClassLayoutTable clTable = m_tableWriter.GetClassLayoutTable ();
 711                         ClassLayoutRow clRow = m_rowWriter.CreateClassLayoutRow (
 712                                 type.PackingSize,
 713                                 type.ClassSize,
 714                                 GetRidFor (type));
 715
 716                         clTable.Rows.Add (clRow);
 717                 }
 718
 719                 void WriteSemantic (MethodSemanticsAttributes attrs,
 720                         IMetadataTokenProvider member, MethodDefinition meth)
 721                 {
 722                         MethodSemanticsTable msTable = m_tableWriter.GetMethodSemanticsTable ();
 723                         MethodSemanticsRow msRow = m_rowWriter.CreateMethodSemanticsRow (
 724                                 attrs,
 725                                 GetRidFor (meth),
 726                                 member.MetadataToken);
 727
 728                         msTable.Rows.Add (msRow);
 729                 }
 730
 731                 void SortTables ()
 732                 {
 733                         TablesHeap th = m_mdWriter.GetMetadataRoot ().Streams.TablesHeap;
 734                         th.Sorted = 0;
 735
 736                         if (th.HasTable (NestedClassTable.RId))
 737                                 m_tableWriter.GetNestedClassTable ().Rows.Sort (
 738                                         TableComparers.NestedClass.Instance);
 739                         th.Sorted |= ((long) 1 << NestedClassTable.RId);
 740
 741                         if (th.HasTable (InterfaceImplTable.RId))
 742                                 m_tableWriter.GetInterfaceImplTable ().Rows.Sort (
 743                                         TableComparers.InterfaceImpl.Instance);
 744                         th.Sorted |= ((long) 1 << InterfaceImplTable.RId);
 745
 746                         if (th.HasTable (ConstantTable.RId))
 747                                 m_tableWriter.GetConstantTable ().Rows.Sort (
 748                                         TableComparers.Constant.Instance);
 749                         th.Sorted |= ((long) 1 << ConstantTable.RId);
 750
 751                         if (th.HasTable (MethodSemanticsTable.RId))
 752                                 m_tableWriter.GetMethodSemanticsTable ().Rows.Sort (
 753                                         TableComparers.MethodSem.Instance);
 754                         th.Sorted |= ((long) 1 << MethodSemanticsTable.RId);
 755
 756                         if (th.HasTable (FieldMarshalTable.RId))
 757                                 m_tableWriter.GetFieldMarshalTable ().Rows.Sort (
 758                                         TableComparers.FieldMarshal.Instance);
 759                         th.Sorted |= ((long) 1 << FieldMarshalTable.RId);
 760
 761                         if (th.HasTable (ClassLayoutTable.RId))
 762                                 m_tableWriter.GetClassLayoutTable ().Rows.Sort (
 763                                         TableComparers.TypeLayout.Instance);
 764                         th.Sorted |= ((long) 1 << ClassLayoutTable.RId);
 765
 766                         if (th.HasTable (FieldLayoutTable.RId))
 767                                 m_tableWriter.GetFieldLayoutTable ().Rows.Sort (
 768                                         TableComparers.FieldLayout.Instance);
 769                         th.Sorted |= ((long) 1 << FieldLayoutTable.RId);
 770
 771                         if (th.HasTable (ImplMapTable.RId))
 772                                 m_tableWriter.GetImplMapTable ().Rows.Sort (
 773                                         TableComparers.PInvoke.Instance);
 774                         th.Sorted |= ((long) 1 << ImplMapTable.RId);
 775
 776                         if (th.HasTable (FieldRVATable.RId))
 777                                 m_tableWriter.GetFieldRVATable ().Rows.Sort (
 778                                         TableComparers.FieldRVA.Instance);
 779                         th.Sorted |= ((long) 1 << FieldRVATable.RId);
 780
 781                         if (th.HasTable (MethodImplTable.RId))
 782                                 m_tableWriter.GetMethodImplTable ().Rows.Sort (
 783                                         TableComparers.Override.Instance);
 784                         th.Sorted |= ((long) 1 << MethodImplTable.RId);
 785
 786                         if (th.HasTable (CustomAttributeTable.RId))
 787                                 m_tableWriter.GetCustomAttributeTable ().Rows.Sort (
 788                                         TableComparers.CustomAttribute.Instance);
 789                         th.Sorted |= ((long) 1 << CustomAttributeTable.RId);
 790
 791                         if (th.HasTable (DeclSecurityTable.RId))
 792                                 m_tableWriter.GetDeclSecurityTable ().Rows.Sort (
 793                                         TableComparers.SecurityDeclaration.Instance);
 794                         th.Sorted |= ((long) 1 << DeclSecurityTable.RId);
 795                 }
 796
 797                 void CompleteGenericTables ()
 798                 {
 799                         if (m_genericParamStack.Count == 0)
 800                                 return;
 801
 802                         TablesHeap th = m_mdWriter.GetMetadataRoot ().Streams.TablesHeap;
 803                         GenericParamTable gpTable = m_tableWriter.GetGenericParamTable ();
 804
 805                         m_genericParamStack.Sort (TableComparers.GenericParam.Instance);
 806
 807                         foreach (GenericParameter gp in m_genericParamStack) {
 808                                 GenericParamRow gpRow = m_rowWriter.CreateGenericParamRow (
 809                                         (ushort) gp.Owner.GenericParameters.IndexOf (gp),
 810                                         gp.Attributes,
 811                                         gp.Owner.MetadataToken,
 812                                         m_mdWriter.AddString (gp.Name));
 813
 814                                 gpTable.Rows.Add (gpRow);
 815                                 gp.MetadataToken = new MetadataToken (TokenType.GenericParam, (uint) gpTable.Rows.Count);
 816
 817                                 VisitCustomAttributeCollection (gp.CustomAttributes);
 818
 819                                 if (gp.Constraints.Count == 0)
 820                                         continue;
 821
 822                                 GenericParamConstraintTable gpcTable = m_tableWriter.GetGenericParamConstraintTable ();
 823
 824                                 foreach (TypeReference constraint in gp.Constraints) {
 825                                         GenericParamConstraintRow gpcRow = m_rowWriter.CreateGenericParamConstraintRow (
 826                                                 (uint) gpTable.Rows.Count,
 827                                                 GetTypeDefOrRefToken (constraint));
 828
 829                                         gpcTable.Rows.Add (gpcRow);
 830                                 }
 831                         }
 832
 833                         th.Sorted |= ((long) 1 << GenericParamTable.RId);
 834                         th.Sorted |= ((long) 1 << GenericParamConstraintTable.RId);
 835                 }
 836
 837                 public override void TerminateModuleDefinition (ModuleDefinition module)
 838                 {
 839                         VisitCustomAttributeCollection (module.Assembly.CustomAttributes);
 840                         VisitSecurityDeclarationCollection (module.Assembly.SecurityDeclarations);
 841                         VisitCustomAttributeCollection (module.CustomAttributes);
 842
 843                         CompleteGenericTables ();
 844                         SortTables ();
 845
 846                         MethodTable mTable = m_tableWriter.GetMethodTable ();
 847                         for (int i = 0; i < m_methodStack.Count; i++) {
 848                                 MethodDefinition meth = (MethodDefinition) m_methodStack [i];
 849                                 if (meth.HasBody)
 850                                         mTable [i].RVA = m_codeWriter.WriteMethodBody (meth);
 851                         }
 852
 853                         if (m_fieldStack.Count > 0) {
 854                                 FieldRVATable frTable = null;
 855                                 foreach (FieldDefinition field in m_fieldStack) {
 856                                         if (field.InitialValue != null && field.InitialValue.Length > 0) {
 857                                                 if (frTable == null)
 858                                                         frTable = m_tableWriter.GetFieldRVATable ();
 859
 860                                                 FieldRVARow frRow = m_rowWriter.CreateFieldRVARow (
 861                                                         m_mdWriter.GetDataCursor (),
 862                                                         field.MetadataToken.RID);
 863
 864                                                 m_mdWriter.AddData (field.InitialValue.Length + 3 & (~3));
 865                                                 m_mdWriter.AddFieldInitData (field.InitialValue);
 866
 867                                                 frTable.Rows.Add (frRow);
 868                                         }
 869                                 }
 870                         }
 871
 872                         if (m_symbolWriter != null)
 873                                 m_symbolWriter.Dispose ();
 874
 875                         if (m_mod.Assembly.EntryPoint != null)
 876                                 m_mdWriter.EntryPointToken =
 877                                         ((uint) TokenType.Method) | GetRidFor (m_mod.Assembly.EntryPoint);
 878
 879                         m_mod.Image.MetadataRoot.Accept (m_mdWriter);
 880                 }
 881
 882                 public static ElementType GetCorrespondingType (string fullName)
 883                 {
 884                         switch (fullName) {
 885                         case Constants.Boolean :
 886                                 return ElementType.Boolean;
 887                         case Constants.Char :
 888                                 return ElementType.Char;
 889                         case Constants.SByte :
 890                                 return ElementType.I1;
 891                         case Constants.Int16 :
 892                                 return ElementType.I2;
 893                         case Constants.Int32 :
 894                                 return ElementType.I4;
 895                         case Constants.Int64 :
 896                                 return ElementType.I8;
 897                         case Constants.Byte :
 898                                 return ElementType.U1;
 899                         case Constants.UInt16 :
 900                                 return ElementType.U2;
 901                         case Constants.UInt32 :
 902                                 return ElementType.U4;
 903                         case Constants.UInt64 :
 904                                 return ElementType.U8;
 905                         case Constants.Single :
 906                                 return ElementType.R4;
 907                         case Constants.Double :
 908                                 return ElementType.R8;
 909                         case Constants.String :
 910                                 return ElementType.String;
 911                         case Constants.Type :
 912                                 return ElementType.Type;
 913                         case Constants.Object :
 914                                 return ElementType.Object;
 915                         default:
 916                                 return ElementType.Class;
 917                         }
 918                 }
 919
 920                 byte [] EncodeConstant (ElementType et, object value)
 921                 {
 922                         m_constWriter.Empty ();
 923
 924                         if (value == null)
 925                                 et = ElementType.Class;
 926
 927                         IConvertible ic = value as IConvertible;
 928                         IFormatProvider fp = CultureInfo.CurrentCulture.NumberFormat;
 929
 930                         switch (et) {
 931                         case ElementType.Boolean :
 932                                 m_constWriter.Write ((byte) (ic.ToBoolean (fp) ? 1 : 0));
 933                                 break;
 934                         case ElementType.Char :
 935                                 m_constWriter.Write ((ushort) ic.ToChar (fp));
 936                                 break;
 937                         case ElementType.I1 :
 938                                 m_constWriter.Write (ic.ToSByte (fp));
 939                                 break;
 940                         case ElementType.I2 :
 941                                 m_constWriter.Write (ic.ToInt16 (fp));
 942                                 break;
 943                         case ElementType.I4 :
 944                                 m_constWriter.Write (ic.ToInt32 (fp));
 945                                 break;
 946                         case ElementType.I8 :
 947                                 m_constWriter.Write (ic.ToInt64 (fp));
 948                                 break;
 949                         case ElementType.U1 :
 950                                 m_constWriter.Write (ic.ToByte (fp));
 951                                 break;
 952                         case ElementType.U2 :
 953                                 m_constWriter.Write (ic.ToUInt16 (fp));
 954                                 break;
 955                         case ElementType.U4 :
 956                                 m_constWriter.Write (ic.ToUInt32 (fp));
 957                                 break;
 958                         case ElementType.U8 :
 959                                 m_constWriter.Write (ic.ToUInt64 (fp));
 960                                 break;
 961                         case ElementType.R4 :
 962                                 m_constWriter.Write (ic.ToSingle (fp));
 963                                 break;
 964                         case ElementType.R8 :
 965                                 m_constWriter.Write (ic.ToDouble (fp));
 966                                 break;
 967                         case ElementType.String :
 968                                 m_constWriter.Write (Encoding.Unicode.GetBytes ((string) value));
 969                                 break;
 970                         case ElementType.Class :
 971                                 m_constWriter.Write (new byte [4]);
 972                                 break;
 973                         default :
 974                                 throw new ArgumentException ("Non valid element for a constant");
 975                         }
 976
 977                         return m_constWriter.ToArray ();
 978                 }
 979
 980                 public SigType GetSigType (TypeReference type)
 981                 {
 982                         string name = type.FullName;
 983
 984                         switch (name) {
 985                         case Constants.Void :
 986                                 return new SigType (ElementType.Void);
 987                         case Constants.Object :
 988                                 return new SigType (ElementType.Object);
 989                         case Constants.Boolean :
 990                                 return new SigType (ElementType.Boolean);
 991                         case Constants.String :
 992                                 return new SigType (ElementType.String);
 993                         case Constants.Char :
 994                                 return new SigType (ElementType.Char);
 995                         case Constants.SByte :
 996                                 return new SigType (ElementType.I1);
 997                         case Constants.Byte :
 998                                 return new SigType (ElementType.U1);
 999                         case Constants.Int16 :
1000                                 return new SigType (ElementType.I2);
1001                         case Constants.UInt16 :
1002                                 return new SigType (ElementType.U2);
1003                         case Constants.Int32 :
1004                                 return new SigType (ElementType.I4);
1005                         case Constants.UInt32 :
1006                                 return new SigType (ElementType.U4);
1007                         case Constants.Int64 :
1008                                 return new SigType (ElementType.I8);
1009                         case Constants.UInt64 :
1010                                 return new SigType (ElementType.U8);
1011                         case Constants.Single :
1012                                 return new SigType (ElementType.R4);
1013                         case Constants.Double :
1014                                 return new SigType (ElementType.R8);
1015                         case Constants.IntPtr :
1016                                 return new SigType (ElementType.I);
1017                         case Constants.UIntPtr :
1018                                 return new SigType (ElementType.U);
1019                         case Constants.TypedReference :
1020                                 return new SigType (ElementType.TypedByRef);
1021                         }
1022
1023                         if (type is GenericParameter) {
1024                                 GenericParameter gp = type as GenericParameter;
1025                                 int pos = gp.Owner.GenericParameters.IndexOf (gp);
1026                                 if (gp.Owner is TypeReference)
1027                                         return new VAR (pos);
1028                                 else if (gp.Owner is MethodReference)
1029                                         return new MVAR (pos);
1030                                 else
1031                                         throw new ReflectionException ("Unkown generic parameter type");
1032                         } else if (type is GenericInstanceType) {
1033                                 GenericInstanceType git = type as GenericInstanceType;
1034                                 GENERICINST gi = new GENERICINST ();
1035                                 gi.ValueType = git.IsValueType;
1036                                 gi.Type = GetTypeDefOrRefToken (git.ElementType);
1037                                 gi.Signature = new GenericInstSignature ();
1038                                 gi.Signature.Arity = git.GenericArguments.Count;
1039                                 gi.Signature.Types = new GenericArg [gi.Signature.Arity];
1040                                 for (int i = 0; i < git.GenericArguments.Count; i++)
1041                                         gi.Signature.Types [i] = GetGenericArgSig (git.GenericArguments [i]);
1042
1043                                 return gi;
1044                         } else if (type is ArrayType) {
1045                                 ArrayType aryType = type as ArrayType;
1046                                 if (aryType.IsSizedArray) {
1047                                         SZARRAY szary = new SZARRAY ();
1048                                         szary.CustomMods = GetCustomMods (aryType.ElementType);
1049                                         szary.Type = GetSigType (aryType.ElementType);
1050                                         return szary;
1051                                 }
1052
1053                                 // not optimized
1054                                 ArrayShape shape = new ArrayShape ();
1055                                 shape.Rank = aryType.Dimensions.Count;
1056                                 shape.NumSizes = 0;
1057
1058                                 for (int i = 0; i < shape.Rank; i++) {
1059                                         ArrayDimension dim = aryType.Dimensions [i];
1060                                         if (dim.UpperBound > 0)
1061                                                 shape.NumSizes++;
1062                                 }
1063
1064                                 shape.Sizes = new int [shape.NumSizes];
1065                                 shape.NumLoBounds = shape.Rank;
1066                                 shape.LoBounds = new int [shape.NumLoBounds];
1067
1068                                 for (int i = 0; i < shape.Rank; i++) {
1069                                         ArrayDimension dim = aryType.Dimensions [i];
1070                                         shape.LoBounds [i] = dim.LowerBound;
1071                                         if (dim.UpperBound > 0)
1072                                                 shape.Sizes [i] = dim.UpperBound - dim.LowerBound + 1;
1073                                 }
1074
1075                                 ARRAY ary = new ARRAY ();
1076                                 ary.Shape = shape;
1077                                 ary.CustomMods = GetCustomMods (aryType.ElementType);
1078                                 ary.Type = GetSigType (aryType.ElementType);
1079                                 return ary;
1080                         } else if (type is PointerType) {
1081                                 PTR p = new PTR ();
1082                                 TypeReference elementType = (type as PointerType).ElementType;
1083                                 p.Void = elementType.FullName == Constants.Void;
1084                                 if (!p.Void) {
1085                                         p.CustomMods = GetCustomMods (elementType);
1086                                         p.PtrType = GetSigType (elementType);
1087                                 }
1088                                 return p;
1089                         } else if (type is FunctionPointerType) {
1090                                 FNPTR fp = new FNPTR ();
1091                                 FunctionPointerType fptr = type as FunctionPointerType;
1092
1093                                 int sentinel = fptr.GetSentinel ();
1094                                 if (sentinel < 0)
1095                                         fp.Method = GetMethodDefSig (fptr);
1096                                 else
1097                                         fp.Method = GetMethodRefSig (fptr);
1098
1099                                 return fp;
1100                         } else if (type is TypeSpecification) {
1101                                 return GetSigType ((type as TypeSpecification).ElementType);
1102                         } else if (type.IsValueType) {
1103                                 VALUETYPE vt = new VALUETYPE ();
1104                                 vt.Type = GetTypeDefOrRefToken (type);
1105                                 return vt;
1106                         } else {
1107                                 CLASS c = new CLASS ();
1108                                 c.Type = GetTypeDefOrRefToken (type);
1109                                 return c;
1110                         }
1111                 }
1112
1113                 public GenericArg GetGenericArgSig (TypeReference type)
1114                 {
1115                         GenericArg arg = new GenericArg (GetSigType (type));
1116                         arg.CustomMods = GetCustomMods (type);
1117                         return arg;
1118                 }
1119
1120                 public CustomMod [] GetCustomMods (TypeReference type)
1121                 {
1122                         ModType modifier = type as ModType;
1123                         if (modifier == null)
1124                                 return CustomMod.EmptyCustomMod;
1125
1126                         ArrayList cmods = new ArrayList ();
1127                         do {
1128                                 CustomMod cmod = new CustomMod ();
1129                                 cmod.TypeDefOrRef = GetTypeDefOrRefToken (modifier.ModifierType);
1130
1131                                 if (modifier is ModifierOptional)
1132                                         cmod.CMOD = CustomMod.CMODType.OPT;
1133                                 else if (modifier is ModifierRequired)
1134                                         cmod.CMOD = CustomMod.CMODType.REQD;
1135
1136                                 cmods.Add (cmod);
1137                                 modifier = modifier.ElementType as ModType;
1138                         } while (modifier != null);
1139
1140                         return cmods.ToArray (typeof (CustomMod)) as CustomMod [];
1141                 }
1142
1143                 public Signature GetMemberRefSig (MemberReference member)
1144                 {
1145                         if (member is FieldReference)
1146                                 return GetFieldSig (member as FieldReference);
1147                         else
1148                                 return GetMemberRefSig (member as MethodReference);
1149                 }
1150
1151                 public FieldSig GetFieldSig (FieldReference field)
1152                 {
1153                         FieldSig sig = new FieldSig ();
1154                         sig.CallingConvention |= 0x6;
1155                         sig.Field = true;
1156                         sig.CustomMods = GetCustomMods (field.FieldType);
1157                         sig.Type = GetSigType (field.FieldType);
1158                         return sig;
1159                 }
1160
1161                 Param [] GetParametersSig (ParameterDefinitionCollection parameters)
1162                 {
1163                         Param [] ret = new Param [parameters.Count];
1164                         for (int i = 0; i < ret.Length; i++) {
1165                                 ParameterDefinition pDef = parameters [i];
1166                                 Param p = new Param ();
1167                                 p.CustomMods = GetCustomMods (pDef.ParameterType);
1168                                 if (pDef.ParameterType.FullName == Constants.TypedReference)
1169                                         p.TypedByRef = true;
1170                                 else if (IsByReferenceType (pDef.ParameterType)) {
1171                                         p.ByRef = true;
1172                                         p.Type = GetSigType (pDef.ParameterType);
1173                                 } else
1174                                         p.Type = GetSigType (pDef.ParameterType);
1175                                 ret [i] = p;
1176                         }
1177                         return ret;
1178                 }
1179
1180                 void CompleteMethodSig (IMethodSignature meth, MethodSig sig)
1181                 {
1182                         sig.HasThis = meth.HasThis;
1183                         sig.ExplicitThis = meth.ExplicitThis;
1184                         if (sig.HasThis)
1185                                 sig.CallingConvention |= 0x20;
1186                         if (sig.ExplicitThis)
1187                                 sig.CallingConvention |= 0x40;
1188
1189                         if ((meth.CallingConvention & MethodCallingConvention.VarArg) != 0)
1190                                 sig.CallingConvention |= 0x5;
1191
1192                         sig.ParamCount = meth.Parameters.Count;
1193                         sig.Parameters = GetParametersSig (meth.Parameters);
1194
1195                         RetType rtSig = new RetType ();
1196                         rtSig.CustomMods = GetCustomMods (meth.ReturnType.ReturnType);
1197
1198                         if (meth.ReturnType.ReturnType.FullName == Constants.Void)
1199                                 rtSig.Void = true;
1200                         else if (meth.ReturnType.ReturnType.FullName == Constants.TypedReference)
1201                                 rtSig.TypedByRef = true;
1202                         else if (IsByReferenceType (meth.ReturnType.ReturnType)) {
1203                                 rtSig.ByRef = true;
1204                                 rtSig.Type = GetSigType (meth.ReturnType.ReturnType);
1205                         } else
1206                                 rtSig.Type = GetSigType (meth.ReturnType.ReturnType);
1207
1208                         sig.RetType = rtSig;
1209                 }
1210
1211                 static bool IsByReferenceType (TypeReference type)
1212                 {
1213                         TypeSpecification ts = type as TypeSpecification;
1214                         while (ts != null) {
1215                                 if (ts is ReferenceType)
1216                                         return true;
1217                                 ts = ts.ElementType as TypeSpecification;
1218                         }
1219                         return false;
1220                 }
1221
1222                 public MethodRefSig GetMethodRefSig (IMethodSignature meth)
1223                 {
1224                         MethodReference methodRef = meth as MethodReference;
1225                         if (methodRef != null && methodRef.GenericParameters.Count > 0)
1226                                 return GetMethodDefSig (meth);
1227
1228                         MethodRefSig methSig = new MethodRefSig ();
1229
1230                         CompleteMethodSig (meth, methSig);
1231
1232                         int sentinel = meth.GetSentinel ();
1233                         if (sentinel >= 0)
1234                                 methSig.Sentinel = sentinel;
1235
1236                         if ((meth.CallingConvention & MethodCallingConvention.C) != 0)
1237                                 methSig.CallingConvention |= 0x1;
1238                         else if ((meth.CallingConvention & MethodCallingConvention.StdCall) != 0)
1239                                 methSig.CallingConvention |= 0x2;
1240                         else if ((meth.CallingConvention & MethodCallingConvention.ThisCall) != 0)
1241                                 methSig.CallingConvention |= 0x3;
1242                         else if ((meth.CallingConvention & MethodCallingConvention.FastCall) != 0)
1243                                 methSig.CallingConvention |= 0x4;
1244
1245                         return methSig;
1246                 }
1247
1248                 public MethodDefSig GetMethodDefSig (IMethodSignature meth)
1249                 {
1250                         MethodDefSig sig = new MethodDefSig ();
1251
1252                         CompleteMethodSig (meth, sig);
1253
1254                         MethodReference methodRef = meth as MethodReference;
1255                         if (methodRef != null && methodRef.GenericParameters.Count > 0) {
1256                                 sig.CallingConvention |= 0x10;
1257                                 sig.GenericParameterCount = methodRef.GenericParameters.Count;
1258                         }
1259
1260                         return sig;
1261                 }
1262
1263                 public PropertySig GetPropertySig (PropertyDefinition prop)
1264                 {
1265                         PropertySig ps = new PropertySig ();
1266                         ps.CallingConvention |= 0x8;
1267
1268                         bool hasThis;
1269                         bool explicitThis;
1270                         MethodCallingConvention mcc;
1271                         ParameterDefinitionCollection parameters = prop.Parameters;
1272
1273                         MethodDefinition meth;
1274                         if (prop.GetMethod != null)
1275                                 meth = prop.GetMethod;
1276                         else if (prop.SetMethod != null)
1277                                 meth = prop.SetMethod;
1278                         else
1279                                 meth = null;
1280
1281                         if (meth != null) {
1282                                 hasThis = meth.HasThis;
1283                                 explicitThis = meth.ExplicitThis;
1284                                 mcc = meth.CallingConvention;
1285                         } else {
1286                                 hasThis = explicitThis = false;
1287                                 mcc = MethodCallingConvention.Default;
1288                         }
1289
1290                         if (hasThis)
1291                                 ps.CallingConvention |= 0x20;
1292                         if (explicitThis)
1293                                 ps.CallingConvention |= 0x40;
1294
1295                         if ((mcc & MethodCallingConvention.VarArg) != 0)
1296                                 ps.CallingConvention |= 0x5;
1297
1298                         int paramCount = parameters != null ? parameters.Count : 0;
1299
1300                         ps.ParamCount = paramCount;
1301                         ps.Parameters = GetParametersSig (parameters);
1302                         ps.CustomMods = GetCustomMods (prop.PropertyType);
1303                         ps.Type = GetSigType (prop.PropertyType);
1304
1305                         return ps;
1306                 }
1307
1308                 public TypeSpec GetTypeSpecSig (TypeReference type)
1309                 {
1310                         TypeSpec ts = new TypeSpec ();
1311                         ts.CustomMods = GetCustomMods (type);
1312                         ts.Type = GetSigType (type);
1313                         return ts;
1314                 }
1315
1316                 public MethodSpec GetMethodSpecSig (GenericInstanceMethod gim)
1317                 {
1318                         GenericInstSignature gis = new GenericInstSignature ();
1319                         gis.Arity = gim.GenericArguments.Count;
1320                         gis.Types = new GenericArg [gis.Arity];
1321                         for (int i = 0; i < gis.Arity; i++)
1322                                 gis.Types [i] = GetGenericArgSig (gim.GenericArguments [i]);
1323
1324                         return new MethodSpec (gis);
1325                 }
1326
1327                 static string GetObjectTypeName (object o)
1328                 {
1329                         Type t = o.GetType ();
1330                         return string.Concat (t.Namespace, ".", t.Name);
1331                 }
1332
1333                 static CustomAttrib.Elem CreateElem (TypeReference type, object value)
1334                 {
1335                         CustomAttrib.Elem elem = new CustomAttrib.Elem ();
1336                         elem.Value = value;
1337                         elem.ElemType = type;
1338                         elem.FieldOrPropType = GetCorrespondingType (type.FullName);
1339
1340                         switch (elem.FieldOrPropType) {
1341                         case ElementType.Boolean :
1342                         case ElementType.Char :
1343                         case ElementType.R4 :
1344                         case ElementType.R8 :
1345                         case ElementType.I1 :
1346                         case ElementType.I2 :
1347                         case ElementType.I4 :
1348                         case ElementType.I8 :
1349                         case ElementType.U1 :
1350                         case ElementType.U2 :
1351                         case ElementType.U4 :
1352                         case ElementType.U8 :
1353                                 elem.Simple = true;
1354                                 break;
1355                         case ElementType.String:
1356                                 elem.String = true;
1357                                 break;
1358                         case ElementType.Type:
1359                                 elem.Type = true;
1360                                 break;
1361                         case ElementType.Object:
1362                                 elem.BoxedValueType = true;
1363                                 if (value == null)
1364                                         elem.FieldOrPropType = ElementType.String;
1365                                 else
1366                                         elem.FieldOrPropType = GetCorrespondingType (
1367                                                 GetObjectTypeName (value));
1368                                 break;
1369                         }
1370
1371                         return elem;
1372                 }
1373
1374                 static CustomAttrib.FixedArg CreateFixedArg (TypeReference type, object value)
1375                 {
1376                         CustomAttrib.FixedArg fa = new CustomAttrib.FixedArg ();
1377                         if (value is object []) {
1378                                 fa.SzArray = true;
1379                                 object [] values = value as object [];
1380                                 TypeReference obj = ((ArrayType) type).ElementType;
1381                                 fa.NumElem = (uint) values.Length;
1382                                 fa.Elems = new CustomAttrib.Elem [values.Length];
1383                                 for (int i = 0; i < values.Length; i++)
1384                                         fa.Elems [i] = CreateElem (obj, values [i]);
1385                         } else {
1386                                 fa.Elems = new CustomAttrib.Elem [1];
1387                                 fa.Elems [0] = CreateElem (type, value);
1388                         }
1389
1390                         return fa;
1391                 }
1392
1393                 static CustomAttrib.NamedArg CreateNamedArg (TypeReference type, string name,
1394                         object value, bool field)
1395                 {
1396                         CustomAttrib.NamedArg na = new CustomAttrib.NamedArg ();
1397                         na.Field = field;
1398                         na.Property = !field;
1399
1400                         na.FieldOrPropName = name;
1401                         na.FieldOrPropType = GetCorrespondingType (type.FullName);
1402                         na.FixedArg = CreateFixedArg (type, value);
1403
1404                         return na;
1405                 }
1406
1407                 public static CustomAttrib GetCustomAttributeSig (CustomAttribute ca)
1408                 {
1409                         CustomAttrib cas = new CustomAttrib (ca.Constructor);
1410                         cas.Prolog = CustomAttrib.StdProlog;
1411
1412                         cas.FixedArgs = new CustomAttrib.FixedArg [ca.Constructor.Parameters.Count];
1413
1414                         for (int i = 0; i < cas.FixedArgs.Length; i++)
1415                                 cas.FixedArgs [i] = CreateFixedArg (
1416                                         ca.Constructor.Parameters [i].ParameterType, ca.ConstructorParameters [i]);
1417
1418                         int nn = ca.Fields.Count + ca.Properties.Count;
1419                         cas.NumNamed = (ushort) nn;
1420                         cas.NamedArgs = new CustomAttrib.NamedArg [nn];
1421
1422                         if (cas.NamedArgs.Length > 0) {
1423                                 int curs = 0;
1424                                 foreach (DictionaryEntry entry in ca.Fields) {
1425                                         string field = (string) entry.Key;
1426                                         cas.NamedArgs [curs++] = CreateNamedArg (
1427                                                 ca.GetFieldType (field), field, entry.Value, true);
1428                                 }
1429
1430                                 foreach (DictionaryEntry entry in ca.Properties) {
1431                                         string property = (string) entry.Key;
1432                                         cas.NamedArgs [curs++] = CreateNamedArg (
1433                                                 ca.GetPropertyType (property), property, entry.Value, false);
1434                                 }
1435                         }
1436
1437                         return cas;
1438                 }
1439
1440                 static MarshalSig GetMarshalSig (MarshalSpec mSpec)
1441                 {
1442                         MarshalSig ms = new MarshalSig (mSpec.NativeIntrinsic);
1443
1444                         if (mSpec is ArrayMarshalSpec) {
1445                                 ArrayMarshalSpec amd = mSpec as ArrayMarshalSpec;
1446                                 MarshalSig.Array ar = new MarshalSig.Array ();
1447                                 ar.ArrayElemType = amd.ElemType;
1448                                 ar.NumElem = amd.NumElem;
1449                                 ar.ParamNum = amd.ParamNum;
1450                                 ar.ElemMult = amd.ElemMult;
1451                                 ms.Spec = ar;
1452                         } else if (mSpec is CustomMarshalerSpec) {
1453                                 CustomMarshalerSpec cmd = mSpec as CustomMarshalerSpec;
1454                                 MarshalSig.CustomMarshaler cm = new MarshalSig.CustomMarshaler ();
1455                                 cm.Guid = cmd.Guid.ToString ();
1456                                 cm.UnmanagedType = cmd.UnmanagedType;
1457                                 cm.ManagedType = cmd.ManagedType;
1458                                 cm.Cookie = cmd.Cookie;
1459                                 ms.Spec = cm;
1460                         } else if (mSpec is FixedArraySpec) {
1461                                 FixedArraySpec fad = mSpec as FixedArraySpec;
1462                                 MarshalSig.FixedArray fa = new MarshalSig.FixedArray ();
1463                                 fa.ArrayElemType  = fad.ElemType;
1464                                 fa.NumElem = fad.NumElem;
1465                                 ms.Spec = fa;
1466                         } else if (mSpec is FixedSysStringSpec) {
1467                                 MarshalSig.FixedSysString fss = new MarshalSig.FixedSysString ();
1468                                 fss.Size = (mSpec as FixedSysStringSpec).Size;
1469                                 ms.Spec = fss;
1470                         } else if (mSpec is SafeArraySpec) {
1471                                 MarshalSig.SafeArray sa = new MarshalSig.SafeArray ();
1472                                 sa.ArrayElemType = (mSpec as SafeArraySpec).ElemType;
1473                                 ms.Spec = sa;
1474                         }
1475
1476                         return ms;
1477                 }
1478
1479                 public void WriteSymbols (ModuleDefinition module)
1480                 {
1481                         if (!m_saveSymbols)
1482                                 return;
1483
1484                         if (m_asmOutput == null)
1485                                 m_asmOutput = module.Assembly.Name.Name + "." + (module.Assembly.Kind == AssemblyKind.Dll ? "dll" : "exe");
1486
1487                         if (m_symbolWriter == null)
1488                                 m_symbolWriter = SymbolStoreHelper.GetWriter (module, m_asmOutput);
1489
1490                         foreach (TypeDefinition type in module.Types) {
1491                                 foreach (MethodDefinition method in type.Methods)
1492                                         WriteSymbols (method);
1493                                 foreach (MethodDefinition ctor in type.Constructors)
1494                                         WriteSymbols (ctor);
1495                         }
1496
1497                         m_symbolWriter.Dispose ();
1498                 }
1499
1500                 void WriteSymbols (MethodDefinition meth)
1501                 {
1502                         if (!meth.HasBody)
1503                                 return;
1504
1505                         m_symbolWriter.Write (meth.Body);
1506                 }
1507         }
1508 }