blob: 3f2b8c3079bf7eb47e4575f3febed46de0aadf9e (
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
60
61
62
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
info: |
Compute the longest prefix of Result(2), which might be Result(2) itself,
which satisfies the syntax of a StrDecimalLiteral
es5id: 15.1.2.3_A4_T5
es6id: 18.2.4
esid: sec-parsefloat-string
description: Checking DecimalDigits . DecimalDigits_opt ExponentPart_opt
---*/
//CHECK#1
if (parseFloat("-11.string") !== -11) {
$ERROR('#1: parseFloat("-11.string") === -11. Actual: ' + (parseFloat("-11.string")));
}
//CHECK#2
if (parseFloat("01.string") !== 1) {
$ERROR('#2: parseFloat("01.string") === 1. Actual: ' + (parseFloat("01.string")));
}
//CHECK#3
if (parseFloat("+11.1string") !== 11.1) {
$ERROR('#3: parseFloat("+11.1string") === 11.1. Actual: ' + (parseFloat("+11.1string")));
}
//CHECK#4
if (parseFloat("01.1string") !== 1.1) {
$ERROR('#4: parseFloat("01.1string") === 1.1. Actual: ' + (parseFloat("01.1string")));
}
//CHECK#5
if (parseFloat("-11.e-1string") !== -1.1) {
$ERROR('#5: parseFloat("-11.e-1string") === -1.1. Actual: ' + (parseFloat("-11.e-1string")));
}
//CHECK#6
if (parseFloat("01.e1string") !== 10) {
$ERROR('#6: parseFloat("01.e1string") === 10. Actual: ' + (parseFloat("01.e1string")));
}
//CHECK#7
if (parseFloat("+11.22e-1string") !== 1.122) {
$ERROR('#7: parseFloat("+11.22e-1string") === 1.122. Actual: ' + (parseFloat("+11.22e-1string")));
}
//CHECK#8
if (parseFloat("01.01e1string") !== 10.1) {
$ERROR('#8: parseFloat("01.01e1string") === 10.1. Actual: ' + (parseFloat("01.01e1string")));
}
//CHECK#9
if (parseFloat("001.string") !== 1) {
$ERROR('#9: parseFloat("001.string") === 1. Actual: ' + (parseFloat("001.string")));
}
//CHECK#10
if (parseFloat("010.string") !== 10) {
$ERROR('#10: parseFloat("010.string") === 10. Actual: ' + (parseFloat("010.string")));
}
|
