Trait concrete_core::specification::engines::CleartextDiscardingRetrievalEngine

pub trait CleartextDiscardingRetrievalEngine<Cleartext, Value>: AbstractEnginewhere
    Cleartext: CleartextEntity,{
    fn discard_retrieve_cleartext(
        &mut self,
        value: &mut Value,
        input: &Cleartext
    ) -> Result<(), CleartextDiscardingRetrievalError<Self::EngineError>>;
    unsafe fn discard_retrieve_cleartext_unchecked(
        &mut self,
        value: &mut Value,
        input: &Cleartext
    );
}

A trait for engines retrieving (discarding) arbitrary values from cleartexts .

Semantics

This discarding operation fills the value arbitrary value with the retrieval of the input cleartext. By arbitrary here, we mean that Value can be any type that suits the backend implementor (an integer, a struct wrapping integers, a struct wrapping foreign data or any other thing).

Formal Definition

Required Methods

fn discard_retrieve_cleartext(
    &mut self,
    value: &mut Value,
    input: &Cleartext
) -> Result<(), CleartextDiscardingRetrievalError<Self::EngineError>>

Retrieves an arbitrary value from a cleartext.

unsafe fn discard_retrieve_cleartext_unchecked(
    &mut self,
    value: &mut Value,
    input: &Cleartext
)

Unsafely retrieves an arbitrary value from a cleartext.

Safety

For the general safety concerns regarding this operation, refer to the different variants of CleartextDiscardingRetrievalError. For safety concerns specific to an engine, refer to the implementer safety section.

Implementors

impl CleartextDiscardingRetrievalEngine<Cleartext32, u32> for DefaultEngine

Description:

Implementation of CleartextDiscardingRetrievalEngine for DefaultEngine that operates on 32 bits integers.

impl CleartextDiscardingRetrievalEngine<Cleartext64, u64> for DefaultEngine

Description:

Implementation of CleartextDiscardingRetrievalEngine for DefaultEngine that operates on 32 bits integers.

impl CleartextDiscardingRetrievalEngine<CleartextF64, f64> for DefaultEngine

Description:

Implementation of CleartextDiscardingRetrievalEngine for DefaultEngine that operates on 64 bits floating point numbers.