@@ -4,7 +4,7 @@ use crate::{BlockingMode, ImportAlloc, State, TrappingUnwrap, WasmStr};
44use core:: cell:: { Cell , OnceCell , UnsafeCell } ;
55use core:: mem:: MaybeUninit ;
66use core:: num:: NonZeroUsize ;
7- use wasi :: { Errno , Fd } ;
7+ use wasip1 :: { Errno , Fd } ;
88
99#[ cfg( not( feature = "proxy" ) ) ]
1010use crate :: File ;
@@ -52,15 +52,15 @@ impl Streams {
5252 StreamType :: File ( File {
5353 descriptor_type : filesystem:: DescriptorType :: Directory ,
5454 ..
55- } ) => return Err ( wasi :: ERRNO_BADF ) ,
55+ } ) => return Err ( wasip1 :: ERRNO_BADF ) ,
5656 // For files, we may have adjusted the position for seeking, so
5757 // create a new stream.
5858 #[ cfg( not( feature = "proxy" ) ) ]
5959 StreamType :: File ( file) => {
6060 let input = file. fd . read_via_stream ( file. position . get ( ) ) ?;
6161 input
6262 }
63- _ => return Err ( wasi :: ERRNO_BADF ) ,
63+ _ => return Err ( wasip1 :: ERRNO_BADF ) ,
6464 } ;
6565 self . input . set ( input) . trapping_unwrap ( ) ;
6666 Ok ( self . input . get ( ) . trapping_unwrap ( ) )
@@ -80,7 +80,7 @@ impl Streams {
8080 StreamType :: File ( File {
8181 descriptor_type : filesystem:: DescriptorType :: Directory ,
8282 ..
83- } ) => return Err ( wasi :: ERRNO_BADF ) ,
83+ } ) => return Err ( wasip1 :: ERRNO_BADF ) ,
8484 // For files, we may have adjusted the position for seeking, so
8585 // create a new stream.
8686 #[ cfg( not( feature = "proxy" ) ) ]
@@ -92,7 +92,7 @@ impl Streams {
9292 } ;
9393 output
9494 }
95- _ => return Err ( wasi :: ERRNO_BADF ) ,
95+ _ => return Err ( wasip1 :: ERRNO_BADF ) ,
9696 } ;
9797 self . output . set ( output) . trapping_unwrap ( ) ;
9898 Ok ( self . output . get ( ) . trapping_unwrap ( ) )
@@ -117,7 +117,7 @@ pub enum Stdio {
117117}
118118
119119impl Stdio {
120- pub fn filetype ( & self ) -> wasi :: Filetype {
120+ pub fn filetype ( & self ) -> wasip1 :: Filetype {
121121 #[ cfg( not( feature = "proxy" ) ) ]
122122 let is_terminal = {
123123 use crate :: bindings:: wasi:: cli;
@@ -130,9 +130,9 @@ impl Stdio {
130130 #[ cfg( feature = "proxy" ) ]
131131 let is_terminal = false ;
132132 if is_terminal {
133- wasi :: FILETYPE_CHARACTER_DEVICE
133+ wasip1 :: FILETYPE_CHARACTER_DEVICE
134134 } else {
135- wasi :: FILETYPE_UNKNOWN
135+ wasip1 :: FILETYPE_UNKNOWN
136136 }
137137 }
138138}
@@ -272,7 +272,7 @@ impl Descriptors {
272272 let table = ( * self . table . get ( ) ) . as_mut_ptr ( ) ;
273273 let len = usize:: from ( self . table_len . get ( ) ) ;
274274 if len >= ( * table) . len ( ) {
275- return Err ( wasi :: ERRNO_NOMEM ) ;
275+ return Err ( wasip1 :: ERRNO_NOMEM ) ;
276276 }
277277 ( & raw mut ( * table) [ len] ) . write ( desc) ;
278278 self . table_len . set ( u16:: try_from ( len + 1 ) . trapping_unwrap ( ) ) ;
@@ -321,20 +321,20 @@ impl Descriptors {
321321 pub fn get ( & self , fd : Fd ) -> Result < & Descriptor , Errno > {
322322 self . table ( )
323323 . get ( usize:: try_from ( fd) . trapping_unwrap ( ) )
324- . ok_or ( wasi :: ERRNO_BADF )
324+ . ok_or ( wasip1 :: ERRNO_BADF )
325325 }
326326
327327 pub fn get_mut ( & mut self , fd : Fd ) -> Result < & mut Descriptor , Errno > {
328328 self . table_mut ( )
329329 . get_mut ( usize:: try_from ( fd) . trapping_unwrap ( ) )
330- . ok_or ( wasi :: ERRNO_BADF )
330+ . ok_or ( wasip1 :: ERRNO_BADF )
331331 }
332332
333333 // Close an fd.
334334 pub fn close ( & mut self , fd : Fd ) -> Result < ( ) , Errno > {
335335 // Throw an error if closing an fd which is already closed
336336 match self . get ( fd) ? {
337- Descriptor :: Closed ( _) => Err ( wasi :: ERRNO_BADF ) ?,
337+ Descriptor :: Closed ( _) => Err ( wasip1 :: ERRNO_BADF ) ?,
338338 _ => { }
339339 }
340340 // Mutate the descriptor to be closed, and push the closed fd onto the head of the linked list:
@@ -357,18 +357,18 @@ impl Descriptors {
357357 pub fn renumber ( & mut self , from_fd : Fd , to_fd : Fd ) -> Result < ( ) , Errno > {
358358 // First, ensure to_fd/from_fd is in bounds:
359359 if let Descriptor :: Closed ( _) = self . get ( to_fd) ? {
360- return Err ( wasi :: ERRNO_BADF ) ;
360+ return Err ( wasip1 :: ERRNO_BADF ) ;
361361 }
362362 if let Descriptor :: Closed ( _) = self . get ( from_fd) ? {
363- return Err ( wasi :: ERRNO_BADF ) ;
363+ return Err ( wasip1 :: ERRNO_BADF ) ;
364364 }
365365 // Expand table until to_fd is in bounds as well:
366366 while self . table_len . get ( ) as u32 <= to_fd {
367367 self . push_closed ( ) ?;
368368 }
369369 // Throw an error if renumbering a closed fd
370370 match self . get ( from_fd) ? {
371- Descriptor :: Closed ( _) => Err ( wasi :: ERRNO_BADF ) ?,
371+ Descriptor :: Closed ( _) => Err ( wasip1 :: ERRNO_BADF ) ?,
372372 _ => { }
373373 }
374374 // Close from_fd and put its contents into to_fd
@@ -406,19 +406,19 @@ impl Descriptors {
406406 ..
407407 } ) ,
408408 ..
409- } ) => Err ( wasi :: ERRNO_BADF ) ,
409+ } ) => Err ( wasip1 :: ERRNO_BADF ) ,
410410 Descriptor :: Streams ( Streams {
411411 type_ : StreamType :: File ( file) ,
412412 ..
413413 } ) => Ok ( file) ,
414- Descriptor :: Closed ( _) => Err ( wasi :: ERRNO_BADF ) ,
414+ Descriptor :: Closed ( _) => Err ( wasip1 :: ERRNO_BADF ) ,
415415 _ => Err ( error) ,
416416 }
417417 }
418418
419419 #[ cfg( not( feature = "proxy" ) ) ]
420420 pub fn get_file ( & self , fd : Fd ) -> Result < & File , Errno > {
421- self . get_file_with_error ( fd, wasi :: ERRNO_INVAL )
421+ self . get_file_with_error ( fd, wasip1 :: ERRNO_INVAL )
422422 }
423423
424424 #[ cfg( not( feature = "proxy" ) ) ]
@@ -437,31 +437,31 @@ impl Descriptors {
437437 Descriptor :: Streams ( Streams {
438438 type_ : StreamType :: File ( File { .. } ) ,
439439 ..
440- } ) => Err ( wasi :: ERRNO_NOTDIR ) ,
441- _ => Err ( wasi :: ERRNO_BADF ) ,
440+ } ) => Err ( wasip1 :: ERRNO_NOTDIR ) ,
441+ _ => Err ( wasip1 :: ERRNO_BADF ) ,
442442 }
443443 }
444444
445445 #[ cfg( not( feature = "proxy" ) ) ]
446446 pub fn get_seekable_file ( & self , fd : Fd ) -> Result < & File , Errno > {
447- self . get_file_with_error ( fd, wasi :: ERRNO_SPIPE )
447+ self . get_file_with_error ( fd, wasip1 :: ERRNO_SPIPE )
448448 }
449449
450450 pub fn get_seekable_stream_mut ( & mut self , fd : Fd ) -> Result < & mut Streams , Errno > {
451- self . get_stream_with_error_mut ( fd, wasi :: ERRNO_SPIPE )
451+ self . get_stream_with_error_mut ( fd, wasip1 :: ERRNO_SPIPE )
452452 }
453453
454454 pub fn get_read_stream ( & self , fd : Fd ) -> Result < & InputStream , Errno > {
455455 match self . get ( fd) ? {
456456 Descriptor :: Streams ( streams) => streams. get_read_stream ( ) ,
457- Descriptor :: Closed ( _) | Descriptor :: Bad => Err ( wasi :: ERRNO_BADF ) ,
457+ Descriptor :: Closed ( _) | Descriptor :: Bad => Err ( wasip1 :: ERRNO_BADF ) ,
458458 }
459459 }
460460
461461 pub fn get_write_stream ( & self , fd : Fd ) -> Result < & OutputStream , Errno > {
462462 match self . get ( fd) ? {
463463 Descriptor :: Streams ( streams) => streams. get_write_stream ( ) ,
464- Descriptor :: Closed ( _) | Descriptor :: Bad => Err ( wasi :: ERRNO_BADF ) ,
464+ Descriptor :: Closed ( _) | Descriptor :: Bad => Err ( wasip1 :: ERRNO_BADF ) ,
465465 }
466466 }
467467}
0 commit comments