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

Class Error

java.lang.Object

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

Direct Known Subclasses:

Error_AwsCryptographyDbEncryptionSdkDynamoDb, Error_AwsCryptographyMaterialProviders, Error_AwsCryptographyPrimitives, Error_CollectionOfErrors, Error_ComAmazonawsDynamodb, Error_DynamoDbItemEncryptorException, 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_AwsCryptographyDbEncryptionSdkDynamoDb(Error AwsCryptographyDbEncryptionSdkDynamoDb)
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_DynamoDbItemEncryptorException(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_Opaque(java.lang.Object obj)
static Error	Default()
Error	dtor_AwsCryptographyDbEncryptionSdkDynamoDb()
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_AwsCryptographyDbEncryptionSdkDynamoDb()
boolean	is_AwsCryptographyMaterialProviders()
boolean	is_AwsCryptographyPrimitives()
boolean	is_CollectionOfErrors()
boolean	is_ComAmazonawsDynamodb()
boolean	is_DynamoDbItemEncryptorException()
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_DynamoDbItemEncryptorException

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

create_AwsCryptographyDbEncryptionSdkDynamoDb

public static Error create_AwsCryptographyDbEncryptionSdkDynamoDb(Error AwsCryptographyDbEncryptionSdkDynamoDb)

create_AwsCryptographyMaterialProviders

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

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_DynamoDbItemEncryptorException

public boolean is_DynamoDbItemEncryptorException()

is_AwsCryptographyDbEncryptionSdkDynamoDb

public boolean is_AwsCryptographyDbEncryptionSdkDynamoDb()

is_AwsCryptographyMaterialProviders

public boolean is_AwsCryptographyMaterialProviders()

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_AwsCryptographyDbEncryptionSdkDynamoDb

public Error dtor_AwsCryptographyDbEncryptionSdkDynamoDb()

dtor_AwsCryptographyMaterialProviders

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

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()