Module Values.AutomatedReasoningPolicyScenarioSource

Represents a test scenario used to validate an Automated Reasoning policy, including the test conditions and expected outcomes.

Sourcetype nonrec t = {
  1. expression : AutomatedReasoningPolicyScenarioExpression.t option;
    (*

    The logical expression or condition that defines this test scenario.

    *)
  2. alternateExpression : AutomatedReasoningPolicyScenarioAlternateExpression.t option;
    (*

    An alternative way to express the same test scenario, used for validation and comparison purposes.

    *)
  3. expectedResult : AutomatedReasoningCheckResult.t option;
    (*

    The expected outcome when this scenario is evaluated against the policy (e.g., PASS, FAIL, VIOLATION).

    *)
  4. ruleIds : AutomatedReasoningPolicyDefinitionRuleIdList.t option;
    (*

    The list of rule identifiers that are expected to be triggered or evaluated by this test scenario.

    *)
}
Sourceval make : ?expression:??? -> ?alternateExpression:??? -> ?expectedResult:??? -> ?ruleIds:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Enum of string | `List of [> `String of AutomatedReasoningPolicyDefinitionRuleId.t ] list | `String of AutomatedReasoningPolicyScenarioExpression.t ]) 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