AESEncryption

package

v0.1.0 Latest Latest Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 44 Imported by: 0

Documentation ¶

Index ¶

Variables
type CompanionStruct_Default___
type Default__
- func New_Default___() *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___) AESDecrypt ¶

func (_static *CompanionStruct_Default___) AESDecrypt(input m_AwsCryptographyPrimitivesTypes.AESDecryptInput) m_Wrappers.Result

func (CompanionStruct_Default___) AESDecryptExtern ¶

func (CompanionStruct_Default___) AESDecryptExtern(algo AwsCryptographyPrimitivesTypes.AES__GCM, key dafny.Sequence,
	cipherText dafny.Sequence, authTag dafny.Sequence, iv dafny.Sequence, aad dafny.Sequence) Wrappers.Result

func (*CompanionStruct_Default___) AESEncrypt ¶

func (_static *CompanionStruct_Default___) AESEncrypt(input m_AwsCryptographyPrimitivesTypes.AESEncryptInput) m_Wrappers.Result

func (CompanionStruct_Default___) AESEncryptExtern ¶

func (CompanionStruct_Default___) AESEncryptExtern(algo AwsCryptographyPrimitivesTypes.AES__GCM, iv dafny.Sequence,
	key dafny.Sequence, msg dafny.Sequence, aad dafny.Sequence) Wrappers.Result

func (*CompanionStruct_Default___) CreateAESDecryptExternFailure ¶

func (_static *CompanionStruct_Default___) CreateAESDecryptExternFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateAESDecryptExternSuccess ¶

func (_static *CompanionStruct_Default___) CreateAESDecryptExternSuccess(bytes _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateAESEncryptExternFailure ¶

func (_static *CompanionStruct_Default___) CreateAESEncryptExternFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateAESEncryptExternSuccess ¶

func (_static *CompanionStruct_Default___) CreateAESEncryptExternSuccess(output m_AwsCryptographyPrimitivesTypes.AESEncryptOutput) m_Wrappers.Result

func (*CompanionStruct_Default___) EncryptionOutputFromByteSeq ¶

func (_static *CompanionStruct_Default___) EncryptionOutputFromByteSeq(s _dafny.Sequence, encAlg m_AwsCryptographyPrimitivesTypes.AES__GCM) m_AwsCryptographyPrimitivesTypes.AESEncryptOutput

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 Dummy__ ¶

type Dummy__ struct{}

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL