software.amazon.cryptography.materialproviders.internaldafny.types

Class AlgorithmSuiteId

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteId

Direct Known Subclasses:

AlgorithmSuiteId_DBE, AlgorithmSuiteId_ESDK

public abstract class AlgorithmSuiteId
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AlgorithmSuiteId()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<AlgorithmSuiteId>	_typeDescriptor()
static AlgorithmSuiteId	create_DBE(DBEAlgorithmSuiteId DBE)
static AlgorithmSuiteId	create_ESDK(ESDKAlgorithmSuiteId ESDK)
static AlgorithmSuiteId	Default()
DBEAlgorithmSuiteId	dtor_DBE()
ESDKAlgorithmSuiteId	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

AlgorithmSuiteId

public AlgorithmSuiteId()

Method Detail

Default

public static AlgorithmSuiteId Default()

_typeDescriptor

public static dafny.TypeDescriptor<AlgorithmSuiteId> _typeDescriptor()

create_ESDK

public static AlgorithmSuiteId create_ESDK(ESDKAlgorithmSuiteId ESDK)

create_DBE

public static AlgorithmSuiteId create_DBE(DBEAlgorithmSuiteId DBE)

is_ESDK

public boolean is_ESDK()

is_DBE

public boolean is_DBE()

dtor_ESDK

public ESDKAlgorithmSuiteId dtor_ESDK()

dtor_DBE

public DBEAlgorithmSuiteId dtor_DBE()