Class AutomatedReasoningCheckFinding

java.lang.Object
software.amazon.awssdk.services.bedrock.model.AutomatedReasoningCheckFinding
All Implemented Interfaces:
Serializable, SdkPojo, ToCopyableBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>

@Generated("software.amazon.awssdk:codegen") public final class AutomatedReasoningCheckFinding extends Object implements SdkPojo, Serializable, ToCopyableBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>

Represents the result of an Automated Reasoning validation check, indicating whether the content is logically valid, invalid, or falls into other categories based on the policy rules.

See Also:
  • Method Details

    • valid

      Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

      Returns:
      Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.
    • invalid

      public final AutomatedReasoningCheckInvalidFinding invalid()

      Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

      Returns:
      Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.
    • satisfiable

      public final AutomatedReasoningCheckSatisfiableFinding satisfiable()

      Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

      Returns:
      Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.
    • impossible

      public final AutomatedReasoningCheckImpossibleFinding impossible()

      Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

      Returns:
      Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.
    • translationAmbiguous

      public final AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous()

      Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

      Returns:
      Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.
    • tooComplex

      public final AutomatedReasoningCheckTooComplexFinding tooComplex()

      Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

      Returns:
      Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
    • noTranslations

      public final AutomatedReasoningCheckNoTranslationsFinding noTranslations()

      Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

      Returns:
      Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.
    • toBuilder

      Description copied from interface: ToCopyableBuilder
      Take this object and create a builder that contains all of the current property values of this object.
      Specified by:
      toBuilder in interface ToCopyableBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>
      Returns:
      a builder for type T
    • builder

      public static AutomatedReasoningCheckFinding.Builder builder()
    • serializableBuilderClass

      public static Class<? extends AutomatedReasoningCheckFinding.Builder> serializableBuilderClass()
    • hashCode

      public final int hashCode()
      Overrides:
      hashCode in class Object
    • equals

      public final boolean equals(Object obj)
      Overrides:
      equals in class Object
    • equalsBySdkFields

      public final boolean equalsBySdkFields(Object obj)
      Description copied from interface: SdkPojo
      Indicates whether some other object is "equal to" this one by SDK fields. An SDK field is a modeled, non-inherited field in an SdkPojo class, and is generated based on a service model.

      If an SdkPojo class does not have any inherited fields, equalsBySdkFields and equals are essentially the same.

      Specified by:
      equalsBySdkFields in interface SdkPojo
      Parameters:
      obj - the object to be compared with
      Returns:
      true if the other object equals to this object by sdk fields, false otherwise.
    • toString

      public final String toString()
      Returns a string representation of this object. This is useful for testing and debugging. Sensitive data will be redacted from this string using a placeholder value.
      Overrides:
      toString in class Object
    • getValueForField

      public final <T> Optional<T> getValueForField(String fieldName, Class<T> clazz)
    • fromValid

      Create an instance of this class with valid() initialized to the given value.

      Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

      Parameters:
      valid - Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.
    • fromValid

      Create an instance of this class with valid() initialized to the given value.

      Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

      Parameters:
      valid - Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.
    • fromInvalid

      Create an instance of this class with invalid() initialized to the given value.

      Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

      Parameters:
      invalid - Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.
    • fromInvalid

      Create an instance of this class with invalid() initialized to the given value.

      Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

      Parameters:
      invalid - Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.
    • fromSatisfiable

      Create an instance of this class with satisfiable() initialized to the given value.

      Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

      Parameters:
      satisfiable - Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.
    • fromSatisfiable

      Create an instance of this class with satisfiable() initialized to the given value.

      Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

      Parameters:
      satisfiable - Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.
    • fromImpossible

      Create an instance of this class with impossible() initialized to the given value.

      Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

      Parameters:
      impossible - Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.
    • fromImpossible

      Create an instance of this class with impossible() initialized to the given value.

      Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

      Parameters:
      impossible - Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.
    • fromTranslationAmbiguous

      public static AutomatedReasoningCheckFinding fromTranslationAmbiguous(AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous)
      Create an instance of this class with translationAmbiguous() initialized to the given value.

      Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

      Parameters:
      translationAmbiguous - Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.
    • fromTranslationAmbiguous

      public static AutomatedReasoningCheckFinding fromTranslationAmbiguous(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> translationAmbiguous)
      Create an instance of this class with translationAmbiguous() initialized to the given value.

      Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

      Parameters:
      translationAmbiguous - Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.
    • fromTooComplex

      Create an instance of this class with tooComplex() initialized to the given value.

      Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

      Parameters:
      tooComplex - Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
    • fromTooComplex

      Create an instance of this class with tooComplex() initialized to the given value.

      Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

      Parameters:
      tooComplex - Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
    • fromNoTranslations

      public static AutomatedReasoningCheckFinding fromNoTranslations(AutomatedReasoningCheckNoTranslationsFinding noTranslations)
      Create an instance of this class with noTranslations() initialized to the given value.

      Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

      Parameters:
      noTranslations - Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.
    • fromNoTranslations

      Create an instance of this class with noTranslations() initialized to the given value.

      Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

      Parameters:
      noTranslations - Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.
    • type

      Retrieve an enum value representing which member of this object is populated. When this class is returned in a service response, this will be AutomatedReasoningCheckFinding.Type.UNKNOWN_TO_SDK_VERSION if the service returned a member that is only known to a newer SDK version. When this class is created directly in your code, this will be AutomatedReasoningCheckFinding.Type.UNKNOWN_TO_SDK_VERSION if zero members are set, and null if more than one member is set.
    • sdkFields

      public final List<SdkField<?>> sdkFields()
      Specified by:
      sdkFields in interface SdkPojo
      Returns:
      List of SdkField in this POJO. May be empty list but should never be null.
    • sdkFieldNameToField

      public final Map<String,SdkField<?>> sdkFieldNameToField()
      Specified by:
      sdkFieldNameToField in interface SdkPojo
      Returns:
      The mapping between the field name and its corresponding field.