Server IP : 85.214.239.14 / Your IP : 3.141.12.236 Web Server : Apache/2.4.62 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Tue Jan 9 19:45:01 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.18 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/3/cwd/proc/3/cwd/usr/share/augeas/lenses/dist/ |
Upload File : |
module Json = (* A generic lens for Json files *) (* Based on the following grammar from http://www.json.org/ *) (* Object ::= '{'Members ? '}' *) (* Members ::= Pair+ *) (* Pair ::= String ':' Value *) (* Array ::= '[' Elements ']' *) (* Elements ::= Value ( "," Value )* *) (* Value ::= String | Number | Object | Array | "true" | "false" | "null" *) (* String ::= "\"" Char* "\"" *) (* Number ::= /-?[0-9]+(\.[0-9]+)?([eE][+-]?[0-9]+)?/ *) let ws = del /[ \t\n]*/ "" let comment = Util.empty_c_style | Util.comment_c_style | Util.comment_multiline let comments = comment* . Sep.opt_space let comma = Util.del_str "," . comments let colon = Util.del_str ":" . comments let lbrace = Util.del_str "{" . comments let rbrace = Util.del_str "}" let lbrack = Util.del_str "[" . comments let rbrack = Util.del_str "]" (* This follows the definition of 'string' at https://www.json.org/ It's a little wider than what's allowed there as it would accept nonsensical \u escapes *) let str_store = Quote.dquote . store /([^\\"]|\\\\["\/bfnrtu\\])*/ . Quote.dquote let number = [ label "number" . store /-?[0-9]+(\.[0-9]+)?([eE][+-]?[0-9]+)?/ . comments ] let str = [ label "string" . str_store . comments ] let const (r:regexp) = [ label "const" . store r . comments ] let fix_value (value:lens) = let array = [ label "array" . lbrack . ( ( Build.opt_list value comma . rbrack . comments ) | (rbrack . ws) ) ] in let pair = [ label "entry" . str_store . ws . colon . value ] in let obj = [ label "dict" . lbrace . ( ( Build.opt_list pair comma. rbrace . comments ) | (rbrace . ws ) ) ] in (str | number | obj | array | const /true|false|null/) (* Process arbitrarily deeply nested JSON objects *) let rec rlns = fix_value rlns let lns = comments . rlns