Struct creusot_contracts::std::ffi::VaList

pub struct VaList<'a, 'f>
where
    'f: 'a,
{ /* private fields */ }

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

A wrapper for a va_list

Methods from Deref<Target = 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.

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<'a, 'f> Debug for VaList<'a, 'f>

where 'f: 'a,

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

Formats the value using the given formatter.

impl<'a, 'f> Deref for VaList<'a, 'f>

where 'f: 'a,

type Target = VaListImpl<'f>

The resulting type after dereferencing.

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

Dereferences the value.

impl<'a, 'f> DerefMut for VaList<'a, 'f>

where 'f: 'a,

fn deref_mut(&mut self) -> &mut VaListImpl<'f>

Mutably dereferences the value.