Engine.Modules.cs 5.8 KB

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