software.amazon.cryptography.materialproviders.internaldafny.types

Class Error

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.Error

Direct Known Subclasses:

Error_AwsCryptographicMaterialProvidersException, Error_AwsCryptographyKeyStore, Error_AwsCryptographyPrimitives, Error_CollectionOfErrors, Error_ComAmazonawsDynamodb, Error_ComAmazonawsKms, Error_EntryAlreadyExists, Error_EntryDoesNotExist, Error_InvalidAlgorithmSuiteInfo, Error_InvalidAlgorithmSuiteInfoOnDecrypt, Error_InvalidAlgorithmSuiteInfoOnEncrypt, Error_InvalidDecryptionMaterials, Error_InvalidDecryptionMaterialsTransition, Error_InvalidEncryptionMaterials, Error_InvalidEncryptionMaterialsTransition, 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_AwsCryptographicMaterialProvidersException(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_AwsCryptographyKeyStore(Error AwsCryptographyKeyStore)
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_ComAmazonawsKms(software.amazon.cryptography.services.kms.internaldafny.types.Error ComAmazonawsKms)
static Error	create_EntryAlreadyExists(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_EntryDoesNotExist(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidAlgorithmSuiteInfo(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidAlgorithmSuiteInfoOnDecrypt(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidAlgorithmSuiteInfoOnEncrypt(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidDecryptionMaterials(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidDecryptionMaterialsTransition(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidEncryptionMaterials(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_InvalidEncryptionMaterialsTransition(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_Opaque(java.lang.Object obj)
static Error	Default()
Error	dtor_AwsCryptographyKeyStore()
software.amazon.cryptography.primitives.internaldafny.types.Error	dtor_AwsCryptographyPrimitives()
software.amazon.cryptography.services.dynamodb.internaldafny.types.Error	dtor_ComAmazonawsDynamodb()
software.amazon.cryptography.services.kms.internaldafny.types.Error	dtor_ComAmazonawsKms()
dafny.DafnySequence<? extends Error>	dtor_list()
dafny.DafnySequence<? extends java.lang.Character>	dtor_message()
java.lang.Object	dtor_obj()
boolean	is_AwsCryptographicMaterialProvidersException()
boolean	is_AwsCryptographyKeyStore()
boolean	is_AwsCryptographyPrimitives()
boolean	is_CollectionOfErrors()
boolean	is_ComAmazonawsDynamodb()
boolean	is_ComAmazonawsKms()
boolean	is_EntryAlreadyExists()
boolean	is_EntryDoesNotExist()
boolean	is_InvalidAlgorithmSuiteInfo()
boolean	is_InvalidAlgorithmSuiteInfoOnDecrypt()
boolean	is_InvalidAlgorithmSuiteInfoOnEncrypt()
boolean	is_InvalidDecryptionMaterials()
boolean	is_InvalidDecryptionMaterialsTransition()
boolean	is_InvalidEncryptionMaterials()
boolean	is_InvalidEncryptionMaterialsTransition()
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_AwsCryptographicMaterialProvidersException

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

create_EntryAlreadyExists

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

create_EntryDoesNotExist

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

create_InvalidAlgorithmSuiteInfo

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

create_InvalidAlgorithmSuiteInfoOnDecrypt

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

create_InvalidAlgorithmSuiteInfoOnEncrypt

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

create_InvalidDecryptionMaterials

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

create_InvalidDecryptionMaterialsTransition

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

create_InvalidEncryptionMaterials

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

create_InvalidEncryptionMaterialsTransition

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

create_AwsCryptographyKeyStore

public static Error create_AwsCryptographyKeyStore(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_ComAmazonawsKms

public static Error create_ComAmazonawsKms(software.amazon.cryptography.services.kms.internaldafny.types.Error ComAmazonawsKms)

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_AwsCryptographicMaterialProvidersException

public boolean is_AwsCryptographicMaterialProvidersException()

is_EntryAlreadyExists

public boolean is_EntryAlreadyExists()

is_EntryDoesNotExist

public boolean is_EntryDoesNotExist()

is_InvalidAlgorithmSuiteInfo

public boolean is_InvalidAlgorithmSuiteInfo()

is_InvalidAlgorithmSuiteInfoOnDecrypt

public boolean is_InvalidAlgorithmSuiteInfoOnDecrypt()

is_InvalidAlgorithmSuiteInfoOnEncrypt

public boolean is_InvalidAlgorithmSuiteInfoOnEncrypt()

is_InvalidDecryptionMaterials

public boolean is_InvalidDecryptionMaterials()

is_InvalidDecryptionMaterialsTransition

public boolean is_InvalidDecryptionMaterialsTransition()

is_InvalidEncryptionMaterials

public boolean is_InvalidEncryptionMaterials()

is_InvalidEncryptionMaterialsTransition

public boolean is_InvalidEncryptionMaterialsTransition()

is_AwsCryptographyKeyStore

public boolean is_AwsCryptographyKeyStore()

is_AwsCryptographyPrimitives

public boolean is_AwsCryptographyPrimitives()

is_ComAmazonawsDynamodb

public boolean is_ComAmazonawsDynamodb()

is_ComAmazonawsKms

public boolean is_ComAmazonawsKms()

is_CollectionOfErrors

public boolean is_CollectionOfErrors()

is_Opaque

public boolean is_Opaque()

dtor_message

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

dtor_AwsCryptographyKeyStore

public 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_ComAmazonawsKms

public software.amazon.cryptography.services.kms.internaldafny.types.Error dtor_ComAmazonawsKms()

dtor_list

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

dtor_obj

public java.lang.Object dtor_obj()