Trait soroban_env_host::CheckedEnv

source · [−]
pub trait CheckedEnv {
    type Error: Debug;


Show 95 methods    fn log_value(&self, v: RawVal) -> Result<RawVal, Self::Error>;
    fn get_invoking_contract(&self) -> Result<Object, Self::Error>;
    fn obj_cmp(&self, a: RawVal, b: RawVal) -> Result<i64, Self::Error>;
    fn contract_event(&self, v: RawVal) -> Result<RawVal, Self::Error>;
    fn system_event(&self, v: RawVal) -> Result<RawVal, Self::Error>;
    fn get_current_contract(&self) -> Result<Object, Self::Error>;
    fn obj_from_u64(&self, v: u64) -> Result<Object, Self::Error>;
    fn obj_to_u64(&self, obj: Object) -> Result<u64, Self::Error>;
    fn obj_from_i64(&self, v: i64) -> Result<Object, Self::Error>;
    fn obj_to_i64(&self, obj: Object) -> Result<i64, Self::Error>;
    fn map_new(&self) -> Result<Object, Self::Error>;
    fn map_put(
        &self,
        m: Object,
        k: RawVal,
        v: RawVal
    ) -> Result<Object, Self::Error>;
    fn map_get(&self, m: Object, k: RawVal) -> Result<RawVal, Self::Error>;
    fn map_del(&self, m: Object, k: RawVal) -> Result<Object, Self::Error>;
    fn map_len(&self, m: Object) -> Result<RawVal, Self::Error>;
    fn map_has(&self, m: Object, k: RawVal) -> Result<RawVal, Self::Error>;
    fn map_prev_key(&self, m: Object, k: RawVal) -> Result<RawVal, Self::Error>;
    fn map_next_key(&self, m: Object, k: RawVal) -> Result<RawVal, Self::Error>;
    fn map_min_key(&self, m: Object) -> Result<RawVal, Self::Error>;
    fn map_max_key(&self, m: Object) -> Result<RawVal, Self::Error>;
    fn map_keys(&self, m: Object) -> Result<Object, Self::Error>;
    fn map_values(&self, m: Object) -> Result<Object, Self::Error>;
    fn vec_new(&self, c: RawVal) -> Result<Object, Self::Error>;
    fn vec_put(
        &self,
        v: Object,
        i: RawVal,
        x: RawVal
    ) -> Result<Object, Self::Error>;
    fn vec_get(&self, v: Object, i: RawVal) -> Result<RawVal, Self::Error>;
    fn vec_del(&self, v: Object, i: RawVal) -> Result<Object, Self::Error>;
    fn vec_len(&self, v: Object) -> Result<RawVal, Self::Error>;
    fn vec_push(&self, v: Object, x: RawVal) -> Result<Object, Self::Error>;
    fn vec_pop(&self, v: Object) -> Result<Object, Self::Error>;
    fn vec_front(&self, v: Object) -> Result<RawVal, Self::Error>;
    fn vec_back(&self, v: Object) -> Result<RawVal, Self::Error>;
    fn vec_insert(
        &self,
        v: Object,
        i: RawVal,
        x: RawVal
    ) -> Result<Object, Self::Error>;
    fn vec_append(&self, v1: Object, v2: Object) -> Result<Object, Self::Error>;
    fn vec_slice(
        &self,
        v: Object,
        start: RawVal,
        end: RawVal
    ) -> Result<Object, Self::Error>;
    fn put_contract_data(
        &self,
        k: RawVal,
        v: RawVal
    ) -> Result<RawVal, Self::Error>;
    fn has_contract_data(&self, k: RawVal) -> Result<RawVal, Self::Error>;
    fn get_contract_data(&self, k: RawVal) -> Result<RawVal, Self::Error>;
    fn del_contract_data(&self, k: RawVal) -> Result<RawVal, Self::Error>;
    fn create_contract_from_ed25519(
        &self,
        v: Object,
        salt: Object,
        key: Object,
        sig: Object
    ) -> Result<Object, Self::Error>;
    fn create_contract_from_contract(
        &self,
        v: Object,
        salt: Object
    ) -> Result<Object, Self::Error>;
    fn call(
        &self,
        contract: Object,
        func: Symbol,
        args: Object
    ) -> Result<RawVal, Self::Error>;
    fn try_call(
        &self,
        contract: Object,
        func: Symbol,
        args: Object
    ) -> Result<RawVal, Self::Error>;
    fn bigint_from_u64(&self, x: u64) -> Result<Object, Self::Error>;
    fn bigint_to_u64(&self, x: Object) -> Result<u64, Self::Error>;
    fn bigint_from_i64(&self, x: i64) -> Result<Object, Self::Error>;
    fn bigint_to_i64(&self, x: Object) -> Result<i64, Self::Error>;
    fn bigint_add(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_sub(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_mul(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_div(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_rem(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_and(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_or(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_xor(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_shl(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_shr(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_cmp(&self, x: Object, y: Object) -> Result<RawVal, Self::Error>;
    fn bigint_is_zero(&self, x: Object) -> Result<RawVal, Self::Error>;
    fn bigint_neg(&self, x: Object) -> Result<Object, Self::Error>;
    fn bigint_not(&self, x: Object) -> Result<Object, Self::Error>;
    fn bigint_gcd(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_lcm(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_pow(&self, x: Object, y: Object) -> Result<Object, Self::Error>;
    fn bigint_pow_mod(
        &self,
        p: Object,
        q: Object,
        m: Object
    ) -> Result<Object, Self::Error>;
    fn bigint_sqrt(&self, x: Object) -> Result<Object, Self::Error>;
    fn bigint_bits(&self, x: Object) -> Result<u64, Self::Error>;
    fn bigint_to_bytes_be(&self, x: Object) -> Result<Object, Self::Error>;
    fn bigint_to_radix_be(
        &self,
        x: Object,
        radix: RawVal
    ) -> Result<Object, Self::Error>;
    fn serialize_to_binary(&self, v: RawVal) -> Result<Object, Self::Error>;
    fn deserialize_from_binary(&self, b: Object) -> Result<RawVal, Self::Error>;
    fn binary_copy_to_linear_memory(
        &self,
        b: Object,
        b_pos: RawVal,
        lm_pos: RawVal,
        len: RawVal
    ) -> Result<RawVal, Self::Error>;
    fn binary_copy_from_linear_memory(
        &self,
        b: Object,
        b_pos: RawVal,
        lm_pos: RawVal,
        len: RawVal
    ) -> Result<Object, Self::Error>;
    fn binary_new_from_linear_memory(
        &self,
        lm_pos: RawVal,
        len: RawVal
    ) -> Result<Object, Self::Error>;
    fn binary_new(&self) -> Result<Object, Self::Error>;
    fn binary_put(
        &self,
        b: Object,
        i: RawVal,
        u: RawVal
    ) -> Result<Object, Self::Error>;
    fn binary_get(&self, b: Object, i: RawVal) -> Result<RawVal, Self::Error>;
    fn binary_del(&self, b: Object, i: RawVal) -> Result<Object, Self::Error>;
    fn binary_len(&self, b: Object) -> Result<RawVal, Self::Error>;
    fn binary_push(&self, b: Object, u: RawVal) -> Result<Object, Self::Error>;
    fn binary_pop(&self, b: Object) -> Result<Object, Self::Error>;
    fn binary_front(&self, b: Object) -> Result<RawVal, Self::Error>;
    fn binary_back(&self, b: Object) -> Result<RawVal, Self::Error>;
    fn binary_insert(
        &self,
        b: Object,
        i: RawVal,
        u: RawVal
    ) -> Result<Object, Self::Error>;
    fn binary_append(&self, b1: Object, b2: Object) -> Result<Object, Self::Error>;
    fn binary_slice(
        &self,
        b: Object,
        start: RawVal,
        end: RawVal
    ) -> Result<Object, Self::Error>;
    fn hash_from_binary(&self, x: Object) -> Result<Object, Self::Error>;
    fn hash_to_binary(&self, x: Object) -> Result<Object, Self::Error>;
    fn public_key_from_binary(&self, x: Object) -> Result<Object, Self::Error>;
    fn public_key_to_binary(&self, x: Object) -> Result<Object, Self::Error>;
    fn compute_hash_sha256(&self, x: Object) -> Result<Object, Self::Error>;
    fn verify_sig_ed25519(
        &self,
        x: Object,
        k: Object,
        s: Object
    ) -> Result<RawVal, Self::Error>;
    fn account_get_low_threshold(&self, a: Object) -> Result<RawVal, Self::Error>;
    fn account_get_medium_threshold(
        &self,
        a: Object
    ) -> Result<RawVal, Self::Error>;
    fn account_get_high_threshold(
        &self,
        a: Object
    ) -> Result<RawVal, Self::Error>;
    fn account_get_signer_weight(
        &self,
        a: Object,
        s: Object
    ) -> Result<RawVal, Self::Error>;

}
Expand description

This trait is a variant of the Env trait used to define the interface implemented by Host. The WASM VM dispatch functions call methods on CheckedEnv and convert any Result::Err(...) return value into a VM trap, halting VM execution.

There is also a blanket impl<T:CheckedEnv> Env for T that implements the Env interface directly for CheckedEnv by unwrapping all results, in other words “panicking on error”. This is used in local testing mode to adapt the Host to mimic the (non-Result, halt-on-error) interface and behavior of Guest when linking a contract to Host natively, for local testing.

Required Associated Types

Required Methods

Get the binary contractID of the contract which invoked the running contract. Traps if the running contract was not invoked by a contract.

Get the binary contractID of the contract which invoked the running contract. Traps if the running contract was not invoked by a contract.

Convert an i64 to an object containing an i64.

Convert an object containing an i64 to an i64.

Create an empty new map.

Insert a key/value mapping into an existing map, and return the map object handle. If the map already has a mapping for the given key, the previous value is overwritten.

Get the value for a key from a map. Traps if key is not found.

Remove a key/value mapping from a map if it exists, traps if doesn’t.

Get the size of a map.

Test for the presence of a key in a map. Returns (SCStatic) TRUE/FALSE.

Given a key, find the first key less than itself in the map’s sorted order. If such a key does not exist, return an SCStatus containing the error code (TBD).

Given a key, find the first key greater than itself in the map’s sorted order. If such a key does not exist, return an SCStatus containing the error code (TBD).

Find the minimum key from a map. If the map is empty, return an SCStatus containing the error code (TBD).

Find the maximum key from a map. If the map is empty, return an SCStatus containing the error code (TBD).

Return a new vector containing all the keys in a map. The new vector is ordered in the original map’s key-sorted order.

Return a new vector containing all the values in a map. The new vector is ordered in the original map’s key-sorted order.

Creates a new vector with an optional capacity hint c. If c is ScStatic::Void, no hint is assumed and the new vector is empty. Otherwise, c is parsed as an u32 that represents the initial capacity of the new vector.

Update the value at index i in the vector. Return the new vector. Trap if the index is out of bounds.

Returns the element at index i of the vector. Traps if the index is out of bound.

Delete an element in a vector at index i, shifting all elements after it to the left. Return the new vector. Traps if the index is out of bound.

Returns length of the vector.

Appends an element to the back of the vector.

Removes the last element from the vector and returns the new vector. Traps if original vector is empty.

Return the first element in the vector. Traps if the vector is empty

Return the last element in the vector. Traps if the vector is empty

Inserts an element at index i within the vector, shifting all elements after it to the right. Traps if the index is out of bound

Clone the vector v1, then moves all the elements of vector v2 into it. Return the new vector. Traps if number of elements in the vector overflows a u32.

Copy the elements from start index until end index, exclusive, in the vector and create a new vector from it. Return the new vector. Traps if the index is out of bound.

Calls a function in another contract with arguments contained in vector args. If the call is successful, forwards the result of the called function. Traps otherwise.

Calls a function in another contract with arguments contained in vector args. Returns:

  • if successful, result of the called function.
  • otherwise, an SCStatus containing the error status code.

Constructs a BigInt from an u64.

Converts a BigInt to an u64. Traps if the value cannot fit into u64.

Constructs a BigInt from an i64.

Converts a BigInt to an i64. Traps if the value cannot fit into i64.

Performs the + operation.

Performs the - operation.

Performs the * operation.

Performs the / operation. Traps if y is zero.

Performs the % operation. Traps if y is zero.

Performs the & operation.

Performs the | operation.

Performs the ^ operation.

Performs the << operation. Traps if y is negative or larger than the size of u64.

Performs the >> operation. Traps if y is negative or larger than the size of u64.

Returns an ordering between x and y: -1 (less), 0 (equal) or 1 (greater).

Returns true if x is equal to the additive identity.

Performs the unary - operation.

Performs the unary ! operation.

Calculates the Greatest Common Divisor (GCD) of x and y.

Calculates the Lowest Common Multiple (LCM) of x and y.

Calculates x to the power y. Traps if y is negative or larger than the size of u64.

Calculates (p ^ q) mod m. Note that this rounds like mod_floor, not like the % operator, which makes a difference when given a negative p or m. The result will be in the interval [0, m) for m > 0, or in the interval (m, 0] for m < 0. Traps if the q is negative or the m is zero.

Calculates the truncated principal square root of x. Traps if x is negative.

Determines the fewest bits necessary to express x, not including the sign.

Outputs the BigInt’s magnitude in big-endian byte order into a binary array. The sign is dropped.

Outputs the BigInt’s magnitude in the requested base in big-endian digit order into a binary array. The sign is dropped. Radix must be in the range 2…256.

Serializes an (SC)Val into XDR opaque binary array.

Deserialize a binary array to get back the (SC)Val.

Copies a slice of bytes from a binary array specified at offset b_pos with length len into the linear memory at position lm_pos. Traps if either the binary array or the linear memory doesn’t have enough bytes.

Copies a segment of the linear memory specified at position lm_pos with length len, into a binary array at offset b_pos. The binary array may grow in size to accommodate the new bytes. Traps if the linear memory doesn’t have enough bytes.

Constructs a new binary array initialized with bytes copied from a linear memory slice specified at position lm_pos with length len.

Create an empty new binary.

Update the value at index i in the binary. Return the new binary. Trap if the index is out of bounds.

Returns the element at index i of the binary. Traps if the index is out of bound.

Delete an element in a binary at index i, shifting all elements after it to the left. Return the new binary. Traps if the index is out of bound.

Returns length of the binary.

Appends an element to the back of the binary.

Removes the last element from the binary and returns the new binary. Traps if original binary is empty.

Return the first element in the binary. Traps if the binary is empty

Return the last element in the binary. Traps if the binary is empty

Inserts an element at index i within the binary, shifting all elements after it to the right. Traps if the index is out of bound

Clone the binary b1, then moves all the elements of binary b2 into it. Return the new binary. Traps if number of elements in the binary overflows a u32.

Copies the elements from start index until end index, exclusive, in the binary and creates a new binary from it. Returns the new binary. Traps if the index is out of bound.

Get the low threshold for the account with ed25519 public key a (a is binary). Traps if no such account exists.

Get the medium threshold for the account with ed25519 public key a (a is binary). Traps if no such account exists.

Get the high threshold for the account with ed25519 public key a (a is binary). Traps if no such account exists.

Get the signer weight for the signer with ed25519 public key s (s is binary) on the account with ed25519 public key a (a is binary). Returns the master weight if the signer is the master, and returns 0 if no such signer exists. Traps if no such account exists.

Implementors