blob: ce8f5dae871c97c29be0bb3e35e4eb4997616816 [file] [log] [blame]
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* EscapeSequence :: HexEscapeSequence :: x HexDigit HexDigit
*
* @path ch07/7.8/7.8.4/S7.8.4_A6.1_T1.js
* @description HexEscapeSequence :: HexDigit
*/
//CHECK#0
if ("\x00" !== String.fromCharCode("0")) {
$ERROR('#0: "\\x00" === String.fromCharCode("0")');
}
//CHECK#1
if ("\x01" !== String.fromCharCode("1")) {
$ERROR('#1: "\\x01" === String.fromCharCode("1")');
}
//CHECK#2
if ("\x02" !== String.fromCharCode("2")) {
$ERROR('#2: "\\x02" === String.fromCharCode("2")');
}
//CHECK#3
if ("\x03" !== String.fromCharCode("3")) {
$ERROR('#3: "\\x03" === String.fromCharCode("3")');
}
//CHECK#4
if ("\x04" !== String.fromCharCode("4")) {
$ERROR('#4: "\\x04" === String.fromCharCode("4")');
}
//CHECK#5
if ("\x05" !== String.fromCharCode("5")) {
$ERROR('#5: "\\x05" === String.fromCharCode("5")');
}
//CHECK#6
if ("\x06" !== String.fromCharCode("6")) {
$ERROR('#6: "\\x06" === String.fromCharCode("6")');
}
//CHECK#7
if ("\x07" !== String.fromCharCode("7")) {
$ERROR('#7: "\\x07" === String.fromCharCode("7")');
}
//CHECK#8
if ("\x08" !== String.fromCharCode("8")) {
$ERROR('#8: "\\x08" === String.fromCharCode("8")');
}
//CHECK#9
if ("\x09" !== String.fromCharCode("9")) {
$ERROR('#9: "\\x09" === String.fromCharCode("9")');
}
//CHECK#A
if ("\x0A" !== String.fromCharCode("10")) {
$ERROR('#A: "\\x0A" === String.fromCharCode("10")');
}
//CHECK#B
if ("\x0B" !== String.fromCharCode("11")) {
$ERROR('#B: "\\x0B" === String.fromCharCode("11")');
}
//CHECK#C
if ("\x0C" !== String.fromCharCode("12")) {
$ERROR('#C: "\\x0C" === String.fromCharCode("12")');
}
//CHECK#D
if ("\x0D" !== String.fromCharCode("13")) {
$ERROR('#D: "\\x0D" === String.fromCharCode("13")');
}
//CHECK#E
if ("\x0E" !== String.fromCharCode("14")) {
$ERROR('#E: "\\x0E" === String.fromCharCode("14")');
}
//CHECK#F
if ("\x0F" !== String.fromCharCode("15")) {
$ERROR('#F: "\\x0F" === String.fromCharCode("15")');
}