Struct AssertNextCallReturnsInclude 

pub struct AssertNextCallReturnsInclude {
    pub constraints: ManifestResourceConstraints,
}

Asserts that the next invocation (CALL / YIELD) in the manifest returns these specified resources, and may also include other unspecified resources.

Each of the specified resources must satisfy the given constraints.

Only one ASSERT_NEXT_CALL_RETURNS_... instruction may be specified per CALL / YIELD, and it must immediately precede it.

Fields

constraints: ManifestResourceConstraints

Trait Implementations

impl Categorize<ManifestCustomValueKind> for AssertNextCallReturnsInclude

fn value_kind() -> ValueKind<ManifestCustomValueKind>

impl Clone for AssertNextCallReturnsInclude

fn clone(&self) -> AssertNextCallReturnsInclude

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AssertNextCallReturnsInclude

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<D: Decoder<ManifestCustomValueKind>> Decode<ManifestCustomValueKind, D> for AssertNextCallReturnsInclude

fn decode_body_with_value_kind( decoder: &mut D, value_kind: ValueKind<ManifestCustomValueKind>, ) -> Result<Self, DecodeError>

Decodes the type from the decoder, which should match a preloaded value kind.

impl Describe<ScryptoCustomTypeKind> for AssertNextCallReturnsInclude

const TYPE_ID: RustTypeId

The TYPE_ID should give a unique identifier for its SBOR schema type. An SBOR schema type capture details about the SBOR payload, how it should be interpreted, validated and displayed.

fn type_data() -> TypeData<ScryptoCustomTypeKind, RustTypeId>

Returns the local schema for the given type.

fn add_all_dependencies(aggregator: &mut TypeAggregator<ScryptoCustomTypeKind>)

For each type referenced in get_local_type_data, we need to ensure that the type and all of its own references get added to the aggregator.

impl<E: Encoder<ManifestCustomValueKind>> Encode<ManifestCustomValueKind, E> for AssertNextCallReturnsInclude

fn encode_value_kind(&self, encoder: &mut E) -> Result<(), EncodeError>

Encodes the SBOR value’s kind to the encoder

fn encode_body(&self, encoder: &mut E) -> Result<(), EncodeError>

Encodes the SBOR body of the type to the encoder.

impl ManifestInstruction for AssertNextCallReturnsInclude

const IDENT: &'static str = "ASSERT_NEXT_CALL_RETURNS_INCLUDE"

const ID: u8 = 11u8

fn decompile( &self, _context: &mut DecompilationContext<'_>, ) -> Result<DecompiledInstruction, DecompileError>

fn effect(&self) -> Effect<'_>

fn into_any(self) -> AnyInstruction

impl PartialEq for AssertNextCallReturnsInclude

fn eq(&self, other: &AssertNextCallReturnsInclude) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SborEnumVariantFor<InstructionV2, ManifestCustomValueKind> for AssertNextCallReturnsInclude

const DISCRIMINATOR: u8 = 11u8

const IS_FLATTENED: bool = true

type VariantFields = AssertNextCallReturnsInclude

VariantFields is either Self if IS_FLATTENED else is (Self,)

type VariantFieldsRef<'a> = &'a AssertNextCallReturnsInclude

VariantFieldsRef is either &Self if IS_FLATTENED else is (&Self,)

type OwnedVariant = SborFixedEnumVariant<ManifestSbor, <AssertNextCallReturnsInclude as SborEnumVariantFor<InstructionV2, ManifestCustomValueKind>>::VariantFields>

This should always be SborFixedEnumVariant<{ [DISCRIMINATOR] as u8 }, Self::VariantFields>

type BorrowedVariant<'a> = SborFixedEnumVariant<ManifestSbor, <AssertNextCallReturnsInclude as SborEnumVariantFor<InstructionV2, ManifestCustomValueKind>>::VariantFieldsRef<'a>>

Should always be SborFixedEnumVariant<{ [DISCRIMINATOR] as u8 }, &'a Self::VariantFields>

fn from_variant_fields(variant_fields: Self::VariantFields) -> Self

fn as_variant_fields_ref(&self) -> Self::VariantFieldsRef<'_>

fn into_enum(self) -> InstructionV2

fn as_encodable_variant<'a>(&'a self) -> Self::BorrowedVariant<'a>

Can be used to encode the type as a variant under TEnum, like this: encoder.encode(x.as_encodable_variant()).

fn from_decoded_variant(variant: Self::OwnedVariant) -> Self

where Self: Sized,

Can be used to decode the type from an encoded variant, like this: T::from_decoded_variant(decoder.decode()?).

impl SborTuple<ManifestCustomValueKind> for AssertNextCallReturnsInclude

fn get_length(&self) -> usize

impl Eq for AssertNextCallReturnsInclude

impl StructuralPartialEq for AssertNextCallReturnsInclude