code wiki / (root) / nx_contentdiff_display_gate.nx

nx_contentdiff_display_gate.nx

buildroot/runtime/nx_contentdiff_display_gate.nx

2609 B40 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic contentdiff
docsdependenciesstructsconstsfunctions

dependencies 2 imports · 0 importers

nx_contentdiff.nx nx_gate_verdict.nx nx_contentdiff_display_gate.nx

imports: nx_contentdiff.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ gv_check gv_puts ↻ cd_display_arg cdg_len cd_show_lost cd_show_lost_limit cdl_runlen cdl_is_print cdl_contains gv_puts ↻ sys_write ↻ cd_show_other cd_show_other_limit cdl_runlen ↻ cdl_contains ↻ cdl_is_srcpath cdl_is_ident cdl_is_sectname gv_puts ↻ sys_write ↻

structs

none

consts

none

functions

4func cdg_len(p: *u8) -> i64
called by 1: main
10func main() -> i64
calls 11: gv_ctrgv_headgv_checkcd_display_argcdg_lencd_show_lost+5