Interface AutomatedReasoningCheckSatisfiableFinding.Builder

All Superinterfaces:

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

Enclosing class:

AutomatedReasoningCheckSatisfiableFinding

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

Method Summary

Modifier and Type	Method	Description
default AutomatedReasoningCheckSatisfiableFinding.Builder	claimsFalseScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsFalseScenario)	An example scenario demonstrating how the claims could be logically false.
AutomatedReasoningCheckSatisfiableFinding.Builder	claimsFalseScenario(AutomatedReasoningCheckScenario claimsFalseScenario)	An example scenario demonstrating how the claims could be logically false.
default AutomatedReasoningCheckSatisfiableFinding.Builder	claimsTrueScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsTrueScenario)	An example scenario demonstrating how the claims could be logically true.
AutomatedReasoningCheckSatisfiableFinding.Builder	claimsTrueScenario(AutomatedReasoningCheckScenario claimsTrueScenario)	An example scenario demonstrating how the claims could be logically true.
default AutomatedReasoningCheckSatisfiableFinding.Builder	logicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning)	Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
AutomatedReasoningCheckSatisfiableFinding.Builder	logicWarning(AutomatedReasoningCheckLogicWarning logicWarning)	Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
default AutomatedReasoningCheckSatisfiableFinding.Builder	translation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation)	The logical translation of the input that this finding evaluates.
AutomatedReasoningCheckSatisfiableFinding.Builder	translation(AutomatedReasoningCheckTranslation translation)	The logical translation of the input that this finding evaluates.

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

translation

AutomatedReasoningCheckSatisfiableFinding.Builder translation(AutomatedReasoningCheckTranslation translation)

The logical translation of the input that this finding evaluates.

Parameters:

translation - The logical translation of the input that this finding evaluates.

Returns:

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

translation

default AutomatedReasoningCheckSatisfiableFinding.Builder translation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation)

The logical translation of the input that this finding evaluates.

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

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

Parameters:

translation - a consumer that will call methods on AutomatedReasoningCheckTranslation.Builder

Returns:

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

See Also:

• translation(AutomatedReasoningCheckTranslation)

claimsTrueScenario

AutomatedReasoningCheckSatisfiableFinding.Builder claimsTrueScenario(AutomatedReasoningCheckScenario claimsTrueScenario)

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

Parameters:

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

Returns:

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

claimsTrueScenario

default AutomatedReasoningCheckSatisfiableFinding.Builder claimsTrueScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsTrueScenario)

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

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

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

Parameters:

claimsTrueScenario - a consumer that will call methods on AutomatedReasoningCheckScenario.Builder

Returns:

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

See Also:

• claimsTrueScenario(AutomatedReasoningCheckScenario)

claimsFalseScenario

AutomatedReasoningCheckSatisfiableFinding.Builder claimsFalseScenario(AutomatedReasoningCheckScenario claimsFalseScenario)

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

Parameters:

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

Returns:

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

claimsFalseScenario

default AutomatedReasoningCheckSatisfiableFinding.Builder claimsFalseScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsFalseScenario)

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

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

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

Parameters:

claimsFalseScenario - a consumer that will call methods on AutomatedReasoningCheckScenario.Builder

Returns:

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

See Also:

• claimsFalseScenario(AutomatedReasoningCheckScenario)

logicWarning

AutomatedReasoningCheckSatisfiableFinding.Builder logicWarning(AutomatedReasoningCheckLogicWarning logicWarning)

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

Parameters:

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

Returns:

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

logicWarning

default AutomatedReasoningCheckSatisfiableFinding.Builder logicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning)

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

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

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

Parameters:

logicWarning - a consumer that will call methods on AutomatedReasoningCheckLogicWarning.Builder

Returns:

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

See Also:

• logicWarning(AutomatedReasoningCheckLogicWarning)