Struct FactStateV1 

pub struct FactStateV1 {
    pub fact: String,
    pub state: FactStateKind,
    pub reasons: Vec<FactStateReason>,
    pub moved_to: Option<CodeAnchorV1>,
    pub contradicted_by: Vec<String>,
    pub since: UtcTimestamp,
}

The state of one fact, as an engine reports it.

Fields

fact: String

state: FactStateKind

to_verify or contradicted; a report never sends current.

reasons: Vec<FactStateReason>

Sorted, without repeats.

moved_to: Option<CodeAnchorV1>

With anchor_moved: where the symbol is now.

contradicted_by: Vec<String>

With contradiction: the facts that contradict this one.

since: UtcTimestamp

Implementations

impl FactStateV1

pub fn validate(&self) -> Result<(), ValidationError>

Trait Implementations

impl Clone for FactStateV1

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactStateV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactStateV1

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FactStateV1

impl PartialEq for FactStateV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FactStateV1

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FactStateV1