Struct Variables 

pub struct Variables<T> { /* private fields */ }

A pool of previously generated values.

Implementations

impl<T> Variables<T>

pub fn is_empty(&self) -> bool

Returns true if no variables are in the pool.

pub fn len(&self) -> usize

Number of variables currently in the pool.

pub fn add(&mut self, v: T)

Add a value to the pool.

Examples found in repository

examples/ledger.rs (line 53)

    fn create_account(&mut self, tc: TestCase) {
        let account = tc.draw(gs::text().min_size(1));
        tc.note(&format!("create account '{}'", account.clone()));
        self.accounts.add(account);
    }

pub fn draw(&self) -> &T

Draw a reference to a value from the pool (without removing it).

Calls assume(false) if the pool is empty.

Examples found in repository

examples/ledger.rs (line 58)

    fn credit(&mut self, tc: TestCase) {
        let account = self.accounts.draw().clone();
        let amount = tc.draw(gs::integers::<i64>().min_value(0).max_value(LIMIT));
        tc.note(&format!("credit '{}' with {}", account.clone(), amount));
        self.ledger.credit(account, amount);
    }

    #[rule]
    fn transfer(&mut self, tc: TestCase) {
        let from = self.accounts.draw().clone();
        let to = self.accounts.draw().clone();
        let amount = tc.draw(gs::integers::<i64>().min_value(0).max_value(LIMIT));
        tc.note(&format!(
            "transfer '{}' from {} to {}",
            amount,
            from.clone(),
            to.clone()
        ));
        self.ledger.transfer(from, to, amount);
    }

pub fn consume(&mut self) -> T

Remove and return a value from the pool.

Calls assume(false) if the pool is empty.