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
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description AutomatedReasoningCheckImpossibleFinding.BuildercontradictingRules(Collection<AutomatedReasoningCheckRule> contradictingRules)The automated reasoning policy rules that contradict the claims and/or premises in the input.AutomatedReasoningCheckImpossibleFinding.BuildercontradictingRules(Consumer<AutomatedReasoningCheckRule.Builder>... contradictingRules)The automated reasoning policy rules that contradict the claims and/or premises in the input.AutomatedReasoningCheckImpossibleFinding.BuildercontradictingRules(AutomatedReasoningCheckRule... contradictingRules)The automated reasoning policy rules that contradict the claims and/or premises in the input.default AutomatedReasoningCheckImpossibleFinding.BuilderlogicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning)Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.AutomatedReasoningCheckImpossibleFinding.BuilderlogicWarning(AutomatedReasoningCheckLogicWarning logicWarning)Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.default AutomatedReasoningCheckImpossibleFinding.Buildertranslation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation)The logical translation of the input that this finding evaluates.AutomatedReasoningCheckImpossibleFinding.Buildertranslation(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 Detail
-
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 theAutomatedReasoningCheckTranslation.Builderavoiding the need to create one manually viaAutomatedReasoningCheckTranslation.builder().When the
Consumercompletes,SdkBuilder.build()is called immediately and its result is passed totranslation(AutomatedReasoningCheckTranslation).- Parameters:
translation- a consumer that will call methods onAutomatedReasoningCheckTranslation.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 theAutomatedReasoningCheckRule.Builderavoiding the need to create one manually viaAutomatedReasoningCheckRule.builder().When the
Consumercompletes,SdkBuilder.build()is called immediately and its result is passed to#contradictingRules(List.) - Parameters:
contradictingRules- a consumer that will call methods onAutomatedReasoningCheckRule.Builder- Returns:
- Returns a reference to this object so that method calls can be chained together.
- See Also:
#contradictingRules(java.util.Collection)
-
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 theAutomatedReasoningCheckLogicWarning.Builderavoiding the need to create one manually viaAutomatedReasoningCheckLogicWarning.builder().When the
Consumercompletes,SdkBuilder.build()is called immediately and its result is passed tologicWarning(AutomatedReasoningCheckLogicWarning).- Parameters:
logicWarning- a consumer that will call methods onAutomatedReasoningCheckLogicWarning.Builder- Returns:
- Returns a reference to this object so that method calls can be chained together.
- See Also:
logicWarning(AutomatedReasoningCheckLogicWarning)
-
-