Struct ovmi::compiled_predicates::CompiledPredicate

pub struct CompiledPredicate {
    pub type: PredicateType,
    pub name: Vec<u8>,
    pub input_defs: Vec<Vec<u8>>,
    pub contracts: Vec<IntermediateCompiledPredicate>,
    pub constants: Option<Vec<ConstantVariable>>,
    pub entry_point: Vec<u8>,
}

Compiled Property definition

Fields

type: PredicateType

name: Vec<u8>

input_defs: Vec<Vec<u8>>

contracts: Vec<IntermediateCompiledPredicate>

constants: Option<Vec<ConstantVariable>>

entry_point: Vec<u8>

Trait Implementations

impl Clone for CompiledPredicate

fn clone(&self) -> CompiledPredicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledPredicate

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

Formats the value using the given formatter.

impl Decode for CompiledPredicate

fn decode<__CodecInputEdqy: Input>(
    __codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>

Attempt to deserialise the value from input.

impl Encode for CompiledPredicate

fn encode_to<__CodecOutputEdqy: Output>(
    &self,
    __codec_dest_edqy: &mut __CodecOutputEdqy
)

Convert self to a slice and append it to the destination.

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode(&self) -> Vec<u8, Global>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R where
    F: FnOnce(&[u8]) -> R, 

Convert self to a slice and then invoke the given closure with it.

impl From<CompiledPredicateSerializable> for CompiledPredicate

fn from(f: CompiledPredicateSerializable) -> CompiledPredicate

Performs the conversion.

impl Hash for CompiledPredicate

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<CompiledPredicate> for CompiledPredicate

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl EncodeLike<CompiledPredicate> for CompiledPredicate

impl Eq for CompiledPredicate

impl StructuralEq for CompiledPredicate

impl StructuralPartialEq for CompiledPredicate