software.amazon.cryptography.materialproviders.internaldafny.types

Class ESDKCommitmentPolicy

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.ESDKCommitmentPolicy

Direct Known Subclasses:

ESDKCommitmentPolicy_FORBID__ENCRYPT__ALLOW__DECRYPT, ESDKCommitmentPolicy_REQUIRE__ENCRYPT__ALLOW__DECRYPT, ESDKCommitmentPolicy_REQUIRE__ENCRYPT__REQUIRE__DECRYPT

public abstract class ESDKCommitmentPolicy
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ESDKCommitmentPolicy()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<ESDKCommitmentPolicy>	_typeDescriptor()
static java.util.ArrayList<ESDKCommitmentPolicy>	AllSingletonConstructors()
static ESDKCommitmentPolicy	create_FORBID__ENCRYPT__ALLOW__DECRYPT()
static ESDKCommitmentPolicy	create_REQUIRE__ENCRYPT__ALLOW__DECRYPT()
static ESDKCommitmentPolicy	create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT()
static ESDKCommitmentPolicy	Default()
boolean	is_FORBID__ENCRYPT__ALLOW__DECRYPT()
boolean	is_REQUIRE__ENCRYPT__ALLOW__DECRYPT()
boolean	is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT()

Methods inherited from class java.lang.Object

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

Constructor Detail

ESDKCommitmentPolicy

public ESDKCommitmentPolicy()

Method Detail

Default

public static ESDKCommitmentPolicy Default()

_typeDescriptor

public static dafny.TypeDescriptor<ESDKCommitmentPolicy> _typeDescriptor()

create_FORBID__ENCRYPT__ALLOW__DECRYPT

public static ESDKCommitmentPolicy create_FORBID__ENCRYPT__ALLOW__DECRYPT()

create_REQUIRE__ENCRYPT__ALLOW__DECRYPT

public static ESDKCommitmentPolicy create_REQUIRE__ENCRYPT__ALLOW__DECRYPT()

create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT

public static ESDKCommitmentPolicy create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT()

is_FORBID__ENCRYPT__ALLOW__DECRYPT

public boolean is_FORBID__ENCRYPT__ALLOW__DECRYPT()

is_REQUIRE__ENCRYPT__ALLOW__DECRYPT

public boolean is_REQUIRE__ENCRYPT__ALLOW__DECRYPT()

is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT

public boolean is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT()

AllSingletonConstructors

public static java.util.ArrayList<ESDKCommitmentPolicy> AllSingletonConstructors()