Engine.Modules.cs 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172
  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(StringComparer.Ordinal);
  14. private readonly Dictionary<string, ModuleBuilder> _builders = new(StringComparer.Ordinal);
  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. if (module is SourceTextModuleRecord sourceTextModule)
  38. {
  39. DebugHandler.OnBeforeEvaluate(sourceTextModule._source);
  40. }
  41. return module;
  42. }
  43. private CyclicModuleRecord LoadFromBuilder(string specifier, ModuleBuilder moduleBuilder, ResolvedSpecifier moduleResolution)
  44. {
  45. var parsedModule = moduleBuilder.Parse();
  46. var module = new BuilderModuleRecord(this, Realm, parsedModule, null, false);
  47. _modules[moduleResolution.Key] = module;
  48. moduleBuilder.BindExportedValues(module);
  49. _builders.Remove(specifier);
  50. return module;
  51. }
  52. private CyclicModuleRecord LoaderFromModuleLoader(ResolvedSpecifier moduleResolution)
  53. {
  54. var parsedModule = ModuleLoader.LoadModule(this, moduleResolution);
  55. var module = new SourceTextModuleRecord(this, Realm, parsedModule, moduleResolution.Uri?.LocalPath, false);
  56. _modules[moduleResolution.Key] = module;
  57. return module;
  58. }
  59. public void AddModule(string specifier, string code)
  60. {
  61. var moduleBuilder = new ModuleBuilder(this, specifier);
  62. moduleBuilder.AddSource(code);
  63. AddModule(specifier, moduleBuilder);
  64. }
  65. public void AddModule(string specifier, Action<ModuleBuilder> buildModule)
  66. {
  67. var moduleBuilder = new ModuleBuilder(this, specifier);
  68. buildModule(moduleBuilder);
  69. AddModule(specifier, moduleBuilder);
  70. }
  71. public void AddModule(string specifier, ModuleBuilder moduleBuilder)
  72. {
  73. _builders.Add(specifier, moduleBuilder);
  74. }
  75. public ObjectInstance ImportModule(string specifier)
  76. {
  77. return ImportModule(specifier, null);
  78. }
  79. internal ObjectInstance ImportModule(string specifier, string? referencingModuleLocation)
  80. {
  81. var moduleResolution = ModuleLoader.Resolve(referencingModuleLocation, specifier);
  82. if (!_modules.TryGetValue(moduleResolution.Key, out var module))
  83. {
  84. module = LoadModule(null, specifier);
  85. }
  86. if (module is not CyclicModuleRecord cyclicModule)
  87. {
  88. LinkModule(specifier, module);
  89. EvaluateModule(specifier, module);
  90. }
  91. else if (cyclicModule.Status == ModuleStatus.Unlinked)
  92. {
  93. LinkModule(specifier, cyclicModule);
  94. if (cyclicModule.Status == ModuleStatus.Linked)
  95. {
  96. ExecuteWithConstraints(true, () => EvaluateModule(specifier, cyclicModule));
  97. }
  98. if (cyclicModule.Status != ModuleStatus.Evaluated)
  99. {
  100. ExceptionHelper.ThrowNotSupportedException($"Error while evaluating module: Module is in an invalid state: '{cyclicModule.Status}'");
  101. }
  102. }
  103. RunAvailableContinuations();
  104. return ModuleRecord.GetModuleNamespace(module);
  105. }
  106. private static void LinkModule(string specifier, ModuleRecord module)
  107. {
  108. module.Link();
  109. }
  110. private JsValue EvaluateModule(string specifier, ModuleRecord module)
  111. {
  112. var ownsContext = _activeEvaluationContext is null;
  113. _activeEvaluationContext ??= new EvaluationContext(this);
  114. JsValue evaluationResult;
  115. try
  116. {
  117. evaluationResult = module.Evaluate();
  118. }
  119. finally
  120. {
  121. if (ownsContext)
  122. {
  123. _activeEvaluationContext = null!;
  124. }
  125. }
  126. // This should instead be returned and resolved in ImportModule(specifier) only so Host.ImportModuleDynamically can use this promise
  127. if (evaluationResult is not JsPromise promise)
  128. {
  129. ExceptionHelper.ThrowInvalidOperationException($"Error while evaluating module: Module evaluation did not return a promise: {evaluationResult.Type}");
  130. }
  131. else if (promise.State == PromiseState.Rejected)
  132. {
  133. var location = module is CyclicModuleRecord cyclicModuleRecord
  134. ? cyclicModuleRecord.AbnormalCompletionLocation
  135. : Location.From(new Position(), new Position());
  136. var node = EsprimaExtensions.CreateLocationNode(location);
  137. ExceptionHelper.ThrowJavaScriptException(this, promise.Value, node.Location);
  138. }
  139. else if (promise.State != PromiseState.Fulfilled)
  140. {
  141. ExceptionHelper.ThrowInvalidOperationException($"Error while evaluating module: Module evaluation did not return a fulfilled promise: {promise.State}");
  142. }
  143. return evaluationResult;
  144. }
  145. }
  146. }