From 37325894243428fd8fa9ec0a58f24c547f1409ed Mon Sep 17 00:00:00 2001 From: Alexey Shvayka Date: Mon, 10 Aug 2020 07:54:26 +0300 Subject: [PATCH] Add abstract equality tests --- .../does-not-equals/emulates-undefined.js | 32 +++++++++++++++++++ .../expressions/equals/emulates-undefined.js | 30 +++++++++++++++++ 2 files changed, 62 insertions(+) create mode 100644 test/annexB/language/expressions/does-not-equals/emulates-undefined.js create mode 100644 test/annexB/language/expressions/equals/emulates-undefined.js diff --git a/test/annexB/language/expressions/does-not-equals/emulates-undefined.js b/test/annexB/language/expressions/does-not-equals/emulates-undefined.js new file mode 100644 index 0000000000..ad04cff9f4 --- /dev/null +++ b/test/annexB/language/expressions/does-not-equals/emulates-undefined.js @@ -0,0 +1,32 @@ +// Copyright (C) 2020 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-equality-operators-runtime-semantics-evaluation +description: > + Abstract Equality special-cases [[IsHTMLDDA]] objects with `undefined` and `null`. +info: | + EqualityExpression : EqualityExpression != RelationalExpression + + [...] + 5. Let r be the result of performing Abstract Equality Comparison rval == lval. + 6. ReturnIfAbrupt(r). + 7. If r is true, return false. Otherwise, return true. + + The [[IsHTMLDDA]] Internal Slot / Changes to Abstract Equality Comparison + + The following steps are inserted after step 3 of the Abstract Equality Comparison algorithm: + + 1. If Type(x) is Object and x has an [[IsHTMLDDA]] internal slot and y is either null or undefined, return true. + 2. If x is either null or undefined and Type(y) is Object and y has an [[IsHTMLDDA]] internal slot, return true. +features: [IsHTMLDDA] +---*/ + +var IsHTMLDDA = $262.IsHTMLDDA; + +assert.sameValue(IsHTMLDDA != undefined, false, "!= with `undefined`"); +assert.sameValue(undefined != IsHTMLDDA, false, "!= with `undefined`"); + +assert.sameValue(IsHTMLDDA != null, false, "!= with `null`"); +assert.sameValue(null != IsHTMLDDA, false, "!= with `null`"); + +assert.sameValue(IsHTMLDDA != IsHTMLDDA, false); diff --git a/test/annexB/language/expressions/equals/emulates-undefined.js b/test/annexB/language/expressions/equals/emulates-undefined.js new file mode 100644 index 0000000000..eaa7489789 --- /dev/null +++ b/test/annexB/language/expressions/equals/emulates-undefined.js @@ -0,0 +1,30 @@ +// Copyright (C) 2020 Alexey Shvayka. All rights reserved. +// This code is governed by the BSD license found in the LICENSE file. +/*--- +esid: sec-equality-operators-runtime-semantics-evaluation +description: > + Abstract Equality special-cases [[IsHTMLDDA]] objects with `undefined` and `null`. +info: | + EqualityExpression : EqualityExpression == RelationalExpression + + [...] + 5. Return the result of performing Abstract Equality Comparison rval == lval. + + The [[IsHTMLDDA]] Internal Slot / Changes to Abstract Equality Comparison + + The following steps are inserted after step 3 of the Abstract Equality Comparison algorithm: + + 1. If Type(x) is Object and x has an [[IsHTMLDDA]] internal slot and y is either null or undefined, return true. + 2. If x is either null or undefined and Type(y) is Object and y has an [[IsHTMLDDA]] internal slot, return true. +features: [IsHTMLDDA] +---*/ + +var IsHTMLDDA = $262.IsHTMLDDA; + +assert(IsHTMLDDA == undefined, "== with `undefined`"); +assert(undefined == IsHTMLDDA, "== with `undefined`"); + +assert(IsHTMLDDA == null, "== with `null`"); +assert(null == IsHTMLDDA, "== with `null`"); + +assert(IsHTMLDDA == IsHTMLDDA);