Enum SymbolicVmCalls

Source

pub enum SymbolicVmCalls {
Show 107 variants
    createAddress(createAddressCall),
    createBool(createBoolCall),
    createBytes_0(createBytes_0Call),
    createBytes_1(createBytes_1Call),
    createCalldata(createCalldataCall),
    createInt(createIntCall),
    createString_0(createString_0Call),
    createString_1(createString_1Call),
    createUint(createUintCall),
    enableSymbolicStorage(enableSymbolicStorageCall),
    snapshotStorage(snapshotStorageCall),
    createUint8(createUint8Call),
    createUint16(createUint16Call),
    createUint24(createUint24Call),
    createUint32(createUint32Call),
    createUint40(createUint40Call),
    createUint48(createUint48Call),
    createUint56(createUint56Call),
    createUint64(createUint64Call),
    createUint72(createUint72Call),
    createUint80(createUint80Call),
    createUint88(createUint88Call),
    createUint96(createUint96Call),
    createUint104(createUint104Call),
    createUint112(createUint112Call),
    createUint120(createUint120Call),
    createUint128(createUint128Call),
    createUint136(createUint136Call),
    createUint144(createUint144Call),
    createUint152(createUint152Call),
    createUint160(createUint160Call),
    createUint168(createUint168Call),
    createUint176(createUint176Call),
    createUint184(createUint184Call),
    createUint192(createUint192Call),
    createUint200(createUint200Call),
    createUint208(createUint208Call),
    createUint216(createUint216Call),
    createUint224(createUint224Call),
    createUint232(createUint232Call),
    createUint240(createUint240Call),
    createUint248(createUint248Call),
    createUint256(createUint256Call),
    createInt8(createInt8Call),
    createInt16(createInt16Call),
    createInt24(createInt24Call),
    createInt32(createInt32Call),
    createInt40(createInt40Call),
    createInt48(createInt48Call),
    createInt56(createInt56Call),
    createInt64(createInt64Call),
    createInt72(createInt72Call),
    createInt80(createInt80Call),
    createInt88(createInt88Call),
    createInt96(createInt96Call),
    createInt104(createInt104Call),
    createInt112(createInt112Call),
    createInt120(createInt120Call),
    createInt128(createInt128Call),
    createInt136(createInt136Call),
    createInt144(createInt144Call),
    createInt152(createInt152Call),
    createInt160(createInt160Call),
    createInt168(createInt168Call),
    createInt176(createInt176Call),
    createInt184(createInt184Call),
    createInt192(createInt192Call),
    createInt200(createInt200Call),
    createInt208(createInt208Call),
    createInt216(createInt216Call),
    createInt224(createInt224Call),
    createInt232(createInt232Call),
    createInt240(createInt240Call),
    createInt248(createInt248Call),
    createInt256(createInt256Call),
    createBytes1(createBytes1Call),
    createBytes2(createBytes2Call),
    createBytes3(createBytes3Call),
    createBytes4(createBytes4Call),
    createBytes5(createBytes5Call),
    createBytes6(createBytes6Call),
    createBytes7(createBytes7Call),
    createBytes8(createBytes8Call),
    createBytes9(createBytes9Call),
    createBytes10(createBytes10Call),
    createBytes11(createBytes11Call),
    createBytes12(createBytes12Call),
    createBytes13(createBytes13Call),
    createBytes14(createBytes14Call),
    createBytes15(createBytes15Call),
    createBytes16(createBytes16Call),
    createBytes17(createBytes17Call),
    createBytes18(createBytes18Call),
    createBytes19(createBytes19Call),
    createBytes20(createBytes20Call),
    createBytes21(createBytes21Call),
    createBytes22(createBytes22Call),
    createBytes23(createBytes23Call),
    createBytes24(createBytes24Call),
    createBytes25(createBytes25Call),
    createBytes26(createBytes26Call),
    createBytes27(createBytes27Call),
    createBytes28(createBytes28Call),
    createBytes29(createBytes29Call),
    createBytes30(createBytes30Call),
    createBytes31(createBytes31Call),
    createBytes32(createBytes32Call),
}

Expand description

Container for all the SymbolicVm function calls.

Variants§

§

createBytes32(createBytes32Call)

Implementations§

Source §

impl SymbolicVmCalls

Source

pub const SELECTORS: &'static [[u8; 4]]

All the selectors of this enum.

Note that the selectors might not be in the same order as the variants. No guarantees are made about the order of the selectors.

Prefer using SolInterface methods instead.

Source

pub const VARIANT_NAMES: &'static [&'static str]

The names of the variants in the same order as SELECTORS.

Source

pub const SIGNATURES: &'static [&'static str]

The signatures in the same order as SELECTORS.

Source

pub fn signature_by_selector(selector: [u8; 4]) -> Option<&'static str>

Returns the signature for the given selector, if known.

Source

pub fn name_by_selector(selector: [u8; 4]) -> Option<&'static str>

Returns the enum variant name for the given selector, if known.

Trait Implementations§

Source §

impl Clone for SymbolicVmCalls

Source §

fn clone(&self) -> SymbolicVmCalls

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

Source §

impl SolInterface for SymbolicVmCalls

Source §

const NAME: &'static str = "SymbolicVmCalls"

The name of this type.

Source §

const MIN_DATA_LENGTH: usize = 32usize

The minimum length of the data for this type. Read more

Source §

const COUNT: usize = 107usize

The number of variants.

Source §

fn selector(&self) -> [u8; 4]

The selector of this instance.

Source §

fn selector_at(i: usize) -> Option<[u8; 4]>

The selector of this type at the given index, used in selectors. Read more

Source §

fn valid_selector(selector: [u8; 4]) -> bool

Returns true if the given selector is known to this type.

Source §

fn abi_decode_raw(selector: [u8; 4], data: &[u8]) -> Result<Self>

ABI-decodes the given data into one of the variants of self.

Source §

fn abi_decode_raw_validate(selector: [u8; 4], data: &[u8]) -> Result<Self>

ABI-decodes the given data into one of the variants of self, with validation. Read more

Source §

fn abi_encoded_size(&self) -> usize

The size of the encoded data, without any selectors.

Source §

fn abi_encode_raw(&self, out: &mut Vec<u8>)

ABI-encodes self into the given buffer, without any selectors.

§

fn type_check(selector: [u8; 4]) -> Result<(), Error>

Returns an error if the given selector is not known to this type.

§

fn selectors() -> Selectors<Self>

Returns an iterator over the selectors of this type.

§

fn abi_encode(&self) -> Vec<u8> ⓘ

ABI-encodes self into the given buffer.

§

fn abi_decode(data: &[u8]) -> Result<Self, Error>

ABI-decodes the given data into one of the variants of self.

§

fn abi_decode_validate(data: &[u8]) -> Result<Self, Error>

ABI-decodes the given data into one of the variants of self, with validation. Read more

Auto Trait Implementations§

§

impl Freeze for SymbolicVmCalls

§

impl RefUnwindSafe for SymbolicVmCalls

§

impl Unpin for SymbolicVmCalls

§

impl UnsafeUnpin for SymbolicVmCalls

§

impl UnwindSafe for SymbolicVmCalls

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Source §

impl<T> DynClone for T
where T: Clone,

Source §

fn __clone_box(&self, _: Private) -> *mut ()

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

impl<T> ToOwned for T
where T: Clone,

Source §

type Owned = T

The resulting type after obtaining ownership.

Source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

Source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 64 bytes

Size for each variant:

createAddress: 31 bytes
createBool: 31 bytes
createBytes_0: 31 bytes
createBytes_1: 63 bytes
createCalldata: 31 bytes
createInt: 63 bytes
createString_0: 31 bytes
createString_1: 63 bytes
createUint: 63 bytes
enableSymbolicStorage: 20 bytes
snapshotStorage: 20 bytes
createUint8: 31 bytes
createUint16: 31 bytes
createUint24: 31 bytes
createUint32: 31 bytes
createUint40: 31 bytes
createUint48: 31 bytes
createUint56: 31 bytes
createUint64: 31 bytes
createUint72: 31 bytes
createUint80: 31 bytes
createUint88: 31 bytes
createUint96: 31 bytes
createUint104: 31 bytes
createUint112: 31 bytes
createUint120: 31 bytes
createUint128: 31 bytes
createUint136: 31 bytes
createUint144: 31 bytes
createUint152: 31 bytes
createUint160: 31 bytes
createUint168: 31 bytes
createUint176: 31 bytes
createUint184: 31 bytes
createUint192: 31 bytes
createUint200: 31 bytes
createUint208: 31 bytes
createUint216: 31 bytes
createUint224: 31 bytes
createUint232: 31 bytes
createUint240: 31 bytes
createUint248: 31 bytes
createUint256: 31 bytes
createInt8: 31 bytes
createInt16: 31 bytes
createInt24: 31 bytes
createInt32: 31 bytes
createInt40: 31 bytes
createInt48: 31 bytes
createInt56: 31 bytes
createInt64: 31 bytes
createInt72: 31 bytes
createInt80: 31 bytes
createInt88: 31 bytes
createInt96: 31 bytes
createInt104: 31 bytes
createInt112: 31 bytes
createInt120: 31 bytes
createInt128: 31 bytes
createInt136: 31 bytes
createInt144: 31 bytes
createInt152: 31 bytes
createInt160: 31 bytes
createInt168: 31 bytes
createInt176: 31 bytes
createInt184: 31 bytes
createInt192: 31 bytes
createInt200: 31 bytes
createInt208: 31 bytes
createInt216: 31 bytes
createInt224: 31 bytes
createInt232: 31 bytes
createInt240: 31 bytes
createInt248: 31 bytes
createInt256: 31 bytes
createBytes1: 31 bytes
createBytes2: 31 bytes
createBytes3: 31 bytes
createBytes4: 31 bytes
createBytes5: 31 bytes
createBytes6: 31 bytes
createBytes7: 31 bytes
createBytes8: 31 bytes
createBytes9: 31 bytes
createBytes10: 31 bytes
createBytes11: 31 bytes
createBytes12: 31 bytes
createBytes13: 31 bytes
createBytes14: 31 bytes
createBytes15: 31 bytes
createBytes16: 31 bytes
createBytes17: 31 bytes
createBytes18: 31 bytes
createBytes19: 31 bytes
createBytes20: 31 bytes
createBytes21: 31 bytes
createBytes22: 31 bytes
createBytes23: 31 bytes
createBytes24: 31 bytes
createBytes25: 31 bytes
createBytes26: 31 bytes
createBytes27: 31 bytes
createBytes28: 31 bytes
createBytes29: 31 bytes
createBytes30: 31 bytes
createBytes31: 31 bytes
createBytes32: 31 bytes

Enum SymbolicVmCalls Copy item path

Variants§

createAddress(createAddressCall)

createBool(createBoolCall)

createBytes_0(createBytes_0Call)

createBytes_1(createBytes_1Call)

createCalldata(createCalldataCall)

createInt(createIntCall)

createString_0(createString_0Call)

createString_1(createString_1Call)

createUint(createUintCall)

enableSymbolicStorage(enableSymbolicStorageCall)

snapshotStorage(snapshotStorageCall)

createUint8(createUint8Call)

createUint16(createUint16Call)

createUint24(createUint24Call)

createUint32(createUint32Call)

createUint40(createUint40Call)

createUint48(createUint48Call)

createUint56(createUint56Call)

createUint64(createUint64Call)

createUint72(createUint72Call)

createUint80(createUint80Call)

createUint88(createUint88Call)

createUint96(createUint96Call)

createUint104(createUint104Call)

createUint112(createUint112Call)

createUint120(createUint120Call)

createUint128(createUint128Call)

createUint136(createUint136Call)

createUint144(createUint144Call)

createUint152(createUint152Call)

createUint160(createUint160Call)

createUint168(createUint168Call)

createUint176(createUint176Call)

createUint184(createUint184Call)

createUint192(createUint192Call)

createUint200(createUint200Call)

createUint208(createUint208Call)

createUint216(createUint216Call)

createUint224(createUint224Call)

createUint232(createUint232Call)

createUint240(createUint240Call)

createUint248(createUint248Call)

createUint256(createUint256Call)

createInt8(createInt8Call)

createInt16(createInt16Call)

createInt24(createInt24Call)

createInt32(createInt32Call)

createInt40(createInt40Call)

createInt48(createInt48Call)

createInt56(createInt56Call)

createInt64(createInt64Call)

createInt72(createInt72Call)

createInt80(createInt80Call)

createInt88(createInt88Call)

createInt96(createInt96Call)

createInt104(createInt104Call)

createInt112(createInt112Call)

createInt120(createInt120Call)

createInt128(createInt128Call)

createInt136(createInt136Call)

createInt144(createInt144Call)

createInt152(createInt152Call)

createInt160(createInt160Call)

createInt168(createInt168Call)

createInt176(createInt176Call)

createInt184(createInt184Call)

createInt192(createInt192Call)

createInt200(createInt200Call)

createInt208(createInt208Call)

createInt216(createInt216Call)

createInt224(createInt224Call)

createInt232(createInt232Call)

createInt240(createInt240Call)

createInt248(createInt248Call)

createInt256(createInt256Call)

createBytes1(createBytes1Call)

createBytes2(createBytes2Call)

createBytes3(createBytes3Call)

Enum SymbolicVmCalls