Struct creusot_contracts::std::ffi::VaListImpl

#[repr(C)]
pub struct VaListImpl<'f> { /* private fields */ }

🔬This is a nightly-only experimental API. (c_variadic)

x86_64 ABI implementation of a va_list.

Implementations

impl<'f> VaListImpl<'f>

pub fn as_va_list<'a>(&'a mut self) -> VaList<'a, 'f>

🔬This is a nightly-only experimental API. (c_variadic)

Convert a VaListImpl into a VaList that is binary-compatible with C’s va_list.

impl<'f> VaListImpl<'f>

pub unsafe fn arg<T>(&mut self) -> T

where T: VaArgSafe,

🔬This is a nightly-only experimental API. (c_variadic)

Advance to the next arg.

pub unsafe fn with_copy<F, R>(&self, f: F) -> R

where F: for<'copy> FnOnce(VaList<'copy, 'f>) -> R,

🔬This is a nightly-only experimental API. (c_variadic)

Copies the va_list at the current location.

Trait Implementations

impl<'f> Clone for VaListImpl<'f>

fn clone(&self) -> VaListImpl<'f>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'f> Debug for VaListImpl<'f>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'f> Drop for VaListImpl<'f>

fn drop(&mut self)

Executes the destructor for this type.