Trait java_string::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

Object Safety

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