code wiki / _hdl_build / nx_chat_utf8_primitive_t59.nx
nx_chat_utf8_primitive_t59.nx source
↩ module page · 11 lines · 492 B
1import "../nx_utf8.nx"
2import "nx_gate_verdict.nx"
3func main(argc:i64,argv:*i64)->i64{
4 let c:*i64=gv_ctr()
5 let s:*u8="こんにちは"
6 gv_check("valid UTF8 byte length",utf8_validate(s,15)==15,c)
7 let b:*u8=sys_mmap(4);b[0]=192 as u8;b[1]=128 as u8
8 gv_check("overlong rejected at zero",utf8_validate(b,2)==0,c)
9 gv_check("truncated Japanese rejected",utf8_validate(s,14)==12,c)
10 return gv_verdict("CHAT-UTF8-PRIMITIVE",c,"existing validator runtime qualification; no store or network")
11}