software.amazon.cryptography.keystore.internaldafny.types

Class KMSConfiguration

java.lang.Object

software.amazon.cryptography.keystore.internaldafny.types.KMSConfiguration

Direct Known Subclasses:

KMSConfiguration_discovery, KMSConfiguration_kmsKeyArn, KMSConfiguration_kmsMRKeyArn, KMSConfiguration_mrDiscovery

public abstract class KMSConfiguration
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
KMSConfiguration()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<KMSConfiguration>	_typeDescriptor()
static KMSConfiguration	create_discovery(Discovery discovery)
static KMSConfiguration	create_kmsKeyArn(dafny.DafnySequence<? extends java.lang.Character> kmsKeyArn)
static KMSConfiguration	create_kmsMRKeyArn(dafny.DafnySequence<? extends java.lang.Character> kmsMRKeyArn)
static KMSConfiguration	create_mrDiscovery(MRDiscovery mrDiscovery)
static KMSConfiguration	Default()
Discovery	dtor_discovery()
dafny.DafnySequence<? extends java.lang.Character>	dtor_kmsKeyArn()
dafny.DafnySequence<? extends java.lang.Character>	dtor_kmsMRKeyArn()
MRDiscovery	dtor_mrDiscovery()
boolean	is_discovery()
boolean	is_kmsKeyArn()
boolean	is_kmsMRKeyArn()
boolean	is_mrDiscovery()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KMSConfiguration

public KMSConfiguration()

Method Detail

Default

public static KMSConfiguration Default()

_typeDescriptor

public static dafny.TypeDescriptor<KMSConfiguration> _typeDescriptor()

create_kmsKeyArn

public static KMSConfiguration create_kmsKeyArn(dafny.DafnySequence<? extends java.lang.Character> kmsKeyArn)

create_kmsMRKeyArn

public static KMSConfiguration create_kmsMRKeyArn(dafny.DafnySequence<? extends java.lang.Character> kmsMRKeyArn)

create_discovery

public static KMSConfiguration create_discovery(Discovery discovery)

create_mrDiscovery

public static KMSConfiguration create_mrDiscovery(MRDiscovery mrDiscovery)

is_kmsKeyArn

public boolean is_kmsKeyArn()

is_kmsMRKeyArn

public boolean is_kmsMRKeyArn()

is_discovery

public boolean is_discovery()

is_mrDiscovery

public boolean is_mrDiscovery()

dtor_kmsKeyArn

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

dtor_kmsMRKeyArn

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

dtor_discovery

public Discovery dtor_discovery()

dtor_mrDiscovery

public MRDiscovery dtor_mrDiscovery()