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:  * When Function object(F) is constructed
michael@0:  * the [[Prototype]] property of F is set to the original Function prototype object as specified in 15.3.3.1
michael@0:  *
michael@0:  * @path ch13/13.2/S13.2_A5.js
michael@0:  * @description Function.prototype.isPrototypeOf() is used
michael@0:  */
michael@0: 
michael@0: function __func(){};
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#1
michael@0: if (!(Function.prototype.isPrototypeOf(__func))) {
michael@0: 	$ERROR('#1: Function.prototype.isPrototypeOf(__func)');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: 
michael@0: var __gunc = function(){};
michael@0: 
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: //CHECK#2
michael@0: if (!(Function.prototype.isPrototypeOf(__gunc))) {
michael@0: 	$ERROR('#1: Function.prototype.isPrototypeOf(__gunc)');
michael@0: }
michael@0: //
michael@0: //////////////////////////////////////////////////////////////////////////////
michael@0: 
michael@0: 
michael@0: