software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types

Class CryptoAction

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.CryptoAction

Direct Known Subclasses:

CryptoAction_DO__NOTHING, CryptoAction_ENCRYPT__AND__SIGN, CryptoAction_SIGN__ONLY

public abstract class CryptoAction
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CryptoAction()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CryptoAction>	_typeDescriptor()
static java.util.ArrayList<CryptoAction>	AllSingletonConstructors()
static CryptoAction	create_DO__NOTHING()
static CryptoAction	create_ENCRYPT__AND__SIGN()
static CryptoAction	create_SIGN__ONLY()
static CryptoAction	Default()
boolean	is_DO__NOTHING()
boolean	is_ENCRYPT__AND__SIGN()
boolean	is_SIGN__ONLY()

Methods inherited from class java.lang.Object

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

Constructor Detail

CryptoAction

public CryptoAction()

Method Detail

Default

public static CryptoAction Default()

_typeDescriptor

public static dafny.TypeDescriptor<CryptoAction> _typeDescriptor()

create_ENCRYPT__AND__SIGN

public static CryptoAction create_ENCRYPT__AND__SIGN()

create_SIGN__ONLY

public static CryptoAction create_SIGN__ONLY()

create_DO__NOTHING

public static CryptoAction create_DO__NOTHING()

is_ENCRYPT__AND__SIGN

public boolean is_ENCRYPT__AND__SIGN()

is_SIGN__ONLY

public boolean is_SIGN__ONLY()

is_DO__NOTHING

public boolean is_DO__NOTHING()

AllSingletonConstructors

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