public class StackValue_Str extends StackValue
| Modifier and Type | Field and Description |
|---|---|
software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue |
_s |
| Constructor and Description |
|---|
StackValue_Str(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue s) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
java.lang.String |
toString() |
_typeDescriptor, create_Bool, create_DoesNotExist, create_Str, Default, dtor_b, dtor_s, is_Bool, is_DoesNotExist, is_Str