-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtinytoml.tl
1125 lines (996 loc) · 42.6 KB
/
tinytoml.tl
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
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
local enum TomlConversionType
"datetime-local"
"datetime"
"date-local"
"time-local"
end
local record TinyTomlOptions
load_from_string: boolean
assign_value_function: function(value: any, value_type?: string): any
type_conversion: {TomlConversionType:function<T>(raw_value: string):T}
end
local record tinytoml
parse: function(filename: string, options?: TinyTomlOptions): {string: any}
_VERSION: string
_DESCRIPTION: string
_URL: string
_LICENSE: string
end
tinytoml._VERSION = "tinytoml 0.0.1"
tinytoml._DESCRIPTION = "a single-file pure Lua TOML parser"
tinytoml._URL = "https://github.com/FourierTransformer/tinytoml"
tinytoml._LICENSE = "MIT"
local enum TomlType
-- my types (users should not interact with these)
"array"
"inline-table"
"string"
"integer"
"float"
"bool"
"datetime"
"datetime-local"
"date-local"
"time-local"
end
local enum TableType
"table"
"arrays_of_tables"
end
local enum MetaType
"auto-dictionary"
"dictionary"
"array"
"value"
"value-dictionary" -- not overridable from table
end
local enum states
"start_of_line"
"key"
"inside_key"
"table"
"inside_table"
"assign"
"value"
"array"
"inside_array"
"inline_table"
"inside_inline_table"
"error"
"wait_for_newline"
"?" -- function decides next state
end
local record MTType
type: MetaType
end
local record InlineTableSave
previous_state: states
current_table: {any}
meta_table: {any:{MTType}}
keys: {string}
end
-- i feel like this really grew into quite a large table.
-- Not entirely sure how to feel about it now, but maybe I'll consider what refactoring looks like later.
local record StateMachine
-- variables for processing the input
input_length: integer
input: string
i: integer
-- variables you can reuse to save allocation time
_: integer -- any optionals
ext: string -- second capture from string.find
match: string -- first capture from string.find
byte: integer -- value from string.byte
end_seq: integer -- get end of sequence from string.find
-- variables for output/setting, update only when sure of value
multiline_string: boolean
table_type: TableType
value_type: TomlType
tables: {string} -- for dotted table names
arrays: {{any}} -- for handling inline arrays
nested_arrays: integer -- keep track of nested arrays
nested_inline_tables: integer
keys: {string}
value: any
-- added for conveinence
mode: states -- needed to determine where inline tables can output
line_number: integer -- current processed line, used in error messages
filename: string -- used in error message
-- final output and current table pointer
output: {string:any}
current_table: {any}
meta_table: {any:{MTType}}
current_meta_table: {any:{MTType}}
inline_table_backup: {InlineTableSave} -- stores all the stuff as we descend into nested inline-tables
assign_value_function: function(value: any, value_type?: string): any
type_conversion: {TomlType:function<T>(raw_value: string): T}
end
local sbyte = string.byte
local chars: {string:integer} = {
SINGLE_QUOTE = sbyte("'"),
DOUBLE_QUOTE = sbyte('"'),
OPEN_BRACKET = sbyte("["),
CLOSE_BRACKET = sbyte("]"),
BACKSLASH = sbyte("\\"),
COMMA = sbyte(","),
POUND = sbyte("#"),
DOT = sbyte("."),
CR = sbyte("\r"),
LF = sbyte("\n")
}
local function _error(sm: StateMachine, message: string, anchor?: string)
local error_message = {"in ", sm.filename, " line ", sm.line_number, ": ", message}
if anchor ~= nil then
error_message[#error_message + 1] = "\n\n\t See https://toml.io/en/v1.0.0#"
error_message[#error_message + 1] = anchor
error_message[#error_message + 1] = " for more details\n"
end
error(table.concat(error_message))
end
-- non state machine error
local function _nsmerror(message: string, input: string, byte: integer, anchor?: string)
local error_message = {"on byte ", byte, ": ", message, "\nnear: ", string.sub(input, byte-25, byte+25)}
if anchor ~= nil then
error_message[#error_message + 1] = "\n\n\t See https://toml.io/en/v1.0.0#"
error_message[#error_message + 1] = anchor
error_message[#error_message + 1] = " for more details\n"
end
error(table.concat(error_message))
end
global unpack: function
local _unpack = unpack or table.unpack
local _tointeger = math.tointeger or tonumber as function(string): integer
-- function from https://stackoverflow.com/a/26237757
local _utf8char = utf8 and utf8.char or function(cp: number): string
if cp < 128 then
return string.char(cp as integer)
end
local suffix = cp % 64
local c4 = 128 + suffix
cp = (cp - suffix) / 64
if cp < 32 then
return string.char(192 + (cp as integer), (c4 as integer))
end
suffix = cp % 64
local c3 = 128 + suffix
cp = (cp - suffix) / 64
if cp < 16 then
return string.char(224 + (cp as integer), c3 as integer, c4 as integer)
end
suffix = cp % 64
cp = (cp - suffix) / 64
return string.char(240 + (cp as integer), 128 + (suffix as integer), c3 as integer, c4 as integer)
end
local function validate_utf8(input: string, toml_sub?: boolean): boolean, integer
local i, len = 1, #input
local byte, second, third, fourth: integer, integer, integer, integer = 0, 129, 129, 129
toml_sub = toml_sub or false
while i <= len do
byte = sbyte(input, i)
if byte <= 127 then
if toml_sub then
if byte < 9 then _nsmerror("TOML only allows some control characters, but they must be escaped in double quoted strings", input, i, "string")
elseif byte == chars.CR and sbyte(input, i+1) ~= chars.LF then _nsmerror("TOML requires all \\r be followed by \\n", input, i, "spec")
elseif byte >= 11 and byte <= 31 and byte ~= 13 then _nsmerror("TOML only allows some control characters, but they must be escaped in double quoted strings", input, i, "string")
elseif byte == 127 then _nsmerror("TOML only allows some control characters, but they must be escaped in double quoted strings", input, i, "string") end
end
i = i + 1
elseif byte >= 194 and byte <= 223 then
second = sbyte(input, i+1)
i = i + 2
elseif byte == 224 then
second = sbyte(input, i+1); third = sbyte(input, i+2)
-- overlong
if second ~= nil and second >= 128 and second <= 159 then return false, i end
i = i + 3
elseif byte == 237 then
second = sbyte(input, i+1); third = sbyte(input, i+2)
-- surrogate
if second ~= nil and second >= 160 and second <= 191 then return false, i end
i = i + 3
elseif (byte >= 225 and byte <= 236) or byte == 238 or byte == 239 then
second = sbyte(input, i+1); third = sbyte(input, i+2)
i = i + 3
elseif byte == 240 then
second = sbyte(input, i+1); third = sbyte(input, i+2); fourth = sbyte(input, i+3)
-- overlong
if second ~= nil and second >= 128 and second <= 143 then return false, i end
i = i + 4
elseif byte == 241 or byte == 242 or byte == 243 then
second = sbyte(input, i+1); third = sbyte(input, i+2); fourth = sbyte(input, i+3)
i = i + 4
elseif byte == 244 then
second = sbyte(input, i+1); third = sbyte(input, i+2); fourth = sbyte(input, i+3)
-- exceeds max utf-8
if second ~= nil and second >= 160 and second <= 191 then return false, i end
i = i + 4
else
-- can't go this high
return false, i
end
-- unfinished (nil) or invalid (not in range)
if second == nil or second < 128 or second > 191 then return false, i end
if third == nil or third < 128 or third > 191 then return false, i end
if fourth == nil or fourth < 128 or fourth > 191 then return false, i end
end
return true, i
end
local function find_newline(sm: StateMachine)
sm._, sm.end_seq = sm.input:find(".-\r?\n", sm.i)
-- likely at end of script
if sm.end_seq == nil then
sm._, sm.end_seq = sm.input:find(".-$", sm.i)
end
sm.line_number = sm.line_number + 1
sm.i = sm.end_seq + 1
end
local escape_sequences: {string:string} = {
['b'] = '\b',
['t'] = '\t',
['n'] = '\n',
['f'] = '\f',
['r'] = '\r',
--['e'] = '\x1B', -- available in toml 1.1.0, will also need to update close_string
['\\'] = '\\',
['"'] = '"',
}
-- returns string to insert, boolean to indicate if quote_count to reset
local function handle_backslash_escape(sm: StateMachine): string, boolean
-- the multiline special "line ending backslash"
if sm.multiline_string then
if sm.input:find("^\\[ \t]-\r?\n", sm.i) then
sm._, sm.end_seq = sm.input:find("%S", sm.i+1)
sm.i = sm.end_seq - 1
return "", false
end
end
-- basic escape sequences
sm._, sm.end_seq, sm.match = sm.input:find('^([\\btrfn"])', sm.i+1)
local escape = escape_sequences[sm.match]
if escape then
sm.i = sm.end_seq
if sm.match == '"' then
return escape, true
else
return escape, false
end
end
-- unicode escape sequences
sm._, sm.end_seq, sm.match, sm.ext = sm.input:find("^([uU])([0-9a-fA-F]+)", sm.i+1) as (integer, integer, string, string)
if sm.match then
--if (sm.match == "x" and #sm.ext == 2) or -- hex escapes coming in toml 1.1.0, will need to update pattern in :find above as well
if (sm.match == "u" and #sm.ext == 4) or
(sm.match == "U" and #sm.ext == 8) then
local codepoint_to_insert = _utf8char(tonumber(sm.ext, 16))
if not validate_utf8(codepoint_to_insert) then
_error(sm, "Escaped UTF-8 sequence not valid UTF-8 character: \\" .. sm.match .. sm.ext, "string")
end
sm.i = sm.end_seq
return codepoint_to_insert, false
end
end
return nil
end
local function close_string(sm: StateMachine)
local escape: string
local reset_quote: boolean
local start_field, end_field = sm.i + 1, 0
local second, third = sbyte(sm.input, sm.i+1), sbyte(sm.input, sm.i+2)
local quote_count = 0
local output = {} -- will add sequences here then concat at the end
local found_closing_quote = false
sm.multiline_string = false
-- check for multiline and setup accordingly
if second == chars.DOUBLE_QUOTE and third == chars.DOUBLE_QUOTE then
sm.multiline_string = true
start_field = sm.i + 3
-- toml allows a newline at the beginning of a triple quote
second, third = sbyte(sm.input, sm.i+3), sbyte(sm.input, sm.i+4)
if second == chars.LF then
start_field = start_field + 1
elseif second == chars.CR and third == chars.LF then
start_field = start_field + 2
end
sm.i = start_field - 1
end
while found_closing_quote == false and sm.i <= sm.input_length do
sm.i = sm.i + 1
sm.byte = sbyte(sm.input, sm.i)
if sm.byte == chars.BACKSLASH then
output[#output+1] = sm.input:sub(start_field, sm.i-1)
escape, reset_quote = handle_backslash_escape(sm)
if reset_quote then quote_count = 0 end
if escape ~= nil then
output[#output+1] = escape
else
sm._, sm._, sm.match = sm.input:find("^(%S*)", sm.i+1)
_error(sm, "TOML only allows specific escape sequences. Invalid escape sequence found: \\" .. sm.match, "string")
end
start_field = sm.i + 1
elseif sm.multiline_string then
if sm.byte == chars.DOUBLE_QUOTE then
quote_count = quote_count + 1
if quote_count == 5 then
end_field = sm.i-3
output[#output+1] = sm.input:sub(start_field, end_field)
found_closing_quote = true
break
end
else
if quote_count >= 3 then
end_field = sm.i-4
output[#output+1] = sm.input:sub(start_field, end_field)
found_closing_quote = true
sm.i = sm.i - 1
break
else
quote_count = 0
end
end
else
if sm.byte == chars.DOUBLE_QUOTE then
end_field = sm.i-1
output[#output+1] = sm.input:sub(start_field, end_field)
found_closing_quote = true
break
elseif sm.byte == chars.CR or sm.byte == chars.LF then
_error(sm, "Newlines are not allowed in single quoted basic strings. Use multi-line (triple quoted) strings instead.", "string")
end
end
end
if not found_closing_quote then
if sm.multiline_string then
_error(sm, "Unable to find closing triple-quotes for multi-line string", "string")
else
_error(sm, "Unable to find closing quote for string", "string")
end
end
sm.i = sm.i + 1
sm.value = table.concat(output)
sm.value_type = "string"
end
local function close_literal_string(sm: StateMachine)
sm.byte = 0
local start_field, end_field = sm.i+1, 0
local second, third = sbyte(sm.input, sm.i+1), sbyte(sm.input, sm.i+2)
local quote_count = 0
sm.multiline_string = false
-- check for multiline and setup accordingly
if second == chars.SINGLE_QUOTE and third == chars.SINGLE_QUOTE then
sm.multiline_string = true
start_field = sm.i + 3
-- toml allows a newline at the beginning of a triple quote
second, third = sbyte(sm.input, sm.i+3), sbyte(sm.input, sm.i+4)
if second == chars.LF then
start_field = start_field + 1
elseif second == chars.CR and third == chars.LF then
start_field = start_field + 2
end
sm.i = start_field
end
while end_field ~= 0 or sm.i <= sm.input_length do
sm.i = sm.i + 1
sm.byte = sbyte(sm.input, sm.i)
if sm.multiline_string then
if sm.byte == chars.SINGLE_QUOTE then
quote_count = quote_count + 1
if quote_count == 5 then
end_field = sm.i-3
break
end
else
if quote_count >= 3 then
end_field = sm.i-4
sm.i = sm.i - 1
break
else
quote_count = 0
end
end
else
if sm.byte == chars.SINGLE_QUOTE then
end_field = sm.i-1
break
elseif sm.byte == chars.CR or sm.byte == chars.LF then
_error(sm, "Newlines are not allowed in single quoted literal strings. Use multi-line (triple quoted) strings instead.", "string")
end
end
end
if end_field == 0 then
if sm.multiline_string then
_error(sm, "Unable to find closing triple quotes for multi-line literal string", "string")
else
_error(sm, "Unable to find closing quote for literal string", "string")
end
end
sm.i = sm.i + 1
sm.value = sm.input:sub(start_field, end_field)
sm.value_type = "string"
end
local function close_bare_string(sm: StateMachine)
sm._, sm.end_seq, sm.match = sm.input:find("^([a-zA-Z0-9-_]+)", sm.i)
if sm.match then
sm.i = sm.end_seq + 1
sm.multiline_string = false
sm.value = sm.match
sm.value_type = "string"
else
_error(sm, "Bare keys can only contain 'a-zA-Z0-9-_'. Invalid bare key found : " .. sm.input:sub(sm.i, sm.i+50))
end
end
-- sm is only passed in for error handling...
local function remove_underscores_number(sm:StateMachine, number: string, anchor: string): string
if number:find("_") then
if number:find("__") then _error(sm, "Numbers cannot have consecutive underscores. Found ".. anchor ..": " .. number, anchor) end
if number:find("^_") or number:find("_$") then _error(sm, "Underscores are not allowed at beginning or end of a number. Found " .. anchor .." : " .. number, anchor) end
if number:find("%D_%d") or number:find("%d_%D") then _error(sm, "Underscores must have digits on either side. Found " .. anchor .." : " .. number, anchor) end
number = number:gsub("_", "")
end
return number
end
local integer_match: {string:{string, integer}} = {
["b"] = {"^0b([01_]+)$", 2},
["o"] = {"^0o([0-7_]+)$", 8},
["x"] = {"^0x([0-9a-fA-F_]+)$", 16},
}
local function validate_integer(sm: StateMachine, value: string): boolean
sm._, sm._, sm.match = value:find("^([-+]?[%d_]+)$")
if sm.match then
if sm.match:find("^[-+]?0[%d_]") then _error(sm, "Integers can't start with a leading 0. Found integer: " .. sm.match, "integer") end
sm.match = remove_underscores_number(sm, sm.match, "integer")
sm.value = _tointeger(sm.match)
sm.value_type = "integer"
return true
end
if value:find("^0[box]") then
local pattern_bits = integer_match[value:sub(2, 2)]
sm._, sm._, sm.match = value:find(pattern_bits[1])
if sm.match then
sm.match = remove_underscores_number(sm, sm.match, "integer")
sm.value = tonumber(sm.match, pattern_bits[2])
sm.value_type = "integer"
return true
end
end
end
local function validate_float(sm: StateMachine, value: string): boolean
sm._, sm._, sm.match, sm.ext = value:find("^([-+]?[%d_]+%.[%d_]+)(.*)$") as (integer, integer, string, string)
if sm.match then
if sm.match:find("%._") or sm.match:find("_%.") then _error(sm, "Underscores in floats must have a number on either side. Found float: " .. sm.match .. sm.ext, "float") end
if sm.match:find("^[-+]?0[%d_]") then _error(sm, "Floats can't start with a leading 0. Found float: " .. sm.match .. sm.ext, "float") end
sm.match = remove_underscores_number(sm, sm.match, "float")
if sm.ext ~= "" then
if sm.ext:find("^[eE][-+]?[%d_]+$") then
sm.ext = remove_underscores_number(sm, sm.ext, "float")
sm.value = tonumber(sm.match..sm.ext)
sm.value_type = "float"
return true
end
else
sm.value = tonumber(sm.match)
sm.value_type = "float"
return true
end
end
sm._, sm._, sm.match = value:find("^([-+]?[%d_]+[eE][-+]?[%d_]+)$")
if sm.match then
if sm.match:find("_[eE]") or sm.match:find("[eE]_") then _error(sm, "Underscores in floats cannot be before or after the e. Found float: " .. sm.match .. sm.ext, "float") end
sm.match = remove_underscores_number(sm, sm.match, "float")
sm.value = tonumber(sm.match)
sm.value_type = "float"
return true
end
end
local max_days_in_month = {31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
local function validate_datetime(sm: StateMachine, value: string): boolean
local hour, min, sec: string, string, string
sm._, sm._, sm.match, hour, min, sec, sm.ext = value:find("^((%d%d):(%d%d):(%d%d))(.*)$") as (integer, integer, string, string, string, string, string)
if sm.match then
if _tointeger(hour) > 23 then _error(sm, "Hours must be less than 24. Found hour: " .. hour .. "in: " .. sm.match, "local-time") end
if _tointeger(min) > 59 then _error(sm, "Minutes must be less than 60. Found minute: " .. min .. "in: " .. sm.match, "local-time") end
if _tointeger(sec) > 60 then _error(sm, "Seconds must be less than 61. Found second: " .. sec .. "in: " .. sm.match, "local-time") end
if sm.ext ~= "" then
if sm.ext:find("^%.%d+$") then
sm.value_type = "time-local"
sm.value = sm.type_conversion[sm.value_type](sm.match .. sm.ext:sub(1, 4))
return true
end
else
sm.value_type = "time-local"
sm.value = sm.type_conversion[sm.value_type](sm.match)
return true
end
end
local year_s, month_s, day_s: string, string, string
local year, month, day: integer, integer, integer
sm._, sm._, sm.match, year_s, month_s, day_s = value:find("^((%d%d%d%d)%-(%d%d)%-(%d%d))$") as (integer, integer, string, string, string, string)
if sm.match then
year, month, day = _tointeger(year_s), _tointeger(month_s), _tointeger(day_s)
if month == 0 or month > 12 then _error(sm, "Month must be between 01-12. Found month: " .. month .. "in: " .. sm.match, "local-date") end
if day == 0 or day > max_days_in_month[month] then _error(sm, "Too many days in the month. Found " .. day .. " days in month " .. month .. ", which only has " .. max_days_in_month[month as integer] .. " days in: " .. sm.match, "local-date") end
if month == 2 then
local leap_year = (year % 4 == 0) and not(year % 100 == 0) or (year % 400 == 0)
if leap_year == false then
if day > 28 then _error(sm, "Too many days in month. Found " .. day .. " days in month 02, which only has 28 days if it's not a leap year in: " .. sm.match, "local-date") end
end
end
sm.value_type = "date-local"
sm.value = sm.type_conversion[sm.value_type](sm.match)
-- small hack that allows datetimes with spaces to work
-- does involve updating the current pointer if there is a match
local potential_end_seq: integer
sm._, potential_end_seq, sm.match = sm.input:find("^ ([%S]+)", sm.i)
if sm.match and sm.match:find("^%d%d:%d%d:%d%d") then
value = value .. " " .. sm.match
sm.end_seq = potential_end_seq
sm.i = sm.end_seq + 1
else
return true
end
end
sm._, sm._, sm.match, year_s, month_s, day_s, hour, min, sec, sm.ext =
value:find("^((%d%d%d%d)%-(%d%d)%-(%d%d)[Tt ](%d%d):(%d%d):(%d%d))(.*)$")
as (integer, integer, string, string, string, string, string, string, string, string)
if sm.match then
if _tointeger(hour) > 23 then _error(sm, "Hours must be less than 24. Found hour: " .. hour .. "in: " .. sm.match, "") end
if _tointeger(min) > 59 then _error(sm, "Minutes must be less than 60. Found minute: " .. min .. "in: " .. sm.match) end
if _tointeger(sec) > 60 then _error(sm, "Seconds must be less than 61. Found second: " .. sec .. "in: " .. sm.match) end
year, month, day = _tointeger(year_s), _tointeger(month_s), _tointeger(day_s)
if month == 0 or month > 12 then _error(sm, "Month must be between 01-12. Found month: " .. month .. "in: " .. sm.match) end
if day == 0 or day > max_days_in_month[month] then _error(sm, "Too many days in the month. Found " .. day .. " days in month " .. month .. ", which only has " .. max_days_in_month[month as integer] .. " days in: " .. sm.match, "local-datetime") end
if month == 2 then
local leap_year = (year % 4 == 0) and not(year % 100 == 0) or (year % 400 == 0)
if leap_year == false then
if day > 28 then _error(sm, "Too many days in month. Found " .. day .. " days in month 02, which only has 28 day if it's not a leap year in: " .. sm.match, "local-datetime") end
end
end
if sm.ext ~= "" then
--TODO: maybe refactor at some point?
if sm.ext:find("^%.%d+$") then
sm.value_type = "datetime-local"
sm.value = sm.type_conversion[sm.value_type](sm.match .. sm.ext:sub(1, 4))
return true
elseif sm.ext:find("^%.%d+Z$") then
sm.value_type = "datetime"
sm.value = sm.type_conversion[sm.value_type](sm.match .. sm.ext:sub(1, 4))
return true
elseif sm.ext:find("^%.%d+[+-]%d%d:%d%d$") then
sm._, sm.end_seq, hour, min = sm.ext:find("^%.%d+[+-](%d%d):(%d%d)$") as (integer, integer, string, string)
if _tointeger(hour) > 23 then _error(sm, "Hours must be less than 24. Found hour: " .. hour .. "in: " .. sm.match, "offset-date-time") end
if _tointeger(min) > 59 then _error(sm, "Minutes must be less than 60. Found minute: " .. min .. "in: " .. sm.match, "offset-date-time") end
sm.value_type = "datetime"
sm.value = sm.type_conversion[sm.value_type](sm.match .. sm.ext:sub(1, 4))
return true
elseif sm.ext:find("^[Zz]$") then
sm.value_type = "datetime"
sm.value = sm.type_conversion[sm.value_type](sm.match .. sm.ext)
return true
elseif sm.ext:find("^[+-]%d%d:%d%d$") then
sm._, sm.end_seq, hour, min = sm.ext:find("^[+-](%d%d):(%d%d)$") as (integer, integer, string, string)
if _tointeger(hour) > 23 then _error(sm, "Hours must be less than 24. Found hour: " .. hour .. "in: " .. sm.match, "offset-date-time") end
if _tointeger(min) > 59 then _error(sm, "Minutes must be less than 60. Found minute: " .. min .. "in: " .. sm.match, "offset-date-time") end
sm.value_type = "datetime"
sm.value = sm.type_conversion[sm.value_type](sm.match .. sm.ext)
return true
end
else
sm.value_type = "datetime-local"
sm.value = sm.type_conversion[sm.value_type](sm.match)
return true
end
end
end
local validators: {function<T>(sm:StateMachine, value:string): boolean} = {
validate_integer,
validate_float,
validate_datetime
}
local exact_matches: {string:{any, TomlType}} = {
["true"]= {true, "bool"},
["false"]= {false, "bool"},
["+inf"]= {math.huge, "float"},
["inf"]= {math.huge, "float"},
["-inf"]= {-math.huge, "float"},
["+nan"]= {(0/0), "float"},
["nan"]= {(0/0), "float"},
["-nan"]= {(-(0/0)), "float"},
}
local function close_other_value(sm: StateMachine)
local successful_type: boolean
sm._, sm.end_seq, sm.match = sm.input:find("^([^ #\r\n,%[{%]}]+)", sm.i)
sm.i = sm.end_seq + 1
if sm.match == nil then
_error(sm, "Can't find value to close")
end
local value = sm.match
local exact_value = exact_matches[value]
if exact_value ~= nil then
sm.value = exact_value[1]
sm.value_type = exact_value[2]
return
end
for _, validator in ipairs(validators) do
successful_type = validator(sm, value)
if successful_type == true then
return
end
end
_error(sm, "Unable to determine type of value for: " .. value)
end
local function create_array(sm: StateMachine)
sm.nested_arrays = sm.nested_arrays + 1
sm.arrays[sm.nested_arrays] = {}
sm.i = sm.i + 1
end
local function add_array_comma(sm: StateMachine)
if sm.value_type == "array" or sm.value_type=="inline-table" then
table.insert(sm.arrays[sm.nested_arrays], sm.value)
else
table.insert(sm.arrays[sm.nested_arrays], sm.assign_value_function(sm.value, sm.value_type))
end
sm.value = nil -- to handle the post comma condition
sm.i = sm.i + 1
end
local function close_array(sm: StateMachine): states
-- the trailing comma will set it to nil, so we can skip assigning here
if sm.value ~= nil then
add_array_comma(sm)
else
sm.i = sm.i + 1
end
sm.value = sm.arrays[sm.nested_arrays]
sm.value_type = "array"
sm.nested_arrays = sm.nested_arrays - 1
if sm.nested_arrays == 0 then
return "assign"
else
return "inside_array"
end
end
local function create_table(sm: StateMachine)
sm.tables = {}
sm.byte = sbyte(sm.input, sm.i+1)
-- two [[, so arrays of tables instead
if sm.byte == chars.OPEN_BRACKET then
sm.i = sm.i + 2
sm.table_type = "arrays_of_tables"
else
sm.i = sm.i + 1
sm.table_type = "table"
end
end
local function add_table_dot(sm: StateMachine)
sm.tables[#sm.tables + 1] = sm.value as string
sm.i = sm.i + 1
end
local function close_table(sm: StateMachine)
sm.byte = sbyte(sm.input, sm.i+1)
if sm.table_type == "arrays_of_tables" and sm.byte ~= chars.CLOSE_BRACKET then
_error(sm, "Arrays of Tables should be closed with ']]'", "array-of-tables")
end
if sm.byte == chars.CLOSE_BRACKET then
sm.i = sm.i + 2
else
sm.i = sm.i + 1
end
sm.tables[#sm.tables + 1] = sm.value as string
local out_table: {any:{any}} = sm.output as {any:{any}}
local meta_out_table: {any:{MTType}} = sm.meta_table as {any:{MTType}}
for i = 1, #sm.tables-1 do
if out_table[sm.tables[i]] == nil then
-- create table in chain if it doesn't exist
out_table[sm.tables[i]] = {}
out_table = out_table[sm.tables[i]] as {any:{any}}
meta_out_table[sm.tables[i]] = {type="auto-dictionary"} as {MTType}
meta_out_table = meta_out_table[sm.tables[i]] as {any:{MTType}}
else
if (meta_out_table[sm.tables[i]] as MTType).type == "value" then
_error(sm, "Cannot override value with table definition")
end
-- see if the next table is an array
local next_table = out_table[sm.tables[i]][#out_table[sm.tables[i]]] as {any:{any}}
local next_meta_table = meta_out_table[sm.tables[i]][#meta_out_table[sm.tables[i]]] as {any:{MTType}}
-- if it is, insert into the current element
if next_table == nil then
out_table = out_table[sm.tables[i]] as {any:{any}}
meta_out_table = meta_out_table[sm.tables[i]] as {any:{MTType}}
else
out_table = next_table
meta_out_table = next_meta_table
end
end
end
local final_table = sm.tables[#sm.tables]
if sm.table_type == "table" then
if out_table[final_table] == nil then
out_table[final_table] = {}
meta_out_table[final_table] = {type="dictionary"} as {MTType}
elseif (meta_out_table[final_table] as MTType).type == "value" then
_error(sm, "Cannot override existing value with table")
elseif (meta_out_table[final_table] as MTType).type == "dictionary" then
_error(sm, "Cannot override existing table")
elseif (meta_out_table[final_table] as MTType).type == "array" then
_error(sm, "Cannot override existing array")
elseif (meta_out_table[final_table] as MTType).type == "value-dictionary" then
_error(sm, "Cannot override value with table definition")
end
(meta_out_table[final_table] as MTType).type = "dictionary"
sm.current_table = out_table[final_table]
sm.current_meta_table = meta_out_table[final_table] as {any: {MTType}}
elseif sm.table_type == "arrays_of_tables" then
if out_table[final_table] == nil then
out_table[final_table] = {}
meta_out_table[final_table] = {type="array"} as {MTType}
elseif (meta_out_table[final_table] as MTType).type == "value" then
_error(sm, "Cannot override existing value with table")
elseif (meta_out_table[final_table] as MTType).type == "dictionary" then
_error(sm, "Cannot override existing table")
elseif (meta_out_table[final_table] as MTType).type == "auto-dictionary" then
_error(sm, "Cannot override existing table")
elseif (meta_out_table[final_table] as MTType).type == "value-dictionary" then
_error(sm, "Cannot override value with table definition")
end
table.insert(out_table[final_table], {})
table.insert(meta_out_table[final_table], {type="dictionary"})
sm.current_table = out_table[final_table][#out_table[final_table]] as {any}
sm.current_meta_table = meta_out_table[final_table][#meta_out_table[final_table]] as {any:{MTType}}
end
end
local function assign_key(sm: StateMachine)
if sm.multiline_string == false then
sm.keys[#sm.keys + 1] = sm.value as string
else
_error(sm, "Keys must be a non multi-line string. Found key: " .. tostring(sm.value), "key")
end
-- cleared so the value doesn't get reused during empty table/array assignments
sm.value = nil
sm.value_type = nil
sm.i = sm.i + 1
end
local function assign_value(sm: StateMachine)
local output = {}
if sm.value_type == "array" or sm.value_type == "inline-table" then
output = sm.value as {any}
else
output = sm.assign_value_function(sm.value, sm.value_type) as {any}
end
-- iterate over keys, updating the pointer at "out_table"
local out_table = sm.current_table as {any:any}
local meta_out_table = sm.current_meta_table as {any:any}
for i = 1, #sm.keys-1 do
if out_table[sm.keys[i]] == nil then
out_table[sm.keys[i]] = {}
meta_out_table[sm.keys[i]] = {type="value-dictionary"}
elseif (meta_out_table[sm.keys[i]] as MTType).type == "value" then
_error(sm, "Cannot key append over an exsiting value")
elseif (meta_out_table[sm.keys[i]] as MTType).type == "dictionary" then
_error(sm, "Cannot override existing table")
elseif (meta_out_table[sm.keys[i]] as MTType).type == "array" then
_error(sm, "Cannot override existing array")
end
out_table = out_table[sm.keys[i]] as {string:any}
meta_out_table = meta_out_table[sm.keys[i]] as {any:{MTType}}
end
-- pointer to the last table in the sequence.
local last_table = sm.keys[#sm.keys]
if out_table[last_table] ~= nil then
_error(sm, "Cannot override existing value")
end
out_table[last_table] = output
meta_out_table[last_table] = {type="value"}
sm.keys = {}
sm.value = nil
-- i dont like having to check for this here, but it can be nil if there's no newline/whitespace at EOF
-- and we need to get that last value
sm.byte = sbyte(sm.input, sm.i)
if sm.byte == chars.COMMA then
sm.i = sm.i + 1
end
end
local function error_invalid_state(sm: StateMachine)
local error_message = "Incorrectly formatted TOML. "
local found = sm.input:sub(sm.i, sm.i); if found == "\r" or found == "\n" then found = "newline character" end
if sm.mode == "start_of_line" then error_message = error_message .. "At start of line, could not find a key. Found ="
elseif sm.mode == "inside_table" then error_message = error_message .. "In a table definition, expected a '.' or ']'. Found: " .. found
elseif sm.mode == "inside_key" then error_message = error_message .. "In a key defintion, expected a '.' or '='. Found: " .. found
elseif sm.mode == "value" then error_message = error_message .. "Unspecified value, key was specified, but no value provided."
elseif sm.mode == "inside_array" then error_message = error_message .. "Inside an array, expected a ']', '}' (if inside inline table), ',', newline, or comment. Found: " .. found
elseif sm.mode == "wait_for_newline" then error_message = error_message .. "Just assigned value or created table. Expected newline or comment."
end
_error(sm, error_message)
end
local function create_inline_table(sm: StateMachine)
sm.nested_inline_tables = sm.nested_inline_tables + 1
local backup: InlineTableSave = {
previous_state = sm.mode,
meta_table = sm.meta_table,
current_table = sm.current_table as {any},
keys = {_unpack(sm.keys)} as {string},
}
local new_inline_table = {}
sm.current_table = new_inline_table
sm.inline_table_backup[sm.nested_inline_tables] = backup
sm.current_table = {}
sm.meta_table = {}
sm.keys = {}
sm.i = sm.i + 1
end
local function close_inline_table(sm: StateMachine): states
if sm.value ~= nil then
assign_value(sm)
end
sm.i = sm.i + 1
sm.value = sm.current_table
sm.value_type = "inline-table"
local restore = sm.inline_table_backup[sm.nested_inline_tables]
sm.keys = restore.keys
sm.meta_table = restore.meta_table
sm.current_table = restore.current_table as {any}
sm.nested_inline_tables = sm.nested_inline_tables - 1
if restore.previous_state == "array" then
return "inside_array"
elseif restore.previous_state == "value" then
return "assign"
else
_error(sm, "close_inline_table should not be called from the previous state: " .. restore.previous_state as string .. ". Please submit an issue with your TOML file so we can look into the issue!")
end
end
local transitions: {states:{integer:{function, states}}} = {
["start_of_line"] = {
[sbyte("#")] = {find_newline, "start_of_line"},
[sbyte("\r")] = {find_newline, "start_of_line"},
[sbyte("\n")] = {find_newline, "start_of_line"},
[sbyte('"')] = {close_string, "inside_key"},
[sbyte("'")] = {close_literal_string, "inside_key"},
[sbyte("[")] = {create_table, "table"},
[sbyte("=")] = {error_invalid_state, "error"},
[0] = {close_bare_string, "inside_key"},
},
["table"] = {
[sbyte('"')] = {close_string, "inside_table"},
[sbyte("'")] = {close_literal_string, "inside_table"},
[0] = {close_bare_string, "inside_table"},
},
["inside_table"] = {
[sbyte(".")] = {add_table_dot, "table"},
[sbyte("]")] = {close_table, "wait_for_newline"},
[0] = {error_invalid_state, "error"}
},
["key"] = {
[sbyte('"')] = {close_string, "inside_key"},
[sbyte("'")] = {close_literal_string, "inside_key"},
[sbyte("}")] = {close_inline_table, "?"},
[0] = {close_bare_string, "inside_key"},
},
["inside_key"] = {
[sbyte(".")] = {assign_key, "key"},
[sbyte("=")] = {assign_key, "value"},
[0] = {error_invalid_state, "error"}
},
["value"] = {
[sbyte("'")] = {close_literal_string, "assign"},
[sbyte('"')] = {close_string, "assign"},
[sbyte("{")] = {create_inline_table, "key"},
[sbyte("[")] = {create_array, "array"},
[sbyte("\n")] = {error_invalid_state, "error"},
[sbyte("\r")] = {error_invalid_state, "error"},
[0] = {close_other_value, "assign"},
},
["array"] = {
[sbyte("'")] = {close_literal_string, "inside_array"},
[sbyte('"')] = {close_string, "inside_array"},
[sbyte("[")] = {create_array, "array"},
[sbyte("]")] = {close_array, "?"}, -- depends if it's nested. either assign or inside_array
[sbyte("#")] = {find_newline, "array"},