Type Definition concordium_std::test_infrastructure::ReceiveContextTest

type ReceiveContextTest<'a> = ContextTest<'a, ReceiveOnlyDataTest>;

Placeholder for the receiving context. All the fields can be set optionally and the getting an unset field will result in calling fail!. Use only in tests!

Setters

Every field have a setter function prefixed with set_.

Example

Creating an empty context and setting the init_origin.

let owner = AccountAddress([0u8; 32]);
let mut ctx = ReceiveContextTest::empty();
ctx.set_owner(owner);
ctx.set_sender(Address::Account(owner));

Set chain meta data

Chain meta data is set using setters on the context or by setters on a mutable reference of ChainMetaTest.

Example

Creating an empty context and setting the slot_time metadata.

let mut ctx = ReceiveContextTest::empty();
ctx.set_metadata_slot_time(1609459200);

or

let mut ctx = ReceiveContextTest::empty();
ctx.metadata_mut().set_slot_time(1609459200);

Use case example

Creating a context for running unit tests

#[receive(contract = "mycontract", name = "receive")]
fn contract_receive<R: HasReceiveContext, L: HasLogger, A: HasActions>(
    ctx: &R,
    amount: Amount,
    logger: &mut L,
    state: &mut State,
) -> ReceiveResult<A> {
    ensure!(ctx.sender().matches_account(&ctx.owner()), "Only the owner can increment.");
    Ok(A::accept())
}

#[cfg(test)]
mod tests {
    use super::*;
    use concordium_sc_base::test_infrastructure::*;
    #[test]
    fn test() {
        let owner = AccountAddress([0u8; 32]);
        let mut ctx = ReceiveContextTest::empty();
        ctx.set_owner(owner);
        ctx.set_sender(Address::Account(owner));
        ...
        let result: ReceiveResult<ActionsTree> = contract_receive(&ctx, 0, &mut logger, state);
    }
}

Implementations

impl<'a> ReceiveContextTest<'a>

pub fn empty() -> Self

Create a ReceiveContextTest where every field is unset, and getting any of the fields will result in fail!.

pub fn set_invoker(&mut self, value: AccountAddress) -> &mut Self

pub fn set_self_address(&mut self, value: ContractAddress) -> &mut Self

pub fn set_self_balance(&mut self, value: Amount) -> &mut Self

pub fn set_sender(&mut self, value: Address) -> &mut Self

pub fn set_owner(&mut self, value: AccountAddress) -> &mut Self

Trait Implementations

impl<'a> HasReceiveContext<()> for ReceiveContextTest<'a>

type ReceiveData = ()

pub fn open(_data: Self::ReceiveData) -> Self

Open the receive context for reading and accessing values.

pub fn invoker(&self) -> AccountAddress

Who is the account that initiated the top-level transaction this invocation is a part of.

pub fn self_address(&self) -> ContractAddress

The address of the contract being invoked.

pub fn self_balance(&self) -> Amount

Balance on the contract before the call was made.

pub fn sender(&self) -> Address

The immediate sender of the message. In general different from the invoker.

pub fn owner(&self) -> AccountAddress

Account which created the contract instance.