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:
- Serialized Form
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interfaceAutomatedReasoningCheckFinding.Builderstatic classAutomatedReasoningCheckFinding.Type
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface software.amazon.awssdk.utils.builder.ToCopyableBuilder
copy
-
-
-
-
Method Detail
-
valid
public final AutomatedReasoningCheckValidFinding 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
public AutomatedReasoningCheckFinding.Builder toBuilder()
- Specified by:
toBuilderin interfaceToCopyableBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>
-
builder
public static AutomatedReasoningCheckFinding.Builder builder()
-
serializableBuilderClass
public static Class<? extends AutomatedReasoningCheckFinding.Builder> serializableBuilderClass()
-
equalsBySdkFields
public final boolean equalsBySdkFields(Object obj)
- Specified by:
equalsBySdkFieldsin interfaceSdkPojo
-
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.
-
fromValid
public static AutomatedReasoningCheckFinding fromValid(AutomatedReasoningCheckValidFinding valid)
Create an instance of this class withvalid()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
public static AutomatedReasoningCheckFinding fromValid(Consumer<AutomatedReasoningCheckValidFinding.Builder> valid)
Create an instance of this class withvalid()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
public static AutomatedReasoningCheckFinding fromInvalid(AutomatedReasoningCheckInvalidFinding invalid)
Create an instance of this class withinvalid()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
public static AutomatedReasoningCheckFinding fromInvalid(Consumer<AutomatedReasoningCheckInvalidFinding.Builder> invalid)
Create an instance of this class withinvalid()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
public static AutomatedReasoningCheckFinding fromSatisfiable(AutomatedReasoningCheckSatisfiableFinding satisfiable)
Create an instance of this class withsatisfiable()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
public static AutomatedReasoningCheckFinding fromSatisfiable(Consumer<AutomatedReasoningCheckSatisfiableFinding.Builder> satisfiable)
Create an instance of this class withsatisfiable()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
public static AutomatedReasoningCheckFinding fromImpossible(AutomatedReasoningCheckImpossibleFinding impossible)
Create an instance of this class withimpossible()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
public static AutomatedReasoningCheckFinding fromImpossible(Consumer<AutomatedReasoningCheckImpossibleFinding.Builder> impossible)
Create an instance of this class withimpossible()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 withtranslationAmbiguous()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 withtranslationAmbiguous()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
public static AutomatedReasoningCheckFinding fromTooComplex(AutomatedReasoningCheckTooComplexFinding tooComplex)
Create an instance of this class withtooComplex()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
public static AutomatedReasoningCheckFinding fromTooComplex(Consumer<AutomatedReasoningCheckTooComplexFinding.Builder> tooComplex)
Create an instance of this class withtooComplex()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 withnoTranslations()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
public static AutomatedReasoningCheckFinding fromNoTranslations(Consumer<AutomatedReasoningCheckNoTranslationsFinding.Builder> noTranslations)
Create an instance of this class withnoTranslations()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
public AutomatedReasoningCheckFinding.Type type()
Retrieve an enum value representing which member of this object is populated. When this class is returned in a service response, this will beAutomatedReasoningCheckFinding.Type.UNKNOWN_TO_SDK_VERSIONif 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 beAutomatedReasoningCheckFinding.Type.UNKNOWN_TO_SDK_VERSIONif zero members are set, andnullif more than one member is set.
-
sdkFieldNameToField
public final Map<String,SdkField<?>> sdkFieldNameToField()
- Specified by:
sdkFieldNameToFieldin interfaceSdkPojo
-
-