Documentation
¶
Index ¶
- Variables
- type CompanionStruct_Default___
- func (_static *CompanionStruct_Default___) IV__LENGTH() _dafny.Int
- func (_static *CompanionStruct_Default___) IncorrectDataKeys(encryptedDataKeys _dafny.Sequence, ...) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) IncorrectDataKeysExpectedValues(encryptedDataKeys _dafny.Sequence, ...) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) IncorrectRawDataKeys(datakey _dafny.Sequence, keyringName _dafny.Sequence, ...) _dafny.Sequence
- func (_static *CompanionStruct_Default___) KMS__ECDH__DISCOVERY__ENCRYPT__ERROR() _dafny.Sequence
- func (_static *CompanionStruct_Default___) RAW__ECDH__DISCOVERY__ENCRYPT__ERROR() _dafny.Sequence
- func (_static *CompanionStruct_Default___) RAW__ECDH__EPHEMERAL__DECRYPT__ERROR() _dafny.Sequence
- func (_static *CompanionStruct_Default___) SALT__LENGTH() _dafny.Int
- func (_static *CompanionStruct_Default___) VERSION__LENGTH() _dafny.Int
- type Default__
- type Dummy__
Constants ¶
This section is empty.
Variables ¶
View Source
var Companion_Default___ = CompanionStruct_Default___{}
Functions ¶
This section is empty.
Types ¶
type CompanionStruct_Default___ ¶
type CompanionStruct_Default___ struct { }
func (*CompanionStruct_Default___) IV__LENGTH ¶
func (_static *CompanionStruct_Default___) IV__LENGTH() _dafny.Int
func (*CompanionStruct_Default___) IncorrectDataKeys ¶
func (_static *CompanionStruct_Default___) IncorrectDataKeys(encryptedDataKeys _dafny.Sequence, material m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, errMsg _dafny.Sequence) m_Wrappers.Result
func (*CompanionStruct_Default___) IncorrectDataKeysExpectedValues ¶
func (_static *CompanionStruct_Default___) IncorrectDataKeysExpectedValues(encryptedDataKeys _dafny.Sequence, material m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, errMsg _dafny.Sequence) m_Wrappers.Result
func (*CompanionStruct_Default___) IncorrectRawDataKeys ¶
func (*CompanionStruct_Default___) KMS__ECDH__DISCOVERY__ENCRYPT__ERROR ¶
func (_static *CompanionStruct_Default___) KMS__ECDH__DISCOVERY__ENCRYPT__ERROR() _dafny.Sequence
func (*CompanionStruct_Default___) RAW__ECDH__DISCOVERY__ENCRYPT__ERROR ¶
func (_static *CompanionStruct_Default___) RAW__ECDH__DISCOVERY__ENCRYPT__ERROR() _dafny.Sequence
func (*CompanionStruct_Default___) RAW__ECDH__EPHEMERAL__DECRYPT__ERROR ¶
func (_static *CompanionStruct_Default___) RAW__ECDH__EPHEMERAL__DECRYPT__ERROR() _dafny.Sequence
func (*CompanionStruct_Default___) SALT__LENGTH ¶
func (_static *CompanionStruct_Default___) SALT__LENGTH() _dafny.Int
func (*CompanionStruct_Default___) VERSION__LENGTH ¶
func (_static *CompanionStruct_Default___) VERSION__LENGTH() _dafny.Int
type Default__ ¶
type Default__ struct {
// contains filtered or unexported fields
}
Definition of class Default__
func New_Default___ ¶
func New_Default___() *Default__
func (*Default__) EqualsGeneric ¶
func (*Default__) ParentTraits_ ¶
Click to show internal directories.
Click to hide internal directories.