-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
/
parse.jl
277 lines (248 loc) · 10.4 KB
/
parse.jl
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
# This file is a part of Julia. License is MIT: https://julialang.org/license
# integer parsing
@test parse(Int32,"0", base = 36) === Int32(0)
@test parse(Int32,"1", base = 36) === Int32(1)
@test parse(Int32,"9", base = 36) === Int32(9)
@test parse(Int32,"A", base = 36) === Int32(10)
@test parse(Int32,"a", base = 36) === Int32(10)
@test parse(Int32,"B", base = 36) === Int32(11)
@test parse(Int32,"b", base = 36) === Int32(11)
@test parse(Int32,"F", base = 36) === Int32(15)
@test parse(Int32,"f", base = 36) === Int32(15)
@test parse(Int32,"Z", base = 36) === Int32(35)
@test parse(Int32,"z", base = 36) === Int32(35)
@test parse(Int,"0") == 0
@test parse(Int,"-0") == 0
@test parse(Int,"1") == 1
@test parse(Int,"-1") == -1
@test parse(Int,"9") == 9
@test parse(Int,"-9") == -9
@test parse(Int,"10") == 10
@test parse(Int,"-10") == -10
@test parse(Int64,"3830974272") == 3830974272
@test parse(Int64,"-3830974272") == -3830974272
@test parse(Int,'3') == 3
@test parse(Int,'3', base = 8) == 3
@test parse(Int, 'a', base=16) == 10
@test_throws ArgumentError parse(Int, 'a')
@test_throws ArgumentError parse(Int,typemax(Char))
# Issue 20587
for T in Any[BigInt, Int128, Int16, Int32, Int64, Int8, UInt128, UInt16, UInt32, UInt64, UInt8]
T === BigInt && continue # TODO: make BigInt pass this test
for s in ["", " ", " "]
# Without a base (handles things like "0x00001111", etc)
result = @test_throws ArgumentError parse(T, s)
exception_without_base = result.value
if T == Bool
if s == ""
@test exception_without_base.msg == "input string is empty"
else
@test exception_without_base.msg == "input string only contains whitespace"
end
else
@test exception_without_base.msg == "input string is empty or only contains whitespace"
end
# With a base
result = @test_throws ArgumentError parse(T, s, base = 16)
exception_with_base = result.value
if T == Bool
if s == ""
@test exception_with_base.msg == "input string is empty"
else
@test exception_with_base.msg == "input string only contains whitespace"
end
else
@test exception_with_base.msg == "input string is empty or only contains whitespace"
end
end
# Test `tryparse_internal` with part of a string
let b = " "
result = @test_throws ArgumentError Base.tryparse_internal(Bool, b, 7, 11, 0, true)
exception_bool = result.value
@test exception_bool.msg == "input string only contains whitespace"
result = @test_throws ArgumentError Base.tryparse_internal(Int, b, 7, 11, 0, true)
exception_int = result.value
@test exception_int.msg == "input string is empty or only contains whitespace"
result = @test_throws ArgumentError Base.tryparse_internal(UInt128, b, 7, 11, 0, true)
exception_uint = result.value
@test exception_uint.msg == "input string is empty or only contains whitespace"
end
# Test that the entire input string appears in error messages
let s = " false true "
result = @test_throws(ArgumentError,
Base.tryparse_internal(Bool, s, firstindex(s), lastindex(s), 0, true))
@test result.value.msg == "invalid Bool representation: $(repr(s))"
end
# Test that leading and trailing whitespace is ignored.
for v in (1, 2, 3)
@test parse(Int, " $v" ) == v
@test parse(Int, " $v\n" ) == v
@test parse(Int, "$v " ) == v
@test parse(Int, " $v ") == v
end
for v in (true, false)
@test parse(Bool, " $v" ) == v
@test parse(Bool, " $v\n" ) == v
@test parse(Bool, "$v " ) == v
@test parse(Bool, " $v ") == v
end
for v in (0.05, -0.05, 2.5, -2.5)
@test parse(Float64, " $v" ) == v
@test parse(Float64, " $v\n" ) == v
@test parse(Float64, "$v " ) == v
@test parse(Float64, " $v ") == v
end
@test parse(Float64, " .5" ) == 0.5
@test parse(Float64, " .5\n" ) == 0.5
@test parse(Float64, " .5 ") == 0.5
@test parse(Float64, ".5 " ) == 0.5
end
@test parse(Bool, "\u202f true") === true
@test parse(Bool, "\u202f false") === false
parsebin(s) = parse(Int,s, base = 2)
parseoct(s) = parse(Int,s, base = 8)
parsehex(s) = parse(Int,s, base = 16)
@test parsebin("0") == 0
@test parsebin("-0") == 0
@test parsebin("1") == 1
@test parsebin("-1") == -1
@test parsebin("10") == 2
@test parsebin("-10") == -2
@test parsebin("11") == 3
@test parsebin("-11") == -3
@test parsebin("1111000011110000111100001111") == 252645135
@test parsebin("-1111000011110000111100001111") == -252645135
@test parseoct("0") == 0
@test parseoct("-0") == 0
@test parseoct("1") == 1
@test parseoct("-1") == -1
@test parseoct("7") == 7
@test parseoct("-7") == -7
@test parseoct("10") == 8
@test parseoct("-10") == -8
@test parseoct("11") == 9
@test parseoct("-11") == -9
@test parseoct("72") == 58
@test parseoct("-72") == -58
@test parseoct("3172207320") == 434704080
@test parseoct("-3172207320") == -434704080
@test parsehex("0") == 0
@test parsehex("-0") == 0
@test parsehex("1") == 1
@test parsehex("-1") == -1
@test parsehex("9") == 9
@test parsehex("-9") == -9
@test parsehex("a") == 10
@test parsehex("-a") == -10
@test parsehex("f") == 15
@test parsehex("-f") == -15
@test parsehex("10") == 16
@test parsehex("-10") == -16
@test parsehex("0BADF00D") == 195948557
@test parsehex("-0BADF00D") == -195948557
@test parse(Int64,"BADCAB1E", base = 16) == 3135023902
@test parse(Int64,"-BADCAB1E", base = 16) == -3135023902
@test parse(Int64,"CafeBabe", base = 16) == 3405691582
@test parse(Int64,"-CafeBabe", base = 16) == -3405691582
@test parse(Int64,"DeadBeef", base = 16) == 3735928559
@test parse(Int64,"-DeadBeef", base = 16) == -3735928559
@test parse(Int,"2\n") == 2
@test parse(Int," 2 \n ") == 2
@test parse(Int," 2 ") == 2
@test parse(Int,"2 ") == 2
@test parse(Int," 2") == 2
@test parse(Int,"+2\n") == 2
@test parse(Int,"-2") == -2
@test_throws ArgumentError parse(Int," 2 \n 0")
@test_throws ArgumentError parse(Int,"2x")
@test_throws ArgumentError parse(Int,"-")
# multibyte spaces
@test parse(Int, "3\u2003\u202F") == 3
@test_throws ArgumentError parse(Int, "3\u2003\u202F,")
@test parse(Int,"1234") == 1234
@test parse(Int,"0x1234") == 0x1234
@test parse(Int,"0o1234") == 0o1234
@test parse(Int,"0b1011") == 0b1011
@test parse(Int,"-1234") == -1234
@test parse(Int,"-0x1234") == -Int(0x1234)
@test parse(Int,"-0o1234") == -Int(0o1234)
@test parse(Int,"-0b1011") == -Int(0b1011)
for T in (Int8, Int16, Int32, Int64, Int128)
@test parse(T,string(typemin(T))) == typemin(T)
@test parse(T,string(typemax(T))) == typemax(T)
@test_throws OverflowError parse(T,string(big(typemin(T))-1))
@test_throws OverflowError parse(T,string(big(typemax(T))+1))
end
for T in (UInt8,UInt16,UInt32,UInt64,UInt128)
@test parse(T,string(typemin(T))) == typemin(T)
@test parse(T,string(typemax(T))) == typemax(T)
@test_throws ArgumentError parse(T,string(big(typemin(T))-1))
@test_throws OverflowError parse(T,string(big(typemax(T))+1))
end
# issue #15597
# make sure base can be any Integer
for T in (Int, BigInt)
let n = parse(T, "123", base = Int8(10))
@test n == 123
@test isa(n, T)
end
end
# issue #17065
@test parse(Int, "2") === 2
@test parse(Bool, "true") === true
@test parse(Bool, "false") === false
@test tryparse(Bool, "true") === true
@test tryparse(Bool, "false") === false
@test_throws ArgumentError parse(Int, "2", base = 1)
@test_throws ArgumentError parse(Int, "2", base = 63)
# issue #17333: tryparse should still throw on invalid base
for T in (Int32, BigInt), base in (0,1,100)
@test_throws ArgumentError tryparse(T, "0", base = base)
end
# error throwing branch from #10560
@test_throws ArgumentError Base.tryparse_internal(Bool, "foo", 1, 2, 10, true)
@test tryparse(Float64, "1.23") === 1.23
@test tryparse(Float32, "1.23") === 1.23f0
@test tryparse(Float16, "1.23") === Float16(1.23)
# parsing complex numbers (#22250)
@testset "complex parsing" begin
for r in (1,0,-1), i in (1,0,-1), sign in ('-','+'), Im in ("i","j","im")
for s1 in (""," "), s2 in (""," "), s3 in (""," "), s4 in (""," ")
n = Complex(r, sign == '+' ? i : -i)
s = string(s1, r, s2, sign, s3, i, Im, s4)
@test n === parse(Complex{Int}, s)
@test Complex(r) === parse(Complex{Int}, string(s1, r, s2))
@test Complex(0,i) === parse(Complex{Int}, string(s3, i, Im, s4))
for T in (Float64, BigFloat)
nT = parse(Complex{T}, s)
@test nT isa Complex{T}
@test nT == n
@test n == parse(Complex{T}, string(s1, r, ".0", s2, sign, s3, i, ".0", Im, s4))
@test n*parse(T,"1e-3") == parse(Complex{T}, string(s1, r, "e-3", s2, sign, s3, i, "e-3", Im, s4))
end
end
end
@test parse(Complex{Float16}, "3.3+4i") === Complex{Float16}(3.3+4im)
@test parse(Complex{Int}, SubString("xxxxxx1+2imxxxx", 7, 10)) === 1+2im
for T in (Int, Float64), bad in ("3 + 4*im", "3 + 4", "1+2ij", "1im-3im", "++4im")
@test_throws ArgumentError parse(Complex{T}, bad)
end
@test_throws ArgumentError parse(Complex{Int}, "3 + 4.2im")
end
# added ⟂ to operator precedence (#24404)
@test Meta.parse("a ⟂ b ⟂ c") == Expr(:comparison, :a, :⟂, :b, :⟂, :c)
@test Meta.parse("a ⟂ b ∥ c") == Expr(:comparison, :a, :⟂, :b, :∥, :c)
# only allow certain characters after interpolated vars (#25231)
@test Meta.parse("\"\$x෴ \"",raise=false) == Expr(:error, "interpolated variable \$x ends with invalid character \"෴\"; use \"\$(x)\" instead.")
@test Base.incomplete_tag(Meta.parse("\"\$foo", raise=false)) == :string
@testset "parse and tryparse type inference" begin
@inferred parse(Int, "12")
@inferred parse(Float64, "12")
@inferred parse(Complex{Int}, "12")
@test eltype([parse(Int, s, 16) for s in String[]]) == Int
@test eltype([parse(Float64, s) for s in String[]]) == Float64
@test eltype([parse(Complex{Int}, s) for s in String[]]) == Complex{Int}
@test eltype([tryparse(Int, s, 16) for s in String[]]) == Union{Nothing, Int}
@test eltype([tryparse(Float64, s) for s in String[]]) == Union{Nothing, Float64}
@test eltype([tryparse(Complex{Int}, s) for s in String[]]) == Union{Nothing, Complex{Int}}
end