software.amazon.cryptography.keystore.internaldafny.types

Class GetKeyStoreInfoOutput

java.lang.Object

software.amazon.cryptography.keystore.internaldafny.types.GetKeyStoreInfoOutput

public class GetKeyStoreInfoOutput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	_grantTokens
dafny.DafnySequence<? extends java.lang.Character>	_keyStoreId
dafny.DafnySequence<? extends java.lang.Character>	_keyStoreName
KMSConfiguration	_kmsConfiguration
dafny.DafnySequence<? extends java.lang.Character>	_logicalKeyStoreName

Constructor Summary

Constructors

Constructor and Description
GetKeyStoreInfoOutput(dafny.DafnySequence<? extends java.lang.Character> keyStoreId, dafny.DafnySequence<? extends java.lang.Character> keyStoreName, dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, KMSConfiguration kmsConfiguration)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<GetKeyStoreInfoOutput>	_typeDescriptor()
static GetKeyStoreInfoOutput	create_GetKeyStoreInfoOutput(dafny.DafnySequence<? extends java.lang.Character> keyStoreId, dafny.DafnySequence<? extends java.lang.Character> keyStoreName, dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, KMSConfiguration kmsConfiguration)
static GetKeyStoreInfoOutput	create(dafny.DafnySequence<? extends java.lang.Character> keyStoreId, dafny.DafnySequence<? extends java.lang.Character> keyStoreName, dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, KMSConfiguration kmsConfiguration)
static GetKeyStoreInfoOutput	Default()
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	dtor_grantTokens()
dafny.DafnySequence<? extends java.lang.Character>	dtor_keyStoreId()
dafny.DafnySequence<? extends java.lang.Character>	dtor_keyStoreName()
KMSConfiguration	dtor_kmsConfiguration()
dafny.DafnySequence<? extends java.lang.Character>	dtor_logicalKeyStoreName()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_GetKeyStoreInfoOutput()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_keyStoreId

public dafny.DafnySequence<? extends java.lang.Character> _keyStoreId

_keyStoreName

public dafny.DafnySequence<? extends java.lang.Character> _keyStoreName

_logicalKeyStoreName

public dafny.DafnySequence<? extends java.lang.Character> _logicalKeyStoreName

_grantTokens

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> _grantTokens

_kmsConfiguration

public KMSConfiguration _kmsConfiguration

Constructor Detail

GetKeyStoreInfoOutput

public GetKeyStoreInfoOutput(dafny.DafnySequence<? extends java.lang.Character> keyStoreId,
                             dafny.DafnySequence<? extends java.lang.Character> keyStoreName,
                             dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName,
                             dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                             KMSConfiguration kmsConfiguration)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static GetKeyStoreInfoOutput Default()

_typeDescriptor

public static dafny.TypeDescriptor<GetKeyStoreInfoOutput> _typeDescriptor()

create

public static GetKeyStoreInfoOutput create(dafny.DafnySequence<? extends java.lang.Character> keyStoreId,
                                           dafny.DafnySequence<? extends java.lang.Character> keyStoreName,
                                           dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName,
                                           dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                                           KMSConfiguration kmsConfiguration)

create_GetKeyStoreInfoOutput

public static GetKeyStoreInfoOutput create_GetKeyStoreInfoOutput(dafny.DafnySequence<? extends java.lang.Character> keyStoreId,
                                                                 dafny.DafnySequence<? extends java.lang.Character> keyStoreName,
                                                                 dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName,
                                                                 dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                                                                 KMSConfiguration kmsConfiguration)

is_GetKeyStoreInfoOutput

public boolean is_GetKeyStoreInfoOutput()

dtor_keyStoreId

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

dtor_keyStoreName

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

dtor_logicalKeyStoreName

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

dtor_grantTokens

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

dtor_kmsConfiguration

public KMSConfiguration dtor_kmsConfiguration()