DeclarativeEnvironmentRecord.cs 6.1 KB

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