Module Values.AutomatedReasoningPolicyDefinitionQualityReportSource

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

Sourcetype nonrec t = {
  1. typeCount : Integer.t option;
    (*

    The total number of custom types defined in the policy.

    *)
  2. variableCount : Integer.t option;
    (*

    The total number of variables defined in the policy.

    *)
  3. ruleCount : Integer.t option;
    (*

    The total number of rules defined in the policy.

    *)
  4. unusedTypes : AutomatedReasoningPolicyDefinitionTypeNameList.t option;
    (*

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

    *)
  5. unusedTypeValues : AutomatedReasoningPolicyDefinitionTypeValuePairList.t option;
    (*

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

    *)
  6. unusedVariables : AutomatedReasoningPolicyDefinitionVariableNameList.t option;
    (*

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

    *)
  7. conflictingRules : AutomatedReasoningPolicyConflictedRuleIdList.t option;
    (*

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

    *)
  8. disjointRuleSets : AutomatedReasoningPolicyDisjointRuleSetList.t option;
    (*

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

    *)
}
Sourceval make : ?typeCount:??? -> ?variableCount:??? -> ?ruleCount:??? -> ?unusedTypes:??? -> ?unusedTypeValues:??? -> ?unusedVariables:??? -> ?conflictingRules:??? -> ?disjointRuleSets:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Integer of Integer.t | `List of [> `String of AutomatedReasoningPolicyDefinitionTypeName.t | `Structure of (string * [> `List of [> `String of AutomatedReasoningPolicyDefinitionVariableName.t ] list | `String of AutomatedReasoningPolicyDefinitionTypeName.t ]) list ] list ]) list ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t