pub struct Report<N> {
pub pattern_id: Option<String>,
pub check_id: Option<String>,
pub role: Option<String>,
pub kind: CheckKind,
pub message: String,
pub diagnostics: Vec<String>,
pub node: N,
}Expand description
One fired check: a failed assert, or a true-evaluating report.
Checks that do not fire are not represented at all (no fired: bool
field) — this is the list of assertion results, not an evaluation trace.
Fields§
§pattern_id: Option<String>§check_id: Option<String>§role: Option<String>§kind: CheckKind§message: String§diagnostics: Vec<String>Rendered messages of this check’s diagnostics IDREFS, in
reference order (see plan/08-diagnostics.md).
node: NTrait Implementations§
Auto Trait Implementations§
impl<N> Freeze for Report<N>where
N: Freeze,
impl<N> RefUnwindSafe for Report<N>where
N: RefUnwindSafe,
impl<N> Send for Report<N>where
N: Send,
impl<N> Sync for Report<N>where
N: Sync,
impl<N> Unpin for Report<N>where
N: Unpin,
impl<N> UnsafeUnpin for Report<N>where
N: UnsafeUnpin,
impl<N> UnwindSafe for Report<N>where
N: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more