software.amazon.cryptography.keystore.internaldafny.types

Class Error

java.lang.Object

software.amazon.cryptography.keystore.internaldafny.types.Error

Direct Known Subclasses:

Error_CollectionOfErrors, Error_ComAmazonawsDynamodb, Error_ComAmazonawsKms, Error_KeyStoreException, 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_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_KeyStoreException(dafny.DafnySequence<? extends java.lang.Character> message)
static Error	create_Opaque(java.lang.Object obj)
static Error	Default()
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_CollectionOfErrors()
boolean	is_ComAmazonawsDynamodb()
boolean	is_ComAmazonawsKms()
boolean	is_KeyStoreException()
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_KeyStoreException

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

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_KeyStoreException

public boolean is_KeyStoreException()

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