blob: da6dee5c660a519618aedfd94764fb3ed9cfc9d3 (
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_A2.1_T1;
* @section: 7.8.3;
* @assertion: DecimalLiteral :: .DecimalDigits;
* @description: Use .DecimalDigit;
*/
//CHECK#0
if (.0 !== 0.0) {
$ERROR('#0: .0 === 0.0');
}
//CHECK#1
if (.1 !== 0.1) {
$ERROR('#1: .1 === 0.1');
}
//CHECK#2
if (.2 !== 0.2) {
$ERROR('#2: .2 === 0.2');
}
//CHECK#3
if (.3 !== 0.3) {
$ERROR('#3: .3 === 0.3');
}
//CHECK#4
if (.4 !== 0.4) {
$ERROR('#4: .4 === 0.4');
}
//CHECK#5
if (.5 !== 0.5) {
$ERROR('#5: .5 === 0.5');
}
//CHECK#6
if (.6 !== 0.6) {
$ERROR('#6: .6 === 0.6');
}
//CHECK#7
if (.7 !== 0.7) {
$ERROR('#7: .7 === 0.7');
}
//CHECK#8
if (.8 !== 0.8) {
$ERROR('#8: .8 === 0.8');
}
//CHECK#9
if (.9 !== 0.9) {
$ERROR('#9: .9 === 0.9');
}
|