Enum Op3Enum

Source
pub enum Op3Enum {
    Replace(Replace),
    Ite(Ite),
    SubStr(SubStr),
    IndexOf(IndexOf),
}
Expand description

An enum representing ternary operations in the string synthesis framework.

This enum includes operations such as Replace, which substitutes a part of a string with another substring, and Ite (if-then-else), which selects between two expressions based on a condition. It also includes SubStr, which extracts a portion of a string specified by a starting index and length, and IndexOf, which determines the index of a substring within another string. These operations are essential for manipulating strings in complex synthesis tasks.

Variants§

§

Replace(Replace)

§

Ite(Ite)

§

SubStr(SubStr)

§

IndexOf(IndexOf)

Implementations§

Source§

impl Op3Enum

Source

pub fn eval(&self, a1: Value, a2: Value, a3: Value) -> Value

Provides an evaluation method for the Op3Enum operations.

Invokes the try_eval method with three provided Value arguments and returns the second element of the tuple resulting from the try_eval call. This method abstracts the direct invocation of operation logic encapsulated in try_eval, emphasizing the resultant value of the operation within ternary operation contexts.

Source§

impl Op3Enum

Source

pub fn from_name(name: &str, config: &Config) -> Self

Provides a method for creating an instance of an operation from its name and a specified configuration.

The from_name function takes a string slice representing the name of the operation and a reference to a Config object. Utilizing a macro named _do, it iterates over all possible operations within the Op3Enum by dynamically executing each operation’s name comparison. If a match is found, it returns the corresponding operator configured via the from_config method. In case no matching operation name is found, the function will terminate execution and issue a panic with an error message indicating the unknown operator. This method ensures that each operation can be instantiated from a configuration while providing runtime safety against undefined operations.

Source

pub fn name(&self) -> &'static str

Provides an implementation to retrieve the name of an operation represented by this item.

This is achieved using a macro to iterate over a series of operations associated with the item, checking if the current instance matches any of these operations and returning its name via a helper function defined for each operation. The logic ensures that for any valid instance of this item, the correct associated name is returned. If none of the operations match, it results in a panic, indicating an unexpected state.

Trait Implementations§

Source§

impl Clone for Op3Enum

Source§

fn clone(&self) -> Op3Enum

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Display for Op3Enum

Source§

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

Formats an Op3Enum variant into a string.

The functionality uses a macro to match the variant of Op3Enum and writes its value (a) to the given formatter. If the variant matches, the function returns the result of the formatted write operation. If none of the variants match, it defaults to resolving successfully with an Ok(()). The macro crate::for_all_op3!() is employed to handle all possible variants of Op3Enum, allowing concise and reusable code patterns for formatting each operation in the enumeration.

Source§

impl Enumerator3 for Op3Enum

Source§

fn enumerate( &self, this: &'static Op3Enum, exec: &'static Executor, opnt: [usize; 3], ) -> Result<(), ()>

Source§

impl From<IndexOf> for Op3Enum

Source§

fn from(v: IndexOf) -> Op3Enum

Converts to this type from the input type.
Source§

impl From<Ite> for Op3Enum

Source§

fn from(v: Ite) -> Op3Enum

Converts to this type from the input type.
Source§

impl From<Replace> for Op3Enum

Source§

fn from(v: Replace) -> Op3Enum

Converts to this type from the input type.
Source§

impl From<SubStr> for Op3Enum

Source§

fn from(v: SubStr) -> Op3Enum

Converts to this type from the input type.
Source§

impl Hash for Op3Enum

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Op3 for Op3Enum

Source§

fn cost(&self) -> usize

Source§

fn try_eval( &self, __enum_dispatch_arg_0: Value, __enum_dispatch_arg_1: Value, __enum_dispatch_arg_2: Value, ) -> (bool, Value)

Source§

impl PartialEq for Op3Enum

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl TryInto<IndexOf> for Op3Enum

Source§

type Error = &'static str

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<IndexOf, <Self as TryInto<IndexOf>>::Error>

Performs the conversion.
Source§

impl TryInto<Ite> for Op3Enum

Source§

type Error = &'static str

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<Ite, <Self as TryInto<Ite>>::Error>

Performs the conversion.
Source§

impl TryInto<Replace> for Op3Enum

Source§

type Error = &'static str

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<Replace, <Self as TryInto<Replace>>::Error>

Performs the conversion.
Source§

impl TryInto<SubStr> for Op3Enum

Source§

type Error = &'static str

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<SubStr, <Self as TryInto<SubStr>>::Error>

Performs the conversion.
Source§

impl Eq for Op3Enum

Source§

impl StructuralPartialEq for Op3Enum

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> AllocForAny<T> for T

Source§

fn galloc(self) -> &'static T

Provides a method to allocate an instance of T on the heap with a static lifetime.

This implementation of galloc takes ownership of the T instance and uses the alloc function to place it in a location with a static lifetime, presumably managing it in a way that ensures its persistence for the duration of the program. This can be particularly useful for scenarios where a static lifetime is required, such as when interfacing with systems or patterns that necessitate global state or long-lived data.

Source§

fn galloc_mut(self) -> &'static T

Provides a method that moves the instance and returns a reference to it allocated with a static lifetime.

This method utilizes alloc_mut to perform the allocation, likely involving allocating the resource in a manner that ensures it lives for the entire duration of the application. These semantics allow the user to safely assume that the reference will not expire during the program’s execution, making it suitable for long-lived data structures or operations that require such guarantees.

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
Source§

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

Source§

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

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> 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.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
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> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> 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<U>>::Error>

Performs the conversion.
Source§

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

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

fn vzip(self) -> V