code wiki / (root) / nx_json_complete_gate.nx

nx_json_complete_gate.nx

buildroot/runtime/nx_json_complete_gate.nx

3015 B58 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic json
docsdependenciesstructsconstsfunctions

dependencies 1 imports · 0 importers

nx_value_parse_json.nx nx_json_complete_gate.nx

imports: nx_value_parse_json.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main jpg_check nx_value_parse_json nx_val_parse_value nx_val_parse_skip_ws nx_val_parse_is_ws nx_value_new_object nx_value_new_null nx_val_parse_string nx_value_new_string nx_value_new_null ↻ nx_val_parse_value ↻ nx_value_new_array nx_value_new_null ↻ nx_val_parse_match_lit nx_value_new_bool nx_value_new_null ↻ nx_value_new_null ↻ nx_val_parse_number nx_val_parse_is_digit nx_value_new_int nx_value_new_null ↻ nx_value_new_float_q10 nx_value_new_null ↻ nx_val_parse_is_digit ↻ nx_val_parse_skip_ws ↻ jpg_len

structs

none

consts

none

functions

2func jpg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 as u8 { n = n + 1 }; return n }
called by 1: jpg_check
3func jpg_check(s: *u8, want: i64, label: *u8) -> i64
called by 1: main calls 2: nx_value_parse_jsonjpg_len
10func main() -> i64
calls 1: jpg_check