Struct AutomatedReasoningCheckLogicWarning 

#[non_exhaustive]
pub struct AutomatedReasoningCheckLogicWarning {
    pub type: Option<AutomatedReasoningCheckLogicWarningType>,
    pub premises: Option<Vec<AutomatedReasoningLogicStatement>>,
    pub claims: Option<Vec<AutomatedReasoningLogicStatement>>,
}

Identifies logical issues in the translated statements that exist independent of any policy rules, such as statements that are always true or always false.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

type: Option<AutomatedReasoningCheckLogicWarningType>

The category of the detected logical issue, such as statements that are always true or always false.

premises: Option<Vec<AutomatedReasoningLogicStatement>>

The logical statements that serve as premises under which the claims are validated.

claims: Option<Vec<AutomatedReasoningLogicStatement>>

The logical statements that are validated while assuming the policy and premises.

Implementations

impl AutomatedReasoningCheckLogicWarning

pub fn type(&self) -> Option<&AutomatedReasoningCheckLogicWarningType>

The category of the detected logical issue, such as statements that are always true or always false.

pub fn premises(&self) -> &[AutomatedReasoningLogicStatement]

The logical statements that serve as premises under which the claims are validated.

If no value was sent for this field, a default will be set. If you want to determine if no value was sent, use .premises.is_none().

pub fn claims(&self) -> &[AutomatedReasoningLogicStatement]

The logical statements that are validated while assuming the policy and premises.

If no value was sent for this field, a default will be set. If you want to determine if no value was sent, use .claims.is_none().

impl AutomatedReasoningCheckLogicWarning

pub fn builder() -> AutomatedReasoningCheckLogicWarningBuilder

Creates a new builder-style object to manufacture AutomatedReasoningCheckLogicWarning.

Trait Implementations

impl Clone for AutomatedReasoningCheckLogicWarning

fn clone(&self) -> AutomatedReasoningCheckLogicWarning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AutomatedReasoningCheckLogicWarning

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

Formats the value using the given formatter.

impl PartialEq for AutomatedReasoningCheckLogicWarning

fn eq(&self, other: &AutomatedReasoningCheckLogicWarning) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for AutomatedReasoningCheckLogicWarning