software.amazon.cryptography.materialproviders.internaldafny.types

Class StaticConfigurations

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.StaticConfigurations

Direct Known Subclasses:

StaticConfigurations_AWS__KMS__ECDH, StaticConfigurations_RAW__ECDH

public abstract class StaticConfigurations
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StaticConfigurations()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<StaticConfigurations>	_typeDescriptor()
static StaticConfigurations	create_AWS__KMS__ECDH(KmsEcdhStaticConfigurations AWS__KMS__ECDH)
static StaticConfigurations	create_RAW__ECDH(RawEcdhStaticConfigurations RAW__ECDH)
static StaticConfigurations	Default()
KmsEcdhStaticConfigurations	dtor_AWS__KMS__ECDH()
RawEcdhStaticConfigurations	dtor_RAW__ECDH()
boolean	is_AWS__KMS__ECDH()
boolean	is_RAW__ECDH()

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticConfigurations

public StaticConfigurations()

Method Detail

Default

public static StaticConfigurations Default()

_typeDescriptor

public static dafny.TypeDescriptor<StaticConfigurations> _typeDescriptor()

create_AWS__KMS__ECDH

public static StaticConfigurations create_AWS__KMS__ECDH(KmsEcdhStaticConfigurations AWS__KMS__ECDH)

create_RAW__ECDH

public static StaticConfigurations create_RAW__ECDH(RawEcdhStaticConfigurations RAW__ECDH)

is_AWS__KMS__ECDH

public boolean is_AWS__KMS__ECDH()

is_RAW__ECDH

public boolean is_RAW__ECDH()

dtor_AWS__KMS__ECDH

public KmsEcdhStaticConfigurations dtor_AWS__KMS__ECDH()

dtor_RAW__ECDH

public RawEcdhStaticConfigurations dtor_RAW__ECDH()