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:  * Compute result modulo 2^16
michael@0:  *
michael@0:  * @path ch09/9.7/S9.7_A2.2.js
michael@0:  * @description For testing use String.fromCharCode(Number).charCodeAt(0) construction
michael@0:  */
michael@0: 
michael@0: // CHECK#1
michael@0: if (String.fromCharCode(-32767).charCodeAt(0) !== 32769) {
michael@0:   $ERROR('#1: String.fromCharCode(-32767).charCodeAt(0) === 32769. Actual: ' + (String.fromCharCode(-32767).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#2
michael@0: if (String.fromCharCode(-32768).charCodeAt(0) !== 32768) {
michael@0:   $ERROR('#2: String.fromCharCode(-32768).charCodeAt(0) === 32768. Actual: ' + (String.fromCharCode(-32768).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#3
michael@0: if (String.fromCharCode(-32769).charCodeAt(0) !== 32767) {
michael@0:   $ERROR('#3: String.fromCharCode(-32769).charCodeAt(0) === 32767. Actual: ' + (String.fromCharCode(-32769).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#4
michael@0: if (String.fromCharCode(-65535).charCodeAt(0) !== 1) {
michael@0:   $ERROR('#4: String.fromCharCode(-65535).charCodeAt(0) === 1. Actual: ' + (String.fromCharCode(-65535).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#5
michael@0: if (String.fromCharCode(-65536).charCodeAt(0) !== 0) {
michael@0:   $ERROR('#5: String.fromCharCode(-65536).charCodeAt(0) === 0. Actual: ' + (String.fromCharCode(-65536).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#6
michael@0: if (String.fromCharCode(-65537).charCodeAt(0) !== 65535) {
michael@0:   $ERROR('#6: String.fromCharCode(-65537).charCodeAt(0) === 65535. Actual: ' + (String.fromCharCode(-65537).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#7
michael@0: if (String.fromCharCode(65535).charCodeAt(0) !== 65535) {
michael@0:   $ERROR('#7: String.fromCharCode(65535).charCodeAt(0) === 65535. Actual: ' + (String.fromCharCode(65535).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#8
michael@0: if (String.fromCharCode(65536).charCodeAt(0) !== 0) {
michael@0:   $ERROR('#8: String.fromCharCode(65536).charCodeAt(0) === 0. Actual: ' + (String.fromCharCode(65536).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#9
michael@0: if (String.fromCharCode(65537).charCodeAt(0) !== 1) {
michael@0:   $ERROR('#9: String.fromCharCode(65537).charCodeAt(0) === 1. Actual: ' + (String.fromCharCode(65537).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#10
michael@0: if (String.fromCharCode(131071).charCodeAt(0) !== 65535) {
michael@0:   $ERROR('#10: String.fromCharCode(131071).charCodeAt(0) === 65535. Actual: ' + (String.fromCharCode(131071).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#11
michael@0: if (String.fromCharCode(131072).charCodeAt(0) !== 0) {
michael@0:   $ERROR('#11: String.fromCharCode(131072).charCodeAt(0) === 0. Actual: ' + (String.fromCharCode(131072).charCodeAt(0)));
michael@0: }
michael@0: 
michael@0: // CHECK#12
michael@0: if (String.fromCharCode(131073).charCodeAt(0) !== 1) {
michael@0:   $ERROR('#12: String.fromCharCode(131073).charCodeAt(0) === 1. Actual: ' + (String.fromCharCode(131073).charCodeAt(0)));
michael@0: }
michael@0: