MCPcopy Create free account
hub / github.com/PLSysSec/wave / len

Method len

src/types/mod.rs:1179–1181  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

1177impl WasmIoVecs {
1178 #[pure]
1179 pub fn len(&self) -> usize {
1180 self.iovs.len()
1181 }
1182
1183 #[ensures(result.len() == 0)]
1184 pub fn new() -> Self {

Callers 15

check_os_preadFunction · 0.45
check_os_pwriteFunction · 0.45
check_os_futimensFunction · 0.45
check_os_utimensatFunction · 0.45
check_os_getrandomFunction · 0.45
check_os_readFunction · 0.45
check_os_writeFunction · 0.45
check_os_readlinkatFunction · 0.45
check_os_recvFunction · 0.45
check_os_sendFunction · 0.45
check_first_nullFunction · 0.45
check_clone_vec_u8Function · 0.45

Calls

no outgoing calls

Tested by 5

write_method_1Function · 0.36
write_method_5Function · 0.36
write_method_6Function · 0.36
write_method_7Function · 0.36
check_os_preadFunction · 0.36