software.amazon.cryptography.materialproviders.internaldafny.types

Class CommitmentPolicy

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.CommitmentPolicy

Direct Known Subclasses:

CommitmentPolicy_DBE, CommitmentPolicy_ESDK

public abstract class CommitmentPolicy
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CommitmentPolicy()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CommitmentPolicy>	_typeDescriptor()
static CommitmentPolicy	create_DBE(DBECommitmentPolicy DBE)
static CommitmentPolicy	create_ESDK(ESDKCommitmentPolicy ESDK)
static CommitmentPolicy	Default()
DBECommitmentPolicy	dtor_DBE()
ESDKCommitmentPolicy	dtor_ESDK()
boolean	is_DBE()
boolean	is_ESDK()

Methods inherited from class java.lang.Object

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

Constructor Detail

CommitmentPolicy

public CommitmentPolicy()

Method Detail

Default

public static CommitmentPolicy Default()

_typeDescriptor

public static dafny.TypeDescriptor<CommitmentPolicy> _typeDescriptor()

create_ESDK

public static CommitmentPolicy create_ESDK(ESDKCommitmentPolicy ESDK)

create_DBE

public static CommitmentPolicy create_DBE(DBECommitmentPolicy DBE)

is_ESDK

public boolean is_ESDK()

is_DBE

public boolean is_DBE()

dtor_ESDK

public ESDKCommitmentPolicy dtor_ESDK()

dtor_DBE

public DBECommitmentPolicy dtor_DBE()