Struct Store

pub struct Store<'a, IdentGenerator = CountingIdentGenerator>
where
    IdentGenerator: IdentGenerator,
{ /* private fields */ }

A store for assertions with some custom IdentGenerator to generate unique identifiers to be used within asserts. DefaultStore is recommended for most purposes, which uses a CountingIdentGenerator.

This is the central type of this crate. It provides a target to generate assertions into. All asserts are stored here before beeing turned into tokens (using quote::ToTokens).

Usually you want to use the assert_into! macro to actually add the tokens.

Example

let store = DefaultStore::new();
let token_to_assert_something_on = todo!();
assert_into!(store | token_to_assert_something_on impl std::default::Default);
let tokens = quote!{ #store };

Implementations

impl<'a, IdentGenerator> Store<'a, IdentGenerator>

where IdentGenerator: IdentGenerator,

pub fn add_extra_items(&mut self, item: impl ToTokens)

impl<'a, IdentGenerator> Store<'a, IdentGenerator>

where IdentGenerator: IdentGenerator,

pub fn assert(&mut self, assert: impl RawAssertable<'a>)

pub fn new() -> Self

where IdentGenerator: Default,

Trait Implementations

impl<'a, IdentGenerator> Default for Store<'a, IdentGenerator>

where IdentGenerator: IdentGenerator + Default,

fn default() -> Self

Returns the “default value” for a type.

impl<'a, IdentGenerator> ToTokens for Store<'a, IdentGenerator>

where IdentGenerator: IdentGenerator + Clone,

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.