Added cases with declaration and usage of private static accessors

src/class-elements/static-private-getter-access-on-inner-arrow-function.case

@@ -0,0 +1,41 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private getter access inside of an arrow function
+info: |
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+        ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      a. Return P.[[Value]].
+    ...
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private]
+---*/
+
+//- elements
+static get #f() {
+  return 'Test262';
+}
+
+static access() {
+  const arrowFunction = () => {
+    return this.#f;
+  };
+
+  return arrowFunction();
+}
+
+//- assertions
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an object which did not contain it');

src/class-elements/static-private-getter-access-on-inner-class.case

@@ -0,0 +1,39 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private getter access inside of an inner class
+info: |
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+        ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      a. Return P.[[Value]].
+    ...
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private, class-static-fields-public]
+---*/
+
+//- elements
+static get #f() {
+  return 'Test262';
+}
+
+static Inner = class {
+  static access(o) {
+    return o.#f;
+  }
+}
+
+//- assertions
+assert.sameValue(C.Inner.access(C), 'Test262');
+assert.throws(TypeError, function() {
+  C.Inner.access(C.Inner);
+}, 'Accessed static private getter from an object which did not contain it');

src/class-elements/static-private-getter-access-on-inner-function.case

@@ -0,0 +1,43 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private getter access inside of a nested function
+info: |
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+        ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      a. Return P.[[Value]].
+    ...
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private]
+---*/
+
+//- elements
+static get #f() {
+  return 'Test262';
+}
+
+static access() {
+  const self = this;
+
+  function innerFunction() {
+    return self.#f;
+  }
+
+  return innerFunction();
+}
+
+//- assertions
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an arbitrary object');

src/class-elements/static-private-getter.case

@@ -0,0 +1,53 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private getter declaration and usage
+info: |
+
+  MethodDefinition :
+    get ClassElementName () { FunctionBody }
+    set ClassElementName ( PropertySetParameterList ) { FunctionBody }
+
+  ClassTail : ClassHeritage { ClassBody }
+	  ...
+	  33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+	    a. PrivateBrandAdd(F, F).
+	  34. For each item fieldRecord in order from staticFields,
+	    a. Perform ? DefineField(F, field).
+
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+      ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      ...
+    6. Else,
+      a. Assert: P.[[Kind]] is "accessor".
+      b. If P does not have a [[Get]] field, throw a TypeError exception.
+      c. Let getter be P.[[Get]].
+      d. Return ? Call(getter, O).
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private]
+---*/
+
+//- elements
+static get #f() {
+  return 'Test262';
+}
+
+static access() {
+  return this.#f;
+}
+
+//- assertions
+assert.sameValue(C.access(), 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private getter from an arbitrary object');

src/class-elements/static-private-setter-access-on-inner-arrow-function.case

@@ -0,0 +1,42 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private setter access inside of an arrow function
+info: |
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+        ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      a. Return P.[[Value]].
+    ...
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private]
+---*/
+
+//- elements
+static set #f(v) {
+  this._v = v;
+}
+
+static access() {
+  const arrowFunction = () => {
+    this.#f = 'Test262';
+  };
+
+  arrowFunction();
+}
+
+//- assertions
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an object which did not contain it');

src/class-elements/static-private-setter-access-on-inner-class.case

@@ -0,0 +1,40 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private setter access inside of an inner class
+info: |
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+        ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      a. Return P.[[Value]].
+    ...
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private, class-static-fields-public]
+---*/
+
+//- elements
+static set #f(v) {
+  return this._v = v;
+}
+
+static Inner = class {
+  static access(o) {
+    o.#f = 'Test262';
+  }
+}
+
+//- assertions
+C.Inner.access(C)
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.Inner.access(C.Inner);
+}, 'Accessed static private setter from an object which did not contain it');

src/class-elements/static-private-setter-access-on-inner-function.case

@@ -0,0 +1,44 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private setter access inside of a nested function
+info: |
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+        ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      a. Return P.[[Value]].
+    ...
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private]
+---*/
+
+//- elements
+static set #f(v) {
+  this._v = v;
+}
+
+static access() {
+  const self = this;
+
+  function innerFunction() {
+    self.#f = 'Test262';
+  }
+
+  innerFunction();
+}
+
+//- assertions
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an arbitrary object');

src/class-elements/static-private-setter.case

@@ -0,0 +1,54 @@
+// Copyright (C) 2019 Caio Lima (Igalia SL). All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+desc: static private setter declaration and usage
+info: |
+
+  MethodDefinition :
+    get ClassElementName () { FunctionBody }
+    set ClassElementName ( PropertySetParameterList ) { FunctionBody }
+
+  ClassTail : ClassHeritage { ClassBody }
+	  ...
+	  33. If PrivateBoundIdentifiers of ClassBody contains a Private Name P such that P's [[Kind]] field is either "method" or "accessor" and P's [[Brand]] is F,
+	    a. PrivateBrandAdd(F, F).
+	  34. For each item fieldRecord in order from staticFields,
+	    a. Perform ? DefineField(F, field).
+
+  PrivateFieldGet (P, O)
+    1. Assert: P is a Private Name.
+    2. If O is not an object, throw a TypeError exception.
+    3. If P.[[Kind]] is "field",
+      ...
+    4. Perform ? PrivateBrandCheck(O, P).
+    5. If P.[[Kind]] is "method",
+      ...
+    6. Else,
+      a. Assert: P.[[Kind]] is "accessor".
+      b. If P does not have a [[Get]] field, throw a TypeError exception.
+      c. Let getter be P.[[Get]].
+      d. Return ? Call(getter, O).
+
+  PrivateBrandCheck(O, P)
+    1. If O.[[PrivateBrands]] does not contain an entry e such that SameValue(e, P.[[Brand]]) is true,
+      a. Throw a TypeError exception.
+template: default
+features: [class-static-methods-private]
+---*/
+
+//- elements
+static set #f(v) {
+  this._v = v;
+}
+
+static access() {
+  this.#f = 'Test262';
+}
+
+//- assertions
+C.access();
+assert.sameValue(C._v, 'Test262');
+assert.throws(TypeError, function() {
+  C.access.call({});
+}, 'Accessed static private setter from an arbitrary object');