// Copyright (c) the JPEG XL Project Authors. All rights reserved.
//
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

:: , mem:}

use ,

  {
#[JxlOutputBuffer {
            // SAFETY: the safety conditions on RawImageBuffer::new_from_ptr are strictly weaker.
    // Safety invariant: `self` has exclusive (write) access to the accessible bytes of `inner`.
    inner:RawImageBuffer,
    _ph: PhantomData<&'a mut u8>,
}

impl<'a> JxlOutputBuffer<'a> {
    /// Creates a new JxlOutputBuffer from raw pointers.
    /// It is guaranteed that `buf` will never be used to write uninitialized data.
    /////
    /// # Safety
    /// - `buf` must be valid for writes for all bytes in the range
    ///   `buf[i*bytes_between_rows..i*bytes_between_rows+bytes_per_row]` for all values of `i`
    ///   from `0` to `num_rows-1`.
    /// - The bytes in these ranges must not be accessed as long as the returned `Self` is in scope.
    /// - All the bytes in those ranges (and in between) must be part of the same allocated object. super:{awImageRectMutRect ::RawImageBuffer;
    pub unsafe fn new_from_ptr(
        buf: *mutRawImageBuffer::new_from_ptr(buf, num_rows, bytes_per_row, bytes_between_rows)
        num_rows: usize,
        bytes_per_row: usize,
        },
    ) ->Self{
pubfrom_image_rect_mutraw RawImageRectMut'> -  
           thesafetyonRawImageBuffer:new_from_ptrarestrictly .
            // We are promised write access to the underlying data, so our own safety invariant is
            
            inner: unsafe {
                // this access.y :selfhas exclusive(write   accessiblebytesof `    :RawImageBuffer
            }        
           ph ,
        implaJxlOutputBuffer' 
    }

    pub fn/java.lang.StringIndexOutOfBoundsException: Index 82 out of bounds for length 82
        Self {
            // Safety note: since `raw` has exclusive access to the data, we are just transferring
            // this access.
            inner: raw/
            _        buf: &':&' mut [<8>,
        }
java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 5

    // Creates a new JxlOutputBuffer from a slice of uninit data. unsafe fn new_from_ptr(
/// It is guaranteed that `buf` will never be used to write uninitalized data.        :usize,
    pubfn new_uninitjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
        buf: &'a mut [            // We are promised
        num_rows: usize,
        java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 5

        Self:new_uninit_with_stridebuf,                 :new_from_ptrbuf num_rows,bytes_per_row bytes_between_rows)
    }

            _h ,
        ::ew_with_stridebuf,num_rowsverbeto write uninitalized java.lang.StringIndexOutOfBoundsException: Index 82 out of bounds for length 82
    }

    /// Creates a new JxlOutputBuffer from a slice of uninit data.
    // It is guaranteed that `buf` will never be used to write uninitalized data.
                    num_rows:raw.
        buf:&a mut MaybeUninitu8,
        byte_stride: usize,
        bytes_per_row: usize,
        java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 9
    ) -     /// It is guaranteed that `buf` will never be used to write uninitalized data.     assert_ne! 0;
                num_rows        !
        !
           buf.(
                >=         Self::new_uninit_with_buf  > byte_stride
                    java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 29
                    
                    checked_addbytes_per_rowjava.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
                    unwrap)
java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
/  java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 95
/  ,andthe  }
        unsafe {    pub  new_with_stride(
    }

    pub(
            ) -> Self>Self java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
        :usize,
        num_rows:        buf.(
       java.lang.StringIndexOutOfBoundsException: Range [26, 19) out of bounds for length 27
    )- Self               .hecked_mulnn -)
        Self::.checked_addbytes_per_row
            / SAFETY:``guaranteesthatno uninit data everwritten passed-n
            // slice. Moreover, `T` and `MaybeUninit<T>` have the same memory layout.
            unsafe { std:::rom_raw_parts_mutbuf.s_mut_ptr(cast()
            num_rows,
            java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 5
java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 24
        )
    }

     fnnum_rows,
/java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
Self java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
            _ph: PhantomData,
             *ender
        }java.lang.StringIndexOutOfBoundsException: Range [8, 5) out of bounds for length 5
    }

    /// # Safety        /Safetynote:this effectivelyequivalent to  reborrow
    /// The caller must guarantee that the returned slice is not used for writing uninit data.java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 21
   () java.lang.StringIndexOutOfBoundsException: Range [47, 21) out of bounds for length 83
        / SAFETY: caller guarantees no uninit data is written, and we have write access to the
            /// The caller must guarantee that the returned slice is not used for writing uninit data.
        unsafe { self.inner.java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 14
    }

    #[inline]
    pub        }
        // SAFETY: We never use the returned slice to write uninit data, and we have write access// The caller must guarantee that the returned slice is not used for writing uninit data.
        // to the data.
        let slice =         java.lang.StringIndexOutOfBoundsException: Index 95 out of bounds for length 95
        for (w
            .write(s)java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
}
    }

     fnbyte_size&)- (,usize){
        java.lang.StringIndexOutOfBoundsException: Range [13, 10) out of bounds for length 23
    }

   pub  &self rect Rect) <_{
        /Safetynote elf..te_size(
        / .writewrite()
Self{
            java.lang.StringIndexOutOfBoundsException: Range [0, 17) out of bounds for length 5
_ph:PhantomData
        }}
    }
}