blob: 4245e8aa7e3eedac9d4ba6e9f274b4b0c624e12f (
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
|
--[[
- local type json = {string:json}
]]
local record dkjson
record JsonState
indent: boolean
keyorder: {string}
level: number
buffer: {string}
bufferlen: number
tables: {table:boolean}
exception: function(string, string, string, string): boolean|string, string
end
encode: function({string:any}, ?JsonState): string
decode: function(string, ?number, ?any, ?table): {string:any}, integer, string
null: table
version: string
quotestring: function(string): string
addnewline: function(JsonState)
encodeexception: function(string, any, JsonState, string): string
use_lpeg: function(): dkjson
end
return dkjson
|