software.amazon.cryptography.materialproviders.internaldafny.types

Class SignatureAlgorithm

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.SignatureAlgorithm

Direct Known Subclasses:

SignatureAlgorithm_ECDSA, SignatureAlgorithm_None

public abstract class SignatureAlgorithm
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SignatureAlgorithm()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<SignatureAlgorithm>	_typeDescriptor()
static SignatureAlgorithm	create_ECDSA(ECDSA ECDSA)
static SignatureAlgorithm	create_None(None None)
static SignatureAlgorithm	Default()
ECDSA	dtor_ECDSA()
None	dtor_None()
boolean	is_ECDSA()
boolean	is_None()

Methods inherited from class java.lang.Object

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

Constructor Detail

SignatureAlgorithm

public SignatureAlgorithm()

Method Detail

Default

public static SignatureAlgorithm Default()

_typeDescriptor

public static dafny.TypeDescriptor<SignatureAlgorithm> _typeDescriptor()

create_ECDSA

public static SignatureAlgorithm create_ECDSA(ECDSA ECDSA)

create_None

public static SignatureAlgorithm create_None(None None)

is_ECDSA

public boolean is_ECDSA()

is_None

public boolean is_None()

dtor_ECDSA

public ECDSA dtor_ECDSA()

dtor_None

public None dtor_None()