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:  * TypeError is subclass of Error from instanceof operator point of view
michael@0:  *
michael@0:  * @path ch11/11.8/11.8.6/S11.8.6_A5_T1.js
michael@0:  * @description Checking Error case
michael@0:  */
michael@0: 
michael@0: var __err = new Error;
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#1
michael@0: if (!(__err instanceof Error)) {
michael@0: 	$ERROR('#1: TypeError is subclass of Error from instanceof operator poit of view');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#2
michael@0: if (__err instanceof TypeError) {
michael@0: 	$ERROR('#2: TypeError is subclass of Error from instanceof operator poit of view');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: var err__ = Error('failed');
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#3
michael@0: if (!(err__ instanceof Error)) {
michael@0: 	$ERROR('#3: TypeError is subclass of Error from instanceof operator poit of view');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#4
michael@0: if (err__ instanceof TypeError) {
michael@0: 	$ERROR('#4: TypeError is subclass of Error from instanceof operator poit of view');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: