blob: 583bf52d1c4a46ee3e7e2cdf88112293b253a8e8 (
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.4_T2;
* @section: 7.8.3;
* @assertion: DecimalLiteral :: DecimalIntegerLiteral. DecimalDigigts ExponentPart;
* @description: ExponentPart :: E DecimalDigits;
*/
//CHECK#0
if (0.0E1 !== 0) {
$ERROR('#0: 0.0E1 === 0');
}
//CHECK#1
if (1.1E1 !== 11) {
$ERROR('#1: 1.1E1 === 11');
}
//CHECK#2
if (2.2E1 !== 22) {
$ERROR('#2: 2.2E1 === 22');
}
//CHECK#3
if (3.3E1 !== 33) {
$ERROR('#3: 3.3E1 === 33');
}
//CHECK#4
if (4.4E1 !== 44) {
$ERROR('#4: 4.4E1 === 44');
}
//CHECK#5
if (5.5E1 !== 55) {
$ERROR('#5: 5.5E1 === 55');
}
//CHECK#6
if (6.6E1 !== 66) {
$ERROR('#6: 6.E1 === 66');
}
//CHECK#7
if (7.7E1 !== 77) {
$ERROR('#7: 7.7E1 === 77');
}
//CHECK#8
if (8.8E1 !== 88) {
$ERROR('#8: 8.8E1 === 88');
}
//CHECK#9
if (9.9E1 !== 99) {
$ERROR('#9: 9.9E1 === 99');
}
|
