Enum ContractOp

pub enum ContractOp {
    CnP(u16, Reg16),
    CnS(u16, Reg16),
    CnG(u16, Reg16),
    CnC(u16, Reg16),
    LdP(u16, u16, RegS),
    LdS(u16, u16, RegS),
    LdF(u16, u16, Reg16),
    LdG(u16, u8, RegS),
    LdC(u16, u16, RegS),
    LdM(RegS),
    PcVs(u16),
    Fail(u8),
}

Variants

CnP(u16, Reg16)

Counts number of inputs (previous state entries) of the provided type and assigns the number to the destination a16 register.

CnS(u16, Reg16)

Counts number of outputs (owned state entries) of the provided type and assigns the number to the destination a16 register.

CnG(u16, Reg16)

Counts number of inputs (previous state entries) of the provided type and assigns the number to the destination a8 register.

CnC(u16, Reg16)

Counts number of inputs (previous state entries) of the provided type and assigns the number to the destination a16 register.

LdP(u16, u16, RegS)

Loads input (previous) state with type id from the first argument and index from the second argument into a register provided in the third argument.

If the state is absent or is not a structured state sets st0 to false and terminates the program.

If the state at the index is concealed, sets destination to None.

LdS(u16, u16, RegS)

Loads owned structured state with type id from the first argument and index from the second argument into a register provided in the third argument.

If the state is absent or is not a structured state sets st0 to false and terminates the program.

If the state at the index is concealed, sets destination to None.

LdF(u16, u16, Reg16)

Loads owned fungible state with type id from the first argument and index from the second argument into a64 register provided in the third argument.

If the state is absent or is not a fungible state sets st0 to false and terminates the program.

If the state at the index is concealed, sets destination to None.

LdG(u16, u8, RegS)

Loads global state from the current operation with type id from the first argument and index from the second argument into a register provided in the third argument.

If the state is absent sets st0 to false and terminates the program.

LdC(u16, u16, RegS)

Loads part of the contract global state with type id from the first argument at the depth from the second argument into a register provided in the third argument.

If the state is absent or concealed sets destination to None. Does not modify content of st0 register.

LdM(RegS)

Loads operation metadata into a register provided in the third argument.

If the operation doesn’t have metadata sets destination to None. Does not modify content of st0 register.

PcVs(u16)

Verify sum of pedersen commitments from inputs and outputs.

The only argument specifies owned state type for the sum operation. If this state does not exists, either inputs or outputs does not have any data for the state, or the state is not of FungibleState::Bits64 fails the verification.

If verification succeeds, doesn’t changes st0 value; otherwise sets it to false.

Fail(u8)

All other future unsupported operations, which must set st0 to false.

Trait Implementations

impl Bytecode for ContractOp

fn byte_count(&self) -> u16

Returns number of bytes which instruction and its argument occupies

fn instr_range() -> RangeInclusive<u8>

Returns range of instruction btecodes covered by a set of operations

fn instr_byte(&self) -> u8

Returns byte representing instruction code (without its arguments)

fn encode_args<W>(&self, writer: &mut W) -> Result<(), BytecodeError>

where W: Write,

Writes instruction arguments as bytecode, omitting instruction code byte

fn decode<R>(reader: &mut R) -> Result<ContractOp, CodeEofError>

where ContractOp: Sized, R: Read,

Reads the instruction from bytecode

fn call_site(&self) -> Option<LibSite>

If the instruction call or references any external library, returns the call site in that library.

fn encode<W>(&self, writer: &mut W) -> Result<(), BytecodeError>

where W: Write,

Writes the instruction as bytecode

impl Clone for ContractOp

fn clone(&self) -> ContractOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ContractOp

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

Formats the value using the given formatter.

impl Display for ContractOp

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

Formats the value using the given formatter.

impl Hash for ContractOp

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl InstructionSet for ContractOp

type Context<'ctx> = OpInfo<'ctx>

Context: external data which are accessible to the ISA.

fn isa_ids() -> BTreeSet<&'static str>

ISA Extensions used by the provided instruction set.

fn exec( &self, regs: &mut CoreRegs, site: LibSite, context: &<ContractOp as InstructionSet>::Context<'_>, ) -> ExecStep

Executes given instruction taking all registers as input and output.

fn isa_string() -> String

ISA Extension IDs represented as a standard string (space-separated)

fn isa_id() -> Box<[u8]>

ISA Extension IDs encoded in a standard way (space-separated)

fn is_supported(id: &str) -> bool

Checks whether provided ISA extension ID is supported by the current instruction set

fn complexity(&self) -> u64

Returns computational complexity of the instruction

impl Ord for ContractOp

fn cmp(&self, other: &ContractOp) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ContractOp

fn eq(&self, other: &ContractOp) -> 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 PartialOrd for ContractOp

fn partial_cmp(&self, other: &ContractOp) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for ContractOp

impl Eq for ContractOp

impl StructuralPartialEq for ContractOp