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 true
michael@0:  *
michael@0:  * @path ch11/11.9/11.9.5/S11.9.5_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: