Skip to main content

VerifyResult

Struct VerifyResult

pub struct VerifyResult {
    pub valid: bool,
    pub issues: Vec<VerifyIssue>,
    pub simulated_state: HashMap<String, Value>,
    pub execution_levels: Vec<Vec<String>>,
    pub conflicts: Vec<(String, String, String)>,
}

Expand description

Complete verification result.

Fields§

§valid: bool§issues: Vec<VerifyIssue>§simulated_state: HashMap<String, Value>§execution_levels: Vec<Vec<String>>§conflicts: Vec<(String, String, String)>

Implementations§

impl VerifyResult

pub fn errors(&self) -> Vec<&VerifyIssue>

pub fn warnings(&self) -> Vec<&VerifyIssue>

Trait Implementations§

impl Debug for VerifyResult

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for VerifyResult

impl RefUnwindSafe for VerifyResult

impl Send for VerifyResult

impl Sync for VerifyResult

impl Unpin for VerifyResult

impl UnsafeUnpin for VerifyResult

impl UnwindSafe for VerifyResult

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

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, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.