public abstract class SymmetricSignatureAlgorithm
extends java.lang.Object
| Constructor and Description |
|---|
SymmetricSignatureAlgorithm() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<SymmetricSignatureAlgorithm> |
_typeDescriptor() |
static SymmetricSignatureAlgorithm |
create_HMAC(software.amazon.cryptography.primitives.internaldafny.types.DigestAlgorithm HMAC) |
static SymmetricSignatureAlgorithm |
create_None(None None) |
static SymmetricSignatureAlgorithm |
Default() |
software.amazon.cryptography.primitives.internaldafny.types.DigestAlgorithm |
dtor_HMAC() |
None |
dtor_None() |
boolean |
is_HMAC() |
boolean |
is_None() |
public static SymmetricSignatureAlgorithm Default()
public static dafny.TypeDescriptor<SymmetricSignatureAlgorithm> _typeDescriptor()
public static SymmetricSignatureAlgorithm create_HMAC(software.amazon.cryptography.primitives.internaldafny.types.DigestAlgorithm HMAC)
public static SymmetricSignatureAlgorithm create_None(None None)
public boolean is_HMAC()
public boolean is_None()
public software.amazon.cryptography.primitives.internaldafny.types.DigestAlgorithm dtor_HMAC()
public None dtor_None()