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

Class PlaintextOverride

java.lang.Object

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

Direct Known Subclasses:

PlaintextOverride_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ, PlaintextOverride_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ, PlaintextOverride_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ

public abstract class PlaintextOverride
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PlaintextOverride()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<PlaintextOverride>	_typeDescriptor()
static java.util.ArrayList<PlaintextOverride>	AllSingletonConstructors()
static PlaintextOverride	create_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
static PlaintextOverride	create_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ()
static PlaintextOverride	create_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
static PlaintextOverride	Default()
boolean	is_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()
boolean	is_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ()
boolean	is_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()

Methods inherited from class java.lang.Object

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

Constructor Detail

PlaintextOverride

public PlaintextOverride()

Method Detail

Default

public static PlaintextOverride Default()

_typeDescriptor

public static dafny.TypeDescriptor<PlaintextOverride> _typeDescriptor()

create_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ

public static PlaintextOverride create_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()

create_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ

public static PlaintextOverride create_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()

create_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ

public static PlaintextOverride create_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ()

is_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ

public boolean is_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()

is_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ

public boolean is_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ()

is_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ

public boolean is_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ()

AllSingletonConstructors

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