Trait JavaStrSliceIndex

pub unsafe trait JavaStrSliceIndex: Sealed + Sized {
    // Required methods
    fn check_bounds(&self, slice: &JavaStr) -> bool;
    fn check_bounds_fail(self, slice: &JavaStr) -> !;
    unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr;
    unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr;

    // Provided methods
    fn get(self, slice: &JavaStr) -> Option<&JavaStr> { ... }
    fn get_mut(self, slice: &mut JavaStr) -> Option<&mut JavaStr> { ... }
    fn index(self, slice: &JavaStr) -> &JavaStr { ... }
    fn index_mut(self, slice: &mut JavaStr) -> &mut JavaStr { ... }
}

Safety

Implementations’ check_bounds method must properly check the bounds of the slice, such that calling get_unchecked is not UB.

Required Methods

fn check_bounds(&self, slice: &JavaStr) -> bool

fn check_bounds_fail(self, slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

Safety

• The input slice must be a valid pointer
• This index must not be out of bounds of the input slice
• The indices of this slice must point to char boundaries in the input slice

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

Safety

• The input slice must be a valid pointer
• This index must not be out of bounds of the input slice
• The indices of this slice must point to char boundaries in the input slice

Provided Methods

fn get(self, slice: &JavaStr) -> Option<&JavaStr>

fn get_mut(self, slice: &mut JavaStr) -> Option<&mut JavaStr>

fn index(self, slice: &JavaStr) -> &JavaStr

fn index_mut(self, slice: &mut JavaStr) -> &mut JavaStr

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl JavaStrSliceIndex for Range<usize>

fn check_bounds(&self, slice: &JavaStr) -> bool

fn check_bounds_fail(self, slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

impl JavaStrSliceIndex for RangeFrom<usize>

fn check_bounds(&self, slice: &JavaStr) -> bool

fn check_bounds_fail(self, slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

impl JavaStrSliceIndex for RangeFull

fn check_bounds(&self, _slice: &JavaStr) -> bool

fn check_bounds_fail(self, _slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

impl JavaStrSliceIndex for RangeInclusive<usize>

fn check_bounds(&self, slice: &JavaStr) -> bool

fn check_bounds_fail(self, slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

impl JavaStrSliceIndex for RangeTo<usize>

fn check_bounds(&self, slice: &JavaStr) -> bool

fn check_bounds_fail(self, slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

impl JavaStrSliceIndex for RangeToInclusive<usize>

fn check_bounds(&self, slice: &JavaStr) -> bool

fn check_bounds_fail(self, slice: &JavaStr) -> !

unsafe fn get_unchecked(self, slice: *const JavaStr) -> *const JavaStr

unsafe fn get_unchecked_mut(self, slice: *mut JavaStr) -> *mut JavaStr

Implementors