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