ESDK

Documentation

Index

• Variables
• func Type_ESDKClient_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) CreateFailureOfError(error_ m_AwsCryptographyEncryptionSdkTypes.Error) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateSuccessOfClient(client m_AwsCryptographyEncryptionSdkTypes.IAwsEncryptionSdkClient) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) DefaultAwsEncryptionSdkConfig() m_AwsCryptographyEncryptionSdkTypes.AwsEncryptionSdkConfig
  • func (_static *CompanionStruct_Default___) ESDK(config m_AwsCryptographyEncryptionSdkTypes.AwsEncryptionSdkConfig) m_Wrappers.Result
• type CompanionStruct_ESDKClient_
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__
• type ESDKClient
  • func New_ESDKClient_() *ESDKClient
  • func (_this *ESDKClient) Config() m_AwsEncryptionSdkOperations.Config
  • func (_this *ESDKClient) Ctor__(config m_AwsEncryptionSdkOperations.Config)
  • func (_this *ESDKClient) Decrypt(input m_AwsCryptographyEncryptionSdkTypes.DecryptInput) m_Wrappers.Result
  • func (_this *ESDKClient) Encrypt(input m_AwsCryptographyEncryptionSdkTypes.EncryptInput) m_Wrappers.Result
  • func (_this *ESDKClient) Equals(other *ESDKClient) bool
  • func (_this *ESDKClient) EqualsGeneric(x interface{}) bool
  • func (_this *ESDKClient) ParentTraits_() []*_dafny.TraitID
  • func (*ESDKClient) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_ESDKClient_ = CompanionStruct_ESDKClient_{}

Functions

func Type_ESDKClient_

func Type_ESDKClient_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CreateFailureOfError

func (_static *CompanionStruct_Default___) CreateFailureOfError(error_ m_AwsCryptographyEncryptionSdkTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateSuccessOfClient

func (_static *CompanionStruct_Default___) CreateSuccessOfClient(client m_AwsCryptographyEncryptionSdkTypes.IAwsEncryptionSdkClient) m_Wrappers.Result

func (*CompanionStruct_Default___) DefaultAwsEncryptionSdkConfig

func (_static *CompanionStruct_Default___) DefaultAwsEncryptionSdkConfig() m_AwsCryptographyEncryptionSdkTypes.AwsEncryptionSdkConfig

func (*CompanionStruct_Default___) ESDK

func (_static *CompanionStruct_Default___) ESDK(config m_AwsCryptographyEncryptionSdkTypes.AwsEncryptionSdkConfig) m_Wrappers.Result

type CompanionStruct_ESDKClient_

type CompanionStruct_ESDKClient_ struct {
}

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{}

type ESDKClient

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

Definition of class ESDKClient

func New_ESDKClient_

func New_ESDKClient_() *ESDKClient

func (*ESDKClient) Config

func (_this *ESDKClient) Config() m_AwsEncryptionSdkOperations.Config

func (*ESDKClient) Ctor__

func (_this *ESDKClient) Ctor__(config m_AwsEncryptionSdkOperations.Config)

func (*ESDKClient) Decrypt

func (_this *ESDKClient) Decrypt(input m_AwsCryptographyEncryptionSdkTypes.DecryptInput) m_Wrappers.Result

func (*ESDKClient) Encrypt

func (_this *ESDKClient) Encrypt(input m_AwsCryptographyEncryptionSdkTypes.EncryptInput) m_Wrappers.Result

func (*ESDKClient) Equals

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

func (*ESDKClient) EqualsGeneric

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

func (*ESDKClient) ParentTraits_

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

func (*ESDKClient) String

func (*ESDKClient) String() string