blob: ab13aa25338687f3048f1ca33468f6af5516249b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* Correct interpretation of DIGITS
*
* @path ch07/7.6/S7.6_A4.3_T1.js
* @description Identifier is $+ANY_DIGIT
*/
//CHECK#0-9
var $\u0030 = 0;
if ($0 !== 0) {
$ERROR('#0: $\\u0030 = 0; $0 === 0');
}
var $\u0031 = 1;
if ($1 !== 1) {
$ERROR('#1: $\\u0031 = 1; $1 === 1');
}
var $\u0032 = 2;
if ($2 !== 2) {
$ERROR('#2: $\\u0032 = 2; $2 === 2');
}
var $\u0033 = 3;
if ($3 !== 3) {
$ERROR('#3: $\\u0033 = 3; $3 === 3');
}
var $\u0034 = 4;
if ($4 !== 4) {
$ERROR('#4: $\\u0034 = 4; $4 === 4');
}
var $\u0035 = 5;
if ($5 !== 5) {
$ERROR('#5: $\\u0035 = 5; $5 === 5');
}
var $\u0036 = 6;
if ($6 !== 6) {
$ERROR('#6: $\\u0036 = 6; $6 === 6');
}
var $\u0037 = 7;
if ($7 !== 7) {
$ERROR('#7: $\\u0037 = 7; $7 === 7');
}
var $\u0038 = 8;
if ($8 !== 8) {
$ERROR('#8: $\\u0038 = 8; $8 === 8');
}
var $\u0039 = 9;
if ($9 !== 9) {
$ERROR('#9: $\\u0039 = 9; $9 === 9');
}
|