JavascriptPromise.h 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588
  1. //-------------------------------------------------------------------------------------------------------
  2. // Copyright (C) Microsoft. All rights reserved.
  3. // Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
  4. //-------------------------------------------------------------------------------------------------------
  5. #pragma once
  6. namespace Js
  7. {
  8. struct JavascriptPromiseResolveOrRejectFunctionAlreadyResolvedWrapper
  9. {
  10. Field(bool) alreadyResolved;
  11. };
  12. class JavascriptPromiseResolveOrRejectFunction : public RuntimeFunction
  13. {
  14. protected:
  15. DEFINE_VTABLE_CTOR(JavascriptPromiseResolveOrRejectFunction, RuntimeFunction);
  16. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseResolveOrRejectFunction);
  17. public:
  18. JavascriptPromiseResolveOrRejectFunction(DynamicType* type);
  19. JavascriptPromiseResolveOrRejectFunction(DynamicType* type, FunctionInfo* functionInfo, JavascriptPromise* promise, bool isReject, JavascriptPromiseResolveOrRejectFunctionAlreadyResolvedWrapper* alreadyResolvedRecord);
  20. inline static bool Is(Var var);
  21. inline static JavascriptPromiseResolveOrRejectFunction* FromVar(Var var);
  22. inline static JavascriptPromiseResolveOrRejectFunction* UnsafeFromVar(Var var);
  23. JavascriptPromise* GetPromise();
  24. bool IsRejectFunction();
  25. bool IsAlreadyResolved();
  26. void SetAlreadyResolved(bool is);
  27. private:
  28. Field(JavascriptPromise*) promise;
  29. Field(bool) isReject;
  30. Field(JavascriptPromiseResolveOrRejectFunctionAlreadyResolvedWrapper*) alreadyResolvedWrapper;
  31. #if ENABLE_TTD
  32. public:
  33. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  34. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  35. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  36. #endif
  37. };
  38. class JavascriptPromiseAsyncSpawnExecutorFunction : public RuntimeFunction
  39. {
  40. protected:
  41. DEFINE_VTABLE_CTOR(JavascriptPromiseAsyncSpawnExecutorFunction, RuntimeFunction);
  42. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseAsyncSpawnExecutorFunction);
  43. public:
  44. JavascriptPromiseAsyncSpawnExecutorFunction(DynamicType* type, FunctionInfo* functionInfo, JavascriptGenerator* generator, Var target);
  45. inline static bool Is(Var var);
  46. inline static JavascriptPromiseAsyncSpawnExecutorFunction* FromVar(Var var);
  47. inline static JavascriptPromiseAsyncSpawnExecutorFunction* UnsafeFromVar(Var var);
  48. JavascriptGenerator* GetGenerator();
  49. Var GetTarget();
  50. private:
  51. Field(JavascriptGenerator*) generator;
  52. Field(Var) target; // this
  53. #if ENABLE_TTD
  54. public:
  55. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  56. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  57. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  58. #endif
  59. };
  60. class JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction : public RuntimeFunction
  61. {
  62. protected:
  63. DEFINE_VTABLE_CTOR(JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction, RuntimeFunction);
  64. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction);
  65. public:
  66. JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction(DynamicType* type, FunctionInfo* functionInfo, JavascriptGenerator* generator, Var argument, Var resolve = nullptr, Var reject = nullptr, bool isReject = false);
  67. inline static bool Is(Var var);
  68. inline static JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction* FromVar(Var var);
  69. inline static JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction* UnsafeFromVar(Var var);
  70. JavascriptGenerator* GetGenerator();
  71. Var GetReject();
  72. Var GetResolve();
  73. bool GetIsReject();
  74. Var GetArgument();
  75. private:
  76. Field(JavascriptGenerator*) generator;
  77. Field(Var) reject;
  78. Field(Var) resolve;
  79. Field(bool) isReject;
  80. Field(Var) argument;
  81. #if ENABLE_TTD
  82. public:
  83. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  84. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  85. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  86. #endif
  87. };
  88. class JavascriptPromiseCapabilitiesExecutorFunction : public RuntimeFunction
  89. {
  90. protected:
  91. DEFINE_VTABLE_CTOR(JavascriptPromiseCapabilitiesExecutorFunction, RuntimeFunction);
  92. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseCapabilitiesExecutorFunction);
  93. public:
  94. JavascriptPromiseCapabilitiesExecutorFunction(DynamicType* type, FunctionInfo* functionInfo, JavascriptPromiseCapability* capability);
  95. inline static bool Is(Var var);
  96. inline static JavascriptPromiseCapabilitiesExecutorFunction* FromVar(Var var);
  97. inline static JavascriptPromiseCapabilitiesExecutorFunction* UnsafeFromVar(Var var);
  98. JavascriptPromiseCapability* GetCapability();
  99. private:
  100. Field(JavascriptPromiseCapability*) capability;
  101. #if ENABLE_TTD
  102. public:
  103. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  104. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  105. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  106. #endif
  107. };
  108. class JavascriptPromiseResolveThenableTaskFunction : public RuntimeFunction
  109. {
  110. protected:
  111. DEFINE_VTABLE_CTOR(JavascriptPromiseResolveThenableTaskFunction, RuntimeFunction);
  112. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseResolveThenableTaskFunction);
  113. public:
  114. JavascriptPromiseResolveThenableTaskFunction(DynamicType* type, FunctionInfo* functionInfo, JavascriptPromise* promise, RecyclableObject* thenable, RecyclableObject* thenFunction)
  115. : RuntimeFunction(type, functionInfo), promise(promise), thenable(thenable), thenFunction(thenFunction)
  116. { }
  117. inline static bool Is(Var var)
  118. {
  119. if (JavascriptFunction::Is(var))
  120. {
  121. JavascriptFunction* obj = JavascriptFunction::UnsafeFromVar(var);
  122. return VirtualTableInfo<JavascriptPromiseResolveThenableTaskFunction>::HasVirtualTable(obj)
  123. || VirtualTableInfo<CrossSiteObject<JavascriptPromiseResolveThenableTaskFunction>>::HasVirtualTable(obj);
  124. }
  125. return false;
  126. }
  127. inline static JavascriptPromiseResolveThenableTaskFunction* FromVar(Var var)
  128. {
  129. AssertOrFailFast(JavascriptPromiseResolveThenableTaskFunction::Is(var));
  130. return static_cast<JavascriptPromiseResolveThenableTaskFunction*>(var);
  131. }
  132. JavascriptPromise* GetPromise();
  133. RecyclableObject* GetThenable();
  134. RecyclableObject* GetThenFunction();
  135. private:
  136. Field(JavascriptPromise*) promise;
  137. Field(RecyclableObject*) thenable;
  138. Field(RecyclableObject*) thenFunction;
  139. #if ENABLE_TTD
  140. public:
  141. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  142. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  143. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  144. #endif
  145. };
  146. class JavascriptPromiseReactionTaskFunction : public RuntimeFunction
  147. {
  148. protected:
  149. DEFINE_VTABLE_CTOR(JavascriptPromiseReactionTaskFunction, RuntimeFunction);
  150. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseReactionTaskFunction);
  151. public:
  152. JavascriptPromiseReactionTaskFunction(DynamicType* type, FunctionInfo* functionInfo, JavascriptPromiseReaction* reaction, Var argument)
  153. : RuntimeFunction(type, functionInfo), reaction(reaction), argument(argument)
  154. { }
  155. inline static bool Is(Var var)
  156. {
  157. if (JavascriptFunction::Is(var))
  158. {
  159. JavascriptFunction* obj = JavascriptFunction::UnsafeFromVar(var);
  160. return VirtualTableInfo<JavascriptPromiseReactionTaskFunction>::HasVirtualTable(obj)
  161. || VirtualTableInfo<CrossSiteObject<JavascriptPromiseReactionTaskFunction>>::HasVirtualTable(obj);
  162. }
  163. return false;
  164. }
  165. inline static JavascriptPromiseReactionTaskFunction* FromVar(Var var)
  166. {
  167. AssertOrFailFast(JavascriptPromiseReactionTaskFunction::Is(var));
  168. return static_cast<JavascriptPromiseReactionTaskFunction*>(var);
  169. }
  170. JavascriptPromiseReaction* GetReaction();
  171. Var GetArgument();
  172. private:
  173. Field(JavascriptPromiseReaction*) reaction;
  174. Field(Var) argument;
  175. #if ENABLE_TTD
  176. public:
  177. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  178. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  179. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  180. #endif
  181. };
  182. class JavascriptPromiseThenFinallyFunction : public RuntimeFunction
  183. {
  184. protected:
  185. DEFINE_VTABLE_CTOR(JavascriptPromiseThenFinallyFunction, RuntimeFunction);
  186. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseThenFinallyFunction);
  187. public:
  188. JavascriptPromiseThenFinallyFunction(DynamicType* type, FunctionInfo* functionInfo, RecyclableObject* OnFinally, RecyclableObject* Constructor, bool shouldThrow)
  189. : RuntimeFunction(type, functionInfo), OnFinally(OnFinally), Constructor(Constructor), shouldThrow(shouldThrow)
  190. { }
  191. inline static bool Is(Var var)
  192. {
  193. if (JavascriptFunction::Is(var))
  194. {
  195. JavascriptFunction* obj = JavascriptFunction::UnsafeFromVar(var);
  196. return VirtualTableInfo<JavascriptPromiseThenFinallyFunction>::HasVirtualTable(obj)
  197. || VirtualTableInfo<CrossSiteObject<JavascriptPromiseThenFinallyFunction>>::HasVirtualTable(obj);
  198. }
  199. return false;
  200. }
  201. inline static JavascriptPromiseThenFinallyFunction* FromVar(Var var)
  202. {
  203. AssertOrFailFast(JavascriptPromiseThenFinallyFunction::Is(var));
  204. return static_cast<JavascriptPromiseThenFinallyFunction*>(var);
  205. }
  206. inline bool GetShouldThrow() { return this->shouldThrow; }
  207. inline RecyclableObject* GetOnFinally() { return this->OnFinally; }
  208. inline RecyclableObject* GetConstructor() { return this->Constructor; }
  209. private:
  210. Field(RecyclableObject*) OnFinally;
  211. Field(RecyclableObject*) Constructor;
  212. Field(bool) shouldThrow;
  213. };
  214. class JavascriptPromiseThunkFinallyFunction : public RuntimeFunction
  215. {
  216. protected:
  217. DEFINE_VTABLE_CTOR(JavascriptPromiseThunkFinallyFunction, RuntimeFunction);
  218. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseThunkFinallyFunction);
  219. public:
  220. JavascriptPromiseThunkFinallyFunction(DynamicType* type, FunctionInfo* functionInfo, Var value, bool shouldThrow)
  221. : RuntimeFunction(type, functionInfo), value(value), shouldThrow(shouldThrow)
  222. { }
  223. inline static bool Is(Var var)
  224. {
  225. if (JavascriptFunction::Is(var))
  226. {
  227. JavascriptFunction* obj = JavascriptFunction::UnsafeFromVar(var);
  228. return VirtualTableInfo<JavascriptPromiseThunkFinallyFunction>::HasVirtualTable(obj)
  229. || VirtualTableInfo<CrossSiteObject<JavascriptPromiseThunkFinallyFunction>>::HasVirtualTable(obj);
  230. }
  231. return false;
  232. }
  233. inline static JavascriptPromiseThunkFinallyFunction* FromVar(Var var)
  234. {
  235. AssertOrFailFast(JavascriptPromiseThunkFinallyFunction::Is(var));
  236. return static_cast<JavascriptPromiseThunkFinallyFunction*>(var);
  237. }
  238. inline bool GetShouldThrow() { return this->shouldThrow; }
  239. inline Var GetValue() { return this->value; }
  240. private:
  241. Field(Var) value;
  242. Field(bool) shouldThrow;
  243. };
  244. struct JavascriptPromiseAllResolveElementFunctionRemainingElementsWrapper
  245. {
  246. Field(uint32) remainingElements;
  247. };
  248. class JavascriptPromiseAllResolveElementFunction : public RuntimeFunction
  249. {
  250. protected:
  251. DEFINE_VTABLE_CTOR(JavascriptPromiseAllResolveElementFunction, RuntimeFunction);
  252. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromiseAllResolveElementFunction);
  253. public:
  254. JavascriptPromiseAllResolveElementFunction(DynamicType* type);
  255. JavascriptPromiseAllResolveElementFunction(DynamicType* type, FunctionInfo* functionInfo, uint32 index, JavascriptArray* values, JavascriptPromiseCapability* capabilities, JavascriptPromiseAllResolveElementFunctionRemainingElementsWrapper* remainingElementsWrapper);
  256. inline static bool Is(Var var);
  257. inline static JavascriptPromiseAllResolveElementFunction* FromVar(Var var);
  258. inline static JavascriptPromiseAllResolveElementFunction* UnsafeFromVar(Var var);
  259. JavascriptPromiseCapability* GetCapabilities();
  260. uint32 GetIndex();
  261. uint32 GetRemainingElements();
  262. JavascriptArray* GetValues();
  263. bool IsAlreadyCalled() const;
  264. void SetAlreadyCalled(const bool is);
  265. uint32 DecrementRemainingElements();
  266. private:
  267. Field(JavascriptPromiseCapability*) capabilities;
  268. Field(uint32) index;
  269. Field(JavascriptPromiseAllResolveElementFunctionRemainingElementsWrapper*) remainingElementsWrapper;
  270. Field(JavascriptArray*) values;
  271. Field(bool) alreadyCalled;
  272. #if ENABLE_TTD
  273. public:
  274. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  275. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  276. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  277. #endif
  278. };
  279. class JavascriptPromiseCapability : FinalizableObject
  280. {
  281. private:
  282. JavascriptPromiseCapability(Var promise, Var resolve, Var reject)
  283. : promise(promise), resolve(resolve), reject(reject)
  284. { }
  285. public:
  286. static JavascriptPromiseCapability* New(Var promise, Var resolve, Var reject, ScriptContext* scriptContext);
  287. Var GetResolve();
  288. Var GetReject();
  289. Var GetPromise();
  290. void SetPromise(Var);
  291. void SetResolve(Var resolve);
  292. void SetReject(Var reject);
  293. public:
  294. // Finalizable support
  295. virtual void Finalize(bool isShutdown)
  296. {
  297. }
  298. virtual void Dispose(bool isShutdown)
  299. {
  300. }
  301. virtual void Mark(Recycler *recycler) override
  302. {
  303. AssertMsg(false, "Mark called on object that isnt TrackableObject");
  304. }
  305. private:
  306. Field(Var) promise;
  307. Field(Var) resolve;
  308. Field(Var) reject;
  309. #if ENABLE_TTD
  310. public:
  311. //Do any additional marking that is needed for a TT snapshotable object
  312. void MarkVisitPtrs(TTD::SnapshotExtractor* extractor);
  313. //Do the extraction
  314. void ExtractSnapPromiseCapabilityInto(TTD::NSSnapValues::SnapPromiseCapabilityInfo* snapPromiseCapability, JsUtil::List<TTD_PTR_ID, HeapAllocator>& depOnList, TTD::SlabAllocator& alloc);
  315. #endif
  316. };
  317. class JavascriptPromiseReaction : FinalizableObject
  318. {
  319. private:
  320. JavascriptPromiseReaction(JavascriptPromiseCapability* capabilities, RecyclableObject* handler)
  321. : capabilities(capabilities), handler(handler)
  322. { }
  323. public:
  324. static JavascriptPromiseReaction* New(JavascriptPromiseCapability* capabilities, RecyclableObject* handler, ScriptContext* scriptContext);
  325. JavascriptPromiseCapability* GetCapabilities();
  326. RecyclableObject* GetHandler();
  327. public:
  328. // Finalizable support
  329. virtual void Finalize(bool isShutdown)
  330. {
  331. }
  332. virtual void Dispose(bool isShutdown)
  333. {
  334. }
  335. virtual void Mark(Recycler *recycler) override
  336. {
  337. AssertMsg(false, "Mark called on object that isnt TrackableObject");
  338. }
  339. private:
  340. Field(JavascriptPromiseCapability*) capabilities;
  341. Field(RecyclableObject*) handler;
  342. #if ENABLE_TTD
  343. public:
  344. //Do any additional marking that is needed for a TT snapshotable object
  345. void MarkVisitPtrs(TTD::SnapshotExtractor* extractor);
  346. //Do the extraction
  347. void ExtractSnapPromiseReactionInto(TTD::NSSnapValues::SnapPromiseReactionInfo* snapPromiseReaction, JsUtil::List<TTD_PTR_ID, HeapAllocator>& depOnList, TTD::SlabAllocator& alloc);
  348. #endif
  349. };
  350. struct JavascriptPromiseReactionPair
  351. {
  352. JavascriptPromiseReaction* resolveReaction;
  353. JavascriptPromiseReaction* rejectReaction;
  354. };
  355. typedef SList<Js::JavascriptPromiseReactionPair, Recycler> JavascriptPromiseReactionList;
  356. class JavascriptPromise : public DynamicObject
  357. {
  358. private:
  359. DEFINE_VTABLE_CTOR(JavascriptPromise, DynamicObject);
  360. DEFINE_MARSHAL_OBJECT_TO_SCRIPT_CONTEXT(JavascriptPromise);
  361. public:
  362. class EntryInfo
  363. {
  364. public:
  365. static FunctionInfo NewInstance;
  366. static FunctionInfo All;
  367. static FunctionInfo Catch;
  368. static FunctionInfo Race;
  369. static FunctionInfo Reject;
  370. static FunctionInfo Resolve;
  371. static FunctionInfo Then;
  372. static FunctionInfo Finally;
  373. static FunctionInfo Identity;
  374. static FunctionInfo Thrower;
  375. static FunctionInfo FinallyValueFunction;
  376. static FunctionInfo ThenFinallyFunction;
  377. static FunctionInfo ResolveOrRejectFunction;
  378. static FunctionInfo CapabilitiesExecutorFunction;
  379. static FunctionInfo AllResolveElementFunction;
  380. static FunctionInfo GetterSymbolSpecies;
  381. };
  382. JavascriptPromise(DynamicType * type);
  383. static Var NewInstance(RecyclableObject* function, CallInfo callInfo, ...);
  384. static Var EntryAll(RecyclableObject* function, CallInfo callInfo, ...);
  385. static Var EntryCatch(RecyclableObject* function, CallInfo callInfo, ...);
  386. static Var EntryRace(RecyclableObject* function, CallInfo callInfo, ...);
  387. static Var EntryReject(RecyclableObject* function, CallInfo callInfo, ...);
  388. static Var EntryResolve(RecyclableObject* function, CallInfo callInfo, ...);
  389. static Var EntryThen(RecyclableObject* function, CallInfo callInfo, ...);
  390. static Var EntryFinally(RecyclableObject* function, CallInfo callInfo, ...);
  391. static Var EntryThunkFinallyFunction(RecyclableObject* function, CallInfo callInfo, ...);
  392. static Var EntryThenFinallyFunction(RecyclableObject* function, CallInfo callInfo, ...);
  393. static Var EntryCapabilitiesExecutorFunction(RecyclableObject* function, CallInfo callInfo, ...);
  394. static Var EntryResolveOrRejectFunction(RecyclableObject* function, CallInfo callInfo, ...);
  395. static Var EntryReactionTaskFunction(RecyclableObject* function, CallInfo callInfo, ...);
  396. static Var EntryResolveThenableTaskFunction(RecyclableObject* function, CallInfo callInfo, ...);
  397. static Var EntryIdentityFunction(RecyclableObject* function, CallInfo callInfo, ...);
  398. static Var EntryThrowerFunction(RecyclableObject* function, CallInfo callInfo, ...);
  399. static Var EntryAllResolveElementFunction(RecyclableObject* function, CallInfo callInfo, ...);
  400. static Var EntryGetterSymbolSpecies(RecyclableObject* function, CallInfo callInfo, ...);
  401. static Var EntryJavascriptPromiseAsyncSpawnExecutorFunction(RecyclableObject* function, CallInfo callInfo, ...);
  402. static Var EntryJavascriptPromiseAsyncSpawnStepNextExecutorFunction(RecyclableObject* function, CallInfo callInfo, ...);
  403. static Var EntryJavascriptPromiseAsyncSpawnStepThrowExecutorFunction(RecyclableObject* function, CallInfo callInfo, ...);
  404. static Var EntryJavascriptPromiseAsyncSpawnCallStepExecutorFunction(RecyclableObject* function, CallInfo callInfo, ...);
  405. static bool Is(Var aValue);
  406. static JavascriptPromise* FromVar(Js::Var aValue);
  407. static JavascriptPromise* UnsafeFromVar(Js::Var aValue);
  408. static Var CreateRejectedPromise(Var resolution, ScriptContext* scriptContext, Var promiseConstructor = nullptr);
  409. static Var CreateResolvedPromise(Var resolution, ScriptContext* scriptContext, Var promiseConstructor = nullptr);
  410. static Var CreatePassThroughPromise(JavascriptPromise* sourcePromise, ScriptContext* scriptContext);
  411. static Var CreateThenPromise(JavascriptPromise* sourcePromise, RecyclableObject* fulfillmentHandler, RecyclableObject* rejectionHandler, ScriptContext* scriptContext);
  412. virtual BOOL GetDiagValueString(StringBuilder<ArenaAllocator>* stringBuilder, ScriptContext* requestContext) override;
  413. virtual BOOL GetDiagTypeString(StringBuilder<ArenaAllocator>* stringBuilder, ScriptContext* requestContext) override;
  414. JavascriptPromiseReactionList* GetReactions();
  415. static JavascriptPromiseCapability* NewPromiseCapability(Var constructor, ScriptContext* scriptContext);
  416. static JavascriptPromiseCapability* CreatePromiseCapabilityRecord(RecyclableObject* constructor, ScriptContext* scriptContext);
  417. static Var TriggerPromiseReactions(JavascriptPromiseReactionList* reactions, bool isReject, Var resolution, ScriptContext* scriptContext);
  418. static void EnqueuePromiseReactionTask(JavascriptPromiseReaction* reaction, Var resolution, ScriptContext* scriptContext);
  419. static void InitializePromise(JavascriptPromise* promise, JavascriptPromiseResolveOrRejectFunction** resolve, JavascriptPromiseResolveOrRejectFunction** reject, ScriptContext* scriptContext);
  420. static Var TryCallResolveOrRejectHandler(Var handler, Var value, ScriptContext* scriptContext);
  421. static Var TryRejectWithExceptionObject(JavascriptExceptionObject* exceptionObject, Var handler, ScriptContext* scriptContext);
  422. static JavascriptPromise* CreateEnginePromise(ScriptContext *scriptContext);
  423. Var Resolve(Var resolution, ScriptContext* scriptContext);
  424. Var Reject(Var resolution, ScriptContext* scriptContext);
  425. enum PromiseStatus : unsigned char
  426. {
  427. PromiseStatusCode_Undefined = 0x00,
  428. PromiseStatusCode_Unresolved = 0x01,
  429. PromiseStatusCode_HasResolution = 0x02,
  430. PromiseStatusCode_HasRejection = 0x03
  431. };
  432. bool GetIsHandled() const { return this->isHandled; }
  433. void SetIsHandled() { this->isHandled = true; }
  434. PromiseStatus GetStatus() const { return this->status; }
  435. void SetStatus(const PromiseStatus newStatus) { this->status = newStatus; }
  436. Var GetResult() const { return result; }
  437. protected:
  438. Var ResolveHelper(Var resolution, bool isRejecting, ScriptContext* scriptContext);
  439. protected:
  440. Field(Var) result;
  441. Field(JavascriptPromiseReactionList*) reactions;
  442. // we could pack status & isHandled into a single byte, but the compiler is aligning this on address-size
  443. // boundaries, so we don't save anything. Leaving these separate fields for clarity
  444. Field(PromiseStatus) status;
  445. Field(bool) isHandled;
  446. private :
  447. static void AsyncSpawnStep(JavascriptPromiseAsyncSpawnStepArgumentExecutorFunction* nextFunction, JavascriptGenerator* gen, Var resolve, Var reject);
  448. bool WillRejectionBeUnhandled();
  449. #if ENABLE_TTD
  450. public:
  451. virtual void MarkVisitKindSpecificPtrs(TTD::SnapshotExtractor* extractor) override;
  452. virtual TTD::NSSnapObjects::SnapObjectType GetSnapTag_TTD() const override;
  453. virtual void ExtractSnapObjectDataInto(TTD::NSSnapObjects::SnapObject* objData, TTD::SlabAllocator& alloc) override;
  454. static JavascriptPromise* InitializePromise_TTD(ScriptContext* scriptContext, uint32 status, bool isHandled, Var result, SList<Js::JavascriptPromiseReaction*, HeapAllocator>& resolveReactions, SList<Js::JavascriptPromiseReaction*, HeapAllocator>& rejectReactions);
  455. #endif
  456. };
  457. }