pub struct Verdict {
pub decision: Decision,
pub reason: String,
pub resolved_command: Option<String>,
}Expand description
A decision paired with a human-readable reason.
Fields§
§decision: Decision§reason: String§resolved_command: Option<String>The fully-resolved command (after expansion of $VAR, $'...', $((...)),
etc.) when the analyzer was able to statically resolve all expansions.
None when no resolution occurred or it failed.
Implementations§
Source§impl Verdict
impl Verdict
pub fn allow(reason: impl Into<String>) -> Self
pub fn ask(reason: impl Into<String>) -> Self
pub fn deny(reason: impl Into<String>) -> Self
Sourcepub fn with_resolution(self, resolved: impl Into<String>) -> Self
pub fn with_resolution(self, resolved: impl Into<String>) -> Self
Attach a resolved command form to this verdict for transparency.
Sourcepub fn combine(verdicts: &[Self]) -> Self
pub fn combine(verdicts: &[Self]) -> Self
Combine multiple verdicts, keeping the most restrictive decision and the reason from whichever verdict drove that decision.
The resolved command is preserved from the chosen verdict, or from any other verdict in the input if the chosen one has none — so resolution info is never accidentally dropped during combination.
Trait Implementations§
impl Eq for Verdict
impl StructuralPartialEq for Verdict
Auto Trait Implementations§
impl Freeze for Verdict
impl RefUnwindSafe for Verdict
impl Send for Verdict
impl Sync for Verdict
impl Unpin for Verdict
impl UnsafeUnpin for Verdict
impl UnwindSafe for Verdict
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out indicating that a T is niched.