AwsCryptographyPrimitivesTypes

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 39 Imported by: 73

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AESDecryptInput_ = CompanionStruct_AESDecryptInput_{}
View Source 
var Companion_AESEncryptInput_ = CompanionStruct_AESEncryptInput_{}
View Source 
var Companion_AESEncryptOutput_ = CompanionStruct_AESEncryptOutput_{}
View Source 
var Companion_AES__CTR_ = CompanionStruct_AES__CTR_{}
View Source 
var Companion_AES__GCM_ = CompanionStruct_AES__GCM_{}
View Source 
var Companion_AesKdfCtrInput_ = CompanionStruct_AesKdfCtrInput_{}
View Source 
var Companion_CompressPublicKeyInput_ = CompanionStruct_CompressPublicKeyInput_{}
View Source 
var Companion_CompressPublicKeyOutput_ = CompanionStruct_CompressPublicKeyOutput_{}
View Source 
var Companion_CryptoConfig_ = CompanionStruct_CryptoConfig_{}
View Source 
var Companion_DafnyCallEvent_ = CompanionStruct_DafnyCallEvent_{}
View Source 
var Companion_DecompressPublicKeyInput_ = CompanionStruct_DecompressPublicKeyInput_{}
View Source 
var Companion_DecompressPublicKeyOutput_ = CompanionStruct_DecompressPublicKeyOutput_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_DeriveSharedSecretInput_ = CompanionStruct_DeriveSharedSecretInput_{}
View Source 
var Companion_DeriveSharedSecretOutput_ = CompanionStruct_DeriveSharedSecretOutput_{}
View Source 
var Companion_DigestAlgorithm_ = CompanionStruct_DigestAlgorithm_{}
View Source 
var Companion_DigestInput_ = CompanionStruct_DigestInput_{}
View Source 
var Companion_DummySubsetType_ = CompanionStruct_DummySubsetType_{}
View Source 
var Companion_ECCPrivateKey_ = CompanionStruct_ECCPrivateKey_{}
View Source 
var Companion_ECCPublicKey_ = CompanionStruct_ECCPublicKey_{}
View Source 
var Companion_ECDHCurveSpec_ = CompanionStruct_ECDHCurveSpec_{}
View Source 
var Companion_ECDSASignInput_ = CompanionStruct_ECDSASignInput_{}
View Source 
var Companion_ECDSASignatureAlgorithm_ = CompanionStruct_ECDSASignatureAlgorithm_{}
View Source 
var Companion_ECDSAVerifyInput_ = CompanionStruct_ECDSAVerifyInput_{}
View Source 
var Companion_Error_ = CompanionStruct_Error_{}
View Source 
var Companion_GenerateECCKeyPairInput_ = CompanionStruct_GenerateECCKeyPairInput_{}
View Source 
var Companion_GenerateECCKeyPairOutput_ = CompanionStruct_GenerateECCKeyPairOutput_{}
View Source 
var Companion_GenerateECDSASignatureKeyInput_ = CompanionStruct_GenerateECDSASignatureKeyInput_{}
View Source 
var Companion_GenerateECDSASignatureKeyOutput_ = CompanionStruct_GenerateECDSASignatureKeyOutput_{}
View Source 
var Companion_GenerateRSAKeyPairInput_ = CompanionStruct_GenerateRSAKeyPairInput_{}
View Source 
var Companion_GenerateRSAKeyPairOutput_ = CompanionStruct_GenerateRSAKeyPairOutput_{}
View Source 
var Companion_GenerateRandomBytesInput_ = CompanionStruct_GenerateRandomBytesInput_{}
View Source 
var Companion_GetPublicKeyFromPrivateKeyInput_ = CompanionStruct_GetPublicKeyFromPrivateKeyInput_{}
View Source 
var Companion_GetPublicKeyFromPrivateKeyOutput_ = CompanionStruct_GetPublicKeyFromPrivateKeyOutput_{}
View Source 
var Companion_GetRSAKeyModulusLengthInput_ = CompanionStruct_GetRSAKeyModulusLengthInput_{}
View Source 
var Companion_GetRSAKeyModulusLengthOutput_ = CompanionStruct_GetRSAKeyModulusLengthOutput_{}
View Source 
var Companion_HMacInput_ = CompanionStruct_HMacInput_{}
View Source 
var Companion_HkdfExpandInput_ = CompanionStruct_HkdfExpandInput_{}
View Source 
var Companion_HkdfExtractInput_ = CompanionStruct_HkdfExtractInput_{}
View Source 
var Companion_HkdfInput_ = CompanionStruct_HkdfInput_{}
View Source 
var Companion_IAwsCryptographicPrimitivesClientCallHistory_ = CompanionStruct_IAwsCryptographicPrimitivesClientCallHistory_{}
View Source 
var Companion_IAwsCryptographicPrimitivesClient_ = CompanionStruct_IAwsCryptographicPrimitivesClient_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_KdfCtrInput_ = CompanionStruct_KdfCtrInput_{}
View Source 
var Companion_OpaqueError_ = CompanionStruct_OpaqueError_{}
View Source 
var Companion_ParsePublicKeyInput_ = CompanionStruct_ParsePublicKeyInput_{}
View Source 
var Companion_ParsePublicKeyOutput_ = CompanionStruct_ParsePublicKeyOutput_{}
View Source 
var Companion_PositiveInteger_ = CompanionStruct_PositiveInteger_{}
View Source 
var Companion_RSADecryptInput_ = CompanionStruct_RSADecryptInput_{}
View Source 
var Companion_RSAEncryptInput_ = CompanionStruct_RSAEncryptInput_{}
View Source 
var Companion_RSAModulusLengthBitsToGenerate_ = CompanionStruct_RSAModulusLengthBitsToGenerate_{}
View Source 
var Companion_RSAModulusLengthBits_ = CompanionStruct_RSAModulusLengthBits_{}
View Source 
var Companion_RSAPaddingMode_ = CompanionStruct_RSAPaddingMode_{}
View Source 
var Companion_RSAPrivateKey_ = CompanionStruct_RSAPrivateKey_{}
View Source 
var Companion_RSAPublicKey_ = CompanionStruct_RSAPublicKey_{}
View Source 
var Companion_SymmetricKeyLength_ = CompanionStruct_SymmetricKeyLength_{}
View Source 
var Companion_Uint8Bits_ = CompanionStruct_Uint8Bits_{}
View Source 
var Companion_Uint8Bytes_ = CompanionStruct_Uint8Bytes_{}
View Source 
var Companion_ValidatePublicKeyInput_ = CompanionStruct_ValidatePublicKeyInput_{}
View Source 
var Companion_ValidatePublicKeyOutput_ = CompanionStruct_ValidatePublicKeyOutput_{}

Functions

func Type_AESDecryptInput_ 

func Type_AESDecryptInput_() _dafny.TypeDescriptor

func Type_AESEncryptInput_ 

func Type_AESEncryptInput_() _dafny.TypeDescriptor

func Type_AESEncryptOutput_ 

func Type_AESEncryptOutput_() _dafny.TypeDescriptor

func Type_AES__CTR_ 

func Type_AES__CTR_() _dafny.TypeDescriptor

func Type_AES__GCM_ 

func Type_AES__GCM_() _dafny.TypeDescriptor

func Type_AesKdfCtrInput_ 

func Type_AesKdfCtrInput_() _dafny.TypeDescriptor

func Type_CompressPublicKeyInput_ 

func Type_CompressPublicKeyInput_() _dafny.TypeDescriptor

func Type_CompressPublicKeyOutput_ 

func Type_CompressPublicKeyOutput_() _dafny.TypeDescriptor

func Type_CryptoConfig_ 

func Type_CryptoConfig_() _dafny.TypeDescriptor

func Type_DafnyCallEvent_ 

func Type_DafnyCallEvent_(Type_I_ _dafny.TypeDescriptor, Type_O_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_DecompressPublicKeyInput_ 

func Type_DecompressPublicKeyInput_() _dafny.TypeDescriptor

func Type_DecompressPublicKeyOutput_ 

func Type_DecompressPublicKeyOutput_() _dafny.TypeDescriptor

func Type_DeriveSharedSecretInput_ 

func Type_DeriveSharedSecretInput_() _dafny.TypeDescriptor

func Type_DeriveSharedSecretOutput_ 

func Type_DeriveSharedSecretOutput_() _dafny.TypeDescriptor

func Type_DigestAlgorithm_ 

func Type_DigestAlgorithm_() _dafny.TypeDescriptor

func Type_DigestInput_ 

func Type_DigestInput_() _dafny.TypeDescriptor

func Type_DummySubsetType_ 

func Type_DummySubsetType_() _dafny.TypeDescriptor

func Type_ECCPrivateKey_ 

func Type_ECCPrivateKey_() _dafny.TypeDescriptor

func Type_ECCPublicKey_ 

func Type_ECCPublicKey_() _dafny.TypeDescriptor

func Type_ECDHCurveSpec_ 

func Type_ECDHCurveSpec_() _dafny.TypeDescriptor

func Type_ECDSASignInput_ 

func Type_ECDSASignInput_() _dafny.TypeDescriptor

func Type_ECDSASignatureAlgorithm_ 

func Type_ECDSASignatureAlgorithm_() _dafny.TypeDescriptor

func Type_ECDSAVerifyInput_ 

func Type_ECDSAVerifyInput_() _dafny.TypeDescriptor

func Type_Error_ 

func Type_Error_() _dafny.TypeDescriptor

func Type_GenerateECCKeyPairInput_ 

func Type_GenerateECCKeyPairInput_() _dafny.TypeDescriptor

func Type_GenerateECCKeyPairOutput_ 

func Type_GenerateECCKeyPairOutput_() _dafny.TypeDescriptor

func Type_GenerateECDSASignatureKeyInput_ 

func Type_GenerateECDSASignatureKeyInput_() _dafny.TypeDescriptor

func Type_GenerateECDSASignatureKeyOutput_ 

func Type_GenerateECDSASignatureKeyOutput_() _dafny.TypeDescriptor

func Type_GenerateRSAKeyPairInput_ 

func Type_GenerateRSAKeyPairInput_() _dafny.TypeDescriptor

func Type_GenerateRSAKeyPairOutput_ 

func Type_GenerateRSAKeyPairOutput_() _dafny.TypeDescriptor

func Type_GenerateRandomBytesInput_ 

func Type_GenerateRandomBytesInput_() _dafny.TypeDescriptor

func Type_GetPublicKeyFromPrivateKeyInput_ 

func Type_GetPublicKeyFromPrivateKeyInput_() _dafny.TypeDescriptor

func Type_GetPublicKeyFromPrivateKeyOutput_ 

func Type_GetPublicKeyFromPrivateKeyOutput_() _dafny.TypeDescriptor

func Type_GetRSAKeyModulusLengthInput_ 

func Type_GetRSAKeyModulusLengthInput_() _dafny.TypeDescriptor

func Type_GetRSAKeyModulusLengthOutput_ 

func Type_GetRSAKeyModulusLengthOutput_() _dafny.TypeDescriptor

func Type_HMacInput_ 

func Type_HMacInput_() _dafny.TypeDescriptor

func Type_HkdfExpandInput_ 

func Type_HkdfExpandInput_() _dafny.TypeDescriptor

func Type_HkdfExtractInput_ 

func Type_HkdfExtractInput_() _dafny.TypeDescriptor

func Type_HkdfInput_ 

func Type_HkdfInput_() _dafny.TypeDescriptor

func Type_IAwsCryptographicPrimitivesClientCallHistory_ 

func Type_IAwsCryptographicPrimitivesClientCallHistory_() _dafny.TypeDescriptor

func Type_KdfCtrInput_ 

func Type_KdfCtrInput_() _dafny.TypeDescriptor

func Type_OpaqueError_ 

func Type_OpaqueError_() _dafny.TypeDescriptor

func Type_ParsePublicKeyInput_ 

func Type_ParsePublicKeyInput_() _dafny.TypeDescriptor

func Type_ParsePublicKeyOutput_ 

func Type_ParsePublicKeyOutput_() _dafny.TypeDescriptor

func Type_PositiveInteger_ 

func Type_PositiveInteger_() _dafny.TypeDescriptor

func Type_RSADecryptInput_ 

func Type_RSADecryptInput_() _dafny.TypeDescriptor

func Type_RSAEncryptInput_ 

func Type_RSAEncryptInput_() _dafny.TypeDescriptor

func Type_RSAModulusLengthBitsToGenerate_ 

func Type_RSAModulusLengthBitsToGenerate_() _dafny.TypeDescriptor

func Type_RSAModulusLengthBits_ 

func Type_RSAModulusLengthBits_() _dafny.TypeDescriptor

func Type_RSAPaddingMode_ 

func Type_RSAPaddingMode_() _dafny.TypeDescriptor

func Type_RSAPrivateKey_ 

func Type_RSAPrivateKey_() _dafny.TypeDescriptor

func Type_RSAPublicKey_ 

func Type_RSAPublicKey_() _dafny.TypeDescriptor

func Type_SymmetricKeyLength_ 

func Type_SymmetricKeyLength_() _dafny.TypeDescriptor

func Type_Uint8Bits_ 

func Type_Uint8Bits_() _dafny.TypeDescriptor

func Type_Uint8Bytes_ 

func Type_Uint8Bytes_() _dafny.TypeDescriptor

func Type_ValidatePublicKeyInput_ 

func Type_ValidatePublicKeyInput_() _dafny.TypeDescriptor

func Type_ValidatePublicKeyOutput_ 

func Type_ValidatePublicKeyOutput_() _dafny.TypeDescriptor

Types

type AESDecryptInput 

type AESDecryptInput struct {
	Data_AESDecryptInput_
}

Definition of datatype AESDecryptInput

func (AESDecryptInput) Dtor_aad 

func (_this AESDecryptInput) Dtor_aad() _dafny.Sequence

func (AESDecryptInput) Dtor_authTag 

func (_this AESDecryptInput) Dtor_authTag() _dafny.Sequence

func (AESDecryptInput) Dtor_cipherTxt 

func (_this AESDecryptInput) Dtor_cipherTxt() _dafny.Sequence

func (AESDecryptInput) Dtor_encAlg 

func (_this AESDecryptInput) Dtor_encAlg() AES__GCM

func (AESDecryptInput) Dtor_iv 

func (_this AESDecryptInput) Dtor_iv() _dafny.Sequence

func (AESDecryptInput) Dtor_key 

func (_this AESDecryptInput) Dtor_key() _dafny.Sequence

func (AESDecryptInput) Equals 

func (_this AESDecryptInput) Equals(other AESDecryptInput) bool

func (AESDecryptInput) EqualsGeneric 

func (_this AESDecryptInput) EqualsGeneric(other interface{}) bool

func (AESDecryptInput) Get_ 

func (_this AESDecryptInput) Get_() Data_AESDecryptInput_

func (AESDecryptInput) Is_AESDecryptInput 

func (_this AESDecryptInput) Is_AESDecryptInput() bool

func (AESDecryptInput) ParentTraits_ 

func (_this AESDecryptInput) ParentTraits_() []*_dafny.TraitID

func (AESDecryptInput) String 

func (_this AESDecryptInput) String() string

type AESDecryptInput_AESDecryptInput 

type AESDecryptInput_AESDecryptInput struct {
	EncAlg    AES__GCM
	Key       _dafny.Sequence
	CipherTxt _dafny.Sequence
	AuthTag   _dafny.Sequence
	Iv        _dafny.Sequence
	Aad       _dafny.Sequence
}

type AESEncryptInput 

type AESEncryptInput struct {
	Data_AESEncryptInput_
}

Definition of datatype AESEncryptInput

func (AESEncryptInput) Dtor_aad 

func (_this AESEncryptInput) Dtor_aad() _dafny.Sequence

func (AESEncryptInput) Dtor_encAlg 

func (_this AESEncryptInput) Dtor_encAlg() AES__GCM

func (AESEncryptInput) Dtor_iv 

func (_this AESEncryptInput) Dtor_iv() _dafny.Sequence

func (AESEncryptInput) Dtor_key 

func (_this AESEncryptInput) Dtor_key() _dafny.Sequence

func (AESEncryptInput) Dtor_msg 

func (_this AESEncryptInput) Dtor_msg() _dafny.Sequence

func (AESEncryptInput) Equals 

func (_this AESEncryptInput) Equals(other AESEncryptInput) bool

func (AESEncryptInput) EqualsGeneric 

func (_this AESEncryptInput) EqualsGeneric(other interface{}) bool

func (AESEncryptInput) Get_ 

func (_this AESEncryptInput) Get_() Data_AESEncryptInput_

func (AESEncryptInput) Is_AESEncryptInput 

func (_this AESEncryptInput) Is_AESEncryptInput() bool

func (AESEncryptInput) ParentTraits_ 

func (_this AESEncryptInput) ParentTraits_() []*_dafny.TraitID

func (AESEncryptInput) String 

func (_this AESEncryptInput) String() string

type AESEncryptInput_AESEncryptInput 

type AESEncryptInput_AESEncryptInput struct {
	EncAlg AES__GCM
	Iv     _dafny.Sequence
	Key    _dafny.Sequence
	Msg    _dafny.Sequence
	Aad    _dafny.Sequence
}

type AESEncryptOutput 

type AESEncryptOutput struct {
	Data_AESEncryptOutput_
}

Definition of datatype AESEncryptOutput

func (AESEncryptOutput) Dtor_authTag 

func (_this AESEncryptOutput) Dtor_authTag() _dafny.Sequence

func (AESEncryptOutput) Dtor_cipherText 

func (_this AESEncryptOutput) Dtor_cipherText() _dafny.Sequence

func (AESEncryptOutput) Equals 

func (_this AESEncryptOutput) Equals(other AESEncryptOutput) bool

func (AESEncryptOutput) EqualsGeneric 

func (_this AESEncryptOutput) EqualsGeneric(other interface{}) bool

func (AESEncryptOutput) Get_ 

func (_this AESEncryptOutput) Get_() Data_AESEncryptOutput_

func (AESEncryptOutput) Is_AESEncryptOutput 

func (_this AESEncryptOutput) Is_AESEncryptOutput() bool

func (AESEncryptOutput) ParentTraits_ 

func (_this AESEncryptOutput) ParentTraits_() []*_dafny.TraitID

func (AESEncryptOutput) String 

func (_this AESEncryptOutput) String() string

type AESEncryptOutput_AESEncryptOutput 

type AESEncryptOutput_AESEncryptOutput struct {
	CipherText _dafny.Sequence
	AuthTag    _dafny.Sequence
}

type AES__CTR 

type AES__CTR struct {
	Data_AES__CTR_
}

Definition of datatype AES__CTR

func (AES__CTR) Dtor_keyLength 

func (_this AES__CTR) Dtor_keyLength() int32

func (AES__CTR) Dtor_nonceLength 

func (_this AES__CTR) Dtor_nonceLength() int32

func (AES__CTR) Equals 

func (_this AES__CTR) Equals(other AES__CTR) bool

func (AES__CTR) EqualsGeneric 

func (_this AES__CTR) EqualsGeneric(other interface{}) bool

func (AES__CTR) Get_ 

func (_this AES__CTR) Get_() Data_AES__CTR_

func (AES__CTR) Is_AES__CTR 

func (_this AES__CTR) Is_AES__CTR() bool

func (AES__CTR) ParentTraits_ 

func (_this AES__CTR) ParentTraits_() []*_dafny.TraitID

func (AES__CTR) String 

func (_this AES__CTR) String() string

type AES__CTR_AES__CTR 

type AES__CTR_AES__CTR struct {
	KeyLength   int32
	NonceLength int32
}

type AES__GCM 

type AES__GCM struct {
	Data_AES__GCM_
}

Definition of datatype AES__GCM

func (AES__GCM) Dtor_ivLength 

func (_this AES__GCM) Dtor_ivLength() int32

func (AES__GCM) Dtor_keyLength 

func (_this AES__GCM) Dtor_keyLength() int32

func (AES__GCM) Dtor_tagLength 

func (_this AES__GCM) Dtor_tagLength() int32

func (AES__GCM) Equals 

func (_this AES__GCM) Equals(other AES__GCM) bool

func (AES__GCM) EqualsGeneric 

func (_this AES__GCM) EqualsGeneric(other interface{}) bool

func (AES__GCM) Get_ 

func (_this AES__GCM) Get_() Data_AES__GCM_

func (AES__GCM) Is_AES__GCM 

func (_this AES__GCM) Is_AES__GCM() bool

func (AES__GCM) ParentTraits_ 

func (_this AES__GCM) ParentTraits_() []*_dafny.TraitID

func (AES__GCM) String 

func (_this AES__GCM) String() string

type AES__GCM_AES__GCM 

type AES__GCM_AES__GCM struct {
	KeyLength int32
	TagLength int32
	IvLength  int32
}

type AesKdfCtrInput 

type AesKdfCtrInput struct {
	Data_AesKdfCtrInput_
}

Definition of datatype AesKdfCtrInput

func (AesKdfCtrInput) Dtor_expectedLength 

func (_this AesKdfCtrInput) Dtor_expectedLength() int32

func (AesKdfCtrInput) Dtor_ikm 

func (_this AesKdfCtrInput) Dtor_ikm() _dafny.Sequence

func (AesKdfCtrInput) Dtor_nonce 

func (_this AesKdfCtrInput) Dtor_nonce() m_Wrappers.Option

func (AesKdfCtrInput) Equals 

func (_this AesKdfCtrInput) Equals(other AesKdfCtrInput) bool

func (AesKdfCtrInput) EqualsGeneric 

func (_this AesKdfCtrInput) EqualsGeneric(other interface{}) bool

func (AesKdfCtrInput) Get_ 

func (_this AesKdfCtrInput) Get_() Data_AesKdfCtrInput_

func (AesKdfCtrInput) Is_AesKdfCtrInput 

func (_this AesKdfCtrInput) Is_AesKdfCtrInput() bool

func (AesKdfCtrInput) ParentTraits_ 

func (_this AesKdfCtrInput) ParentTraits_() []*_dafny.TraitID

func (AesKdfCtrInput) String 

func (_this AesKdfCtrInput) String() string

type AesKdfCtrInput_AesKdfCtrInput 

type AesKdfCtrInput_AesKdfCtrInput struct {
	Ikm            _dafny.Sequence
	ExpectedLength int32
	Nonce          m_Wrappers.Option
}

type CompanionStruct_AESDecryptInput_ 

type CompanionStruct_AESDecryptInput_ struct {
}

func (CompanionStruct_AESDecryptInput_) Create_AESDecryptInput_ 

func (CompanionStruct_AESDecryptInput_) Create_AESDecryptInput_(EncAlg AES__GCM, Key _dafny.Sequence, CipherTxt _dafny.Sequence, AuthTag _dafny.Sequence, Iv _dafny.Sequence, Aad _dafny.Sequence) AESDecryptInput

func (CompanionStruct_AESDecryptInput_) Default 

func (CompanionStruct_AESDecryptInput_) Default() AESDecryptInput

type CompanionStruct_AESEncryptInput_ 

type CompanionStruct_AESEncryptInput_ struct {
}

func (CompanionStruct_AESEncryptInput_) Create_AESEncryptInput_ 

func (CompanionStruct_AESEncryptInput_) Create_AESEncryptInput_(EncAlg AES__GCM, Iv _dafny.Sequence, Key _dafny.Sequence, Msg _dafny.Sequence, Aad _dafny.Sequence) AESEncryptInput

func (CompanionStruct_AESEncryptInput_) Default 

func (CompanionStruct_AESEncryptInput_) Default() AESEncryptInput

type CompanionStruct_AESEncryptOutput_ 

type CompanionStruct_AESEncryptOutput_ struct {
}

func (CompanionStruct_AESEncryptOutput_) Create_AESEncryptOutput_ 

func (CompanionStruct_AESEncryptOutput_) Create_AESEncryptOutput_(CipherText _dafny.Sequence, AuthTag _dafny.Sequence) AESEncryptOutput

func (CompanionStruct_AESEncryptOutput_) Default 

func (CompanionStruct_AESEncryptOutput_) Default() AESEncryptOutput

type CompanionStruct_AES__CTR_ 

type CompanionStruct_AES__CTR_ struct {
}

func (CompanionStruct_AES__CTR_) Create_AES__CTR_ 

func (CompanionStruct_AES__CTR_) Create_AES__CTR_(KeyLength int32, NonceLength int32) AES__CTR

func (CompanionStruct_AES__CTR_) Default 

func (CompanionStruct_AES__CTR_) Default() AES__CTR

type CompanionStruct_AES__GCM_ 

type CompanionStruct_AES__GCM_ struct {
}

func (CompanionStruct_AES__GCM_) Create_AES__GCM_ 

func (CompanionStruct_AES__GCM_) Create_AES__GCM_(KeyLength int32, TagLength int32, IvLength int32) AES__GCM

func (CompanionStruct_AES__GCM_) Default 

func (CompanionStruct_AES__GCM_) Default() AES__GCM

type CompanionStruct_AesKdfCtrInput_ 

type CompanionStruct_AesKdfCtrInput_ struct {
}

func (CompanionStruct_AesKdfCtrInput_) Create_AesKdfCtrInput_ 

func (CompanionStruct_AesKdfCtrInput_) Create_AesKdfCtrInput_(Ikm _dafny.Sequence, ExpectedLength int32, Nonce m_Wrappers.Option) AesKdfCtrInput

func (CompanionStruct_AesKdfCtrInput_) Default 

func (CompanionStruct_AesKdfCtrInput_) Default() AesKdfCtrInput

type CompanionStruct_CompressPublicKeyInput_ 

type CompanionStruct_CompressPublicKeyInput_ struct {
}

func (CompanionStruct_CompressPublicKeyInput_) Create_CompressPublicKeyInput_ 

func (CompanionStruct_CompressPublicKeyInput_) Create_CompressPublicKeyInput_(PublicKey ECCPublicKey, EccCurve ECDHCurveSpec) CompressPublicKeyInput

func (CompanionStruct_CompressPublicKeyInput_) Default 

func (CompanionStruct_CompressPublicKeyInput_) Default() CompressPublicKeyInput

type CompanionStruct_CompressPublicKeyOutput_ 

type CompanionStruct_CompressPublicKeyOutput_ struct {
}

func (CompanionStruct_CompressPublicKeyOutput_) Create_CompressPublicKeyOutput_ 

func (CompanionStruct_CompressPublicKeyOutput_) Create_CompressPublicKeyOutput_(CompressedPublicKey _dafny.Sequence) CompressPublicKeyOutput

func (CompanionStruct_CompressPublicKeyOutput_) Default 

func (CompanionStruct_CompressPublicKeyOutput_) Default() CompressPublicKeyOutput

type CompanionStruct_CryptoConfig_ 

type CompanionStruct_CryptoConfig_ struct {
}

func (CompanionStruct_CryptoConfig_) AllSingletonConstructors 

func (_ CompanionStruct_CryptoConfig_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_CryptoConfig_) Create_CryptoConfig_ 

func (CompanionStruct_CryptoConfig_) Create_CryptoConfig_() CryptoConfig

func (CompanionStruct_CryptoConfig_) Default 

func (CompanionStruct_CryptoConfig_) Default() CryptoConfig

type CompanionStruct_DafnyCallEvent_ 

type CompanionStruct_DafnyCallEvent_ struct {
}

func (CompanionStruct_DafnyCallEvent_) Create_DafnyCallEvent_ 

func (CompanionStruct_DafnyCallEvent_) Create_DafnyCallEvent_(Input interface{}, Output interface{}) DafnyCallEvent

func (CompanionStruct_DafnyCallEvent_) Default 

func (CompanionStruct_DafnyCallEvent_) Default(_default_I interface{}, _default_O interface{}) DafnyCallEvent

type CompanionStruct_DecompressPublicKeyInput_ 

type CompanionStruct_DecompressPublicKeyInput_ struct {
}

func (CompanionStruct_DecompressPublicKeyInput_) Create_DecompressPublicKeyInput_ 

func (CompanionStruct_DecompressPublicKeyInput_) Create_DecompressPublicKeyInput_(CompressedPublicKey _dafny.Sequence, EccCurve ECDHCurveSpec) DecompressPublicKeyInput

func (CompanionStruct_DecompressPublicKeyInput_) Default 

func (CompanionStruct_DecompressPublicKeyInput_) Default() DecompressPublicKeyInput

type CompanionStruct_DecompressPublicKeyOutput_ 

type CompanionStruct_DecompressPublicKeyOutput_ struct {
}

func (CompanionStruct_DecompressPublicKeyOutput_) Create_DecompressPublicKeyOutput_ 

func (CompanionStruct_DecompressPublicKeyOutput_) Create_DecompressPublicKeyOutput_(PublicKey ECCPublicKey) DecompressPublicKeyOutput

func (CompanionStruct_DecompressPublicKeyOutput_) Default 

func (CompanionStruct_DecompressPublicKeyOutput_) Default() DecompressPublicKeyOutput

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) IsDummySubsetType 

func (_static *CompanionStruct_Default___) IsDummySubsetType(x _dafny.Int) bool

func (*CompanionStruct_Default___) IsValid__PositiveInteger 

func (_static *CompanionStruct_Default___) IsValid__PositiveInteger(x int32) bool

func (*CompanionStruct_Default___) IsValid__RSAModulusLengthBits 

func (_static *CompanionStruct_Default___) IsValid__RSAModulusLengthBits(x int32) bool

func (*CompanionStruct_Default___) IsValid__RSAModulusLengthBitsToGenerate 

func (_static *CompanionStruct_Default___) IsValid__RSAModulusLengthBitsToGenerate(x int32) bool

func (*CompanionStruct_Default___) IsValid__SymmetricKeyLength 

func (_static *CompanionStruct_Default___) IsValid__SymmetricKeyLength(x int32) bool

func (*CompanionStruct_Default___) IsValid__Uint8Bits 

func (_static *CompanionStruct_Default___) IsValid__Uint8Bits(x int32) bool

func (*CompanionStruct_Default___) IsValid__Uint8Bytes 

func (_static *CompanionStruct_Default___) IsValid__Uint8Bytes(x int32) bool

type CompanionStruct_DeriveSharedSecretInput_ 

type CompanionStruct_DeriveSharedSecretInput_ struct {
}

func (CompanionStruct_DeriveSharedSecretInput_) Create_DeriveSharedSecretInput_ 

func (CompanionStruct_DeriveSharedSecretInput_) Create_DeriveSharedSecretInput_(EccCurve ECDHCurveSpec, PrivateKey ECCPrivateKey, PublicKey ECCPublicKey) DeriveSharedSecretInput

func (CompanionStruct_DeriveSharedSecretInput_) Default 

func (CompanionStruct_DeriveSharedSecretInput_) Default() DeriveSharedSecretInput

type CompanionStruct_DeriveSharedSecretOutput_ 

type CompanionStruct_DeriveSharedSecretOutput_ struct {
}

func (CompanionStruct_DeriveSharedSecretOutput_) Create_DeriveSharedSecretOutput_ 

func (CompanionStruct_DeriveSharedSecretOutput_) Create_DeriveSharedSecretOutput_(SharedSecret _dafny.Sequence) DeriveSharedSecretOutput

func (CompanionStruct_DeriveSharedSecretOutput_) Default 

func (CompanionStruct_DeriveSharedSecretOutput_) Default() DeriveSharedSecretOutput

type CompanionStruct_DigestAlgorithm_ 

type CompanionStruct_DigestAlgorithm_ struct {
}

func (CompanionStruct_DigestAlgorithm_) AllSingletonConstructors 

func (_ CompanionStruct_DigestAlgorithm_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_DigestAlgorithm_) Create_SHA__256_ 

func (CompanionStruct_DigestAlgorithm_) Create_SHA__256_() DigestAlgorithm

func (CompanionStruct_DigestAlgorithm_) Create_SHA__384_ 

func (CompanionStruct_DigestAlgorithm_) Create_SHA__384_() DigestAlgorithm

func (CompanionStruct_DigestAlgorithm_) Create_SHA__512_ 

func (CompanionStruct_DigestAlgorithm_) Create_SHA__512_() DigestAlgorithm

func (CompanionStruct_DigestAlgorithm_) Default 

func (CompanionStruct_DigestAlgorithm_) Default() DigestAlgorithm

type CompanionStruct_DigestInput_ 

type CompanionStruct_DigestInput_ struct {
}

func (CompanionStruct_DigestInput_) Create_DigestInput_ 

func (CompanionStruct_DigestInput_) Create_DigestInput_(DigestAlgorithm DigestAlgorithm, Message _dafny.Sequence) DigestInput

func (CompanionStruct_DigestInput_) Default 

func (CompanionStruct_DigestInput_) Default() DigestInput

type CompanionStruct_DummySubsetType_ 

type CompanionStruct_DummySubsetType_ struct {
}

func (*CompanionStruct_DummySubsetType_) Is_ 

func (_this *CompanionStruct_DummySubsetType_) Is_(__source _dafny.Int) bool

func (*CompanionStruct_DummySubsetType_) Witness 

func (_this *CompanionStruct_DummySubsetType_) Witness() _dafny.Int

type CompanionStruct_ECCPrivateKey_ 

type CompanionStruct_ECCPrivateKey_ struct {
}

func (CompanionStruct_ECCPrivateKey_) Create_ECCPrivateKey_ 

func (CompanionStruct_ECCPrivateKey_) Create_ECCPrivateKey_(Pem _dafny.Sequence) ECCPrivateKey

func (CompanionStruct_ECCPrivateKey_) Default 

func (CompanionStruct_ECCPrivateKey_) Default() ECCPrivateKey

type CompanionStruct_ECCPublicKey_ 

type CompanionStruct_ECCPublicKey_ struct {
}

func (CompanionStruct_ECCPublicKey_) Create_ECCPublicKey_ 

func (CompanionStruct_ECCPublicKey_) Create_ECCPublicKey_(Der _dafny.Sequence) ECCPublicKey

func (CompanionStruct_ECCPublicKey_) Default 

func (CompanionStruct_ECCPublicKey_) Default() ECCPublicKey

type CompanionStruct_ECDHCurveSpec_ 

type CompanionStruct_ECDHCurveSpec_ struct {
}

func (CompanionStruct_ECDHCurveSpec_) AllSingletonConstructors 

func (_ CompanionStruct_ECDHCurveSpec_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_ECDHCurveSpec_) Create_ECC__NIST__P256_ 

func (CompanionStruct_ECDHCurveSpec_) Create_ECC__NIST__P256_() ECDHCurveSpec

func (CompanionStruct_ECDHCurveSpec_) Create_ECC__NIST__P384_ 

func (CompanionStruct_ECDHCurveSpec_) Create_ECC__NIST__P384_() ECDHCurveSpec

func (CompanionStruct_ECDHCurveSpec_) Create_ECC__NIST__P521_ 

func (CompanionStruct_ECDHCurveSpec_) Create_ECC__NIST__P521_() ECDHCurveSpec

func (CompanionStruct_ECDHCurveSpec_) Create_SM2_ 

func (CompanionStruct_ECDHCurveSpec_) Create_SM2_() ECDHCurveSpec

func (CompanionStruct_ECDHCurveSpec_) Default 

func (CompanionStruct_ECDHCurveSpec_) Default() ECDHCurveSpec

type CompanionStruct_ECDSASignInput_ 

type CompanionStruct_ECDSASignInput_ struct {
}

func (CompanionStruct_ECDSASignInput_) Create_ECDSASignInput_ 

func (CompanionStruct_ECDSASignInput_) Create_ECDSASignInput_(SignatureAlgorithm ECDSASignatureAlgorithm, SigningKey _dafny.Sequence, Message _dafny.Sequence) ECDSASignInput

func (CompanionStruct_ECDSASignInput_) Default 

func (CompanionStruct_ECDSASignInput_) Default() ECDSASignInput

type CompanionStruct_ECDSASignatureAlgorithm_ 

type CompanionStruct_ECDSASignatureAlgorithm_ struct {
}

func (CompanionStruct_ECDSASignatureAlgorithm_) AllSingletonConstructors 

func (_ CompanionStruct_ECDSASignatureAlgorithm_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_ECDSASignatureAlgorithm_) Create_ECDSA__P256_ 

func (CompanionStruct_ECDSASignatureAlgorithm_) Create_ECDSA__P256_() ECDSASignatureAlgorithm

func (CompanionStruct_ECDSASignatureAlgorithm_) Create_ECDSA__P384_ 

func (CompanionStruct_ECDSASignatureAlgorithm_) Create_ECDSA__P384_() ECDSASignatureAlgorithm

func (CompanionStruct_ECDSASignatureAlgorithm_) Default 

func (CompanionStruct_ECDSASignatureAlgorithm_) Default() ECDSASignatureAlgorithm

type CompanionStruct_ECDSAVerifyInput_ 

type CompanionStruct_ECDSAVerifyInput_ struct {
}

func (CompanionStruct_ECDSAVerifyInput_) Create_ECDSAVerifyInput_ 

func (CompanionStruct_ECDSAVerifyInput_) Create_ECDSAVerifyInput_(SignatureAlgorithm ECDSASignatureAlgorithm, VerificationKey _dafny.Sequence, Message _dafny.Sequence, Signature _dafny.Sequence) ECDSAVerifyInput

func (CompanionStruct_ECDSAVerifyInput_) Default 

func (CompanionStruct_ECDSAVerifyInput_) Default() ECDSAVerifyInput

type CompanionStruct_Error_ 

type CompanionStruct_Error_ struct {
}

func (CompanionStruct_Error_) Create_AwsCryptographicPrimitivesError_ 

func (CompanionStruct_Error_) Create_AwsCryptographicPrimitivesError_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_CollectionOfErrors_ 

func (CompanionStruct_Error_) Create_CollectionOfErrors_(List _dafny.Sequence, Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_OpaqueWithText_ 

func (CompanionStruct_Error_) Create_OpaqueWithText_(Obj interface{}, ObjMessage _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_Opaque_ 

func (CompanionStruct_Error_) Create_Opaque_(Obj interface{}) Error

func (CompanionStruct_Error_) Default 

func (CompanionStruct_Error_) Default() Error

type CompanionStruct_GenerateECCKeyPairInput_ 

type CompanionStruct_GenerateECCKeyPairInput_ struct {
}

func (CompanionStruct_GenerateECCKeyPairInput_) Create_GenerateECCKeyPairInput_ 

func (CompanionStruct_GenerateECCKeyPairInput_) Create_GenerateECCKeyPairInput_(EccCurve ECDHCurveSpec) GenerateECCKeyPairInput

func (CompanionStruct_GenerateECCKeyPairInput_) Default 

func (CompanionStruct_GenerateECCKeyPairInput_) Default() GenerateECCKeyPairInput

type CompanionStruct_GenerateECCKeyPairOutput_ 

type CompanionStruct_GenerateECCKeyPairOutput_ struct {
}

func (CompanionStruct_GenerateECCKeyPairOutput_) Create_GenerateECCKeyPairOutput_ 

func (CompanionStruct_GenerateECCKeyPairOutput_) Create_GenerateECCKeyPairOutput_(EccCurve ECDHCurveSpec, PrivateKey ECCPrivateKey, PublicKey ECCPublicKey) GenerateECCKeyPairOutput

func (CompanionStruct_GenerateECCKeyPairOutput_) Default 

func (CompanionStruct_GenerateECCKeyPairOutput_) Default() GenerateECCKeyPairOutput

type CompanionStruct_GenerateECDSASignatureKeyInput_ 

type CompanionStruct_GenerateECDSASignatureKeyInput_ struct {
}

func (CompanionStruct_GenerateECDSASignatureKeyInput_) Create_GenerateECDSASignatureKeyInput_ 

func (CompanionStruct_GenerateECDSASignatureKeyInput_) Create_GenerateECDSASignatureKeyInput_(SignatureAlgorithm ECDSASignatureAlgorithm) GenerateECDSASignatureKeyInput

func (CompanionStruct_GenerateECDSASignatureKeyInput_) Default 

func (CompanionStruct_GenerateECDSASignatureKeyInput_) Default() GenerateECDSASignatureKeyInput

type CompanionStruct_GenerateECDSASignatureKeyOutput_ 

type CompanionStruct_GenerateECDSASignatureKeyOutput_ struct {
}

func (CompanionStruct_GenerateECDSASignatureKeyOutput_) Create_GenerateECDSASignatureKeyOutput_ 

func (CompanionStruct_GenerateECDSASignatureKeyOutput_) Create_GenerateECDSASignatureKeyOutput_(SignatureAlgorithm ECDSASignatureAlgorithm, VerificationKey _dafny.Sequence, SigningKey _dafny.Sequence) GenerateECDSASignatureKeyOutput

func (CompanionStruct_GenerateECDSASignatureKeyOutput_) Default 

func (CompanionStruct_GenerateECDSASignatureKeyOutput_) Default() GenerateECDSASignatureKeyOutput

type CompanionStruct_GenerateRSAKeyPairInput_ 

type CompanionStruct_GenerateRSAKeyPairInput_ struct {
}

func (CompanionStruct_GenerateRSAKeyPairInput_) Create_GenerateRSAKeyPairInput_ 

func (CompanionStruct_GenerateRSAKeyPairInput_) Create_GenerateRSAKeyPairInput_(LengthBits int32) GenerateRSAKeyPairInput

func (CompanionStruct_GenerateRSAKeyPairInput_) Default 

func (CompanionStruct_GenerateRSAKeyPairInput_) Default() GenerateRSAKeyPairInput

type CompanionStruct_GenerateRSAKeyPairOutput_ 

type CompanionStruct_GenerateRSAKeyPairOutput_ struct {
}

func (CompanionStruct_GenerateRSAKeyPairOutput_) Create_GenerateRSAKeyPairOutput_ 

func (CompanionStruct_GenerateRSAKeyPairOutput_) Create_GenerateRSAKeyPairOutput_(PublicKey RSAPublicKey, PrivateKey RSAPrivateKey) GenerateRSAKeyPairOutput

func (CompanionStruct_GenerateRSAKeyPairOutput_) Default 

func (CompanionStruct_GenerateRSAKeyPairOutput_) Default() GenerateRSAKeyPairOutput

type CompanionStruct_GenerateRandomBytesInput_ 

type CompanionStruct_GenerateRandomBytesInput_ struct {
}

func (CompanionStruct_GenerateRandomBytesInput_) Create_GenerateRandomBytesInput_ 

func (CompanionStruct_GenerateRandomBytesInput_) Create_GenerateRandomBytesInput_(Length int32) GenerateRandomBytesInput

func (CompanionStruct_GenerateRandomBytesInput_) Default 

func (CompanionStruct_GenerateRandomBytesInput_) Default() GenerateRandomBytesInput

type CompanionStruct_GetPublicKeyFromPrivateKeyInput_ 

type CompanionStruct_GetPublicKeyFromPrivateKeyInput_ struct {
}

func (CompanionStruct_GetPublicKeyFromPrivateKeyInput_) Create_GetPublicKeyFromPrivateKeyInput_ 

func (CompanionStruct_GetPublicKeyFromPrivateKeyInput_) Create_GetPublicKeyFromPrivateKeyInput_(EccCurve ECDHCurveSpec, PrivateKey ECCPrivateKey) GetPublicKeyFromPrivateKeyInput

func (CompanionStruct_GetPublicKeyFromPrivateKeyInput_) Default 

func (CompanionStruct_GetPublicKeyFromPrivateKeyInput_) Default() GetPublicKeyFromPrivateKeyInput

type CompanionStruct_GetPublicKeyFromPrivateKeyOutput_ 

type CompanionStruct_GetPublicKeyFromPrivateKeyOutput_ struct {
}

func (CompanionStruct_GetPublicKeyFromPrivateKeyOutput_) Create_GetPublicKeyFromPrivateKeyOutput_ 

func (CompanionStruct_GetPublicKeyFromPrivateKeyOutput_) Create_GetPublicKeyFromPrivateKeyOutput_(EccCurve ECDHCurveSpec, PrivateKey ECCPrivateKey, PublicKey _dafny.Sequence) GetPublicKeyFromPrivateKeyOutput

func (CompanionStruct_GetPublicKeyFromPrivateKeyOutput_) Default 

func (CompanionStruct_GetPublicKeyFromPrivateKeyOutput_) Default() GetPublicKeyFromPrivateKeyOutput

type CompanionStruct_GetRSAKeyModulusLengthInput_ 

type CompanionStruct_GetRSAKeyModulusLengthInput_ struct {
}

func (CompanionStruct_GetRSAKeyModulusLengthInput_) Create_GetRSAKeyModulusLengthInput_ 

func (CompanionStruct_GetRSAKeyModulusLengthInput_) Create_GetRSAKeyModulusLengthInput_(PublicKey _dafny.Sequence) GetRSAKeyModulusLengthInput

func (CompanionStruct_GetRSAKeyModulusLengthInput_) Default 

func (CompanionStruct_GetRSAKeyModulusLengthInput_) Default() GetRSAKeyModulusLengthInput

type CompanionStruct_GetRSAKeyModulusLengthOutput_ 

type CompanionStruct_GetRSAKeyModulusLengthOutput_ struct {
}

func (CompanionStruct_GetRSAKeyModulusLengthOutput_) Create_GetRSAKeyModulusLengthOutput_ 

func (CompanionStruct_GetRSAKeyModulusLengthOutput_) Create_GetRSAKeyModulusLengthOutput_(Length int32) GetRSAKeyModulusLengthOutput

func (CompanionStruct_GetRSAKeyModulusLengthOutput_) Default 

func (CompanionStruct_GetRSAKeyModulusLengthOutput_) Default() GetRSAKeyModulusLengthOutput

type CompanionStruct_HMacInput_ 

type CompanionStruct_HMacInput_ struct {
}

func (CompanionStruct_HMacInput_) Create_HMacInput_ 

func (CompanionStruct_HMacInput_) Create_HMacInput_(DigestAlgorithm DigestAlgorithm, Key _dafny.Sequence, Message _dafny.Sequence) HMacInput

func (CompanionStruct_HMacInput_) Default 

func (CompanionStruct_HMacInput_) Default() HMacInput

type CompanionStruct_HkdfExpandInput_ 

type CompanionStruct_HkdfExpandInput_ struct {
}

func (CompanionStruct_HkdfExpandInput_) Create_HkdfExpandInput_ 

func (CompanionStruct_HkdfExpandInput_) Create_HkdfExpandInput_(DigestAlgorithm DigestAlgorithm, Prk _dafny.Sequence, Info _dafny.Sequence, ExpectedLength int32) HkdfExpandInput

func (CompanionStruct_HkdfExpandInput_) Default 

func (CompanionStruct_HkdfExpandInput_) Default() HkdfExpandInput

type CompanionStruct_HkdfExtractInput_ 

type CompanionStruct_HkdfExtractInput_ struct {
}

func (CompanionStruct_HkdfExtractInput_) Create_HkdfExtractInput_ 

func (CompanionStruct_HkdfExtractInput_) Create_HkdfExtractInput_(DigestAlgorithm DigestAlgorithm, Salt m_Wrappers.Option, Ikm _dafny.Sequence) HkdfExtractInput

func (CompanionStruct_HkdfExtractInput_) Default 

func (CompanionStruct_HkdfExtractInput_) Default() HkdfExtractInput

type CompanionStruct_HkdfInput_ 

type CompanionStruct_HkdfInput_ struct {
}

func (CompanionStruct_HkdfInput_) Create_HkdfInput_ 

func (CompanionStruct_HkdfInput_) Create_HkdfInput_(DigestAlgorithm DigestAlgorithm, Salt m_Wrappers.Option, Ikm _dafny.Sequence, Info _dafny.Sequence, ExpectedLength int32) HkdfInput

func (CompanionStruct_HkdfInput_) Default 

func (CompanionStruct_HkdfInput_) Default() HkdfInput

type CompanionStruct_IAwsCryptographicPrimitivesClientCallHistory_ 

type CompanionStruct_IAwsCryptographicPrimitivesClientCallHistory_ struct {
}

type CompanionStruct_IAwsCryptographicPrimitivesClient_ 

type CompanionStruct_IAwsCryptographicPrimitivesClient_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_IAwsCryptographicPrimitivesClient_) CastTo_ 

func (CompanionStruct_IAwsCryptographicPrimitivesClient_) CastTo_(x interface{}) IAwsCryptographicPrimitivesClient

type CompanionStruct_KdfCtrInput_ 

type CompanionStruct_KdfCtrInput_ struct {
}

func (CompanionStruct_KdfCtrInput_) Create_KdfCtrInput_ 

func (CompanionStruct_KdfCtrInput_) Create_KdfCtrInput_(DigestAlgorithm DigestAlgorithm, Ikm _dafny.Sequence, ExpectedLength int32, Purpose m_Wrappers.Option, Nonce m_Wrappers.Option) KdfCtrInput

func (CompanionStruct_KdfCtrInput_) Default 

func (CompanionStruct_KdfCtrInput_) Default() KdfCtrInput

type CompanionStruct_OpaqueError_ 

type CompanionStruct_OpaqueError_ struct {
}

func (*CompanionStruct_OpaqueError_) Is_ 

func (_this *CompanionStruct_OpaqueError_) Is_(__source Error) bool

type CompanionStruct_ParsePublicKeyInput_ 

type CompanionStruct_ParsePublicKeyInput_ struct {
}

func (CompanionStruct_ParsePublicKeyInput_) Create_ParsePublicKeyInput_ 

func (CompanionStruct_ParsePublicKeyInput_) Create_ParsePublicKeyInput_(PublicKey _dafny.Sequence) ParsePublicKeyInput

func (CompanionStruct_ParsePublicKeyInput_) Default 

func (CompanionStruct_ParsePublicKeyInput_) Default() ParsePublicKeyInput

type CompanionStruct_ParsePublicKeyOutput_ 

type CompanionStruct_ParsePublicKeyOutput_ struct {
}

func (CompanionStruct_ParsePublicKeyOutput_) Create_ParsePublicKeyOutput_ 

func (CompanionStruct_ParsePublicKeyOutput_) Create_ParsePublicKeyOutput_(PublicKey ECCPublicKey) ParsePublicKeyOutput

func (CompanionStruct_ParsePublicKeyOutput_) Default 

func (CompanionStruct_ParsePublicKeyOutput_) Default() ParsePublicKeyOutput

type CompanionStruct_PositiveInteger_ 

type CompanionStruct_PositiveInteger_ struct {
}

func (*CompanionStruct_PositiveInteger_) Is_ 

func (_this *CompanionStruct_PositiveInteger_) Is_(__source int32) bool

type CompanionStruct_RSADecryptInput_ 

type CompanionStruct_RSADecryptInput_ struct {
}

func (CompanionStruct_RSADecryptInput_) Create_RSADecryptInput_ 

func (CompanionStruct_RSADecryptInput_) Create_RSADecryptInput_(Padding RSAPaddingMode, PrivateKey _dafny.Sequence, CipherText _dafny.Sequence) RSADecryptInput

func (CompanionStruct_RSADecryptInput_) Default 

func (CompanionStruct_RSADecryptInput_) Default() RSADecryptInput

type CompanionStruct_RSAEncryptInput_ 

type CompanionStruct_RSAEncryptInput_ struct {
}

func (CompanionStruct_RSAEncryptInput_) Create_RSAEncryptInput_ 

func (CompanionStruct_RSAEncryptInput_) Create_RSAEncryptInput_(Padding RSAPaddingMode, PublicKey _dafny.Sequence, Plaintext _dafny.Sequence) RSAEncryptInput

func (CompanionStruct_RSAEncryptInput_) Default 

func (CompanionStruct_RSAEncryptInput_) Default() RSAEncryptInput

type CompanionStruct_RSAModulusLengthBitsToGenerate_ 

type CompanionStruct_RSAModulusLengthBitsToGenerate_ struct {
}

func (*CompanionStruct_RSAModulusLengthBitsToGenerate_) Is_ 

func (_this *CompanionStruct_RSAModulusLengthBitsToGenerate_) Is_(__source int32) bool

type CompanionStruct_RSAModulusLengthBits_ 

type CompanionStruct_RSAModulusLengthBits_ struct {
}

func (*CompanionStruct_RSAModulusLengthBits_) Is_ 

func (_this *CompanionStruct_RSAModulusLengthBits_) Is_(__source int32) bool

type CompanionStruct_RSAPaddingMode_ 

type CompanionStruct_RSAPaddingMode_ struct {
}

func (CompanionStruct_RSAPaddingMode_) AllSingletonConstructors 

func (_ CompanionStruct_RSAPaddingMode_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA1_ 

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA1_() RSAPaddingMode

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA256_ 

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA256_() RSAPaddingMode

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA384_ 

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA384_() RSAPaddingMode

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA512_ 

func (CompanionStruct_RSAPaddingMode_) Create_OAEP__SHA512_() RSAPaddingMode

func (CompanionStruct_RSAPaddingMode_) Create_PKCS1_ 

func (CompanionStruct_RSAPaddingMode_) Create_PKCS1_() RSAPaddingMode

func (CompanionStruct_RSAPaddingMode_) Default 

func (CompanionStruct_RSAPaddingMode_) Default() RSAPaddingMode

type CompanionStruct_RSAPrivateKey_ 

type CompanionStruct_RSAPrivateKey_ struct {
}

func (CompanionStruct_RSAPrivateKey_) Create_RSAPrivateKey_ 

func (CompanionStruct_RSAPrivateKey_) Create_RSAPrivateKey_(LengthBits int32, Pem _dafny.Sequence) RSAPrivateKey

func (CompanionStruct_RSAPrivateKey_) Default 

func (CompanionStruct_RSAPrivateKey_) Default() RSAPrivateKey

type CompanionStruct_RSAPublicKey_ 

type CompanionStruct_RSAPublicKey_ struct {
}

func (CompanionStruct_RSAPublicKey_) Create_RSAPublicKey_ 

func (CompanionStruct_RSAPublicKey_) Create_RSAPublicKey_(LengthBits int32, Pem _dafny.Sequence) RSAPublicKey

func (CompanionStruct_RSAPublicKey_) Default 

func (CompanionStruct_RSAPublicKey_) Default() RSAPublicKey

type CompanionStruct_SymmetricKeyLength_ 

type CompanionStruct_SymmetricKeyLength_ struct {
}

func (*CompanionStruct_SymmetricKeyLength_) Is_ 

func (_this *CompanionStruct_SymmetricKeyLength_) Is_(__source int32) bool

type CompanionStruct_Uint8Bits_ 

type CompanionStruct_Uint8Bits_ struct {
}

func (*CompanionStruct_Uint8Bits_) Is_ 

func (_this *CompanionStruct_Uint8Bits_) Is_(__source int32) bool

type CompanionStruct_Uint8Bytes_ 

type CompanionStruct_Uint8Bytes_ struct {
}

func (*CompanionStruct_Uint8Bytes_) Is_ 

func (_this *CompanionStruct_Uint8Bytes_) Is_(__source int32) bool

type CompanionStruct_ValidatePublicKeyInput_ 

type CompanionStruct_ValidatePublicKeyInput_ struct {
}

func (CompanionStruct_ValidatePublicKeyInput_) Create_ValidatePublicKeyInput_ 

func (CompanionStruct_ValidatePublicKeyInput_) Create_ValidatePublicKeyInput_(EccCurve ECDHCurveSpec, PublicKey _dafny.Sequence) ValidatePublicKeyInput

func (CompanionStruct_ValidatePublicKeyInput_) Default 

func (CompanionStruct_ValidatePublicKeyInput_) Default() ValidatePublicKeyInput

type CompanionStruct_ValidatePublicKeyOutput_ 

type CompanionStruct_ValidatePublicKeyOutput_ struct {
}

func (CompanionStruct_ValidatePublicKeyOutput_) Create_ValidatePublicKeyOutput_ 

func (CompanionStruct_ValidatePublicKeyOutput_) Create_ValidatePublicKeyOutput_(Success bool) ValidatePublicKeyOutput

func (CompanionStruct_ValidatePublicKeyOutput_) Default 

func (CompanionStruct_ValidatePublicKeyOutput_) Default() ValidatePublicKeyOutput

type CompressPublicKeyInput 

type CompressPublicKeyInput struct {
	Data_CompressPublicKeyInput_
}

Definition of datatype CompressPublicKeyInput

func (CompressPublicKeyInput) Dtor_eccCurve 

func (_this CompressPublicKeyInput) Dtor_eccCurve() ECDHCurveSpec

func (CompressPublicKeyInput) Dtor_publicKey 

func (_this CompressPublicKeyInput) Dtor_publicKey() ECCPublicKey

func (CompressPublicKeyInput) Equals 

func (_this CompressPublicKeyInput) Equals(other CompressPublicKeyInput) bool

func (CompressPublicKeyInput) EqualsGeneric 

func (_this CompressPublicKeyInput) EqualsGeneric(other interface{}) bool

func (CompressPublicKeyInput) Get_ 

func (_this CompressPublicKeyInput) Get_() Data_CompressPublicKeyInput_

func (CompressPublicKeyInput) Is_CompressPublicKeyInput 

func (_this CompressPublicKeyInput) Is_CompressPublicKeyInput() bool

func (CompressPublicKeyInput) ParentTraits_ 

func (_this CompressPublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (CompressPublicKeyInput) String 

func (_this CompressPublicKeyInput) String() string

type CompressPublicKeyInput_CompressPublicKeyInput 

type CompressPublicKeyInput_CompressPublicKeyInput struct {
	PublicKey ECCPublicKey
	EccCurve  ECDHCurveSpec
}

type CompressPublicKeyOutput 

type CompressPublicKeyOutput struct {
	Data_CompressPublicKeyOutput_
}

Definition of datatype CompressPublicKeyOutput

func (CompressPublicKeyOutput) Dtor_compressedPublicKey 

func (_this CompressPublicKeyOutput) Dtor_compressedPublicKey() _dafny.Sequence

func (CompressPublicKeyOutput) Equals 

func (_this CompressPublicKeyOutput) Equals(other CompressPublicKeyOutput) bool

func (CompressPublicKeyOutput) EqualsGeneric 

func (_this CompressPublicKeyOutput) EqualsGeneric(other interface{}) bool

func (CompressPublicKeyOutput) Get_ 

func (_this CompressPublicKeyOutput) Get_() Data_CompressPublicKeyOutput_

func (CompressPublicKeyOutput) Is_CompressPublicKeyOutput 

func (_this CompressPublicKeyOutput) Is_CompressPublicKeyOutput() bool

func (CompressPublicKeyOutput) ParentTraits_ 

func (_this CompressPublicKeyOutput) ParentTraits_() []*_dafny.TraitID

func (CompressPublicKeyOutput) String 

func (_this CompressPublicKeyOutput) String() string

type CompressPublicKeyOutput_CompressPublicKeyOutput 

type CompressPublicKeyOutput_CompressPublicKeyOutput struct {
	CompressedPublicKey _dafny.Sequence
}

type CryptoConfig 

type CryptoConfig struct {
	Data_CryptoConfig_
}

Definition of datatype CryptoConfig

func (CryptoConfig) Equals 

func (_this CryptoConfig) Equals(other CryptoConfig) bool

func (CryptoConfig) EqualsGeneric 

func (_this CryptoConfig) EqualsGeneric(other interface{}) bool

func (CryptoConfig) Get_ 

func (_this CryptoConfig) Get_() Data_CryptoConfig_

func (CryptoConfig) Is_CryptoConfig 

func (_this CryptoConfig) Is_CryptoConfig() bool

func (CryptoConfig) ParentTraits_ 

func (_this CryptoConfig) ParentTraits_() []*_dafny.TraitID

func (CryptoConfig) String 

func (_this CryptoConfig) String() string

type CryptoConfig_CryptoConfig 

type CryptoConfig_CryptoConfig struct {
}

type DafnyCallEvent 

type DafnyCallEvent struct {
	Data_DafnyCallEvent_
}

Definition of datatype DafnyCallEvent

func (DafnyCallEvent) Dtor_input 

func (_this DafnyCallEvent) Dtor_input() interface{}

func (DafnyCallEvent) Dtor_output 

func (_this DafnyCallEvent) Dtor_output() interface{}

func (DafnyCallEvent) Equals 

func (_this DafnyCallEvent) Equals(other DafnyCallEvent) bool

func (DafnyCallEvent) EqualsGeneric 

func (_this DafnyCallEvent) EqualsGeneric(other interface{}) bool

func (DafnyCallEvent) Get_ 

func (_this DafnyCallEvent) Get_() Data_DafnyCallEvent_

func (DafnyCallEvent) Is_DafnyCallEvent 

func (_this DafnyCallEvent) Is_DafnyCallEvent() bool

func (DafnyCallEvent) ParentTraits_ 

func (_this DafnyCallEvent) ParentTraits_() []*_dafny.TraitID

func (DafnyCallEvent) String 

func (_this DafnyCallEvent) String() string

type DafnyCallEvent_DafnyCallEvent 

type DafnyCallEvent_DafnyCallEvent struct {
	Input  interface{}
	Output interface{}
}

type Data_AESDecryptInput_ 

type Data_AESDecryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_AESEncryptInput_ 

type Data_AESEncryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_AESEncryptOutput_ 

type Data_AESEncryptOutput_ interface {
	// contains filtered or unexported methods
}

type Data_AES__CTR_ 

type Data_AES__CTR_ interface {
	// contains filtered or unexported methods
}

type Data_AES__GCM_ 

type Data_AES__GCM_ interface {
	// contains filtered or unexported methods
}

type Data_AesKdfCtrInput_ 

type Data_AesKdfCtrInput_ interface {
	// contains filtered or unexported methods
}

type Data_CompressPublicKeyInput_ 

type Data_CompressPublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_CompressPublicKeyOutput_ 

type Data_CompressPublicKeyOutput_ interface {
	// contains filtered or unexported methods
}

type Data_CryptoConfig_ 

type Data_CryptoConfig_ interface {
	// contains filtered or unexported methods
}

type Data_DafnyCallEvent_ 

type Data_DafnyCallEvent_ interface {
	// contains filtered or unexported methods
}

type Data_DecompressPublicKeyInput_ 

type Data_DecompressPublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_DecompressPublicKeyOutput_ 

type Data_DecompressPublicKeyOutput_ interface {
	// contains filtered or unexported methods
}

type Data_DeriveSharedSecretInput_ 

type Data_DeriveSharedSecretInput_ interface {
	// contains filtered or unexported methods
}

type Data_DeriveSharedSecretOutput_ 

type Data_DeriveSharedSecretOutput_ interface {
	// contains filtered or unexported methods
}

type Data_DigestAlgorithm_ 

type Data_DigestAlgorithm_ interface {
	// contains filtered or unexported methods
}

type Data_DigestInput_ 

type Data_DigestInput_ interface {
	// contains filtered or unexported methods
}

type Data_ECCPrivateKey_ 

type Data_ECCPrivateKey_ interface {
	// contains filtered or unexported methods
}

type Data_ECCPublicKey_ 

type Data_ECCPublicKey_ interface {
	// contains filtered or unexported methods
}

type Data_ECDHCurveSpec_ 

type Data_ECDHCurveSpec_ interface {
	// contains filtered or unexported methods
}

type Data_ECDSASignInput_ 

type Data_ECDSASignInput_ interface {
	// contains filtered or unexported methods
}

type Data_ECDSASignatureAlgorithm_ 

type Data_ECDSASignatureAlgorithm_ interface {
	// contains filtered or unexported methods
}

type Data_ECDSAVerifyInput_ 

type Data_ECDSAVerifyInput_ interface {
	// contains filtered or unexported methods
}

type Data_Error_ 

type Data_Error_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateECCKeyPairInput_ 

type Data_GenerateECCKeyPairInput_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateECCKeyPairOutput_ 

type Data_GenerateECCKeyPairOutput_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateECDSASignatureKeyInput_ 

type Data_GenerateECDSASignatureKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateECDSASignatureKeyOutput_ 

type Data_GenerateECDSASignatureKeyOutput_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateRSAKeyPairInput_ 

type Data_GenerateRSAKeyPairInput_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateRSAKeyPairOutput_ 

type Data_GenerateRSAKeyPairOutput_ interface {
	// contains filtered or unexported methods
}

type Data_GenerateRandomBytesInput_ 

type Data_GenerateRandomBytesInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetPublicKeyFromPrivateKeyInput_ 

type Data_GetPublicKeyFromPrivateKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetPublicKeyFromPrivateKeyOutput_ 

type Data_GetPublicKeyFromPrivateKeyOutput_ interface {
	// contains filtered or unexported methods
}

type Data_GetRSAKeyModulusLengthInput_ 

type Data_GetRSAKeyModulusLengthInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetRSAKeyModulusLengthOutput_ 

type Data_GetRSAKeyModulusLengthOutput_ interface {
	// contains filtered or unexported methods
}

type Data_HMacInput_ 

type Data_HMacInput_ interface {
	// contains filtered or unexported methods
}

type Data_HkdfExpandInput_ 

type Data_HkdfExpandInput_ interface {
	// contains filtered or unexported methods
}

type Data_HkdfExtractInput_ 

type Data_HkdfExtractInput_ interface {
	// contains filtered or unexported methods
}

type Data_HkdfInput_ 

type Data_HkdfInput_ interface {
	// contains filtered or unexported methods
}

type Data_KdfCtrInput_ 

type Data_KdfCtrInput_ interface {
	// contains filtered or unexported methods
}

type Data_ParsePublicKeyInput_ 

type Data_ParsePublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_ParsePublicKeyOutput_ 

type Data_ParsePublicKeyOutput_ interface {
	// contains filtered or unexported methods
}

type Data_RSADecryptInput_ 

type Data_RSADecryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_RSAEncryptInput_ 

type Data_RSAEncryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_RSAPaddingMode_ 

type Data_RSAPaddingMode_ interface {
	// contains filtered or unexported methods
}

type Data_RSAPrivateKey_ 

type Data_RSAPrivateKey_ interface {
	// contains filtered or unexported methods
}

type Data_RSAPublicKey_ 

type Data_RSAPublicKey_ interface {
	// contains filtered or unexported methods
}

type Data_ValidatePublicKeyInput_ 

type Data_ValidatePublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_ValidatePublicKeyOutput_ 

type Data_ValidatePublicKeyOutput_ interface {
	// contains filtered or unexported methods
}

type DecompressPublicKeyInput 

type DecompressPublicKeyInput struct {
	Data_DecompressPublicKeyInput_
}

Definition of datatype DecompressPublicKeyInput

func (DecompressPublicKeyInput) Dtor_compressedPublicKey 

func (_this DecompressPublicKeyInput) Dtor_compressedPublicKey() _dafny.Sequence

func (DecompressPublicKeyInput) Dtor_eccCurve 

func (_this DecompressPublicKeyInput) Dtor_eccCurve() ECDHCurveSpec

func (DecompressPublicKeyInput) Equals 

func (_this DecompressPublicKeyInput) Equals(other DecompressPublicKeyInput) bool

func (DecompressPublicKeyInput) EqualsGeneric 

func (_this DecompressPublicKeyInput) EqualsGeneric(other interface{}) bool

func (DecompressPublicKeyInput) Get_ 

func (_this DecompressPublicKeyInput) Get_() Data_DecompressPublicKeyInput_

func (DecompressPublicKeyInput) Is_DecompressPublicKeyInput 

func (_this DecompressPublicKeyInput) Is_DecompressPublicKeyInput() bool

func (DecompressPublicKeyInput) ParentTraits_ 

func (_this DecompressPublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (DecompressPublicKeyInput) String 

func (_this DecompressPublicKeyInput) String() string

type DecompressPublicKeyInput_DecompressPublicKeyInput 

type DecompressPublicKeyInput_DecompressPublicKeyInput struct {
	CompressedPublicKey _dafny.Sequence
	EccCurve            ECDHCurveSpec
}

type DecompressPublicKeyOutput 

type DecompressPublicKeyOutput struct {
	Data_DecompressPublicKeyOutput_
}

Definition of datatype DecompressPublicKeyOutput

func (DecompressPublicKeyOutput) Dtor_publicKey 

func (_this DecompressPublicKeyOutput) Dtor_publicKey() ECCPublicKey

func (DecompressPublicKeyOutput) Equals 

func (_this DecompressPublicKeyOutput) Equals(other DecompressPublicKeyOutput) bool

func (DecompressPublicKeyOutput) EqualsGeneric 

func (_this DecompressPublicKeyOutput) EqualsGeneric(other interface{}) bool

func (DecompressPublicKeyOutput) Get_ 

func (_this DecompressPublicKeyOutput) Get_() Data_DecompressPublicKeyOutput_

func (DecompressPublicKeyOutput) Is_DecompressPublicKeyOutput 

func (_this DecompressPublicKeyOutput) Is_DecompressPublicKeyOutput() bool

func (DecompressPublicKeyOutput) ParentTraits_ 

func (_this DecompressPublicKeyOutput) ParentTraits_() []*_dafny.TraitID

func (DecompressPublicKeyOutput) String 

func (_this DecompressPublicKeyOutput) String() string

type DecompressPublicKeyOutput_DecompressPublicKeyOutput 

type DecompressPublicKeyOutput_DecompressPublicKeyOutput struct {
	PublicKey ECCPublicKey
}

type Default__ 

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___ 

func New_Default___() *Default__

func (*Default__) Equals 

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric 

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_ 

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String 

func (*Default__) String() string

type DeriveSharedSecretInput 

type DeriveSharedSecretInput struct {
	Data_DeriveSharedSecretInput_
}

Definition of datatype DeriveSharedSecretInput

func (DeriveSharedSecretInput) Dtor_eccCurve 

func (_this DeriveSharedSecretInput) Dtor_eccCurve() ECDHCurveSpec

func (DeriveSharedSecretInput) Dtor_privateKey 

func (_this DeriveSharedSecretInput) Dtor_privateKey() ECCPrivateKey

func (DeriveSharedSecretInput) Dtor_publicKey 

func (_this DeriveSharedSecretInput) Dtor_publicKey() ECCPublicKey

func (DeriveSharedSecretInput) Equals 

func (_this DeriveSharedSecretInput) Equals(other DeriveSharedSecretInput) bool

func (DeriveSharedSecretInput) EqualsGeneric 

func (_this DeriveSharedSecretInput) EqualsGeneric(other interface{}) bool

func (DeriveSharedSecretInput) Get_ 

func (_this DeriveSharedSecretInput) Get_() Data_DeriveSharedSecretInput_

func (DeriveSharedSecretInput) Is_DeriveSharedSecretInput 

func (_this DeriveSharedSecretInput) Is_DeriveSharedSecretInput() bool

func (DeriveSharedSecretInput) ParentTraits_ 

func (_this DeriveSharedSecretInput) ParentTraits_() []*_dafny.TraitID

func (DeriveSharedSecretInput) String 

func (_this DeriveSharedSecretInput) String() string

type DeriveSharedSecretInput_DeriveSharedSecretInput 

type DeriveSharedSecretInput_DeriveSharedSecretInput struct {
	EccCurve   ECDHCurveSpec
	PrivateKey ECCPrivateKey
	PublicKey  ECCPublicKey
}

type DeriveSharedSecretOutput 

type DeriveSharedSecretOutput struct {
	Data_DeriveSharedSecretOutput_
}

Definition of datatype DeriveSharedSecretOutput

func (DeriveSharedSecretOutput) Dtor_sharedSecret 

func (_this DeriveSharedSecretOutput) Dtor_sharedSecret() _dafny.Sequence

func (DeriveSharedSecretOutput) Equals 

func (_this DeriveSharedSecretOutput) Equals(other DeriveSharedSecretOutput) bool

func (DeriveSharedSecretOutput) EqualsGeneric 

func (_this DeriveSharedSecretOutput) EqualsGeneric(other interface{}) bool

func (DeriveSharedSecretOutput) Get_ 

func (_this DeriveSharedSecretOutput) Get_() Data_DeriveSharedSecretOutput_

func (DeriveSharedSecretOutput) Is_DeriveSharedSecretOutput 

func (_this DeriveSharedSecretOutput) Is_DeriveSharedSecretOutput() bool

func (DeriveSharedSecretOutput) ParentTraits_ 

func (_this DeriveSharedSecretOutput) ParentTraits_() []*_dafny.TraitID

func (DeriveSharedSecretOutput) String 

func (_this DeriveSharedSecretOutput) String() string

type DeriveSharedSecretOutput_DeriveSharedSecretOutput 

type DeriveSharedSecretOutput_DeriveSharedSecretOutput struct {
	SharedSecret _dafny.Sequence
}

type DigestAlgorithm 

type DigestAlgorithm struct {
	Data_DigestAlgorithm_
}

Definition of datatype DigestAlgorithm

func (DigestAlgorithm) Equals 

func (_this DigestAlgorithm) Equals(other DigestAlgorithm) bool

func (DigestAlgorithm) EqualsGeneric 

func (_this DigestAlgorithm) EqualsGeneric(other interface{}) bool

func (DigestAlgorithm) Get_ 

func (_this DigestAlgorithm) Get_() Data_DigestAlgorithm_

func (DigestAlgorithm) Is_SHA__256 

func (_this DigestAlgorithm) Is_SHA__256() bool

func (DigestAlgorithm) Is_SHA__384 

func (_this DigestAlgorithm) Is_SHA__384() bool

func (DigestAlgorithm) Is_SHA__512 

func (_this DigestAlgorithm) Is_SHA__512() bool

func (DigestAlgorithm) ParentTraits_ 

func (_this DigestAlgorithm) ParentTraits_() []*_dafny.TraitID

func (DigestAlgorithm) String 

func (_this DigestAlgorithm) String() string

type DigestAlgorithm_SHA__256 

type DigestAlgorithm_SHA__256 struct {
}

type DigestAlgorithm_SHA__384 

type DigestAlgorithm_SHA__384 struct {
}

type DigestAlgorithm_SHA__512 

type DigestAlgorithm_SHA__512 struct {
}

type DigestInput 

type DigestInput struct {
	Data_DigestInput_
}

Definition of datatype DigestInput

func (DigestInput) Dtor_digestAlgorithm 

func (_this DigestInput) Dtor_digestAlgorithm() DigestAlgorithm

func (DigestInput) Dtor_message 

func (_this DigestInput) Dtor_message() _dafny.Sequence

func (DigestInput) Equals 

func (_this DigestInput) Equals(other DigestInput) bool

func (DigestInput) EqualsGeneric 

func (_this DigestInput) EqualsGeneric(other interface{}) bool

func (DigestInput) Get_ 

func (_this DigestInput) Get_() Data_DigestInput_

func (DigestInput) Is_DigestInput 

func (_this DigestInput) Is_DigestInput() bool

func (DigestInput) ParentTraits_ 

func (_this DigestInput) ParentTraits_() []*_dafny.TraitID

func (DigestInput) String 

func (_this DigestInput) String() string

type DigestInput_DigestInput 

type DigestInput_DigestInput struct {
	DigestAlgorithm DigestAlgorithm
	Message         _dafny.Sequence
}

type DummySubsetType 

type DummySubsetType struct {
}

Definition of class DummySubsetType

func New_DummySubsetType_ 

func New_DummySubsetType_() *DummySubsetType

func (*DummySubsetType) String 

func (*DummySubsetType) String() string

type Dummy__ 

type Dummy__ struct{}

type ECCPrivateKey 

type ECCPrivateKey struct {
	Data_ECCPrivateKey_
}

Definition of datatype ECCPrivateKey

func (ECCPrivateKey) Dtor_pem 

func (_this ECCPrivateKey) Dtor_pem() _dafny.Sequence

func (ECCPrivateKey) Equals 

func (_this ECCPrivateKey) Equals(other ECCPrivateKey) bool

func (ECCPrivateKey) EqualsGeneric 

func (_this ECCPrivateKey) EqualsGeneric(other interface{}) bool

func (ECCPrivateKey) Get_ 

func (_this ECCPrivateKey) Get_() Data_ECCPrivateKey_

func (ECCPrivateKey) Is_ECCPrivateKey 

func (_this ECCPrivateKey) Is_ECCPrivateKey() bool

func (ECCPrivateKey) ParentTraits_ 

func (_this ECCPrivateKey) ParentTraits_() []*_dafny.TraitID

func (ECCPrivateKey) String 

func (_this ECCPrivateKey) String() string

type ECCPrivateKey_ECCPrivateKey 

type ECCPrivateKey_ECCPrivateKey struct {
	Pem _dafny.Sequence
}

type ECCPublicKey 

type ECCPublicKey struct {
	Data_ECCPublicKey_
}

Definition of datatype ECCPublicKey

func (ECCPublicKey) Dtor_der 

func (_this ECCPublicKey) Dtor_der() _dafny.Sequence

func (ECCPublicKey) Equals 

func (_this ECCPublicKey) Equals(other ECCPublicKey) bool

func (ECCPublicKey) EqualsGeneric 

func (_this ECCPublicKey) EqualsGeneric(other interface{}) bool

func (ECCPublicKey) Get_ 

func (_this ECCPublicKey) Get_() Data_ECCPublicKey_

func (ECCPublicKey) Is_ECCPublicKey 

func (_this ECCPublicKey) Is_ECCPublicKey() bool

func (ECCPublicKey) ParentTraits_ 

func (_this ECCPublicKey) ParentTraits_() []*_dafny.TraitID

func (ECCPublicKey) String 

func (_this ECCPublicKey) String() string

type ECCPublicKey_ECCPublicKey 

type ECCPublicKey_ECCPublicKey struct {
	Der _dafny.Sequence
}

type ECDHCurveSpec 

type ECDHCurveSpec struct {
	Data_ECDHCurveSpec_
}

Definition of datatype ECDHCurveSpec

func (ECDHCurveSpec) Equals 

func (_this ECDHCurveSpec) Equals(other ECDHCurveSpec) bool

func (ECDHCurveSpec) EqualsGeneric 

func (_this ECDHCurveSpec) EqualsGeneric(other interface{}) bool

func (ECDHCurveSpec) Get_ 

func (_this ECDHCurveSpec) Get_() Data_ECDHCurveSpec_

func (ECDHCurveSpec) Is_ECC__NIST__P256 

func (_this ECDHCurveSpec) Is_ECC__NIST__P256() bool

func (ECDHCurveSpec) Is_ECC__NIST__P384 

func (_this ECDHCurveSpec) Is_ECC__NIST__P384() bool

func (ECDHCurveSpec) Is_ECC__NIST__P521 

func (_this ECDHCurveSpec) Is_ECC__NIST__P521() bool

func (ECDHCurveSpec) Is_SM2 

func (_this ECDHCurveSpec) Is_SM2() bool

func (ECDHCurveSpec) ParentTraits_ 

func (_this ECDHCurveSpec) ParentTraits_() []*_dafny.TraitID

func (ECDHCurveSpec) String 

func (_this ECDHCurveSpec) String() string

type ECDHCurveSpec_ECC__NIST__P256 

type ECDHCurveSpec_ECC__NIST__P256 struct {
}

type ECDHCurveSpec_ECC__NIST__P384 

type ECDHCurveSpec_ECC__NIST__P384 struct {
}

type ECDHCurveSpec_ECC__NIST__P521 

type ECDHCurveSpec_ECC__NIST__P521 struct {
}

type ECDHCurveSpec_SM2 

type ECDHCurveSpec_SM2 struct {
}

type ECDSASignInput 

type ECDSASignInput struct {
	Data_ECDSASignInput_
}

Definition of datatype ECDSASignInput

func (ECDSASignInput) Dtor_message 

func (_this ECDSASignInput) Dtor_message() _dafny.Sequence

func (ECDSASignInput) Dtor_signatureAlgorithm 

func (_this ECDSASignInput) Dtor_signatureAlgorithm() ECDSASignatureAlgorithm

func (ECDSASignInput) Dtor_signingKey 

func (_this ECDSASignInput) Dtor_signingKey() _dafny.Sequence

func (ECDSASignInput) Equals 

func (_this ECDSASignInput) Equals(other ECDSASignInput) bool

func (ECDSASignInput) EqualsGeneric 

func (_this ECDSASignInput) EqualsGeneric(other interface{}) bool

func (ECDSASignInput) Get_ 

func (_this ECDSASignInput) Get_() Data_ECDSASignInput_

func (ECDSASignInput) Is_ECDSASignInput 

func (_this ECDSASignInput) Is_ECDSASignInput() bool

func (ECDSASignInput) ParentTraits_ 

func (_this ECDSASignInput) ParentTraits_() []*_dafny.TraitID

func (ECDSASignInput) String 

func (_this ECDSASignInput) String() string

type ECDSASignInput_ECDSASignInput 

type ECDSASignInput_ECDSASignInput struct {
	SignatureAlgorithm ECDSASignatureAlgorithm
	SigningKey         _dafny.Sequence
	Message            _dafny.Sequence
}

type ECDSASignatureAlgorithm 

type ECDSASignatureAlgorithm struct {
	Data_ECDSASignatureAlgorithm_
}

Definition of datatype ECDSASignatureAlgorithm

func (ECDSASignatureAlgorithm) Equals 

func (_this ECDSASignatureAlgorithm) Equals(other ECDSASignatureAlgorithm) bool

func (ECDSASignatureAlgorithm) EqualsGeneric 

func (_this ECDSASignatureAlgorithm) EqualsGeneric(other interface{}) bool

func (ECDSASignatureAlgorithm) Get_ 

func (_this ECDSASignatureAlgorithm) Get_() Data_ECDSASignatureAlgorithm_

func (ECDSASignatureAlgorithm) Is_ECDSA__P256 

func (_this ECDSASignatureAlgorithm) Is_ECDSA__P256() bool

func (ECDSASignatureAlgorithm) Is_ECDSA__P384 

func (_this ECDSASignatureAlgorithm) Is_ECDSA__P384() bool

func (ECDSASignatureAlgorithm) ParentTraits_ 

func (_this ECDSASignatureAlgorithm) ParentTraits_() []*_dafny.TraitID

func (ECDSASignatureAlgorithm) String 

func (_this ECDSASignatureAlgorithm) String() string

type ECDSASignatureAlgorithm_ECDSA__P256 

type ECDSASignatureAlgorithm_ECDSA__P256 struct {
}

type ECDSASignatureAlgorithm_ECDSA__P384 

type ECDSASignatureAlgorithm_ECDSA__P384 struct {
}

type ECDSAVerifyInput 

type ECDSAVerifyInput struct {
	Data_ECDSAVerifyInput_
}

Definition of datatype ECDSAVerifyInput

func (ECDSAVerifyInput) Dtor_message 

func (_this ECDSAVerifyInput) Dtor_message() _dafny.Sequence

func (ECDSAVerifyInput) Dtor_signature 

func (_this ECDSAVerifyInput) Dtor_signature() _dafny.Sequence

func (ECDSAVerifyInput) Dtor_signatureAlgorithm 

func (_this ECDSAVerifyInput) Dtor_signatureAlgorithm() ECDSASignatureAlgorithm

func (ECDSAVerifyInput) Dtor_verificationKey 

func (_this ECDSAVerifyInput) Dtor_verificationKey() _dafny.Sequence

func (ECDSAVerifyInput) Equals 

func (_this ECDSAVerifyInput) Equals(other ECDSAVerifyInput) bool

func (ECDSAVerifyInput) EqualsGeneric 

func (_this ECDSAVerifyInput) EqualsGeneric(other interface{}) bool

func (ECDSAVerifyInput) Get_ 

func (_this ECDSAVerifyInput) Get_() Data_ECDSAVerifyInput_

func (ECDSAVerifyInput) Is_ECDSAVerifyInput 

func (_this ECDSAVerifyInput) Is_ECDSAVerifyInput() bool

func (ECDSAVerifyInput) ParentTraits_ 

func (_this ECDSAVerifyInput) ParentTraits_() []*_dafny.TraitID

func (ECDSAVerifyInput) String 

func (_this ECDSAVerifyInput) String() string

type ECDSAVerifyInput_ECDSAVerifyInput 

type ECDSAVerifyInput_ECDSAVerifyInput struct {
	SignatureAlgorithm ECDSASignatureAlgorithm
	VerificationKey    _dafny.Sequence
	Message            _dafny.Sequence
	Signature          _dafny.Sequence
}

type Error 

type Error struct {
	Data_Error_
}

Definition of datatype Error

func (Error) Dtor_list 

func (_this Error) Dtor_list() _dafny.Sequence

func (Error) Dtor_message 

func (_this Error) Dtor_message() _dafny.Sequence

func (Error) Dtor_obj 

func (_this Error) Dtor_obj() interface{}

func (Error) Dtor_objMessage 

func (_this Error) Dtor_objMessage() _dafny.Sequence

func (Error) Equals 

func (_this Error) Equals(other Error) bool

func (Error) EqualsGeneric 

func (_this Error) EqualsGeneric(other interface{}) bool

func (Error) Get_ 

func (_this Error) Get_() Data_Error_

func (Error) Is_AwsCryptographicPrimitivesError 

func (_this Error) Is_AwsCryptographicPrimitivesError() bool

func (Error) Is_CollectionOfErrors 

func (_this Error) Is_CollectionOfErrors() bool

func (Error) Is_Opaque 

func (_this Error) Is_Opaque() bool

func (Error) Is_OpaqueWithText 

func (_this Error) Is_OpaqueWithText() bool

func (Error) ParentTraits_ 

func (_this Error) ParentTraits_() []*_dafny.TraitID

func (Error) String 

func (_this Error) String() string

type Error_AwsCryptographicPrimitivesError 

type Error_AwsCryptographicPrimitivesError struct {
	Message _dafny.Sequence
}

type Error_CollectionOfErrors 

type Error_CollectionOfErrors struct {
	List    _dafny.Sequence
	Message _dafny.Sequence
}

type Error_Opaque 

type Error_Opaque struct {
	Obj interface{}
}

type Error_OpaqueWithText 

type Error_OpaqueWithText struct {
	Obj        interface{}
	ObjMessage _dafny.Sequence
}

type GenerateECCKeyPairInput 

type GenerateECCKeyPairInput struct {
	Data_GenerateECCKeyPairInput_
}

Definition of datatype GenerateECCKeyPairInput

func (GenerateECCKeyPairInput) Dtor_eccCurve 

func (_this GenerateECCKeyPairInput) Dtor_eccCurve() ECDHCurveSpec

func (GenerateECCKeyPairInput) Equals 

func (_this GenerateECCKeyPairInput) Equals(other GenerateECCKeyPairInput) bool

func (GenerateECCKeyPairInput) EqualsGeneric 

func (_this GenerateECCKeyPairInput) EqualsGeneric(other interface{}) bool

func (GenerateECCKeyPairInput) Get_ 

func (_this GenerateECCKeyPairInput) Get_() Data_GenerateECCKeyPairInput_

func (GenerateECCKeyPairInput) Is_GenerateECCKeyPairInput 

func (_this GenerateECCKeyPairInput) Is_GenerateECCKeyPairInput() bool

func (GenerateECCKeyPairInput) ParentTraits_ 

func (_this GenerateECCKeyPairInput) ParentTraits_() []*_dafny.TraitID

func (GenerateECCKeyPairInput) String 

func (_this GenerateECCKeyPairInput) String() string

type GenerateECCKeyPairInput_GenerateECCKeyPairInput 

type GenerateECCKeyPairInput_GenerateECCKeyPairInput struct {
	EccCurve ECDHCurveSpec
}

type GenerateECCKeyPairOutput 

type GenerateECCKeyPairOutput struct {
	Data_GenerateECCKeyPairOutput_
}

Definition of datatype GenerateECCKeyPairOutput

func (GenerateECCKeyPairOutput) Dtor_eccCurve 

func (_this GenerateECCKeyPairOutput) Dtor_eccCurve() ECDHCurveSpec

func (GenerateECCKeyPairOutput) Dtor_privateKey 

func (_this GenerateECCKeyPairOutput) Dtor_privateKey() ECCPrivateKey

func (GenerateECCKeyPairOutput) Dtor_publicKey 

func (_this GenerateECCKeyPairOutput) Dtor_publicKey() ECCPublicKey

func (GenerateECCKeyPairOutput) Equals 

func (_this GenerateECCKeyPairOutput) Equals(other GenerateECCKeyPairOutput) bool

func (GenerateECCKeyPairOutput) EqualsGeneric 

func (_this GenerateECCKeyPairOutput) EqualsGeneric(other interface{}) bool

func (GenerateECCKeyPairOutput) Get_ 

func (_this GenerateECCKeyPairOutput) Get_() Data_GenerateECCKeyPairOutput_

func (GenerateECCKeyPairOutput) Is_GenerateECCKeyPairOutput 

func (_this GenerateECCKeyPairOutput) Is_GenerateECCKeyPairOutput() bool

func (GenerateECCKeyPairOutput) ParentTraits_ 

func (_this GenerateECCKeyPairOutput) ParentTraits_() []*_dafny.TraitID

func (GenerateECCKeyPairOutput) String 

func (_this GenerateECCKeyPairOutput) String() string

type GenerateECCKeyPairOutput_GenerateECCKeyPairOutput 

type GenerateECCKeyPairOutput_GenerateECCKeyPairOutput struct {
	EccCurve   ECDHCurveSpec
	PrivateKey ECCPrivateKey
	PublicKey  ECCPublicKey
}

type GenerateECDSASignatureKeyInput 

type GenerateECDSASignatureKeyInput struct {
	Data_GenerateECDSASignatureKeyInput_
}

Definition of datatype GenerateECDSASignatureKeyInput

func (GenerateECDSASignatureKeyInput) Dtor_signatureAlgorithm 

func (_this GenerateECDSASignatureKeyInput) Dtor_signatureAlgorithm() ECDSASignatureAlgorithm

func (GenerateECDSASignatureKeyInput) Equals 

func (_this GenerateECDSASignatureKeyInput) Equals(other GenerateECDSASignatureKeyInput) bool

func (GenerateECDSASignatureKeyInput) EqualsGeneric 

func (_this GenerateECDSASignatureKeyInput) EqualsGeneric(other interface{}) bool

func (GenerateECDSASignatureKeyInput) Get_ 

func (_this GenerateECDSASignatureKeyInput) Get_() Data_GenerateECDSASignatureKeyInput_

func (GenerateECDSASignatureKeyInput) Is_GenerateECDSASignatureKeyInput 

func (_this GenerateECDSASignatureKeyInput) Is_GenerateECDSASignatureKeyInput() bool

func (GenerateECDSASignatureKeyInput) ParentTraits_ 

func (_this GenerateECDSASignatureKeyInput) ParentTraits_() []*_dafny.TraitID

func (GenerateECDSASignatureKeyInput) String 

func (_this GenerateECDSASignatureKeyInput) String() string

type GenerateECDSASignatureKeyInput_GenerateECDSASignatureKeyInput 

type GenerateECDSASignatureKeyInput_GenerateECDSASignatureKeyInput struct {
	SignatureAlgorithm ECDSASignatureAlgorithm
}

type GenerateECDSASignatureKeyOutput 

type GenerateECDSASignatureKeyOutput struct {
	Data_GenerateECDSASignatureKeyOutput_
}

Definition of datatype GenerateECDSASignatureKeyOutput

func (GenerateECDSASignatureKeyOutput) Dtor_signatureAlgorithm 

func (_this GenerateECDSASignatureKeyOutput) Dtor_signatureAlgorithm() ECDSASignatureAlgorithm

func (GenerateECDSASignatureKeyOutput) Dtor_signingKey 

func (_this GenerateECDSASignatureKeyOutput) Dtor_signingKey() _dafny.Sequence

func (GenerateECDSASignatureKeyOutput) Dtor_verificationKey 

func (_this GenerateECDSASignatureKeyOutput) Dtor_verificationKey() _dafny.Sequence

func (GenerateECDSASignatureKeyOutput) Equals 

func (_this GenerateECDSASignatureKeyOutput) Equals(other GenerateECDSASignatureKeyOutput) bool

func (GenerateECDSASignatureKeyOutput) EqualsGeneric 

func (_this GenerateECDSASignatureKeyOutput) EqualsGeneric(other interface{}) bool

func (GenerateECDSASignatureKeyOutput) Get_ 

func (_this GenerateECDSASignatureKeyOutput) Get_() Data_GenerateECDSASignatureKeyOutput_

func (GenerateECDSASignatureKeyOutput) Is_GenerateECDSASignatureKeyOutput 

func (_this GenerateECDSASignatureKeyOutput) Is_GenerateECDSASignatureKeyOutput() bool

func (GenerateECDSASignatureKeyOutput) ParentTraits_ 

func (_this GenerateECDSASignatureKeyOutput) ParentTraits_() []*_dafny.TraitID

func (GenerateECDSASignatureKeyOutput) String 

func (_this GenerateECDSASignatureKeyOutput) String() string

type GenerateECDSASignatureKeyOutput_GenerateECDSASignatureKeyOutput 

type GenerateECDSASignatureKeyOutput_GenerateECDSASignatureKeyOutput struct {
	SignatureAlgorithm ECDSASignatureAlgorithm
	VerificationKey    _dafny.Sequence
	SigningKey         _dafny.Sequence
}

type GenerateRSAKeyPairInput 

type GenerateRSAKeyPairInput struct {
	Data_GenerateRSAKeyPairInput_
}

Definition of datatype GenerateRSAKeyPairInput

func (GenerateRSAKeyPairInput) Dtor_lengthBits 

func (_this GenerateRSAKeyPairInput) Dtor_lengthBits() int32

func (GenerateRSAKeyPairInput) Equals 

func (_this GenerateRSAKeyPairInput) Equals(other GenerateRSAKeyPairInput) bool

func (GenerateRSAKeyPairInput) EqualsGeneric 

func (_this GenerateRSAKeyPairInput) EqualsGeneric(other interface{}) bool

func (GenerateRSAKeyPairInput) Get_ 

func (_this GenerateRSAKeyPairInput) Get_() Data_GenerateRSAKeyPairInput_

func (GenerateRSAKeyPairInput) Is_GenerateRSAKeyPairInput 

func (_this GenerateRSAKeyPairInput) Is_GenerateRSAKeyPairInput() bool

func (GenerateRSAKeyPairInput) ParentTraits_ 

func (_this GenerateRSAKeyPairInput) ParentTraits_() []*_dafny.TraitID

func (GenerateRSAKeyPairInput) String 

func (_this GenerateRSAKeyPairInput) String() string

type GenerateRSAKeyPairInput_GenerateRSAKeyPairInput 

type GenerateRSAKeyPairInput_GenerateRSAKeyPairInput struct {
	LengthBits int32
}

type GenerateRSAKeyPairOutput 

type GenerateRSAKeyPairOutput struct {
	Data_GenerateRSAKeyPairOutput_
}

Definition of datatype GenerateRSAKeyPairOutput

func (GenerateRSAKeyPairOutput) Dtor_privateKey 

func (_this GenerateRSAKeyPairOutput) Dtor_privateKey() RSAPrivateKey

func (GenerateRSAKeyPairOutput) Dtor_publicKey 

func (_this GenerateRSAKeyPairOutput) Dtor_publicKey() RSAPublicKey

func (GenerateRSAKeyPairOutput) Equals 

func (_this GenerateRSAKeyPairOutput) Equals(other GenerateRSAKeyPairOutput) bool

func (GenerateRSAKeyPairOutput) EqualsGeneric 

func (_this GenerateRSAKeyPairOutput) EqualsGeneric(other interface{}) bool

func (GenerateRSAKeyPairOutput) Get_ 

func (_this GenerateRSAKeyPairOutput) Get_() Data_GenerateRSAKeyPairOutput_

func (GenerateRSAKeyPairOutput) Is_GenerateRSAKeyPairOutput 

func (_this GenerateRSAKeyPairOutput) Is_GenerateRSAKeyPairOutput() bool

func (GenerateRSAKeyPairOutput) ParentTraits_ 

func (_this GenerateRSAKeyPairOutput) ParentTraits_() []*_dafny.TraitID

func (GenerateRSAKeyPairOutput) String 

func (_this GenerateRSAKeyPairOutput) String() string

type GenerateRSAKeyPairOutput_GenerateRSAKeyPairOutput 

type GenerateRSAKeyPairOutput_GenerateRSAKeyPairOutput struct {
	PublicKey  RSAPublicKey
	PrivateKey RSAPrivateKey
}

type GenerateRandomBytesInput 

type GenerateRandomBytesInput struct {
	Data_GenerateRandomBytesInput_
}

Definition of datatype GenerateRandomBytesInput

func (GenerateRandomBytesInput) Dtor_length 

func (_this GenerateRandomBytesInput) Dtor_length() int32

func (GenerateRandomBytesInput) Equals 

func (_this GenerateRandomBytesInput) Equals(other GenerateRandomBytesInput) bool

func (GenerateRandomBytesInput) EqualsGeneric 

func (_this GenerateRandomBytesInput) EqualsGeneric(other interface{}) bool

func (GenerateRandomBytesInput) Get_ 

func (_this GenerateRandomBytesInput) Get_() Data_GenerateRandomBytesInput_

func (GenerateRandomBytesInput) Is_GenerateRandomBytesInput 

func (_this GenerateRandomBytesInput) Is_GenerateRandomBytesInput() bool

func (GenerateRandomBytesInput) ParentTraits_ 

func (_this GenerateRandomBytesInput) ParentTraits_() []*_dafny.TraitID

func (GenerateRandomBytesInput) String 

func (_this GenerateRandomBytesInput) String() string

type GenerateRandomBytesInput_GenerateRandomBytesInput 

type GenerateRandomBytesInput_GenerateRandomBytesInput struct {
	Length int32
}

type GetPublicKeyFromPrivateKeyInput 

type GetPublicKeyFromPrivateKeyInput struct {
	Data_GetPublicKeyFromPrivateKeyInput_
}

Definition of datatype GetPublicKeyFromPrivateKeyInput

func (GetPublicKeyFromPrivateKeyInput) Dtor_eccCurve 

func (_this GetPublicKeyFromPrivateKeyInput) Dtor_eccCurve() ECDHCurveSpec

func (GetPublicKeyFromPrivateKeyInput) Dtor_privateKey 

func (_this GetPublicKeyFromPrivateKeyInput) Dtor_privateKey() ECCPrivateKey

func (GetPublicKeyFromPrivateKeyInput) Equals 

func (_this GetPublicKeyFromPrivateKeyInput) Equals(other GetPublicKeyFromPrivateKeyInput) bool

func (GetPublicKeyFromPrivateKeyInput) EqualsGeneric 

func (_this GetPublicKeyFromPrivateKeyInput) EqualsGeneric(other interface{}) bool

func (GetPublicKeyFromPrivateKeyInput) Get_ 

func (_this GetPublicKeyFromPrivateKeyInput) Get_() Data_GetPublicKeyFromPrivateKeyInput_

func (GetPublicKeyFromPrivateKeyInput) Is_GetPublicKeyFromPrivateKeyInput 

func (_this GetPublicKeyFromPrivateKeyInput) Is_GetPublicKeyFromPrivateKeyInput() bool

func (GetPublicKeyFromPrivateKeyInput) ParentTraits_ 

func (_this GetPublicKeyFromPrivateKeyInput) ParentTraits_() []*_dafny.TraitID

func (GetPublicKeyFromPrivateKeyInput) String 

func (_this GetPublicKeyFromPrivateKeyInput) String() string

type GetPublicKeyFromPrivateKeyInput_GetPublicKeyFromPrivateKeyInput 

type GetPublicKeyFromPrivateKeyInput_GetPublicKeyFromPrivateKeyInput struct {
	EccCurve   ECDHCurveSpec
	PrivateKey ECCPrivateKey
}

type GetPublicKeyFromPrivateKeyOutput 

type GetPublicKeyFromPrivateKeyOutput struct {
	Data_GetPublicKeyFromPrivateKeyOutput_
}

Definition of datatype GetPublicKeyFromPrivateKeyOutput

func (GetPublicKeyFromPrivateKeyOutput) Dtor_eccCurve 

func (_this GetPublicKeyFromPrivateKeyOutput) Dtor_eccCurve() ECDHCurveSpec

func (GetPublicKeyFromPrivateKeyOutput) Dtor_privateKey 

func (_this GetPublicKeyFromPrivateKeyOutput) Dtor_privateKey() ECCPrivateKey

func (GetPublicKeyFromPrivateKeyOutput) Dtor_publicKey 

func (_this GetPublicKeyFromPrivateKeyOutput) Dtor_publicKey() _dafny.Sequence

func (GetPublicKeyFromPrivateKeyOutput) Equals 

func (_this GetPublicKeyFromPrivateKeyOutput) Equals(other GetPublicKeyFromPrivateKeyOutput) bool

func (GetPublicKeyFromPrivateKeyOutput) EqualsGeneric 

func (_this GetPublicKeyFromPrivateKeyOutput) EqualsGeneric(other interface{}) bool

func (GetPublicKeyFromPrivateKeyOutput) Get_ 

func (_this GetPublicKeyFromPrivateKeyOutput) Get_() Data_GetPublicKeyFromPrivateKeyOutput_

func (GetPublicKeyFromPrivateKeyOutput) Is_GetPublicKeyFromPrivateKeyOutput 

func (_this GetPublicKeyFromPrivateKeyOutput) Is_GetPublicKeyFromPrivateKeyOutput() bool

func (GetPublicKeyFromPrivateKeyOutput) ParentTraits_ 

func (_this GetPublicKeyFromPrivateKeyOutput) ParentTraits_() []*_dafny.TraitID

func (GetPublicKeyFromPrivateKeyOutput) String 

func (_this GetPublicKeyFromPrivateKeyOutput) String() string

type GetPublicKeyFromPrivateKeyOutput_GetPublicKeyFromPrivateKeyOutput 

type GetPublicKeyFromPrivateKeyOutput_GetPublicKeyFromPrivateKeyOutput struct {
	EccCurve   ECDHCurveSpec
	PrivateKey ECCPrivateKey
	PublicKey  _dafny.Sequence
}

type GetRSAKeyModulusLengthInput 

type GetRSAKeyModulusLengthInput struct {
	Data_GetRSAKeyModulusLengthInput_
}

Definition of datatype GetRSAKeyModulusLengthInput

func (GetRSAKeyModulusLengthInput) Dtor_publicKey 

func (_this GetRSAKeyModulusLengthInput) Dtor_publicKey() _dafny.Sequence

func (GetRSAKeyModulusLengthInput) Equals 

func (_this GetRSAKeyModulusLengthInput) Equals(other GetRSAKeyModulusLengthInput) bool

func (GetRSAKeyModulusLengthInput) EqualsGeneric 

func (_this GetRSAKeyModulusLengthInput) EqualsGeneric(other interface{}) bool

func (GetRSAKeyModulusLengthInput) Get_ 

func (_this GetRSAKeyModulusLengthInput) Get_() Data_GetRSAKeyModulusLengthInput_

func (GetRSAKeyModulusLengthInput) Is_GetRSAKeyModulusLengthInput 

func (_this GetRSAKeyModulusLengthInput) Is_GetRSAKeyModulusLengthInput() bool

func (GetRSAKeyModulusLengthInput) ParentTraits_ 

func (_this GetRSAKeyModulusLengthInput) ParentTraits_() []*_dafny.TraitID

func (GetRSAKeyModulusLengthInput) String 

func (_this GetRSAKeyModulusLengthInput) String() string

type GetRSAKeyModulusLengthInput_GetRSAKeyModulusLengthInput 

type GetRSAKeyModulusLengthInput_GetRSAKeyModulusLengthInput struct {
	PublicKey _dafny.Sequence
}

type GetRSAKeyModulusLengthOutput 

type GetRSAKeyModulusLengthOutput struct {
	Data_GetRSAKeyModulusLengthOutput_
}

Definition of datatype GetRSAKeyModulusLengthOutput

func (GetRSAKeyModulusLengthOutput) Dtor_length 

func (_this GetRSAKeyModulusLengthOutput) Dtor_length() int32

func (GetRSAKeyModulusLengthOutput) Equals 

func (_this GetRSAKeyModulusLengthOutput) Equals(other GetRSAKeyModulusLengthOutput) bool

func (GetRSAKeyModulusLengthOutput) EqualsGeneric 

func (_this GetRSAKeyModulusLengthOutput) EqualsGeneric(other interface{}) bool

func (GetRSAKeyModulusLengthOutput) Get_ 

func (_this GetRSAKeyModulusLengthOutput) Get_() Data_GetRSAKeyModulusLengthOutput_

func (GetRSAKeyModulusLengthOutput) Is_GetRSAKeyModulusLengthOutput 

func (_this GetRSAKeyModulusLengthOutput) Is_GetRSAKeyModulusLengthOutput() bool

func (GetRSAKeyModulusLengthOutput) ParentTraits_ 

func (_this GetRSAKeyModulusLengthOutput) ParentTraits_() []*_dafny.TraitID

func (GetRSAKeyModulusLengthOutput) String 

func (_this GetRSAKeyModulusLengthOutput) String() string

type GetRSAKeyModulusLengthOutput_GetRSAKeyModulusLengthOutput 

type GetRSAKeyModulusLengthOutput_GetRSAKeyModulusLengthOutput struct {
	Length int32
}

type HMacInput 

type HMacInput struct {
	Data_HMacInput_
}

Definition of datatype HMacInput

func (HMacInput) Dtor_digestAlgorithm 

func (_this HMacInput) Dtor_digestAlgorithm() DigestAlgorithm

func (HMacInput) Dtor_key 

func (_this HMacInput) Dtor_key() _dafny.Sequence

func (HMacInput) Dtor_message 

func (_this HMacInput) Dtor_message() _dafny.Sequence

func (HMacInput) Equals 

func (_this HMacInput) Equals(other HMacInput) bool

func (HMacInput) EqualsGeneric 

func (_this HMacInput) EqualsGeneric(other interface{}) bool

func (HMacInput) Get_ 

func (_this HMacInput) Get_() Data_HMacInput_

func (HMacInput) Is_HMacInput 

func (_this HMacInput) Is_HMacInput() bool

func (HMacInput) ParentTraits_ 

func (_this HMacInput) ParentTraits_() []*_dafny.TraitID

func (HMacInput) String 

func (_this HMacInput) String() string

type HMacInput_HMacInput 

type HMacInput_HMacInput struct {
	DigestAlgorithm DigestAlgorithm
	Key             _dafny.Sequence
	Message         _dafny.Sequence
}

type HkdfExpandInput 

type HkdfExpandInput struct {
	Data_HkdfExpandInput_
}

Definition of datatype HkdfExpandInput

func (HkdfExpandInput) Dtor_digestAlgorithm 

func (_this HkdfExpandInput) Dtor_digestAlgorithm() DigestAlgorithm

func (HkdfExpandInput) Dtor_expectedLength 

func (_this HkdfExpandInput) Dtor_expectedLength() int32

func (HkdfExpandInput) Dtor_info 

func (_this HkdfExpandInput) Dtor_info() _dafny.Sequence

func (HkdfExpandInput) Dtor_prk 

func (_this HkdfExpandInput) Dtor_prk() _dafny.Sequence

func (HkdfExpandInput) Equals 

func (_this HkdfExpandInput) Equals(other HkdfExpandInput) bool

func (HkdfExpandInput) EqualsGeneric 

func (_this HkdfExpandInput) EqualsGeneric(other interface{}) bool

func (HkdfExpandInput) Get_ 

func (_this HkdfExpandInput) Get_() Data_HkdfExpandInput_

func (HkdfExpandInput) Is_HkdfExpandInput 

func (_this HkdfExpandInput) Is_HkdfExpandInput() bool

func (HkdfExpandInput) ParentTraits_ 

func (_this HkdfExpandInput) ParentTraits_() []*_dafny.TraitID

func (HkdfExpandInput) String 

func (_this HkdfExpandInput) String() string

type HkdfExpandInput_HkdfExpandInput 

type HkdfExpandInput_HkdfExpandInput struct {
	DigestAlgorithm DigestAlgorithm
	Prk             _dafny.Sequence
	Info            _dafny.Sequence
	ExpectedLength  int32
}

type HkdfExtractInput 

type HkdfExtractInput struct {
	Data_HkdfExtractInput_
}

Definition of datatype HkdfExtractInput

func (HkdfExtractInput) Dtor_digestAlgorithm 

func (_this HkdfExtractInput) Dtor_digestAlgorithm() DigestAlgorithm

func (HkdfExtractInput) Dtor_ikm 

func (_this HkdfExtractInput) Dtor_ikm() _dafny.Sequence

func (HkdfExtractInput) Dtor_salt 

func (_this HkdfExtractInput) Dtor_salt() m_Wrappers.Option

func (HkdfExtractInput) Equals 

func (_this HkdfExtractInput) Equals(other HkdfExtractInput) bool

func (HkdfExtractInput) EqualsGeneric 

func (_this HkdfExtractInput) EqualsGeneric(other interface{}) bool

func (HkdfExtractInput) Get_ 

func (_this HkdfExtractInput) Get_() Data_HkdfExtractInput_

func (HkdfExtractInput) Is_HkdfExtractInput 

func (_this HkdfExtractInput) Is_HkdfExtractInput() bool

func (HkdfExtractInput) ParentTraits_ 

func (_this HkdfExtractInput) ParentTraits_() []*_dafny.TraitID

func (HkdfExtractInput) String 

func (_this HkdfExtractInput) String() string

type HkdfExtractInput_HkdfExtractInput 

type HkdfExtractInput_HkdfExtractInput struct {
	DigestAlgorithm DigestAlgorithm
	Salt            m_Wrappers.Option
	Ikm             _dafny.Sequence
}

type HkdfInput 

type HkdfInput struct {
	Data_HkdfInput_
}

Definition of datatype HkdfInput

func (HkdfInput) Dtor_digestAlgorithm 

func (_this HkdfInput) Dtor_digestAlgorithm() DigestAlgorithm

func (HkdfInput) Dtor_expectedLength 

func (_this HkdfInput) Dtor_expectedLength() int32

func (HkdfInput) Dtor_ikm 

func (_this HkdfInput) Dtor_ikm() _dafny.Sequence

func (HkdfInput) Dtor_info 

func (_this HkdfInput) Dtor_info() _dafny.Sequence

func (HkdfInput) Dtor_salt 

func (_this HkdfInput) Dtor_salt() m_Wrappers.Option

func (HkdfInput) Equals 

func (_this HkdfInput) Equals(other HkdfInput) bool

func (HkdfInput) EqualsGeneric 

func (_this HkdfInput) EqualsGeneric(other interface{}) bool

func (HkdfInput) Get_ 

func (_this HkdfInput) Get_() Data_HkdfInput_

func (HkdfInput) Is_HkdfInput 

func (_this HkdfInput) Is_HkdfInput() bool

func (HkdfInput) ParentTraits_ 

func (_this HkdfInput) ParentTraits_() []*_dafny.TraitID

func (HkdfInput) String 

func (_this HkdfInput) String() string

type HkdfInput_HkdfInput 

type HkdfInput_HkdfInput struct {
	DigestAlgorithm DigestAlgorithm
	Salt            m_Wrappers.Option
	Ikm             _dafny.Sequence
	Info            _dafny.Sequence
	ExpectedLength  int32
}

type IAwsCryptographicPrimitivesClient 

type IAwsCryptographicPrimitivesClient interface {
	String() string
	GenerateRandomBytes(input GenerateRandomBytesInput) m_Wrappers.Result
	Digest(input DigestInput) m_Wrappers.Result
	HMac(input HMacInput) m_Wrappers.Result
	HkdfExtract(input HkdfExtractInput) m_Wrappers.Result
	HkdfExpand(input HkdfExpandInput) m_Wrappers.Result
	Hkdf(input HkdfInput) m_Wrappers.Result
	KdfCounterMode(input KdfCtrInput) m_Wrappers.Result
	AesKdfCounterMode(input AesKdfCtrInput) m_Wrappers.Result
	AESEncrypt(input AESEncryptInput) m_Wrappers.Result
	AESDecrypt(input AESDecryptInput) m_Wrappers.Result
	GenerateRSAKeyPair(input GenerateRSAKeyPairInput) m_Wrappers.Result
	GetRSAKeyModulusLength(input GetRSAKeyModulusLengthInput) m_Wrappers.Result
	RSADecrypt(input RSADecryptInput) m_Wrappers.Result
	RSAEncrypt(input RSAEncryptInput) m_Wrappers.Result
	GenerateECDSASignatureKey(input GenerateECDSASignatureKeyInput) m_Wrappers.Result
	ECDSASign(input ECDSASignInput) m_Wrappers.Result
	ECDSAVerify(input ECDSAVerifyInput) m_Wrappers.Result
	GenerateECCKeyPair(input GenerateECCKeyPairInput) m_Wrappers.Result
	GetPublicKeyFromPrivateKey(input GetPublicKeyFromPrivateKeyInput) m_Wrappers.Result
	ValidatePublicKey(input ValidatePublicKeyInput) m_Wrappers.Result
	DeriveSharedSecret(input DeriveSharedSecretInput) m_Wrappers.Result
	CompressPublicKey(input CompressPublicKeyInput) m_Wrappers.Result
	DecompressPublicKey(input DecompressPublicKeyInput) m_Wrappers.Result
	ParsePublicKey(input ParsePublicKeyInput) m_Wrappers.Result
}

Definition of trait IAwsCryptographicPrimitivesClient

type IAwsCryptographicPrimitivesClientCallHistory 

type IAwsCryptographicPrimitivesClientCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class IAwsCryptographicPrimitivesClientCallHistory

func New_IAwsCryptographicPrimitivesClientCallHistory_ 

func New_IAwsCryptographicPrimitivesClientCallHistory_() *IAwsCryptographicPrimitivesClientCallHistory

func (*IAwsCryptographicPrimitivesClientCallHistory) Equals 

func (_this *IAwsCryptographicPrimitivesClientCallHistory) Equals(other *IAwsCryptographicPrimitivesClientCallHistory) bool

func (*IAwsCryptographicPrimitivesClientCallHistory) EqualsGeneric 

func (_this *IAwsCryptographicPrimitivesClientCallHistory) EqualsGeneric(x interface{}) bool

func (*IAwsCryptographicPrimitivesClientCallHistory) ParentTraits_ 

func (_this *IAwsCryptographicPrimitivesClientCallHistory) ParentTraits_() []*_dafny.TraitID

func (*IAwsCryptographicPrimitivesClientCallHistory) String 

func (*IAwsCryptographicPrimitivesClientCallHistory) String() string

type KdfCtrInput 

type KdfCtrInput struct {
	Data_KdfCtrInput_
}

Definition of datatype KdfCtrInput

func (KdfCtrInput) Dtor_digestAlgorithm 

func (_this KdfCtrInput) Dtor_digestAlgorithm() DigestAlgorithm

func (KdfCtrInput) Dtor_expectedLength 

func (_this KdfCtrInput) Dtor_expectedLength() int32

func (KdfCtrInput) Dtor_ikm 

func (_this KdfCtrInput) Dtor_ikm() _dafny.Sequence

func (KdfCtrInput) Dtor_nonce 

func (_this KdfCtrInput) Dtor_nonce() m_Wrappers.Option

func (KdfCtrInput) Dtor_purpose 

func (_this KdfCtrInput) Dtor_purpose() m_Wrappers.Option

func (KdfCtrInput) Equals 

func (_this KdfCtrInput) Equals(other KdfCtrInput) bool

func (KdfCtrInput) EqualsGeneric 

func (_this KdfCtrInput) EqualsGeneric(other interface{}) bool

func (KdfCtrInput) Get_ 

func (_this KdfCtrInput) Get_() Data_KdfCtrInput_

func (KdfCtrInput) Is_KdfCtrInput 

func (_this KdfCtrInput) Is_KdfCtrInput() bool

func (KdfCtrInput) ParentTraits_ 

func (_this KdfCtrInput) ParentTraits_() []*_dafny.TraitID

func (KdfCtrInput) String 

func (_this KdfCtrInput) String() string

type KdfCtrInput_KdfCtrInput 

type KdfCtrInput_KdfCtrInput struct {
	DigestAlgorithm DigestAlgorithm
	Ikm             _dafny.Sequence
	ExpectedLength  int32
	Purpose         m_Wrappers.Option
	Nonce           m_Wrappers.Option
}

type OpaqueError 

type OpaqueError struct {
}

Definition of class OpaqueError

func New_OpaqueError_ 

func New_OpaqueError_() *OpaqueError

func (*OpaqueError) String 

func (*OpaqueError) String() string

type ParsePublicKeyInput 

type ParsePublicKeyInput struct {
	Data_ParsePublicKeyInput_
}

Definition of datatype ParsePublicKeyInput

func (ParsePublicKeyInput) Dtor_publicKey 

func (_this ParsePublicKeyInput) Dtor_publicKey() _dafny.Sequence

func (ParsePublicKeyInput) Equals 

func (_this ParsePublicKeyInput) Equals(other ParsePublicKeyInput) bool

func (ParsePublicKeyInput) EqualsGeneric 

func (_this ParsePublicKeyInput) EqualsGeneric(other interface{}) bool

func (ParsePublicKeyInput) Get_ 

func (_this ParsePublicKeyInput) Get_() Data_ParsePublicKeyInput_

func (ParsePublicKeyInput) Is_ParsePublicKeyInput 

func (_this ParsePublicKeyInput) Is_ParsePublicKeyInput() bool

func (ParsePublicKeyInput) ParentTraits_ 

func (_this ParsePublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (ParsePublicKeyInput) String 

func (_this ParsePublicKeyInput) String() string

type ParsePublicKeyInput_ParsePublicKeyInput 

type ParsePublicKeyInput_ParsePublicKeyInput struct {
	PublicKey _dafny.Sequence
}

type ParsePublicKeyOutput 

type ParsePublicKeyOutput struct {
	Data_ParsePublicKeyOutput_
}

Definition of datatype ParsePublicKeyOutput

func (ParsePublicKeyOutput) Dtor_publicKey 

func (_this ParsePublicKeyOutput) Dtor_publicKey() ECCPublicKey

func (ParsePublicKeyOutput) Equals 

func (_this ParsePublicKeyOutput) Equals(other ParsePublicKeyOutput) bool

func (ParsePublicKeyOutput) EqualsGeneric 

func (_this ParsePublicKeyOutput) EqualsGeneric(other interface{}) bool

func (ParsePublicKeyOutput) Get_ 

func (_this ParsePublicKeyOutput) Get_() Data_ParsePublicKeyOutput_

func (ParsePublicKeyOutput) Is_ParsePublicKeyOutput 

func (_this ParsePublicKeyOutput) Is_ParsePublicKeyOutput() bool

func (ParsePublicKeyOutput) ParentTraits_ 

func (_this ParsePublicKeyOutput) ParentTraits_() []*_dafny.TraitID

func (ParsePublicKeyOutput) String 

func (_this ParsePublicKeyOutput) String() string

type ParsePublicKeyOutput_ParsePublicKeyOutput 

type ParsePublicKeyOutput_ParsePublicKeyOutput struct {
	PublicKey ECCPublicKey
}

type PositiveInteger 

type PositiveInteger struct {
}

Definition of class PositiveInteger

func New_PositiveInteger_ 

func New_PositiveInteger_() *PositiveInteger

func (*PositiveInteger) String 

func (*PositiveInteger) String() string

type RSADecryptInput 

type RSADecryptInput struct {
	Data_RSADecryptInput_
}

Definition of datatype RSADecryptInput

func (RSADecryptInput) Dtor_cipherText 

func (_this RSADecryptInput) Dtor_cipherText() _dafny.Sequence

func (RSADecryptInput) Dtor_padding 

func (_this RSADecryptInput) Dtor_padding() RSAPaddingMode

func (RSADecryptInput) Dtor_privateKey 

func (_this RSADecryptInput) Dtor_privateKey() _dafny.Sequence

func (RSADecryptInput) Equals 

func (_this RSADecryptInput) Equals(other RSADecryptInput) bool

func (RSADecryptInput) EqualsGeneric 

func (_this RSADecryptInput) EqualsGeneric(other interface{}) bool

func (RSADecryptInput) Get_ 

func (_this RSADecryptInput) Get_() Data_RSADecryptInput_

func (RSADecryptInput) Is_RSADecryptInput 

func (_this RSADecryptInput) Is_RSADecryptInput() bool

func (RSADecryptInput) ParentTraits_ 

func (_this RSADecryptInput) ParentTraits_() []*_dafny.TraitID

func (RSADecryptInput) String 

func (_this RSADecryptInput) String() string

type RSADecryptInput_RSADecryptInput 

type RSADecryptInput_RSADecryptInput struct {
	Padding    RSAPaddingMode
	PrivateKey _dafny.Sequence
	CipherText _dafny.Sequence
}

type RSAEncryptInput 

type RSAEncryptInput struct {
	Data_RSAEncryptInput_
}

Definition of datatype RSAEncryptInput

func (RSAEncryptInput) Dtor_padding 

func (_this RSAEncryptInput) Dtor_padding() RSAPaddingMode

func (RSAEncryptInput) Dtor_plaintext 

func (_this RSAEncryptInput) Dtor_plaintext() _dafny.Sequence

func (RSAEncryptInput) Dtor_publicKey 

func (_this RSAEncryptInput) Dtor_publicKey() _dafny.Sequence

func (RSAEncryptInput) Equals 

func (_this RSAEncryptInput) Equals(other RSAEncryptInput) bool

func (RSAEncryptInput) EqualsGeneric 

func (_this RSAEncryptInput) EqualsGeneric(other interface{}) bool

func (RSAEncryptInput) Get_ 

func (_this RSAEncryptInput) Get_() Data_RSAEncryptInput_

func (RSAEncryptInput) Is_RSAEncryptInput 

func (_this RSAEncryptInput) Is_RSAEncryptInput() bool

func (RSAEncryptInput) ParentTraits_ 

func (_this RSAEncryptInput) ParentTraits_() []*_dafny.TraitID

func (RSAEncryptInput) String 

func (_this RSAEncryptInput) String() string

type RSAEncryptInput_RSAEncryptInput 

type RSAEncryptInput_RSAEncryptInput struct {
	Padding   RSAPaddingMode
	PublicKey _dafny.Sequence
	Plaintext _dafny.Sequence
}

type RSAModulusLengthBits 

type RSAModulusLengthBits struct {
}

Definition of class RSAModulusLengthBits

func New_RSAModulusLengthBits_ 

func New_RSAModulusLengthBits_() *RSAModulusLengthBits

func (*RSAModulusLengthBits) String 

func (*RSAModulusLengthBits) String() string

type RSAModulusLengthBitsToGenerate 

type RSAModulusLengthBitsToGenerate struct {
}

Definition of class RSAModulusLengthBitsToGenerate

func New_RSAModulusLengthBitsToGenerate_ 

func New_RSAModulusLengthBitsToGenerate_() *RSAModulusLengthBitsToGenerate

func (*RSAModulusLengthBitsToGenerate) String 

func (*RSAModulusLengthBitsToGenerate) String() string

type RSAPaddingMode 

type RSAPaddingMode struct {
	Data_RSAPaddingMode_
}

Definition of datatype RSAPaddingMode

func (RSAPaddingMode) Equals 

func (_this RSAPaddingMode) Equals(other RSAPaddingMode) bool

func (RSAPaddingMode) EqualsGeneric 

func (_this RSAPaddingMode) EqualsGeneric(other interface{}) bool

func (RSAPaddingMode) Get_ 

func (_this RSAPaddingMode) Get_() Data_RSAPaddingMode_

func (RSAPaddingMode) Is_OAEP__SHA1 

func (_this RSAPaddingMode) Is_OAEP__SHA1() bool

func (RSAPaddingMode) Is_OAEP__SHA256 

func (_this RSAPaddingMode) Is_OAEP__SHA256() bool

func (RSAPaddingMode) Is_OAEP__SHA384 

func (_this RSAPaddingMode) Is_OAEP__SHA384() bool

func (RSAPaddingMode) Is_OAEP__SHA512 

func (_this RSAPaddingMode) Is_OAEP__SHA512() bool

func (RSAPaddingMode) Is_PKCS1 

func (_this RSAPaddingMode) Is_PKCS1() bool

func (RSAPaddingMode) ParentTraits_ 

func (_this RSAPaddingMode) ParentTraits_() []*_dafny.TraitID

func (RSAPaddingMode) String 

func (_this RSAPaddingMode) String() string

type RSAPaddingMode_OAEP__SHA1 

type RSAPaddingMode_OAEP__SHA1 struct {
}

type RSAPaddingMode_OAEP__SHA256 

type RSAPaddingMode_OAEP__SHA256 struct {
}

type RSAPaddingMode_OAEP__SHA384 

type RSAPaddingMode_OAEP__SHA384 struct {
}

type RSAPaddingMode_OAEP__SHA512 

type RSAPaddingMode_OAEP__SHA512 struct {
}

type RSAPaddingMode_PKCS1 

type RSAPaddingMode_PKCS1 struct {
}

type RSAPrivateKey 

type RSAPrivateKey struct {
	Data_RSAPrivateKey_
}

Definition of datatype RSAPrivateKey

func (RSAPrivateKey) Dtor_lengthBits 

func (_this RSAPrivateKey) Dtor_lengthBits() int32

func (RSAPrivateKey) Dtor_pem 

func (_this RSAPrivateKey) Dtor_pem() _dafny.Sequence

func (RSAPrivateKey) Equals 

func (_this RSAPrivateKey) Equals(other RSAPrivateKey) bool

func (RSAPrivateKey) EqualsGeneric 

func (_this RSAPrivateKey) EqualsGeneric(other interface{}) bool

func (RSAPrivateKey) Get_ 

func (_this RSAPrivateKey) Get_() Data_RSAPrivateKey_

func (RSAPrivateKey) Is_RSAPrivateKey 

func (_this RSAPrivateKey) Is_RSAPrivateKey() bool

func (RSAPrivateKey) ParentTraits_ 

func (_this RSAPrivateKey) ParentTraits_() []*_dafny.TraitID

func (RSAPrivateKey) String 

func (_this RSAPrivateKey) String() string

type RSAPrivateKey_RSAPrivateKey 

type RSAPrivateKey_RSAPrivateKey struct {
	LengthBits int32
	Pem        _dafny.Sequence
}

type RSAPublicKey 

type RSAPublicKey struct {
	Data_RSAPublicKey_
}

Definition of datatype RSAPublicKey

func (RSAPublicKey) Dtor_lengthBits 

func (_this RSAPublicKey) Dtor_lengthBits() int32

func (RSAPublicKey) Dtor_pem 

func (_this RSAPublicKey) Dtor_pem() _dafny.Sequence

func (RSAPublicKey) Equals 

func (_this RSAPublicKey) Equals(other RSAPublicKey) bool

func (RSAPublicKey) EqualsGeneric 

func (_this RSAPublicKey) EqualsGeneric(other interface{}) bool

func (RSAPublicKey) Get_ 

func (_this RSAPublicKey) Get_() Data_RSAPublicKey_

func (RSAPublicKey) Is_RSAPublicKey 

func (_this RSAPublicKey) Is_RSAPublicKey() bool

func (RSAPublicKey) ParentTraits_ 

func (_this RSAPublicKey) ParentTraits_() []*_dafny.TraitID

func (RSAPublicKey) String 

func (_this RSAPublicKey) String() string

type RSAPublicKey_RSAPublicKey 

type RSAPublicKey_RSAPublicKey struct {
	LengthBits int32
	Pem        _dafny.Sequence
}

type SymmetricKeyLength 

type SymmetricKeyLength struct {
}

Definition of class SymmetricKeyLength

func New_SymmetricKeyLength_ 

func New_SymmetricKeyLength_() *SymmetricKeyLength

func (*SymmetricKeyLength) String 

func (*SymmetricKeyLength) String() string

type Uint8Bits 

type Uint8Bits struct {
}

Definition of class Uint8Bits

func New_Uint8Bits_ 

func New_Uint8Bits_() *Uint8Bits

func (*Uint8Bits) String 

func (*Uint8Bits) String() string

type Uint8Bytes 

type Uint8Bytes struct {
}

Definition of class Uint8Bytes

func New_Uint8Bytes_ 

func New_Uint8Bytes_() *Uint8Bytes

func (*Uint8Bytes) String 

func (*Uint8Bytes) String() string

type ValidatePublicKeyInput 

type ValidatePublicKeyInput struct {
	Data_ValidatePublicKeyInput_
}

Definition of datatype ValidatePublicKeyInput

func (ValidatePublicKeyInput) Dtor_eccCurve 

func (_this ValidatePublicKeyInput) Dtor_eccCurve() ECDHCurveSpec

func (ValidatePublicKeyInput) Dtor_publicKey 

func (_this ValidatePublicKeyInput) Dtor_publicKey() _dafny.Sequence

func (ValidatePublicKeyInput) Equals 

func (_this ValidatePublicKeyInput) Equals(other ValidatePublicKeyInput) bool

func (ValidatePublicKeyInput) EqualsGeneric 

func (_this ValidatePublicKeyInput) EqualsGeneric(other interface{}) bool

func (ValidatePublicKeyInput) Get_ 

func (_this ValidatePublicKeyInput) Get_() Data_ValidatePublicKeyInput_

func (ValidatePublicKeyInput) Is_ValidatePublicKeyInput 

func (_this ValidatePublicKeyInput) Is_ValidatePublicKeyInput() bool

func (ValidatePublicKeyInput) ParentTraits_ 

func (_this ValidatePublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (ValidatePublicKeyInput) String 

func (_this ValidatePublicKeyInput) String() string

type ValidatePublicKeyInput_ValidatePublicKeyInput 

type ValidatePublicKeyInput_ValidatePublicKeyInput struct {
	EccCurve  ECDHCurveSpec
	PublicKey _dafny.Sequence
}

type ValidatePublicKeyOutput 

type ValidatePublicKeyOutput struct {
	Data_ValidatePublicKeyOutput_
}

Definition of datatype ValidatePublicKeyOutput

func (ValidatePublicKeyOutput) Dtor_success 

func (_this ValidatePublicKeyOutput) Dtor_success() bool

func (ValidatePublicKeyOutput) Equals 

func (_this ValidatePublicKeyOutput) Equals(other ValidatePublicKeyOutput) bool

func (ValidatePublicKeyOutput) EqualsGeneric 

func (_this ValidatePublicKeyOutput) EqualsGeneric(other interface{}) bool

func (ValidatePublicKeyOutput) Get_ 

func (_this ValidatePublicKeyOutput) Get_() Data_ValidatePublicKeyOutput_

func (ValidatePublicKeyOutput) Is_ValidatePublicKeyOutput 

func (_this ValidatePublicKeyOutput) Is_ValidatePublicKeyOutput() bool

func (ValidatePublicKeyOutput) ParentTraits_ 

func (_this ValidatePublicKeyOutput) ParentTraits_() []*_dafny.TraitID

func (ValidatePublicKeyOutput) String 

func (_this ValidatePublicKeyOutput) String() string

type ValidatePublicKeyOutput_ValidatePublicKeyOutput 

type ValidatePublicKeyOutput_ValidatePublicKeyOutput struct {
	Success bool
}

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.