blob: 511ebb025407c28d24653fd00217581bc7b1998a (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S11.13.2_A4.7_T2.1;
* @section: 11.13.2, 11.7.2;
* @assertion: The production x >>= y is the same as x = x >> y;
* @description: Type(x) is different from Type(y) and both types vary between Number (primitive or object) and Boolean (primitive and object);
*/
//CHECK#1
x = true;
x >>= 1;
if (x !== 0) {
$ERROR('#1: x = true; x >>= 1; x === 0. Actual: ' + (x));
}
//CHECK#2
x = 1;
x >>= true;
if (x !== 0) {
$ERROR('#2: x = 1; x >>= true; x === 0. Actual: ' + (x));
}
//CHECK#3
x = new Boolean(true);
x >>= 1;
if (x !== 0) {
$ERROR('#3: x = new Boolean(true); x >>= 1; x === 0. Actual: ' + (x));
}
//CHECK#4
x = 1;
x >>= new Boolean(true);
if (x !== 0) {
$ERROR('#4: x = 1; x >>= new Boolean(true); x === 0. Actual: ' + (x));
}
//CHECK#5
x = true;
x >>= new Number(1);
if (x !== 0) {
$ERROR('#5: x = true; x >>= new Number(1); x === 0. Actual: ' + (x));
}
//CHECK#6
x = new Number(1);
x >>= true;
if (x !== 0) {
$ERROR('#6: x = new Number(1); x >>= true; x === 0. Actual: ' + (x));
}
//CHECK#7
x = new Boolean(true);
x >>= new Number(1);
if (x !== 0) {
$ERROR('#7: x = new Boolean(true); x >>= new Number(1); x === 0. Actual: ' + (x));
}
//CHECK#8
x = new Number(1);
x >>= new Boolean(true);
if (x !== 0) {
$ERROR('#8: x = new Number(1); x >>= new Boolean(true); x === 0. Actual: ' + (x));
}
|
