public class Error_StructuredEncryptionException extends Error
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends java.lang.Character> |
_message |
| Constructor and Description |
|---|
Error_StructuredEncryptionException(dafny.DafnySequence<? extends java.lang.Character> message) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
java.lang.String |
toString() |
_typeDescriptor, create_AwsCryptographyMaterialProviders, create_AwsCryptographyPrimitives, create_CollectionOfErrors, create_Opaque, create_StructuredEncryptionException, Default, dtor_AwsCryptographyMaterialProviders, dtor_AwsCryptographyPrimitives, dtor_list, dtor_message, dtor_obj, is_AwsCryptographyMaterialProviders, is_AwsCryptographyPrimitives, is_CollectionOfErrors, is_Opaque, is_StructuredEncryptionException