DeclarativeEnvironment.cs 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203
  1. using System.Diagnostics.CodeAnalysis;
  2. using System.Runtime.CompilerServices;
  3. using Jint.Collections;
  4. using Jint.Native;
  5. namespace Jint.Runtime.Environments;
  6. /// <summary>
  7. /// Represents a declarative environment record
  8. /// https://tc39.es/ecma262/#sec-declarative-environment-records
  9. /// </summary>
  10. internal class DeclarativeEnvironment : Environment
  11. {
  12. internal HybridDictionary<Binding>? _dictionary;
  13. internal readonly bool _catchEnvironment;
  14. public DeclarativeEnvironment(Engine engine, bool catchEnvironment = false) : base(engine)
  15. {
  16. _catchEnvironment = catchEnvironment;
  17. }
  18. internal sealed override bool HasBinding(BindingName name) => HasBinding(name.Key);
  19. internal sealed override bool HasBinding(Key name) => _dictionary is not null && _dictionary.ContainsKey(name);
  20. internal override bool TryGetBinding(BindingName name, bool strict, [NotNullWhen(true)] out JsValue? value)
  21. {
  22. if (_dictionary?.TryGetValue(name.Key, out var binding) == true)
  23. {
  24. value = binding.Value;
  25. return true;
  26. }
  27. value = null;
  28. return false;
  29. }
  30. internal void CreateMutableBindingAndInitialize(Key name, bool canBeDeleted, JsValue value)
  31. {
  32. _dictionary ??= new HybridDictionary<Binding>();
  33. _dictionary[name] = new Binding(value, canBeDeleted, mutable: true, strict: false);
  34. }
  35. internal void CreateImmutableBindingAndInitialize(Key name, bool strict, JsValue value)
  36. {
  37. _dictionary ??= new HybridDictionary<Binding>();
  38. _dictionary[name] = new Binding(value, canBeDeleted: false, mutable: false, strict);
  39. }
  40. internal sealed override void CreateMutableBinding(Key name, bool canBeDeleted = false)
  41. {
  42. _dictionary ??= new HybridDictionary<Binding>();
  43. _dictionary.CreateMutableBinding(name, canBeDeleted);
  44. }
  45. internal sealed override void CreateImmutableBinding(Key name, bool strict = true)
  46. {
  47. _dictionary ??= new HybridDictionary<Binding>();
  48. _dictionary.CreateImmutableBinding(name, strict);
  49. }
  50. internal sealed override void InitializeBinding(Key name, JsValue value)
  51. {
  52. _dictionary ??= new HybridDictionary<Binding>();
  53. _dictionary.SetOrUpdateValue(name, static (current, value) => current.ChangeValue(value), value);
  54. }
  55. internal sealed override void SetMutableBinding(BindingName name, JsValue value, bool strict) => SetMutableBinding(name.Key, value, strict);
  56. internal sealed override void SetMutableBinding(Key name, JsValue value, bool strict)
  57. {
  58. _dictionary ??= new HybridDictionary<Binding>();
  59. ref var binding = ref _dictionary.GetValueRefOrNullRef(name);
  60. if (Unsafe.IsNullRef(ref binding))
  61. {
  62. if (strict)
  63. {
  64. ExceptionHelper.ThrowReferenceNameError(_engine.Realm, name);
  65. }
  66. _dictionary[name] = new Binding(value, canBeDeleted: true, mutable: true, strict: false);
  67. return;
  68. }
  69. if (binding.Strict)
  70. {
  71. strict = true;
  72. }
  73. // Is it an uninitialized binding?
  74. if (!binding.IsInitialized())
  75. {
  76. ThrowUninitializedBindingError(name);
  77. }
  78. if (binding.Mutable)
  79. {
  80. binding = binding.ChangeValue(value);
  81. }
  82. else
  83. {
  84. if (strict)
  85. {
  86. ExceptionHelper.ThrowTypeError(_engine.Realm, "Assignment to constant variable.");
  87. }
  88. }
  89. }
  90. internal override JsValue GetBindingValue(Key name, bool strict)
  91. {
  92. if (_dictionary is not null && _dictionary.TryGetValue(name, out var binding) && binding.IsInitialized())
  93. {
  94. return binding.Value;
  95. }
  96. ThrowUninitializedBindingError(name);
  97. return null!;
  98. }
  99. [MethodImpl(MethodImplOptions.NoInlining)]
  100. private void ThrowUninitializedBindingError(Key name)
  101. {
  102. ExceptionHelper.ThrowReferenceError(_engine.Realm, $"Cannot access '{name}' before initialization");
  103. }
  104. internal sealed override bool DeleteBinding(Key name)
  105. {
  106. if (_dictionary is null || !_dictionary.TryGetValue(name, out var binding))
  107. {
  108. return true;
  109. }
  110. if (!binding.CanBeDeleted)
  111. {
  112. return false;
  113. }
  114. _dictionary.Remove(name);
  115. return true;
  116. }
  117. internal override bool HasThisBinding() => false;
  118. internal override bool HasSuperBinding() => false;
  119. internal sealed override JsValue WithBaseObject() => Undefined;
  120. internal sealed override bool HasBindings() => _dictionary?.Count > 0;
  121. /// <inheritdoc />
  122. internal sealed override string[] GetAllBindingNames()
  123. {
  124. if (_dictionary is null)
  125. {
  126. return [];
  127. }
  128. var keys = new string[_dictionary.Count];
  129. var n = 0;
  130. foreach (var entry in _dictionary)
  131. {
  132. keys[n++] = entry.Key;
  133. }
  134. return keys;
  135. }
  136. internal override JsValue GetThisBinding() => Undefined;
  137. public void Clear()
  138. {
  139. _dictionary = null;
  140. }
  141. internal void TransferTo(List<Key> names, DeclarativeEnvironment env)
  142. {
  143. var source = _dictionary!;
  144. var target = env._dictionary ??= new HybridDictionary<Binding>(names.Count, checkExistingKeys: true);
  145. for (var j = 0; j < names.Count; j++)
  146. {
  147. var bn = names[j];
  148. source.TryGetValue(bn, out var lastValue);
  149. target[bn] = new Binding(lastValue.Value, canBeDeleted: false, mutable: true, strict: false);
  150. }
  151. }
  152. }
  153. internal static class DictionaryExtensions
  154. {
  155. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  156. internal static void CreateMutableBinding<T>(this T dictionary, Key name, bool canBeDeleted = false) where T : IEngineDictionary<Key, Binding>
  157. {
  158. dictionary[name] = new Binding(null!, canBeDeleted, mutable: true, strict: false);
  159. }
  160. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  161. internal static void CreateImmutableBinding<T>(this T dictionary, Key name, bool strict = true) where T : IEngineDictionary<Key, Binding>
  162. {
  163. dictionary[name] = new Binding(null!, canBeDeleted: false, mutable: false, strict);
  164. }
  165. }