software.amazon.cryptography.materialproviders.internaldafny.types

Class AlgorithmSuiteInfo

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo

public class AlgorithmSuiteInfo
extends java.lang.Object

Field Summary

Fields

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 Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<AlgorithmSuiteInfo>	_typeDescriptor()
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)
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)
static AlgorithmSuiteInfo	Default()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_binaryId()
DerivationAlgorithm	dtor_commitment()
EdkWrappingAlgorithm	dtor_edkWrapping()
Encrypt	dtor_encrypt()
AlgorithmSuiteId	dtor_id()
DerivationAlgorithm	dtor_kdf()
int	dtor_messageVersion()
SignatureAlgorithm	dtor_signature()
SymmetricSignatureAlgorithm	dtor_symmetricSignature()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_AlgorithmSuiteInfo()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_id

public AlgorithmSuiteId _id

_binaryId

public dafny.DafnySequence<? extends java.lang.Byte> _binaryId

_messageVersion

public int _messageVersion

_encrypt

public Encrypt _encrypt

_kdf

public DerivationAlgorithm _kdf

_commitment

public DerivationAlgorithm _commitment

_signature

public SignatureAlgorithm _signature

_symmetricSignature

public SymmetricSignatureAlgorithm _symmetricSignature

_edkWrapping

public EdkWrappingAlgorithm _edkWrapping

Constructor Detail

AlgorithmSuiteInfo

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)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static AlgorithmSuiteInfo Default()

_typeDescriptor

public static dafny.TypeDescriptor<AlgorithmSuiteInfo> _typeDescriptor()

create

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)

create_AlgorithmSuiteInfo

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)

is_AlgorithmSuiteInfo

public boolean is_AlgorithmSuiteInfo()

dtor_id

public AlgorithmSuiteId dtor_id()

dtor_binaryId

public dafny.DafnySequence<? extends java.lang.Byte> dtor_binaryId()

dtor_messageVersion

public int dtor_messageVersion()

dtor_encrypt

public Encrypt dtor_encrypt()

dtor_kdf

public DerivationAlgorithm dtor_kdf()

dtor_commitment

public DerivationAlgorithm dtor_commitment()

dtor_signature

public SignatureAlgorithm dtor_signature()

dtor_symmetricSignature

public SymmetricSignatureAlgorithm dtor_symmetricSignature()

dtor_edkWrapping

public EdkWrappingAlgorithm dtor_edkWrapping()