Struct Contains 

pub struct Contains { /* private fields */ }

Returns true if the list contains an element with the given value.

This operation is O(n).

Mirrors the contains method from Rust core as closely as possible.

Only supports lists with statically sized elements. The element’s static size must be in range 1..=14.

Behavior

BEFORE: _ *list [needle: ElementType]
AFTER:  _ [needle ∈ list: bool]

Preconditions

• the argument *list points to a properly BFieldCodec-encoded list
• all input arguments are properly BFieldCodec encoded

Postconditions

• the output is properly BFieldCodec encoded

Implementations

impl Contains

pub fn new(element_type: DataType) -> Self

Panics

Panics

• if the element has dynamic length, or
• if the static length is 0, or
• if the static length is larger than or equal to 15.

Trait Implementations

impl BasicSnippet for Contains

fn parameters(&self) -> Vec<(DataType, String)>

The parameters expected by this snippet.

fn return_values(&self) -> Vec<(DataType, String)>

The (types of the) values this snippet computes.

fn entrypoint(&self) -> String

The name of the snippet as a possible target for Triton VM’s instruction call.

fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>

The Triton Assembly that defines this snippet.

fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>

Adds “type hints” to the code.

fn stack_diff(&self) -> isize

The size difference of the stack as a result of executing this snippet.

fn sign_offs(&self) -> HashMap<Reviewer, SignOffFingerprint>

Contains an entry for every sign off.

impl Clone for Contains

fn clone(&self) -> Contains

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Contains

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

Formats the value using the given formatter.

impl Hash for Contains

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

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 PartialEq for Contains

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

impl StructuralPartialEq for Contains