DeclarativeEnvironmentRecord.cs 5.9 KB

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