2024-05-26 13:15:11 +02:00
|
|
|
pub use servicepoint::BitVec;
|
|
|
|
use servicepoint::DataRef;
|
|
|
|
|
|
|
|
use crate::c_slice::CByteSlice;
|
|
|
|
|
|
|
|
/// Creates a new `BitVec` instance.
|
2024-05-28 20:37:55 +02:00
|
|
|
///
|
|
|
|
/// # Arguments
|
|
|
|
///
|
|
|
|
/// * `size`: size in bits.
|
|
|
|
///
|
|
|
|
/// returns: `BitVec` with all bits set to false.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// When `size` is not divisible by 8.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
2024-05-28 20:37:55 +02:00
|
|
|
/// The caller has to make sure that:
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
|
|
|
/// - the returned instance is freed in some way, either by using a consuming function or
|
|
|
|
/// by explicitly calling `sp_bit_vec_dealloc`.
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_new(size: usize) -> *mut BitVec {
|
|
|
|
Box::into_raw(Box::new(BitVec::new(size)))
|
|
|
|
}
|
|
|
|
|
2024-05-28 20:37:55 +02:00
|
|
|
/// Interpret the data as a series of bits and load then into a new `BitVec` instance.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `data` points to a valid memory location of at least `data_length`
|
|
|
|
/// bytes in size.
|
|
|
|
/// - the returned instance is freed in some way, either by using a consuming function or
|
|
|
|
/// by explicitly calling `sp_bit_vec_dealloc`.
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_load(
|
|
|
|
data: *const u8,
|
|
|
|
data_length: usize,
|
|
|
|
) -> *mut BitVec {
|
|
|
|
let data = std::slice::from_raw_parts(data, data_length);
|
|
|
|
Box::into_raw(Box::new(BitVec::from(data)))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Clones a `BitVec`.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
|
|
|
/// - `this` is not written to concurrently
|
|
|
|
/// - the returned instance is freed in some way, either by using a consuming function or
|
|
|
|
/// by explicitly calling `sp_bit_vec_dealloc`.
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_clone(this: *const BitVec) -> *mut BitVec {
|
|
|
|
Box::into_raw(Box::new((*this).clone()))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Deallocates a `BitVec`.
|
|
|
|
///
|
2024-05-28 19:38:43 +02:00
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
|
|
|
/// - `this` is not used concurrently or after this call
|
|
|
|
/// - `this` was not passed to another consuming function, e.g. to create a `Command`
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_dealloc(this: *mut BitVec) {
|
|
|
|
_ = Box::from_raw(this);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Gets the value of a bit from the `BitVec`.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
2024-05-28 20:37:55 +02:00
|
|
|
/// # Arguments
|
|
|
|
///
|
|
|
|
/// * `this`: instance to read from
|
|
|
|
/// * `index`: the bit index to read
|
|
|
|
///
|
|
|
|
/// returns: value of the bit
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// When accessing `index` out of bounds.
|
|
|
|
///
|
2024-05-28 19:38:43 +02:00
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
|
|
|
/// - `this` is not written to concurrently
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_get(
|
|
|
|
this: *const BitVec,
|
|
|
|
index: usize,
|
|
|
|
) -> bool {
|
|
|
|
(*this).get(index)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Sets the value of a bit in the `BitVec`.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
2024-05-28 20:37:55 +02:00
|
|
|
/// # Arguments
|
|
|
|
///
|
|
|
|
/// * `this`: instance to write to
|
|
|
|
/// * `index`: the bit index to edit
|
|
|
|
/// * `value`: the value to set the bit to
|
|
|
|
///
|
|
|
|
/// returns: old value of the bit
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// When accessing `index` out of bounds.
|
|
|
|
///
|
2024-05-28 19:38:43 +02:00
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
|
|
|
/// - `this` is not written to or read from concurrently
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_set(
|
|
|
|
this: *mut BitVec,
|
|
|
|
index: usize,
|
|
|
|
value: bool,
|
|
|
|
) -> bool {
|
|
|
|
(*this).set(index, value)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Sets the value of all bits in the `BitVec`.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
2024-05-28 20:37:55 +02:00
|
|
|
/// # Arguments
|
|
|
|
///
|
|
|
|
/// * `value`: the value to set all bits to
|
|
|
|
///
|
2024-05-28 19:38:43 +02:00
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
|
|
|
/// - `this` is not written to or read from concurrently
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_fill(this: *mut BitVec, value: bool) {
|
|
|
|
(*this).fill(value)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Gets the length of the `BitVec` in bits.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_len(this: *const BitVec) -> usize {
|
|
|
|
(*this).len()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns true if length is 0.
|
2024-05-28 19:38:43 +02:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The caller has to make sure that:
|
|
|
|
///
|
|
|
|
/// - `this` points to a valid `BitVec`
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_is_empty(this: *const BitVec) -> bool {
|
|
|
|
(*this).is_empty()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Gets an unsafe reference to the data of the `BitVec` instance.
|
|
|
|
///
|
|
|
|
/// ## Safety
|
|
|
|
///
|
2024-05-28 19:38:43 +02:00
|
|
|
/// The caller has to make sure that:
|
2024-05-26 13:15:11 +02:00
|
|
|
///
|
2024-05-28 19:38:43 +02:00
|
|
|
/// - `this` points to a valid `BitVec`
|
|
|
|
/// - the returned memory range is never accessed after the passed `BitVec` has been freed
|
|
|
|
/// - the returned memory range is never accessed concurrently, either via the `BitVec` or directly
|
2024-05-26 13:15:11 +02:00
|
|
|
#[no_mangle]
|
|
|
|
pub unsafe extern "C" fn sp_bit_vec_unsafe_data_ref(
|
|
|
|
this: *mut BitVec,
|
|
|
|
) -> CByteSlice {
|
|
|
|
let data = (*this).data_ref_mut();
|
|
|
|
CByteSlice {
|
|
|
|
start: data.as_mut_ptr_range().start,
|
|
|
|
length: data.len(),
|
|
|
|
}
|
|
|
|
}
|