text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
  * @name: S15.5.4.5_A9;
  * @section: 15.5.4.5;
  * @assertion: The String.prototype.charCodeAt.length property has the attribute DontDelete;
  * @description: Checking if deleting the String.prototype.charCodeAt.length property fails;
  */
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#0
  if (!(String.prototype.charCodeAt.hasOwnProperty('length'))) {
    $FAIL('#0: String.prototype.charCodeAt.hasOwnProperty(\'length\') return true. Actual: '+String.prototype.charCodeAt.hasOwnProperty('length')); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  if (delete String.prototype.charCodeAt.length) {
    $ERROR('#1: delete String.prototype.charCodeAt.length return false');
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#2
  if (!(String.prototype.charCodeAt.hasOwnProperty('length'))) {
    $FAIL('#2: delete String.prototype.charCodeAt.length; String.prototype.charCodeAt.hasOwnProperty(\'length\') return true. Actual: '+String.prototype.charCodeAt.hasOwnProperty('length')); 
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  