Interface AutomatedReasoningCheckFinding.Builder

All Superinterfaces:

Buildable, CopyableBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>, SdkBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>, SdkPojo

Enclosing class:

AutomatedReasoningCheckFinding

@Mutable
@NotThreadSafe
public static interface AutomatedReasoningCheckFinding.Builder
extends SdkPojo, CopyableBuilder<AutomatedReasoningCheckFinding.Builder,AutomatedReasoningCheckFinding>

Method Summary

Modifier and Type	Method	Description
default AutomatedReasoningCheckFinding.Builder	impossible(Consumer<AutomatedReasoningCheckImpossibleFinding.Builder> impossible)	Indicates that Automated Reasoning cannot make a statement about the claims.
AutomatedReasoningCheckFinding.Builder	impossible(AutomatedReasoningCheckImpossibleFinding impossible)	Indicates that Automated Reasoning cannot make a statement about the claims.
default AutomatedReasoningCheckFinding.Builder	invalid(Consumer<AutomatedReasoningCheckInvalidFinding.Builder> invalid)	Indicates that the claims are false.
AutomatedReasoningCheckFinding.Builder	invalid(AutomatedReasoningCheckInvalidFinding invalid)	Indicates that the claims are false.
default AutomatedReasoningCheckFinding.Builder	noTranslations(Consumer<AutomatedReasoningCheckNoTranslationsFinding.Builder> noTranslations)	Identifies that some or all of the input prompt wasn't translated into logic.
AutomatedReasoningCheckFinding.Builder	noTranslations(AutomatedReasoningCheckNoTranslationsFinding noTranslations)	Identifies that some or all of the input prompt wasn't translated into logic.
default AutomatedReasoningCheckFinding.Builder	satisfiable(Consumer<AutomatedReasoningCheckSatisfiableFinding.Builder> satisfiable)	Indicates that the claims can be true or false.
AutomatedReasoningCheckFinding.Builder	satisfiable(AutomatedReasoningCheckSatisfiableFinding satisfiable)	Indicates that the claims can be true or false.
default AutomatedReasoningCheckFinding.Builder	tooComplex(Consumer<AutomatedReasoningCheckTooComplexFinding.Builder> tooComplex)	Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
AutomatedReasoningCheckFinding.Builder	tooComplex(AutomatedReasoningCheckTooComplexFinding tooComplex)	Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
default AutomatedReasoningCheckFinding.Builder	translationAmbiguous(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> translationAmbiguous)	Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking.
AutomatedReasoningCheckFinding.Builder	translationAmbiguous(AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous)	Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking.
default AutomatedReasoningCheckFinding.Builder	valid(Consumer<AutomatedReasoningCheckValidFinding.Builder> valid)	Indicates that the claims are true.
AutomatedReasoningCheckFinding.Builder	valid(AutomatedReasoningCheckValidFinding valid)	Indicates that the claims are true.

Methods inherited from interface software.amazon.awssdk.utils.builder.CopyableBuilder

copy

Methods inherited from interface software.amazon.awssdk.utils.builder.SdkBuilder

applyMutation, build

Methods inherited from interface software.amazon.awssdk.core.SdkPojo

equalsBySdkFields, sdkFieldNameToField, sdkFields

Method Details

valid

AutomatedReasoningCheckFinding.Builder valid(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.

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

valid

default AutomatedReasoningCheckFinding.Builder valid(Consumer<AutomatedReasoningCheckValidFinding.Builder> 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.

This is a convenience method that creates an instance of the AutomatedReasoningCheckValidFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckValidFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to valid(AutomatedReasoningCheckValidFinding).

Parameters:

valid - a consumer that will call methods on AutomatedReasoningCheckValidFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• valid(AutomatedReasoningCheckValidFinding)

invalid

AutomatedReasoningCheckFinding.Builder invalid(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.

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

invalid

default AutomatedReasoningCheckFinding.Builder invalid(Consumer<AutomatedReasoningCheckInvalidFinding.Builder> 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.

This is a convenience method that creates an instance of the AutomatedReasoningCheckInvalidFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckInvalidFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to invalid(AutomatedReasoningCheckInvalidFinding).

Parameters:

invalid - a consumer that will call methods on AutomatedReasoningCheckInvalidFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• invalid(AutomatedReasoningCheckInvalidFinding)

satisfiable

AutomatedReasoningCheckFinding.Builder satisfiable(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.

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

satisfiable

default AutomatedReasoningCheckFinding.Builder satisfiable(Consumer<AutomatedReasoningCheckSatisfiableFinding.Builder> 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.

This is a convenience method that creates an instance of the AutomatedReasoningCheckSatisfiableFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckSatisfiableFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to satisfiable(AutomatedReasoningCheckSatisfiableFinding).

Parameters:

satisfiable - a consumer that will call methods on AutomatedReasoningCheckSatisfiableFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• satisfiable(AutomatedReasoningCheckSatisfiableFinding)

impossible

AutomatedReasoningCheckFinding.Builder impossible(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.

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

impossible

default AutomatedReasoningCheckFinding.Builder impossible(Consumer<AutomatedReasoningCheckImpossibleFinding.Builder> 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.

This is a convenience method that creates an instance of the AutomatedReasoningCheckImpossibleFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckImpossibleFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to impossible(AutomatedReasoningCheckImpossibleFinding).

Parameters:

impossible - a consumer that will call methods on AutomatedReasoningCheckImpossibleFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• impossible(AutomatedReasoningCheckImpossibleFinding)

translationAmbiguous

AutomatedReasoningCheckFinding.Builder translationAmbiguous(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.

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

translationAmbiguous

default AutomatedReasoningCheckFinding.Builder translationAmbiguous(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> 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.

This is a convenience method that creates an instance of the AutomatedReasoningCheckTranslationAmbiguousFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckTranslationAmbiguousFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to translationAmbiguous(AutomatedReasoningCheckTranslationAmbiguousFinding).

Parameters:

translationAmbiguous - a consumer that will call methods on AutomatedReasoningCheckTranslationAmbiguousFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• translationAmbiguous(AutomatedReasoningCheckTranslationAmbiguousFinding)

tooComplex

AutomatedReasoningCheckFinding.Builder tooComplex(AutomatedReasoningCheckTooComplexFinding tooComplex)

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

tooComplex

default AutomatedReasoningCheckFinding.Builder tooComplex(Consumer<AutomatedReasoningCheckTooComplexFinding.Builder> tooComplex)

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

This is a convenience method that creates an instance of the AutomatedReasoningCheckTooComplexFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckTooComplexFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to tooComplex(AutomatedReasoningCheckTooComplexFinding).

Parameters:

tooComplex - a consumer that will call methods on AutomatedReasoningCheckTooComplexFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• tooComplex(AutomatedReasoningCheckTooComplexFinding)

noTranslations

AutomatedReasoningCheckFinding.Builder noTranslations(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.

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.

Returns:

Returns a reference to this object so that method calls can be chained together.

noTranslations

default AutomatedReasoningCheckFinding.Builder noTranslations(Consumer<AutomatedReasoningCheckNoTranslationsFinding.Builder> 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.

This is a convenience method that creates an instance of the AutomatedReasoningCheckNoTranslationsFinding.Builder avoiding the need to create one manually via AutomatedReasoningCheckNoTranslationsFinding.builder().

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to noTranslations(AutomatedReasoningCheckNoTranslationsFinding).

Parameters:

noTranslations - a consumer that will call methods on AutomatedReasoningCheckNoTranslationsFinding.Builder

Returns:

Returns a reference to this object so that method calls can be chained together.

See Also:

• noTranslations(AutomatedReasoningCheckNoTranslationsFinding)