software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types

Class Error

java.lang.Object

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

Direct Known Subclasses:

Error_AwsCryptographyMaterialProviders, Error_AwsCryptographyPrimitives, Error_CollectionOfErrors, Error_Opaque, Error_StructuredEncryptionException

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_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_Opaque(java.lang.Object obj)
static Error	create_StructuredEncryptionException(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	Default()
software.amazon.cryptography.materialproviders.internaldafny.types.Error	dtor_AwsCryptographyMaterialProviders()
software.amazon.cryptography.primitives.internaldafny.types.Error	dtor_AwsCryptographyPrimitives()
dafny.DafnySequence<? extends Error>	dtor_list()
dafny.DafnySequence<? extends java.lang.Character>	dtor_message()
java.lang.Object	dtor_obj()
boolean	is_AwsCryptographyMaterialProviders()
boolean	is_AwsCryptographyPrimitives()
boolean	is_CollectionOfErrors()
boolean	is_Opaque()
boolean	is_StructuredEncryptionException()

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_StructuredEncryptionException

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

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_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_StructuredEncryptionException

public boolean is_StructuredEncryptionException()

is_AwsCryptographyMaterialProviders

public boolean is_AwsCryptographyMaterialProviders()

is_AwsCryptographyPrimitives

public boolean is_AwsCryptographyPrimitives()

is_CollectionOfErrors

public boolean is_CollectionOfErrors()

is_Opaque

public boolean is_Opaque()

dtor_message

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

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_list

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

dtor_obj

public java.lang.Object dtor_obj()