Module interpreter

Interpreter implementation

Modules

• contract
  This module contains logic on contract management.
• diff
  VM State Differences
• predicates
  The module contains functions to check predicates defined in the inputs of a transaction.

Structs

• InitialBalances
  The initial balances of the transaction.
• Interpreter
  VM interpreter.
• InterpreterParams
  Interpreter parameters
• MemoryInstance
  The memory of the VM, represented as stack and heap.
• MemoryRange
  A range of memory. No guarantees are made about validity of access.
• NotSupportedEcal
  ECAL opcode is not supported and return an error if you try to call.
• PredicateErrorEcal
  ECAL is not allowed in predicates
• RuntimeBalances
  Structure to encapsulate asset balances for VM runtime

Traits

• CheckedMetadata
  Methods that should be implemented by the checked metadata of supported transactions.
• EcalHandler
  ECAL opcode handler
• ExecutableTransaction
  The definition of the executable transaction supported by the Interpreter.
• Memory
  The trait for the memory.