blob: a6910df856039ed4d7e7588f860872e2d126c987 (
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
53
54
55
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S7.8.3_A3.1_T2;
* @section: 7.8.3;
* @assertion: DecimalLiteral :: DecimalIntegerLiteral. ;
* @description: DecimalIntegerLiteral :: NoNZeroDigit DecimalDigigts;
*/
//CHECK#1
if (11. !== 11) {
$ERROR('#1: 11. === 11');
}
//CHECK#2
if (22. !== 22) {
$ERROR('#2: 22. === 22');
}
//CHECK#3
if (33. !== 33) {
$ERROR('#3: 33. === 33');
}
//CHECK#4
if (44. !== 44) {
$ERROR('#4: 44. === 44');
}
//CHECK#5
if (55. !== 55) {
$ERROR('#5: 55. === 55');
}
//CHECK#6
if (66. !== 66) {
$ERROR('#6: 66. === 66');
}
//CHECK#7
if (77. !== 77) {
$ERROR('#7: 77. === 77');
}
//CHECK#8
if (88. !== 88) {
$ERROR('#8: 88. === 88');
}
//CHECK#9
if (99. !== 99) {
$ERROR('#9: 99. === 99');
}
|
