software.amazon.cryptography.materialproviders.internaldafny.types

Class DerivationAlgorithm

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.DerivationAlgorithm

Direct Known Subclasses:

DerivationAlgorithm_HKDF, DerivationAlgorithm_IDENTITY, DerivationAlgorithm_None

public abstract class DerivationAlgorithm
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DerivationAlgorithm()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<DerivationAlgorithm>	_typeDescriptor()
static DerivationAlgorithm	create_HKDF(HKDF HKDF)
static DerivationAlgorithm	create_IDENTITY(IDENTITY IDENTITY)
static DerivationAlgorithm	create_None(None None)
static DerivationAlgorithm	Default()
HKDF	dtor_HKDF()
IDENTITY	dtor_IDENTITY()
None	dtor_None()
boolean	is_HKDF()
boolean	is_IDENTITY()
boolean	is_None()

Methods inherited from class java.lang.Object

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

Constructor Detail

DerivationAlgorithm

public DerivationAlgorithm()

Method Detail

Default

public static DerivationAlgorithm Default()

_typeDescriptor

public static dafny.TypeDescriptor<DerivationAlgorithm> _typeDescriptor()

create_HKDF

public static DerivationAlgorithm create_HKDF(HKDF HKDF)

create_IDENTITY

public static DerivationAlgorithm create_IDENTITY(IDENTITY IDENTITY)

create_None

public static DerivationAlgorithm create_None(None None)

is_HKDF

public boolean is_HKDF()

is_IDENTITY

public boolean is_IDENTITY()

is_None

public boolean is_None()

dtor_HKDF

public HKDF dtor_HKDF()

dtor_IDENTITY

public IDENTITY dtor_IDENTITY()

dtor_None

public None dtor_None()