blob: 42b8eeb844d1669814c0175c12c2d8cf317e09ac (
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
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S9.8.1_A8;
* @section: 9.8.1;
* @assertion: If 1 > s > -1, and -6 < n <= 0, return the string consisting of the
* character '0', followed by a decimal point '.', followed by -n occurrences
* of the character '0', followed by the k digits of the decimal
* representation of s;
* @description: Various float numbers convert to String by explicit transformation;
*/
// CHECK#1
if (String(0.1) !== "0.1") {
$ERROR('#1: String(0.1) === "0.1". Actual: ' + (String(0.1)));
}
// CHECK#2
if (String(0.000001) !== "0.000001") {
$ERROR('#2: String(0.000001) === "0.000001". Actual: ' + (String(0.000001)));
}
// CHECK#3
if (String(1e-6) !== "0.000001") {
$ERROR('#3: String(1e-6) === "0.000001". Actual: ' + (String(1e-6)));
}
// CHECK#4
if (String(1E-6) !== "0.000001") {
$ERROR('#4: String(1E-6) === "0.000001". Actual: ' + (String(1E-6)));
}
// CHECK#5
if (String(-0.1) !== "-0.1") {
$ERROR('#5: String(-0.1) === "-0.1". Actual: ' + (String(-0.1)));
}
// CHECK#6
if (String(-0.000001) !== "-0.000001") {
$ERROR('#6: String(-0.000001) === "-0.000001". Actual: ' + (String(-0.000001)));
}
// CHECK#7
if (String(-1e-6) !== "-0.000001") {
$ERROR('#7: String(-1e-6) === "0.000001". Actual: ' + (String(-1e-6)));
}
// CHECK#8
if (String(-1E-6) !== "-0.000001") {
$ERROR('#8: String(-1E-6) === "0.000001". Actual: ' + (String(-1E-6)));
}
|
