software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types

Class LegacyPolicy

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy

Direct Known Subclasses:

LegacyPolicy_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT, LegacyPolicy_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT, LegacyPolicy_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT

public abstract class LegacyPolicy
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
LegacyPolicy()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<LegacyPolicy>	_typeDescriptor()
static java.util.ArrayList<LegacyPolicy>	AllSingletonConstructors()
static LegacyPolicy	create_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()
static LegacyPolicy	create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT()
static LegacyPolicy	create_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()
static LegacyPolicy	Default()
boolean	is_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()
boolean	is_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT()
boolean	is_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()

Methods inherited from class java.lang.Object

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

Constructor Detail

LegacyPolicy

public LegacyPolicy()

Method Detail

Default

public static LegacyPolicy Default()

_typeDescriptor

public static dafny.TypeDescriptor<LegacyPolicy> _typeDescriptor()

create_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT

public static LegacyPolicy create_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()

create_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT

public static LegacyPolicy create_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()

create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT

public static LegacyPolicy create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT()

is_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT

public boolean is_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()

is_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT

public boolean is_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT()

is_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT

public boolean is_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT()

AllSingletonConstructors

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