Class AutomatedReasoningCheckFinding
- All Implemented Interfaces:
Serializable
,SdkPojo
,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:
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic interface
static enum
-
Method Summary
Modifier and TypeMethodDescriptionbuilder()
final boolean
final boolean
equalsBySdkFields
(Object obj) Indicates whether some other object is "equal to" this one by SDK fields.Create an instance of this class withimpossible()
initialized to the given value.Create an instance of this class withimpossible()
initialized to the given value.Create an instance of this class withinvalid()
initialized to the given value.Create an instance of this class withinvalid()
initialized to the given value.Create an instance of this class withnoTranslations()
initialized to the given value.fromNoTranslations
(AutomatedReasoningCheckNoTranslationsFinding noTranslations) Create an instance of this class withnoTranslations()
initialized to the given value.Create an instance of this class withsatisfiable()
initialized to the given value.fromSatisfiable
(AutomatedReasoningCheckSatisfiableFinding satisfiable) Create an instance of this class withsatisfiable()
initialized to the given value.Create an instance of this class withtooComplex()
initialized to the given value.Create an instance of this class withtooComplex()
initialized to the given value.fromTranslationAmbiguous
(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> translationAmbiguous) Create an instance of this class withtranslationAmbiguous()
initialized to the given value.fromTranslationAmbiguous
(AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous) Create an instance of this class withtranslationAmbiguous()
initialized to the given value.Create an instance of this class withvalid()
initialized to the given value.Create an instance of this class withvalid()
initialized to the given value.final <T> Optional
<T> getValueForField
(String fieldName, Class<T> clazz) final int
hashCode()
Indicates that Automated Reasoning cannot make a statement about the claims.invalid()
Indicates that the claims are false.Identifies that some or all of the input prompt wasn't translated into logic.Indicates that the claims can be true or false.static Class
<? extends AutomatedReasoningCheckFinding.Builder> Take this object and create a builder that contains all of the current property values of this object.Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.final String
toString()
Returns a string representation of this object.Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking.type()
Retrieve an enum value representing which member of this object is populated.valid()
Indicates that the claims are true.Methods inherited from interface software.amazon.awssdk.utils.builder.ToCopyableBuilder
copy
-
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
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
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
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
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
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
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 interfaceToCopyableBuilder<AutomatedReasoningCheckFinding.Builder,
AutomatedReasoningCheckFinding> - Returns:
- a builder for type T
-
builder
-
serializableBuilderClass
-
hashCode
-
equals
-
equalsBySdkFields
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 anSdkPojo
class, and is generated based on a service model.If an
SdkPojo
class does not have any inherited fields,equalsBySdkFields
andequals
are essentially the same.- Specified by:
equalsBySdkFields
in interfaceSdkPojo
- Parameters:
obj
- the object to be compared with- Returns:
- true if the other object equals to this object by sdk fields, false otherwise.
-
toString
-
getValueForField
-
fromValid
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
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_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 beAutomatedReasoningCheckFinding.Type.UNKNOWN_TO_SDK_VERSION
if zero members are set, andnull
if more than one member is set. -
sdkFields
-
sdkFieldNameToField
- Specified by:
sdkFieldNameToField
in interfaceSdkPojo
- Returns:
- The mapping between the field name and its corresponding field.
-