Struct AutomatedReasoningPolicyDefinitionQualityReport 

#[non_exhaustive]
pub struct AutomatedReasoningPolicyDefinitionQualityReport {
    pub type_count: i32,
    pub variable_count: i32,
    pub rule_count: i32,
    pub unused_types: Vec<String>,
    pub unused_type_values: Vec<AutomatedReasoningPolicyDefinitionTypeValuePair>,
    pub unused_variables: Vec<String>,
    pub conflicting_rules: Vec<String>,
    pub disjoint_rule_sets: Vec<AutomatedReasoningPolicyDisjointRuleSet>,
}

Provides a comprehensive analysis of the quality and completeness of an Automated Reasoning policy definition, highlighting potential issues and optimization opportunities.

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_count: i32

The total number of custom types defined in the policy.

variable_count: i32

The total number of variables defined in the policy.

rule_count: i32

The total number of rules defined in the policy.

unused_types: Vec<String>

A list of custom types that are defined but not referenced by any variables or rules, suggesting they may be unnecessary.

unused_type_values: Vec<AutomatedReasoningPolicyDefinitionTypeValuePair>

A list of type values that are defined but never used in any rules, indicating potential cleanup opportunities.

unused_variables: Vec<String>

A list of variables that are defined but not referenced by any rules, suggesting they may be unnecessary.

conflicting_rules: Vec<String>

A list of rules that may conflict with each other, potentially leading to inconsistent policy behavior.

disjoint_rule_sets: Vec<AutomatedReasoningPolicyDisjointRuleSet>

Groups of rules that operate on completely separate sets of variables, indicating the policy may be addressing multiple unrelated concerns.

Implementations

impl AutomatedReasoningPolicyDefinitionQualityReport

pub fn type_count(&self) -> i32

The total number of custom types defined in the policy.

pub fn variable_count(&self) -> i32

The total number of variables defined in the policy.

pub fn rule_count(&self) -> i32

The total number of rules defined in the policy.

pub fn unused_types(&self) -> &[String]

A list of custom types that are defined but not referenced by any variables or rules, suggesting they may be unnecessary.

pub fn unused_type_values( &self, ) -> &[AutomatedReasoningPolicyDefinitionTypeValuePair]

A list of type values that are defined but never used in any rules, indicating potential cleanup opportunities.

pub fn unused_variables(&self) -> &[String]

A list of variables that are defined but not referenced by any rules, suggesting they may be unnecessary.

pub fn conflicting_rules(&self) -> &[String]

A list of rules that may conflict with each other, potentially leading to inconsistent policy behavior.

pub fn disjoint_rule_sets(&self) -> &[AutomatedReasoningPolicyDisjointRuleSet]

Groups of rules that operate on completely separate sets of variables, indicating the policy may be addressing multiple unrelated concerns.

impl AutomatedReasoningPolicyDefinitionQualityReport

pub fn builder() -> AutomatedReasoningPolicyDefinitionQualityReportBuilder

Creates a new builder-style object to manufacture AutomatedReasoningPolicyDefinitionQualityReport.

Trait Implementations

impl Clone for AutomatedReasoningPolicyDefinitionQualityReport

fn clone(&self) -> AutomatedReasoningPolicyDefinitionQualityReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AutomatedReasoningPolicyDefinitionQualityReport

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

Formats the value using the given formatter.

impl PartialEq for AutomatedReasoningPolicyDefinitionQualityReport

fn eq(&self, other: &AutomatedReasoningPolicyDefinitionQualityReport) -> 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 AutomatedReasoningPolicyDefinitionQualityReport