GenericArgumentContext.cs 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. using dnlib.DotNet;
  2. using System;
  3. using System.Collections.Generic;
  4. using System.Linq;
  5. using System.Text;
  6. using System.Threading.Tasks;
  7. namespace HybridCLR.Editor.Meta
  8. {
  9. /// <summary>
  10. /// Replaces generic type/method var with its generic argument
  11. /// </summary>
  12. public sealed class GenericArgumentContext
  13. {
  14. List<TypeSig> typeArgsStack = new List<TypeSig>();
  15. List<TypeSig> methodArgsStack = new List<TypeSig>();
  16. public GenericArgumentContext(List<TypeSig> typeArgsStack, List<TypeSig> methodArgsStack)
  17. {
  18. this.typeArgsStack = typeArgsStack;
  19. this.methodArgsStack = methodArgsStack;
  20. }
  21. /// <summary>
  22. /// Replaces a generic type/method var with its generic argument (if any). If
  23. /// <paramref name="typeSig"/> isn't a generic type/method var or if it can't
  24. /// be resolved, it itself is returned. Else the resolved type is returned.
  25. /// </summary>
  26. /// <param name="typeSig">Type signature</param>
  27. /// <returns>New <see cref="TypeSig"/> which is never <c>null</c> unless
  28. /// <paramref name="typeSig"/> is <c>null</c></returns>
  29. public TypeSig Resolve(TypeSig typeSig)
  30. {
  31. if (!typeSig.ContainsGenericParameter)
  32. {
  33. return typeSig;
  34. }
  35. typeSig = typeSig.RemovePinnedAndModifiers();
  36. switch (typeSig.ElementType)
  37. {
  38. case ElementType.Ptr: return new PtrSig(Resolve(typeSig.Next));
  39. case ElementType.ByRef: return new PtrSig(Resolve(typeSig.Next));
  40. case ElementType.SZArray: return new PtrSig(Resolve(typeSig.Next));
  41. case ElementType.Array:
  42. {
  43. var ara = (ArraySig)typeSig;
  44. return new ArraySig(Resolve(typeSig.Next), ara.Rank, ara.Sizes, ara.LowerBounds);
  45. }
  46. case ElementType.Var:
  47. {
  48. GenericVar genericVar = (GenericVar)typeSig;
  49. var newSig = Resolve(typeArgsStack, genericVar.Number, true);
  50. if (newSig == null)
  51. {
  52. throw new Exception();
  53. }
  54. return newSig;
  55. }
  56. case ElementType.MVar:
  57. {
  58. GenericMVar genericVar = (GenericMVar)typeSig;
  59. var newSig = Resolve(methodArgsStack, genericVar.Number, true);
  60. if (newSig == null)
  61. {
  62. throw new Exception();
  63. }
  64. return newSig;
  65. }
  66. case ElementType.GenericInst:
  67. {
  68. var gia = (GenericInstSig)typeSig;
  69. return new GenericInstSig(gia.GenericType, gia.GenericArguments.Select(ga => Resolve(ga)).ToList());
  70. }
  71. case ElementType.FnPtr:
  72. {
  73. throw new NotSupportedException(typeSig.ToString());
  74. }
  75. case ElementType.ValueArray:
  76. {
  77. var vas = (ValueArraySig)typeSig;
  78. return new ValueArraySig(Resolve(vas.Next), vas.Size);
  79. }
  80. default: return typeSig;
  81. }
  82. }
  83. private TypeSig Resolve(List<TypeSig> args, uint number, bool isTypeVar)
  84. {
  85. var typeSig = args[(int)number];
  86. var gvar = typeSig as GenericSig;
  87. if (gvar is null || gvar.IsTypeVar != isTypeVar)
  88. return typeSig;
  89. return gvar;
  90. }
  91. }
  92. }