DeclarativeEnvironmentRecord.cs 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189
  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. [MethodImpl(MethodImplOptions.NoInlining)]
  110. private void ThrowUninitializedBindingError(string name)
  111. {
  112. ExceptionHelper.ThrowReferenceError(_engine.Realm, $"Cannot access '{name}' before initialization");
  113. }
  114. public sealed override bool DeleteBinding(string name)
  115. {
  116. if (_dictionary is null || !_dictionary.TryGetValue(name, out var binding))
  117. {
  118. return true;
  119. }
  120. if (!binding.CanBeDeleted)
  121. {
  122. return false;
  123. }
  124. _dictionary.Remove(name);
  125. return true;
  126. }
  127. public override bool HasThisBinding() => false;
  128. public override bool HasSuperBinding() => false;
  129. public sealed override JsValue WithBaseObject() => Undefined;
  130. public sealed override bool HasBindings()
  131. {
  132. return _dictionary?.Count > 0;
  133. }
  134. /// <inheritdoc />
  135. internal sealed override string[] GetAllBindingNames()
  136. {
  137. if (_dictionary is null)
  138. {
  139. return Array.Empty<string>();
  140. }
  141. var keys = new string[_dictionary.Count];
  142. var n = 0;
  143. foreach (var entry in _dictionary)
  144. {
  145. keys[n++] = entry.Key;
  146. }
  147. return keys;
  148. }
  149. public override JsValue GetThisBinding()
  150. {
  151. return Undefined;
  152. }
  153. public void Clear()
  154. {
  155. _dictionary = null;
  156. }
  157. }
  158. }