software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types

Class Error

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error

Direct Known Subclasses:

Error_AwsCryptographyDbEncryptionSdkStructuredEncryption, Error_AwsCryptographyKeyStore, Error_AwsCryptographyMaterialProviders, Error_AwsCryptographyPrimitives, Error_CollectionOfErrors, Error_ComAmazonawsDynamodb, Error_DynamoDbEncryptionException, Error_Opaque

public abstract class Error
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Error()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<Error>	_typeDescriptor()
static Error	create_AwsCryptographyDbEncryptionSdkStructuredEncryption(Error AwsCryptographyDbEncryptionSdkStructuredEncryption)
static Error	create_AwsCryptographyKeyStore(software.amazon.cryptography.keystore.internaldafny.types.Error AwsCryptographyKeyStore)
static Error	create_AwsCryptographyMaterialProviders(software.amazon.cryptography.materialproviders.internaldafny.types.Error AwsCryptographyMaterialProviders)
static Error	create_AwsCryptographyPrimitives(software.amazon.cryptography.primitives.internaldafny.types.Error AwsCryptographyPrimitives)
static Error	create_CollectionOfErrors(dafny.DafnySequence<? extends Error> list, dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_ComAmazonawsDynamodb(software.amazon.cryptography.services.dynamodb.internaldafny.types.Error ComAmazonawsDynamodb)
static Error	create_DynamoDbEncryptionException(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_Opaque(java.lang.Object obj)
static Error	Default()
Error	dtor_AwsCryptographyDbEncryptionSdkStructuredEncryption()
software.amazon.cryptography.keystore.internaldafny.types.Error	dtor_AwsCryptographyKeyStore()
software.amazon.cryptography.materialproviders.internaldafny.types.Error	dtor_AwsCryptographyMaterialProviders()
software.amazon.cryptography.primitives.internaldafny.types.Error	dtor_AwsCryptographyPrimitives()
software.amazon.cryptography.services.dynamodb.internaldafny.types.Error	dtor_ComAmazonawsDynamodb()
dafny.DafnySequence<? extends Error>	dtor_list()
dafny.DafnySequence<? extends java.lang.Character>	dtor_message()
java.lang.Object	dtor_obj()
boolean	is_AwsCryptographyDbEncryptionSdkStructuredEncryption()
boolean	is_AwsCryptographyKeyStore()
boolean	is_AwsCryptographyMaterialProviders()
boolean	is_AwsCryptographyPrimitives()
boolean	is_CollectionOfErrors()
boolean	is_ComAmazonawsDynamodb()
boolean	is_DynamoDbEncryptionException()
boolean	is_Opaque()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Error

public Error()

Method Detail

Default

public static Error Default()

_typeDescriptor

public static dafny.TypeDescriptor<Error> _typeDescriptor()

create_DynamoDbEncryptionException

public static Error create_DynamoDbEncryptionException(dafny.DafnySequence<? extends java.lang.Character> message)

create_AwsCryptographyDbEncryptionSdkStructuredEncryption

public static Error create_AwsCryptographyDbEncryptionSdkStructuredEncryption(Error AwsCryptographyDbEncryptionSdkStructuredEncryption)

create_AwsCryptographyMaterialProviders

public static Error create_AwsCryptographyMaterialProviders(software.amazon.cryptography.materialproviders.internaldafny.types.Error AwsCryptographyMaterialProviders)

create_AwsCryptographyKeyStore

public static Error create_AwsCryptographyKeyStore(software.amazon.cryptography.keystore.internaldafny.types.Error AwsCryptographyKeyStore)

create_AwsCryptographyPrimitives

public static Error create_AwsCryptographyPrimitives(software.amazon.cryptography.primitives.internaldafny.types.Error AwsCryptographyPrimitives)

create_ComAmazonawsDynamodb

public static Error create_ComAmazonawsDynamodb(software.amazon.cryptography.services.dynamodb.internaldafny.types.Error ComAmazonawsDynamodb)

create_CollectionOfErrors

public static Error create_CollectionOfErrors(dafny.DafnySequence<? extends Error> list,
                                              dafny.DafnySequence<? extends java.lang.Character> message)

create_Opaque

public static Error create_Opaque(java.lang.Object obj)

is_DynamoDbEncryptionException

public boolean is_DynamoDbEncryptionException()

is_AwsCryptographyDbEncryptionSdkStructuredEncryption

public boolean is_AwsCryptographyDbEncryptionSdkStructuredEncryption()

is_AwsCryptographyMaterialProviders

public boolean is_AwsCryptographyMaterialProviders()

is_AwsCryptographyKeyStore

public boolean is_AwsCryptographyKeyStore()

is_AwsCryptographyPrimitives

public boolean is_AwsCryptographyPrimitives()

is_ComAmazonawsDynamodb

public boolean is_ComAmazonawsDynamodb()

is_CollectionOfErrors

public boolean is_CollectionOfErrors()

is_Opaque

public boolean is_Opaque()

dtor_message

public dafny.DafnySequence<? extends java.lang.Character> dtor_message()

dtor_AwsCryptographyDbEncryptionSdkStructuredEncryption

public Error dtor_AwsCryptographyDbEncryptionSdkStructuredEncryption()

dtor_AwsCryptographyMaterialProviders

public software.amazon.cryptography.materialproviders.internaldafny.types.Error dtor_AwsCryptographyMaterialProviders()

dtor_AwsCryptographyKeyStore

public software.amazon.cryptography.keystore.internaldafny.types.Error dtor_AwsCryptographyKeyStore()

dtor_AwsCryptographyPrimitives

public software.amazon.cryptography.primitives.internaldafny.types.Error dtor_AwsCryptographyPrimitives()

dtor_ComAmazonawsDynamodb

public software.amazon.cryptography.services.dynamodb.internaldafny.types.Error dtor_ComAmazonawsDynamodb()

dtor_list

public dafny.DafnySequence<? extends Error> dtor_list()

dtor_obj

public java.lang.Object dtor_obj()