#[non_exhaustive]pub struct AutomatedReasoningCheckTranslationBuilder { /* private fields */ }Expand description
A builder for AutomatedReasoningCheckTranslation.
Implementations§
Source§impl AutomatedReasoningCheckTranslationBuilder
impl AutomatedReasoningCheckTranslationBuilder
Sourcepub fn premises(self, input: AutomatedReasoningLogicStatement) -> Self
pub fn premises(self, input: AutomatedReasoningLogicStatement) -> Self
Appends an item to premises.
To override the contents of this collection use set_premises.
The logical statements that serve as the foundation or assumptions for the claims.
Sourcepub fn set_premises(
self,
input: Option<Vec<AutomatedReasoningLogicStatement>>,
) -> Self
pub fn set_premises( self, input: Option<Vec<AutomatedReasoningLogicStatement>>, ) -> Self
The logical statements that serve as the foundation or assumptions for the claims.
Sourcepub fn get_premises(&self) -> &Option<Vec<AutomatedReasoningLogicStatement>>
pub fn get_premises(&self) -> &Option<Vec<AutomatedReasoningLogicStatement>>
The logical statements that serve as the foundation or assumptions for the claims.
Sourcepub fn claims(self, input: AutomatedReasoningLogicStatement) -> Self
pub fn claims(self, input: AutomatedReasoningLogicStatement) -> Self
Appends an item to claims.
To override the contents of this collection use set_claims.
The logical statements that are being validated against the premises and policy rules.
Sourcepub fn set_claims(
self,
input: Option<Vec<AutomatedReasoningLogicStatement>>,
) -> Self
pub fn set_claims( self, input: Option<Vec<AutomatedReasoningLogicStatement>>, ) -> Self
The logical statements that are being validated against the premises and policy rules.
Sourcepub fn get_claims(&self) -> &Option<Vec<AutomatedReasoningLogicStatement>>
pub fn get_claims(&self) -> &Option<Vec<AutomatedReasoningLogicStatement>>
The logical statements that are being validated against the premises and policy rules.
Sourcepub fn untranslated_premises(
self,
input: AutomatedReasoningCheckInputTextReference,
) -> Self
pub fn untranslated_premises( self, input: AutomatedReasoningCheckInputTextReference, ) -> Self
Appends an item to untranslated_premises.
To override the contents of this collection use set_untranslated_premises.
References to portions of the original input text that correspond to the premises but could not be fully translated.
Sourcepub fn set_untranslated_premises(
self,
input: Option<Vec<AutomatedReasoningCheckInputTextReference>>,
) -> Self
pub fn set_untranslated_premises( self, input: Option<Vec<AutomatedReasoningCheckInputTextReference>>, ) -> Self
References to portions of the original input text that correspond to the premises but could not be fully translated.
Sourcepub fn get_untranslated_premises(
&self,
) -> &Option<Vec<AutomatedReasoningCheckInputTextReference>>
pub fn get_untranslated_premises( &self, ) -> &Option<Vec<AutomatedReasoningCheckInputTextReference>>
References to portions of the original input text that correspond to the premises but could not be fully translated.
Sourcepub fn untranslated_claims(
self,
input: AutomatedReasoningCheckInputTextReference,
) -> Self
pub fn untranslated_claims( self, input: AutomatedReasoningCheckInputTextReference, ) -> Self
Appends an item to untranslated_claims.
To override the contents of this collection use set_untranslated_claims.
References to portions of the original input text that correspond to the claims but could not be fully translated.
Sourcepub fn set_untranslated_claims(
self,
input: Option<Vec<AutomatedReasoningCheckInputTextReference>>,
) -> Self
pub fn set_untranslated_claims( self, input: Option<Vec<AutomatedReasoningCheckInputTextReference>>, ) -> Self
References to portions of the original input text that correspond to the claims but could not be fully translated.
Sourcepub fn get_untranslated_claims(
&self,
) -> &Option<Vec<AutomatedReasoningCheckInputTextReference>>
pub fn get_untranslated_claims( &self, ) -> &Option<Vec<AutomatedReasoningCheckInputTextReference>>
References to portions of the original input text that correspond to the claims but could not be fully translated.
Sourcepub fn confidence(self, input: f64) -> Self
pub fn confidence(self, input: f64) -> Self
A confidence score between 0 and 1 indicating how certain the system is about the logical translation.
This field is required.Sourcepub fn set_confidence(self, input: Option<f64>) -> Self
pub fn set_confidence(self, input: Option<f64>) -> Self
A confidence score between 0 and 1 indicating how certain the system is about the logical translation.
Sourcepub fn get_confidence(&self) -> &Option<f64>
pub fn get_confidence(&self) -> &Option<f64>
A confidence score between 0 and 1 indicating how certain the system is about the logical translation.
Sourcepub fn build(self) -> Result<AutomatedReasoningCheckTranslation, BuildError>
pub fn build(self) -> Result<AutomatedReasoningCheckTranslation, BuildError>
Consumes the builder and constructs a AutomatedReasoningCheckTranslation.
This method will fail if any of the following fields are not set:
Trait Implementations§
Source§impl Clone for AutomatedReasoningCheckTranslationBuilder
impl Clone for AutomatedReasoningCheckTranslationBuilder
Source§fn clone(&self) -> AutomatedReasoningCheckTranslationBuilder
fn clone(&self) -> AutomatedReasoningCheckTranslationBuilder
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Default for AutomatedReasoningCheckTranslationBuilder
impl Default for AutomatedReasoningCheckTranslationBuilder
Source§fn default() -> AutomatedReasoningCheckTranslationBuilder
fn default() -> AutomatedReasoningCheckTranslationBuilder
Source§impl PartialEq for AutomatedReasoningCheckTranslationBuilder
impl PartialEq for AutomatedReasoningCheckTranslationBuilder
Source§fn eq(&self, other: &AutomatedReasoningCheckTranslationBuilder) -> bool
fn eq(&self, other: &AutomatedReasoningCheckTranslationBuilder) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for AutomatedReasoningCheckTranslationBuilder
Auto Trait Implementations§
impl Freeze for AutomatedReasoningCheckTranslationBuilder
impl RefUnwindSafe for AutomatedReasoningCheckTranslationBuilder
impl Send for AutomatedReasoningCheckTranslationBuilder
impl Sync for AutomatedReasoningCheckTranslationBuilder
impl Unpin for AutomatedReasoningCheckTranslationBuilder
impl UnwindSafe for AutomatedReasoningCheckTranslationBuilder
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);