Engine.Modules.cs 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163
  1. using Esprima;
  2. using Jint.Native;
  3. using Jint.Native.Object;
  4. using Jint.Native.Promise;
  5. using Jint.Runtime;
  6. using Jint.Runtime.Interpreter;
  7. using Jint.Runtime.Modules;
  8. namespace Jint
  9. {
  10. public partial class Engine
  11. {
  12. internal IModuleLoader ModuleLoader { get; set; } = null!;
  13. private readonly Dictionary<string, ModuleRecord> _modules = new();
  14. private readonly Dictionary<string, ModuleBuilder> _builders = new();
  15. /// <summary>
  16. /// https://tc39.es/ecma262/#sec-getactivescriptormodule
  17. /// </summary>
  18. internal IScriptOrModule? GetActiveScriptOrModule()
  19. {
  20. return _executionContexts?.GetActiveScriptOrModule();
  21. }
  22. internal ModuleRecord LoadModule(string? referencingModuleLocation, string specifier)
  23. {
  24. var moduleResolution = ModuleLoader.Resolve(referencingModuleLocation, specifier);
  25. if (_modules.TryGetValue(moduleResolution.Key, out var module))
  26. {
  27. return module;
  28. }
  29. if (_builders.TryGetValue(specifier, out var moduleBuilder))
  30. {
  31. module = LoadFromBuilder(specifier, moduleBuilder, moduleResolution);
  32. }
  33. else
  34. {
  35. module = LoaderFromModuleLoader(moduleResolution);
  36. }
  37. return module;
  38. }
  39. private CyclicModuleRecord LoadFromBuilder(string specifier, ModuleBuilder moduleBuilder, ResolvedSpecifier moduleResolution)
  40. {
  41. var parsedModule = moduleBuilder.Parse();
  42. var module = new BuilderModuleRecord(this, Realm, parsedModule, null, false);
  43. _modules[moduleResolution.Key] = module;
  44. moduleBuilder.BindExportedValues(module);
  45. _builders.Remove(specifier);
  46. return module;
  47. }
  48. private CyclicModuleRecord LoaderFromModuleLoader(ResolvedSpecifier moduleResolution)
  49. {
  50. var parsedModule = ModuleLoader.LoadModule(this, moduleResolution);
  51. var module = new SourceTextModuleRecord(this, Realm, parsedModule, moduleResolution.Uri?.LocalPath, false);
  52. _modules[moduleResolution.Key] = module;
  53. return module;
  54. }
  55. public void AddModule(string specifier, string code)
  56. {
  57. var moduleBuilder = new ModuleBuilder(this, specifier);
  58. moduleBuilder.AddSource(code);
  59. AddModule(specifier, moduleBuilder);
  60. }
  61. public void AddModule(string specifier, Action<ModuleBuilder> buildModule)
  62. {
  63. var moduleBuilder = new ModuleBuilder(this, specifier);
  64. buildModule(moduleBuilder);
  65. AddModule(specifier, moduleBuilder);
  66. }
  67. public void AddModule(string specifier, ModuleBuilder moduleBuilder)
  68. {
  69. _builders.Add(specifier, moduleBuilder);
  70. }
  71. public ObjectInstance ImportModule(string specifier)
  72. {
  73. return ImportModule(specifier, null);
  74. }
  75. internal ObjectInstance ImportModule(string specifier, string? referencingModuleLocation)
  76. {
  77. var moduleResolution = ModuleLoader.Resolve(referencingModuleLocation, specifier);
  78. if (!_modules.TryGetValue(moduleResolution.Key, out var module))
  79. {
  80. module = LoadModule(null, specifier);
  81. }
  82. if (module is not CyclicModuleRecord cyclicModule)
  83. {
  84. LinkModule(specifier, module);
  85. EvaluateModule(specifier, module);
  86. }
  87. else if (cyclicModule.Status == ModuleStatus.Unlinked)
  88. {
  89. LinkModule(specifier, cyclicModule);
  90. if (cyclicModule.Status == ModuleStatus.Linked)
  91. {
  92. ExecuteWithConstraints(true, () => EvaluateModule(specifier, cyclicModule));
  93. }
  94. if (cyclicModule.Status != ModuleStatus.Evaluated)
  95. {
  96. ExceptionHelper.ThrowNotSupportedException($"Error while evaluating module: Module is in an invalid state: '{cyclicModule.Status}'");
  97. }
  98. }
  99. RunAvailableContinuations();
  100. return ModuleRecord.GetModuleNamespace(module);
  101. }
  102. private static void LinkModule(string specifier, ModuleRecord module)
  103. {
  104. module.Link();
  105. }
  106. private JsValue EvaluateModule(string specifier, ModuleRecord cyclicModule)
  107. {
  108. var ownsContext = _activeEvaluationContext is null;
  109. _activeEvaluationContext ??= new EvaluationContext(this);
  110. JsValue evaluationResult;
  111. try
  112. {
  113. evaluationResult = cyclicModule.Evaluate();
  114. }
  115. finally
  116. {
  117. if (ownsContext)
  118. {
  119. _activeEvaluationContext = null!;
  120. }
  121. }
  122. // This should instead be returned and resolved in ImportModule(specifier) only so Host.ImportModuleDynamically can use this promise
  123. if (evaluationResult is not PromiseInstance promise)
  124. {
  125. ExceptionHelper.ThrowInvalidOperationException($"Error while evaluating module: Module evaluation did not return a promise: {evaluationResult.Type}");
  126. }
  127. else if (promise.State == PromiseState.Rejected)
  128. {
  129. var node = EsprimaExtensions.CreateLocationNode(Location.From(new Position(), new Position(), specifier));
  130. ExceptionHelper.ThrowJavaScriptException(this, promise.Value, new Completion(CompletionType.Throw, promise.Value, null, node));
  131. }
  132. else if (promise.State != PromiseState.Fulfilled)
  133. {
  134. ExceptionHelper.ThrowInvalidOperationException($"Error while evaluating module: Module evaluation did not return a fulfilled promise: {promise.State}");
  135. }
  136. return evaluationResult;
  137. }
  138. }
  139. }