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 ShiftExpression is not an object, throw TypeError
michael@0:  *
michael@0:  * @path ch11/11.8/11.8.7/S11.8.7_A3.js
michael@0:  * @description Checking all the types of primitives
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: try {
michael@0:   "toString" in true;
michael@0:   $ERROR('#1: "toString" in true throw TypeError');  
michael@0: }
michael@0: catch (e) {
michael@0:   if ((e instanceof TypeError) !== true) {
michael@0:     $ERROR('#1: "toString" in true throw TypeError');  
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#2
michael@0: try {
michael@0:   "MAX_VALUE" in 1;
michael@0:   $ERROR('#2: "MAX_VALUE" in 1 throw TypeError');  
michael@0: }
michael@0: catch (e) {
michael@0:   if ((e instanceof TypeError) !== true) {
michael@0:     $ERROR('#2: "MAX_VALUE" in 1 throw TypeError');  
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#3
michael@0: try {
michael@0:   "length" in "string";
michael@0:   $ERROR('#3: "length" in "string" throw TypeError');  
michael@0: }
michael@0: catch (e) {
michael@0:   if ((e instanceof TypeError) !== true) {
michael@0:     $ERROR('#3: "length" in "string" throw TypeError');  
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#4
michael@0: try {
michael@0:   "toString" in undefined;
michael@0:   $ERROR('#4: "toString" in undefined throw TypeError');  
michael@0: }
michael@0: catch (e) {
michael@0:   if ((e instanceof TypeError) !== true) {
michael@0:     $ERROR('#4: "toString" in undefined throw TypeError');  
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#5
michael@0: try {
michael@0:   "toString" in null;
michael@0:   $ERROR('#5: "toString" in null throw TypeError');  
michael@0: }
michael@0: catch (e) {
michael@0:   if ((e instanceof TypeError) !== true) {
michael@0:     $ERROR('#5: "toString" in null throw TypeError');  
michael@0:   }
michael@0: }
michael@0: