summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/annexB/language/expressions/does-not-equals/emulates-undefined.js
blob: 15928d206579e0036f1a0ded9a55d81bc9aea117 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
// 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);

reportCompare(0, 0);