public abstract class DBEAlgorithmSuiteId
extends java.lang.Object
| Constructor and Description |
|---|
DBEAlgorithmSuiteId() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<DBEAlgorithmSuiteId> |
_typeDescriptor() |
static java.util.ArrayList<DBEAlgorithmSuiteId> |
AllSingletonConstructors() |
static DBEAlgorithmSuiteId |
create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384() |
static DBEAlgorithmSuiteId |
create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384() |
static DBEAlgorithmSuiteId |
Default() |
boolean |
is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384() |
boolean |
is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384() |
public static DBEAlgorithmSuiteId Default()
public static dafny.TypeDescriptor<DBEAlgorithmSuiteId> _typeDescriptor()
public static DBEAlgorithmSuiteId create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384()
public static DBEAlgorithmSuiteId create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384()
public boolean is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384()
public boolean is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384()
public static java.util.ArrayList<DBEAlgorithmSuiteId> AllSingletonConstructors()