software.amazon.cryptography.materialproviders.internaldafny.types

Class CreateAwsKmsHierarchicalKeyringInput

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsHierarchicalKeyringInput

public class CreateAwsKmsHierarchicalKeyringInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_branchKeyId
Wrappers_Compile.Option<IBranchKeyIdSupplier>	_branchKeyIdSupplier
Wrappers_Compile.Option<CacheType>	_cache
IKeyStoreClient	_keyStore
long	_ttlSeconds

Constructor Summary

Constructors

Constructor and Description
CreateAwsKmsHierarchicalKeyringInput(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId, Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier, IKeyStoreClient keyStore, long ttlSeconds, Wrappers_Compile.Option<CacheType> cache)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CreateAwsKmsHierarchicalKeyringInput>	_typeDescriptor()
static CreateAwsKmsHierarchicalKeyringInput	create_CreateAwsKmsHierarchicalKeyringInput(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId, Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier, IKeyStoreClient keyStore, long ttlSeconds, Wrappers_Compile.Option<CacheType> cache)
static CreateAwsKmsHierarchicalKeyringInput	create(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId, Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier, IKeyStoreClient keyStore, long ttlSeconds, Wrappers_Compile.Option<CacheType> cache)
static CreateAwsKmsHierarchicalKeyringInput	Default()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	dtor_branchKeyId()
Wrappers_Compile.Option<IBranchKeyIdSupplier>	dtor_branchKeyIdSupplier()
Wrappers_Compile.Option<CacheType>	dtor_cache()
IKeyStoreClient	dtor_keyStore()
long	dtor_ttlSeconds()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_CreateAwsKmsHierarchicalKeyringInput()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_branchKeyId

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _branchKeyId

_branchKeyIdSupplier

public Wrappers_Compile.Option<IBranchKeyIdSupplier> _branchKeyIdSupplier

_keyStore

public IKeyStoreClient _keyStore

_ttlSeconds

public long _ttlSeconds

_cache

public Wrappers_Compile.Option<CacheType> _cache

Constructor Detail

CreateAwsKmsHierarchicalKeyringInput

public CreateAwsKmsHierarchicalKeyringInput(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId,
                                            Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier,
                                            IKeyStoreClient keyStore,
                                            long ttlSeconds,
                                            Wrappers_Compile.Option<CacheType> cache)

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

_typeDescriptor

public static dafny.TypeDescriptor<CreateAwsKmsHierarchicalKeyringInput> _typeDescriptor()

create

public static CreateAwsKmsHierarchicalKeyringInput create(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId,
                                                          Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier,
                                                          IKeyStoreClient keyStore,
                                                          long ttlSeconds,
                                                          Wrappers_Compile.Option<CacheType> cache)

create_CreateAwsKmsHierarchicalKeyringInput

public static CreateAwsKmsHierarchicalKeyringInput create_CreateAwsKmsHierarchicalKeyringInput(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId,
                                                                                               Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier,
                                                                                               IKeyStoreClient keyStore,
                                                                                               long ttlSeconds,
                                                                                               Wrappers_Compile.Option<CacheType> cache)

is_CreateAwsKmsHierarchicalKeyringInput

public boolean is_CreateAwsKmsHierarchicalKeyringInput()

dtor_branchKeyId

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> dtor_branchKeyId()

dtor_branchKeyIdSupplier

public Wrappers_Compile.Option<IBranchKeyIdSupplier> dtor_branchKeyIdSupplier()

dtor_keyStore

public IKeyStoreClient dtor_keyStore()

dtor_ttlSeconds

public long dtor_ttlSeconds()

dtor_cache

public Wrappers_Compile.Option<CacheType> dtor_cache()