code wiki / _hdl_build / nx_cyrillic_render_gate.nx

nx_cyrillic_render_gate.nx

buildroot/runtime/_hdl_build/nx_cyrillic_render_gate.nx

4616 B93 linesdepth 5pulls 11 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_cyrillic_render_gate.nx -- proves NATIVE Cyrillic + Latin caption rendering, NO fake green. Renders the Russian caption "привет друг" (uppercase-folded -> ПРИВЕТ ДРУГ) and the Latin caption "HELLO FRIEND" onto two video frames; asserts each sets glyph pixels, asserts the bar is drawn, and a neg-control (empty caption sets 0 pixels). Eyeball -> knowledge/nx_cyrillic_render.png (Cyrillic top, Latin bottom). expect_exit: 0 license_tier: ORIGINAL

dependencies 8 imports · 0 importers

nx_syscalls.nx nx_css_color_decode.nx nx_paint_solid_rect.nx nx_font8x8.nx nx_font_cyrillic8.nx nx_utf8.nx nx_caption_render_uni.nx nx_png_write.nx nx_cyrillic_render_gate.nx

imports: nx_syscalls.nxnx_css_color_decode.nxnx_paint_solid_rect.nxnx_font8x8.nxnx_font_cyrillic8.nxnx_utf8.nxnx_caption_render_uni.nxnx_png_write.nx

imported by: nobody (leaf or entry point)

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

main rg sys_write sys_mmap mkfb sys_mmap ↻ nx_framebuffer_init nx_framebuffer_clear nx_paint_solid_rect nx_caption_render_uni nx_paint_solid_rect ↻ font8x8_table sys_mmap ↻ fg cyr8_table sys_mmap ↻ cf cr_cp_count sys_mmap ↻ utf8_decode_one sys_mmap ↻ utf8_decode_one ↻ cr_glyph_ptr latinext8_glyph lx_base font8x8_table ↻ sys_mmap ↻ lx_or lx_acute lx_or ↻ lx_ogonek lx_or ↻ cyr_ext_glyph ce_mk sys_mmap ↻ cr_blit8 nx_paint_solid_rect ↻ slen rgn sys_write ↻

structs

none

consts

none

functions

14func rg(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 1: main calls 1: sys_write
15func rgn(v: i64) -> i64
called by 1: main calls 2: sys_writesys_mmap
24func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 1: main
25func mkfb(w: i64, h: i64) -> *Framebuffer
33func main() -> i64