#[non_exhaustive]pub struct AutomatedReasoningCheckImpossibleFindingBuilder { /* private fields */ }Expand description
A builder for AutomatedReasoningCheckImpossibleFinding.
Implementations§
Source§impl AutomatedReasoningCheckImpossibleFindingBuilder
impl AutomatedReasoningCheckImpossibleFindingBuilder
Sourcepub fn translation(self, input: AutomatedReasoningCheckTranslation) -> Self
pub fn translation(self, input: AutomatedReasoningCheckTranslation) -> Self
The logical translation of the input that this finding evaluates.
Sourcepub fn set_translation(
self,
input: Option<AutomatedReasoningCheckTranslation>,
) -> Self
pub fn set_translation( self, input: Option<AutomatedReasoningCheckTranslation>, ) -> Self
The logical translation of the input that this finding evaluates.
Sourcepub fn get_translation(&self) -> &Option<AutomatedReasoningCheckTranslation>
pub fn get_translation(&self) -> &Option<AutomatedReasoningCheckTranslation>
The logical translation of the input that this finding evaluates.
Sourcepub fn contradicting_rules(self, input: AutomatedReasoningCheckRule) -> Self
pub fn contradicting_rules(self, input: AutomatedReasoningCheckRule) -> Self
Appends an item to contradicting_rules.
To override the contents of this collection use set_contradicting_rules.
The automated reasoning policy rules that contradict the claims and/or premises in the input.
Sourcepub fn set_contradicting_rules(
self,
input: Option<Vec<AutomatedReasoningCheckRule>>,
) -> Self
pub fn set_contradicting_rules( self, input: Option<Vec<AutomatedReasoningCheckRule>>, ) -> Self
The automated reasoning policy rules that contradict the claims and/or premises in the input.
Sourcepub fn get_contradicting_rules(
&self,
) -> &Option<Vec<AutomatedReasoningCheckRule>>
pub fn get_contradicting_rules( &self, ) -> &Option<Vec<AutomatedReasoningCheckRule>>
The automated reasoning policy rules that contradict the claims and/or premises in the input.
Sourcepub fn logic_warning(self, input: AutomatedReasoningCheckLogicWarning) -> Self
pub fn logic_warning(self, input: AutomatedReasoningCheckLogicWarning) -> Self
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Sourcepub fn set_logic_warning(
self,
input: Option<AutomatedReasoningCheckLogicWarning>,
) -> Self
pub fn set_logic_warning( self, input: Option<AutomatedReasoningCheckLogicWarning>, ) -> Self
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Sourcepub fn get_logic_warning(&self) -> &Option<AutomatedReasoningCheckLogicWarning>
pub fn get_logic_warning(&self) -> &Option<AutomatedReasoningCheckLogicWarning>
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Sourcepub fn build(self) -> AutomatedReasoningCheckImpossibleFinding
pub fn build(self) -> AutomatedReasoningCheckImpossibleFinding
Consumes the builder and constructs a AutomatedReasoningCheckImpossibleFinding.
Trait Implementations§
Source§impl Clone for AutomatedReasoningCheckImpossibleFindingBuilder
impl Clone for AutomatedReasoningCheckImpossibleFindingBuilder
Source§fn clone(&self) -> AutomatedReasoningCheckImpossibleFindingBuilder
fn clone(&self) -> AutomatedReasoningCheckImpossibleFindingBuilder
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Default for AutomatedReasoningCheckImpossibleFindingBuilder
impl Default for AutomatedReasoningCheckImpossibleFindingBuilder
Source§fn default() -> AutomatedReasoningCheckImpossibleFindingBuilder
fn default() -> AutomatedReasoningCheckImpossibleFindingBuilder
Source§impl PartialEq for AutomatedReasoningCheckImpossibleFindingBuilder
impl PartialEq for AutomatedReasoningCheckImpossibleFindingBuilder
Source§fn eq(&self, other: &AutomatedReasoningCheckImpossibleFindingBuilder) -> bool
fn eq(&self, other: &AutomatedReasoningCheckImpossibleFindingBuilder) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for AutomatedReasoningCheckImpossibleFindingBuilder
Auto Trait Implementations§
impl Freeze for AutomatedReasoningCheckImpossibleFindingBuilder
impl RefUnwindSafe for AutomatedReasoningCheckImpossibleFindingBuilder
impl Send for AutomatedReasoningCheckImpossibleFindingBuilder
impl Sync for AutomatedReasoningCheckImpossibleFindingBuilder
impl Unpin for AutomatedReasoningCheckImpossibleFindingBuilder
impl UnwindSafe for AutomatedReasoningCheckImpossibleFindingBuilder
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
Source§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();Source§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
Source§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
Source§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
Source§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
Source§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
Source§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
Source§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
Source§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
Source§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();Source§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
Source§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
Source§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
Source§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
Source§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
Source§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
Source§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
Source§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
Source§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
Source§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
Source§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling Attribute value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();Source§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
Source§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi Quirk value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();Source§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.Source§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the Condition value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);