1 <assertions> 2 <assertion id="1" tag="ef:XSH6TC2:3966:3967"> 3 The aiocbp argument points to the AIO control block to be canceled. 4 </assertion> 5 <assertion id="2" tag="ef:XSH6TC2:3967:3968"> 6 if aiobcp is NULL, all outstanding cancelable AIO against fildes 7 shall be canceled. 8 </assertion> 9 <assertion id="3" tag="ef:XSH6TC2:3969:3970"> 10 Asynchronous notification shall occur for AIO that are successfully 11 cancelled. 12 </assertion> 13 <assertion id="4" tag="ef:XSH6TC2:3972:3973"> 14 Error status should be set to [ECANCELED] and return shall be -1 for 15 successfully canceled AIO. 16 </assertion> 17 <assertion id="5" tag="ef:XSH6TC2:3973:3974"> 18 aiocbp not successfully canceled shall not be modified 19 </assertion> 20 <assertion id="6" tag="ef:XSH6TC2:3979:3980"> 21 aio_cancel() shall return AIO_CANCELED if the requested operations 22 were canceled. 23 </assertion> 24 <assertion id="7" tag="ef:XSH6TC2:3980:3981"> 25 aio_cancel() shall return AIO_NOTCANCELED if at least one of the 26 requested operations cannot be canceled because it is in progress. 27 </assertion> 28 <assertion id="8" tag="ef:XSH6TC2:3984:3985"> 29 aio_cancel() shall return AIO_ALLDONE if all operation have already 30 completed 31 </assertion> 32 <assertion id="9" tag="ef:XSH6TC2:3985:3985"> 33 aio_cancel() shall return -1 and set errno in all other case. 34 </assertion> 35 <assertion id="10" tag="ef:XSH6TC2:3988:3988"> 36 aio_cancel() shall fail if: 37 [EBADF] The fildes argument is not a valid descriptor. 38 </assertion> 39 </assertions> 40