Interface AutomatedReasoningCheckImpossibleFinding.Builder

All Superinterfaces:

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

Enclosing class:

AutomatedReasoningCheckImpossibleFinding

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

Method Summary

Modifier and Type	Method	Description
AutomatedReasoningCheckImpossibleFinding.Builder	contradictingRules(Collection<AutomatedReasoningCheckRule> contradictingRules)	The automated reasoning policy rules that contradict the claims and/or premises in the input.
AutomatedReasoningCheckImpossibleFinding.Builder	contradictingRules(Consumer<AutomatedReasoningCheckRule.Builder>... contradictingRules)	The automated reasoning policy rules that contradict the claims and/or premises in the input.
AutomatedReasoningCheckImpossibleFinding.Builder	contradictingRules(AutomatedReasoningCheckRule... contradictingRules)	The automated reasoning policy rules that contradict the claims and/or premises in the input.
default AutomatedReasoningCheckImpossibleFinding.Builder	logicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning)	Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
AutomatedReasoningCheckImpossibleFinding.Builder	logicWarning(AutomatedReasoningCheckLogicWarning logicWarning)	Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
default AutomatedReasoningCheckImpossibleFinding.Builder	translation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation)	The logical translation of the input that this finding evaluates.
AutomatedReasoningCheckImpossibleFinding.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

AutomatedReasoningCheckImpossibleFinding.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 AutomatedReasoningCheckImpossibleFinding.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)

contradictingRules

AutomatedReasoningCheckImpossibleFinding.Builder contradictingRules(Collection<AutomatedReasoningCheckRule> contradictingRules)

The automated reasoning policy rules that contradict the claims and/or premises in the input.

Parameters:

contradictingRules - The automated reasoning policy rules that contradict the claims and/or premises in the input.

Returns:

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

contradictingRules

AutomatedReasoningCheckImpossibleFinding.Builder contradictingRules(AutomatedReasoningCheckRule... contradictingRules)

The automated reasoning policy rules that contradict the claims and/or premises in the input.

Parameters:

contradictingRules - The automated reasoning policy rules that contradict the claims and/or premises in the input.

Returns:

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

contradictingRules

AutomatedReasoningCheckImpossibleFinding.Builder contradictingRules(Consumer<AutomatedReasoningCheckRule.Builder>... contradictingRules)

The automated reasoning policy rules that contradict the claims and/or premises in the input.

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

When the Consumer completes, SdkBuilder.build() is called immediately and its result is passed to contradictingRules(List<AutomatedReasoningCheckRule>).

Parameters:

contradictingRules - a consumer that will call methods on AutomatedReasoningCheckRule.Builder

Returns:

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

See Also:

• contradictingRules(java.util.Collection<AutomatedReasoningCheckRule>)

logicWarning

AutomatedReasoningCheckImpossibleFinding.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 AutomatedReasoningCheckImpossibleFinding.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)