public class AlgorithmSuiteInfo
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends java.lang.Byte> |
_binaryId |
DerivationAlgorithm |
_commitment |
EdkWrappingAlgorithm |
_edkWrapping |
Encrypt |
_encrypt |
AlgorithmSuiteId |
_id |
DerivationAlgorithm |
_kdf |
int |
_messageVersion |
SignatureAlgorithm |
_signature |
SymmetricSignatureAlgorithm |
_symmetricSignature |
| Constructor and Description |
|---|
AlgorithmSuiteInfo(AlgorithmSuiteId id,
dafny.DafnySequence<? extends java.lang.Byte> binaryId,
int messageVersion,
Encrypt encrypt,
DerivationAlgorithm kdf,
DerivationAlgorithm commitment,
SignatureAlgorithm signature,
SymmetricSignatureAlgorithm symmetricSignature,
EdkWrappingAlgorithm edkWrapping) |
public AlgorithmSuiteId _id
public dafny.DafnySequence<? extends java.lang.Byte> _binaryId
public int _messageVersion
public Encrypt _encrypt
public DerivationAlgorithm _kdf
public DerivationAlgorithm _commitment
public SignatureAlgorithm _signature
public SymmetricSignatureAlgorithm _symmetricSignature
public EdkWrappingAlgorithm _edkWrapping
public AlgorithmSuiteInfo(AlgorithmSuiteId id, dafny.DafnySequence<? extends java.lang.Byte> binaryId, int messageVersion, Encrypt encrypt, DerivationAlgorithm kdf, DerivationAlgorithm commitment, SignatureAlgorithm signature, SymmetricSignatureAlgorithm symmetricSignature, EdkWrappingAlgorithm edkWrapping)
public boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic static AlgorithmSuiteInfo Default()
public static dafny.TypeDescriptor<AlgorithmSuiteInfo> _typeDescriptor()
public static AlgorithmSuiteInfo create(AlgorithmSuiteId id, dafny.DafnySequence<? extends java.lang.Byte> binaryId, int messageVersion, Encrypt encrypt, DerivationAlgorithm kdf, DerivationAlgorithm commitment, SignatureAlgorithm signature, SymmetricSignatureAlgorithm symmetricSignature, EdkWrappingAlgorithm edkWrapping)
public static AlgorithmSuiteInfo create_AlgorithmSuiteInfo(AlgorithmSuiteId id, dafny.DafnySequence<? extends java.lang.Byte> binaryId, int messageVersion, Encrypt encrypt, DerivationAlgorithm kdf, DerivationAlgorithm commitment, SignatureAlgorithm signature, SymmetricSignatureAlgorithm symmetricSignature, EdkWrappingAlgorithm edkWrapping)
public boolean is_AlgorithmSuiteInfo()
public AlgorithmSuiteId dtor_id()
public dafny.DafnySequence<? extends java.lang.Byte> dtor_binaryId()
public int dtor_messageVersion()
public Encrypt dtor_encrypt()
public DerivationAlgorithm dtor_kdf()
public DerivationAlgorithm dtor_commitment()
public SignatureAlgorithm dtor_signature()
public SymmetricSignatureAlgorithm dtor_symmetricSignature()
public EdkWrappingAlgorithm dtor_edkWrapping()