blob: 009457170a3cec9d4d18e99f18c522e5b6a408e5 (
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
56
57
58
59
|
// 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.2_T2;
* @section: 7.8.3;
* @assertion: DecimalLiteral :: DecimalIntegerLiteral. DecimalDigits;
* @description: After DecimalIntegerLiteral. used ZeroDigits;
*/
//CHECK#0
if (0.00 !== 0) {
$ERROR('#0: 0.00 === 0');
}
//CHECK#1
if (1.00 !== 1) {
$ERROR('#1: 1.00 === 1');
}
//CHECK#2
if (2.00 !== 2) {
$ERROR('#2: 2.00 === 2');
}
//CHECK#3
if (3.00 !== 3) {
$ERROR('#3: 3.00 === 3');
}
//CHECK#4
if (4.00 !== 4) {
$ERROR('#4: 4.00 === 4');
}
//CHECK#5
if (5.00 !== 5) {
$ERROR('#5: 5.00 === 5');
}
//CHECK#6
if (6.00 !== 6) {
$ERROR('#6: 6.00 === 6');
}
//CHECK#7
if (7.00 !== 7) {
$ERROR('#7: 7.00 === 7');
}
//CHECK#8
if (8.00 !== 8) {
$ERROR('#8: 8.00 === 8');
}
//CHECK#9
if (9.00 !== 9) {
$ERROR('#9: 9.00 === 9');
}
|
