Struct MaxDiagnostic

Source

pub struct MaxDiagnostic {Show 15 fields
    pub lsp: Diagnostic,
    pub diagnostic_id: String,
    pub law_id: String,
    pub attempted_transition: Option<TransitionAttempt>,
    pub violated_axes: Vec<String>,
    pub doc_routes: Vec<DocRoute>,
    pub repair_actions: Vec<RepairAction>,
    pub verification_gates: Vec<GateId>,
    pub receipt_obligation: Option<ReceiptObligation>,
    pub law_axis: LawAxis,
    pub violated_invariant: String,
    pub observed_state: Value,
    pub expected_state: Value,
    pub repairability: Repairability,
    pub terminality: Terminality,
}

Fields§

§lsp: Diagnostic§diagnostic_id: String§law_id: String§attempted_transition: Option<TransitionAttempt>§violated_axes: Vec<String>§doc_routes: Vec<DocRoute>§repair_actions: Vec<RepairAction>§verification_gates: Vec<GateId>§receipt_obligation: Option<ReceiptObligation>§law_axis: LawAxis§violated_invariant: String§observed_state: Value§expected_state: Value§repairability: Repairability§terminality: Terminality

Struct MaxDiagnostic Copy item path

Fields§

Implementations§

impl MaxDiagnostic

pub fn into_lsp(self) -> Diagnostic

Trait Implementations§

impl Clone for MaxDiagnostic

fn clone(&self) -> MaxDiagnostic

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

impl Debug for MaxDiagnostic

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

impl Default for MaxDiagnostic

fn default() -> Self

impl<'de> Deserialize<'de> for MaxDiagnostic

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Serialize for MaxDiagnostic

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

Auto Trait Implementations§

impl !Freeze for MaxDiagnostic

impl !RefUnwindSafe for MaxDiagnostic

impl Send for MaxDiagnostic

impl Sync for MaxDiagnostic

impl Unpin for MaxDiagnostic

impl UnsafeUnpin for MaxDiagnostic

impl UnwindSafe for MaxDiagnostic

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

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

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

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

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

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

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

Struct MaxDiagnostic

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

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

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

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

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

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

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

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

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

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