Class AutomatedReasoningCheckSatisfiableFinding
java.lang.Object
software.amazon.awssdk.services.bedrock.model.AutomatedReasoningCheckSatisfiableFinding
- All Implemented Interfaces:
Serializable
,SdkPojo
,ToCopyableBuilder<AutomatedReasoningCheckSatisfiableFinding.Builder,
AutomatedReasoningCheckSatisfiableFinding>
@Generated("software.amazon.awssdk:codegen")
public final class AutomatedReasoningCheckSatisfiableFinding
extends Object
implements SdkPojo, Serializable, ToCopyableBuilder<AutomatedReasoningCheckSatisfiableFinding.Builder,AutomatedReasoningCheckSatisfiableFinding>
Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.
- See Also:
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic interface
-
Method Summary
Modifier and TypeMethodDescriptionbuilder()
An example scenario demonstrating how the claims could be logically false.An example scenario demonstrating how the claims could be logically true.final boolean
final boolean
equalsBySdkFields
(Object obj) Indicates whether some other object is "equal to" this one by SDK fields.final <T> Optional
<T> getValueForField
(String fieldName, Class<T> clazz) final int
hashCode()
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.static Class
<? extends AutomatedReasoningCheckSatisfiableFinding.Builder> Take this object and create a builder that contains all of the current property values of this object.final String
toString()
Returns a string representation of this object.The logical translation of the input that this finding evaluates.Methods inherited from interface software.amazon.awssdk.utils.builder.ToCopyableBuilder
copy
-
Method Details
-
translation
The logical translation of the input that this finding evaluates.
- Returns:
- The logical translation of the input that this finding evaluates.
-
claimsTrueScenario
An example scenario demonstrating how the claims could be logically true.
- Returns:
- An example scenario demonstrating how the claims could be logically true.
-
claimsFalseScenario
An example scenario demonstrating how the claims could be logically false.
- Returns:
- An example scenario demonstrating how the claims could be logically false.
-
logicWarning
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
- Returns:
- Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
-
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<AutomatedReasoningCheckSatisfiableFinding.Builder,
AutomatedReasoningCheckSatisfiableFinding> - Returns:
- a builder for type T
-
builder
-
serializableBuilderClass
public static Class<? extends AutomatedReasoningCheckSatisfiableFinding.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
-
sdkFields
-
sdkFieldNameToField
- Specified by:
sdkFieldNameToField
in interfaceSdkPojo
- Returns:
- The mapping between the field name and its corresponding field.
-