RSAEncryption

package

v0.1.0 Latest Latest Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 52 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___) CreateBytesFailure ¶

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

func (*CompanionStruct_Default___) CreateBytesSuccess ¶

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

func (*CompanionStruct_Default___) CreateGetRSAKeyModulusLengthExternFailure ¶

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

func (*CompanionStruct_Default___) CreateGetRSAKeyModulusLengthExternSuccess ¶

func (_static *CompanionStruct_Default___) CreateGetRSAKeyModulusLengthExternSuccess(output uint32) m_Wrappers.Result

func (*CompanionStruct_Default___) Decrypt ¶

func (_static *CompanionStruct_Default___) Decrypt(input m_AwsCryptographyPrimitivesTypes.RSADecryptInput) m_Wrappers.Result

func (CompanionStruct_Default___) DecryptExtern ¶

func (CompanionStruct_Default___) DecryptExtern(paddingMode AwsCryptographyPrimitivesTypes.RSAPaddingMode,
	key dafny.Sequence, cipher_text dafny.Sequence) Wrappers.Result

func (*CompanionStruct_Default___) Encrypt ¶

func (_static *CompanionStruct_Default___) Encrypt(input m_AwsCryptographyPrimitivesTypes.RSAEncryptInput) m_Wrappers.Result

func (CompanionStruct_Default___) EncryptExtern ¶

func (CompanionStruct_Default___) EncryptExtern(paddingMode AwsCryptographyPrimitivesTypes.RSAPaddingMode,
	key dafny.Sequence, plainText dafny.Sequence) Wrappers.Result

func (*CompanionStruct_Default___) GenerateKeyPair ¶

func (_static *CompanionStruct_Default___) GenerateKeyPair(lengthBits int32) (m_AwsCryptographyPrimitivesTypes.RSAPublicKey, m_AwsCryptographyPrimitivesTypes.RSAPrivateKey)

func (CompanionStruct_Default___) GenerateKeyPairExtern ¶

func (CompanionStruct_Default___) GenerateKeyPairExtern(bits int32) (dafny.Sequence, dafny.Sequence)

func (*CompanionStruct_Default___) GetRSAKeyModulusLength ¶

func (_static *CompanionStruct_Default___) GetRSAKeyModulusLength(publicKey _dafny.Sequence) m_Wrappers.Result

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