Class AutomatedReasoningCheckSatisfiableFinding

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

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

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

See Also:
  • Method Details

    • translation

      public final AutomatedReasoningCheckTranslation translation()

      The logical translation of the input that this finding evaluates.

      Returns:
      The logical translation of the input that this finding evaluates.
    • claimsTrueScenario

      public final AutomatedReasoningCheckScenario claimsTrueScenario()

      An example scenario demonstrating how the claims could be logically true.

      Returns:
      An example scenario demonstrating how the claims could be logically true.
    • claimsFalseScenario

      public final AutomatedReasoningCheckScenario claimsFalseScenario()

      An example scenario demonstrating how the claims could be logically false.

      Returns:
      An example scenario demonstrating how the claims could be logically false.
    • logicWarning

      public final AutomatedReasoningCheckLogicWarning logicWarning()

      Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

      Returns:
      Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
    • 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<AutomatedReasoningCheckSatisfiableFinding.Builder,AutomatedReasoningCheckSatisfiableFinding>
      Returns:
      a builder for type T
    • builder

    • serializableBuilderClass

      public static Class<? extends AutomatedReasoningCheckSatisfiableFinding.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)
    • 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.