Struct TestSetView

pub struct TestSetView<C> { /* private fields */ }

Wrapper to test with a SetView.

Trait Implementations

impl<C> ClonableView for TestSetView<C>

where SetView<C, i32>: ClonableView, Self: View,

fn clone_unchecked(&mut self) -> Result<Self, ViewError>

Creates a clone of this view, sharing the underlying storage context but prone to data races which can corrupt the view state.

impl<C> RootView for TestSetView<C>

where Self: View,

async fn save(&mut self) -> Result<(), ViewError>

Saves the root view to the database context

impl TestView for TestSetView<MemoryContext<()>>

type State = HashSet<i32>

Representation of the view’s state.

async fn stage_initial_changes(&mut self) -> Result<Self::State, ViewError>

Performs some initial changes to the view, staging them, and returning a representation of the view’s state.

async fn stage_changes_to_be_discarded( &mut self, ) -> Result<Self::State, ViewError>

Stages some changes to the view that won’t be persisted during the test.

async fn stage_changes_to_be_persisted( &mut self, ) -> Result<Self::State, ViewError>

Stages some changes to the view that will be persisted during the test.

async fn read(&self) -> Result<Self::State, ViewError>

Reads the view’s current state.

impl<C> View for TestSetView<C>

where C: Context, SetView<C, i32>: View<Context = C>,

const NUM_INIT_KEYS: usize = <SetView<C, i32> as linera_views::views::View>::NUM_INIT_KEYS

The number of keys used for the initialization

type Context = C

The type of context stored in this view

fn context(&self) -> C

Obtains a mutable reference to the internal context.

fn pre_load(context: &C) -> Result<Vec<Vec<u8>>, ViewError>

Creates the keys needed for loading the view

fn post_load(context: C, values: &[Option<Vec<u8>>]) -> Result<Self, ViewError>

Loads a view from the values

async fn load(context: C) -> Result<Self, ViewError>

Loads a view

fn rollback(&mut self)

Discards all pending changes. After that flush should have no effect to storage.

async fn has_pending_changes(&self) -> bool

Returns true if flushing this view would result in changes to the persistent storage.

fn pre_save(&self, batch: &mut Batch) -> Result<bool, ViewError>

Computes the batch of operations to persist changes to storage without modifying the view. Crash-resistant storage implementations accumulate the desired changes in the batch variable. The returned boolean indicates whether the operation removes the view or not.

fn post_save(&mut self)

Updates the view state after the batch has been executed in the database. This should be called after pre_save and after the batch has been successfully written to storage. This leaves the view in a clean state with no pending changes.

fn clear(&mut self)

Clears the view. That can be seen as resetting to default. If the clear is followed by a flush then all the relevant data is removed on the storage.

fn new(context: Self::Context) -> Result<Self, ViewError>

Builds a trivial view that is already deleted