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:  * White Space and Line Terminator between BitwiseANDExpression and "&" or between "&" and EqualityExpression are allowed
michael@0:  *
michael@0:  * @path ch11/11.10/11.10.1/S11.10.1_A1.js
michael@0:  * @description Checking uses eval
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if ((eval("1\u0009&\u00091")) !== 1) {
michael@0:   $ERROR('#1: (1\\u0009&\\u00091) === 1');
michael@0: }
michael@0: 
michael@0: //CHECK#2
michael@0: if ((eval("1\u000B&\u000B1")) !== 1) {
michael@0:   $ERROR('#2: (1\\u000B&\\u000B1) === 1');  
michael@0: }
michael@0: 
michael@0: //CHECK#3
michael@0: if ((eval("1\u000C&\u000C1")) !== 1) {
michael@0:   $ERROR('#3: (1\\u000C&\\u000C1) === 1');
michael@0: }
michael@0: 
michael@0: //CHECK#4
michael@0: if ((eval("1\u0020&\u00201")) !== 1) {
michael@0:   $ERROR('#4: (1\\u0020&\\u00201) === 1');
michael@0: }
michael@0: 
michael@0: //CHECK#5
michael@0: if ((eval("1\u00A0&\u00A01")) !== 1) {
michael@0:   $ERROR('#5: (1\\u00A0&\\u00A01) === 1');
michael@0: }
michael@0: 
michael@0: //CHECK#6
michael@0: if ((eval("1\u000A&\u000A1")) !== 1) {
michael@0:   $ERROR('#6: (1\\u000A&\\u000A1) === 1');  
michael@0: }
michael@0: 
michael@0: //CHECK#7
michael@0: if ((eval("1\u000D&\u000D1")) !== 1) {
michael@0:   $ERROR('#7: (1\\u000D&\\u000D1) === 1');
michael@0: }
michael@0: 
michael@0: //CHECK#8
michael@0: if ((eval("1\u2028&\u20281")) !== 1) {
michael@0:   $ERROR('#8: (1\\u2028&\\u20281) === 1');
michael@0: }
michael@0: 
michael@0: //CHECK#9
michael@0: if ((eval("1\u2029&\u20291")) !== 1) {
michael@0:   $ERROR('#9: (1\\u2029&\\u20291) === 1');
michael@0: }
michael@0: 
michael@0: 
michael@0: //CHECK#10
michael@0: if ((eval("1\u0009\u000B\u000C\u0020\u00A0\u000A\u000D\u2028\u2029&\u0009\u000B\u000C\u0020\u00A0\u000A\u000D\u2028\u20291")) !== 1) {
michael@0:   $ERROR('#10: (1\\u0009\\u000B\\u000C\\u0020\\u00A0\\u000A\\u000D\\u2028\\u2029&\\u0009\\u000B\\u000C\\u0020\\u00A0\\u000A\\u000D\\u2028\\u20291) === 1');
michael@0: }
michael@0: