tyler.durden/test262
1
0
Fork 0
mirror of https://github.com/tc39/test262.git synced 2025-07-23 14:04:51 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add abstract equality tests

Browse Source
This commit is contained in:
Alexey Shvayka 2020-08-10 07:54:26 +03:00 committed by Rick Waldron
parent f2036e21bf
commit 3732589424
2 changed files with 62 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
test/annexB/language/expressions/does-not-equals/emulates-undefined.js Normal file
View File

@ -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);

30
test/annexB/language/expressions/equals/emulates-undefined.js Normal file
View File

@ -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);