michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * If Type(x) is different from Type(y), return false
michael@0:  *
michael@0:  * @path ch11/11.9/11.9.4/S11.9.4_A8_T4.js
michael@0:  * @description x or y is null or undefined
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if (undefined === null) {
michael@0:   $ERROR('#1: undefined !== null');
michael@0: }
michael@0: 
michael@0: //CHECK#2
michael@0: if (null === undefined) {
michael@0:   $ERROR('#2: null !== undefined');
michael@0: }
michael@0: 
michael@0: //CHECK#3
michael@0: if (null === 0) {
michael@0:   $ERROR('#3: null !== 0');
michael@0: }
michael@0: 
michael@0: //CHECK#4
michael@0: if (0 === null) {
michael@0:   $ERROR('#4: 0 !== null');
michael@0: }
michael@0: 
michael@0: //CHECK#5
michael@0: if (null === false) {
michael@0:   $ERROR('#5: null !== false');
michael@0: }
michael@0: 
michael@0: //CHECK#6
michael@0: if (false === null) {
michael@0:   $ERROR('#6: false !== null');
michael@0: }
michael@0: 
michael@0: //CHECK#7
michael@0: if (undefined === false) {
michael@0:   $ERROR('#7: undefined !== false');
michael@0: }
michael@0: 
michael@0: //CHECK#8
michael@0: if (false === undefined) {
michael@0:   $ERROR('#8: false !== undefined');
michael@0: }
michael@0: 
michael@0: //CHECK#9
michael@0: if (null === new Object()) {
michael@0:   $ERROR('#9: null !== new Object()');
michael@0: }
michael@0: 
michael@0: //CHECK#10
michael@0: if (new Object() === null) {
michael@0:   $ERROR('#10: new Object() !== null');
michael@0: }
michael@0: 
michael@0: //CHECK#11
michael@0: if (null === "null") {
michael@0:   $ERROR('#11: null !== "null"');
michael@0: }
michael@0: 
michael@0: //CHECK#12
michael@0: if ("null" === null) {
michael@0:   $ERROR('#12: "null" !== null');
michael@0: }
michael@0: 
michael@0: //CHECK#13
michael@0: if (undefined === "undefined") {
michael@0:   $ERROR('#13: undefined !== "undefined"');
michael@0: }
michael@0: 
michael@0: //CHECK#14
michael@0: if ("undefined" === undefined) {
michael@0:   $ERROR('#14: "undefined" !== undefined');
michael@0: }
michael@0: