AwsEncryptionSdkOperations

Documentation

Index

• Variables
• func Type_Config_() _dafny.TypeDescriptor
• func Type_FrameLength_() _dafny.TypeDescriptor
• type CompanionStruct_Config_
  • func (CompanionStruct_Config_) Create_Config_(Crypto *m_AtomicPrimitives.AtomicPrimitivesClient, ...) Config
  • func (CompanionStruct_Config_) Default() Config
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) BuildEncryptionContextToOnlyAuthenticate(decMat m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) _dafny.Map
  • func (_static *CompanionStruct_Default___) Decrypt(config Config, input m_AwsCryptographyEncryptionSdkTypes.DecryptInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Encrypt(config Config, input m_AwsCryptographyEncryptionSdkTypes.EncryptInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) InternalDecrypt(config Config, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) SignAndSerializeMessage(config Config, header m_Header.HeaderInfo, ...) m_Wrappers.Result
• type CompanionStruct_FrameLength_
  • func (_this *CompanionStruct_FrameLength_) Is_(__source int64) bool
• type Config
  • func (_this Config) Dtor_commitmentPolicy() m_AwsCryptographyMaterialProvidersTypes.ESDKCommitmentPolicy
  • func (_this Config) Dtor_crypto() *m_AtomicPrimitives.AtomicPrimitivesClient
  • func (_this Config) Dtor_maxEncryptedDataKeys() m_Wrappers.Option
  • func (_this Config) Dtor_mpl() *m_MaterialProviders.MaterialProvidersClient
  • func (_this Config) Dtor_netV4__0__0__RetryPolicy() m_AwsCryptographyEncryptionSdkTypes.NetV4__0__0__RetryPolicy
  • func (_this Config) Equals(other Config) bool
  • func (_this Config) EqualsGeneric(other interface{}) bool
  • func (_this Config) Get_() Data_Config_
  • func (_this Config) Is_Config() bool
  • func (_this Config) ParentTraits_() []*_dafny.TraitID
  • func (_this Config) String() string
• type Config_Config
• type Data_Config_
• 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 FrameLength
  • func New_FrameLength_() *FrameLength
  • func (*FrameLength) String() string

Variables

var Companion_Config_ = CompanionStruct_Config_{}

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_FrameLength_ = CompanionStruct_FrameLength_{}

Functions

func Type_Config_

func Type_Config_() _dafny.TypeDescriptor

func Type_FrameLength_

func Type_FrameLength_() _dafny.TypeDescriptor

Types

type CompanionStruct_Config_

type CompanionStruct_Config_ struct {
}

func (CompanionStruct_Config_) Create_Config_

func (CompanionStruct_Config_) Create_Config_(Crypto *m_AtomicPrimitives.AtomicPrimitivesClient, Mpl *m_MaterialProviders.MaterialProvidersClient, CommitmentPolicy m_AwsCryptographyMaterialProvidersTypes.ESDKCommitmentPolicy, MaxEncryptedDataKeys m_Wrappers.Option, NetV4__0__0__RetryPolicy m_AwsCryptographyEncryptionSdkTypes.NetV4__0__0__RetryPolicy) Config

func (CompanionStruct_Config_) Default

func (CompanionStruct_Config_) Default() Config

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) BuildEncryptionContextToOnlyAuthenticate

func (_static *CompanionStruct_Default___) BuildEncryptionContextToOnlyAuthenticate(decMat m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) _dafny.Map

func (*CompanionStruct_Default___) Decrypt

func (_static *CompanionStruct_Default___) Decrypt(config Config, input m_AwsCryptographyEncryptionSdkTypes.DecryptInput) m_Wrappers.Result

func (*CompanionStruct_Default___) Encrypt

func (_static *CompanionStruct_Default___) Encrypt(config Config, input m_AwsCryptographyEncryptionSdkTypes.EncryptInput) m_Wrappers.Result

func (*CompanionStruct_Default___) InternalDecrypt

func (_static *CompanionStruct_Default___) InternalDecrypt(config Config, cmm m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager, buffer m_SerializeFunctions.ReadableBuffer, inputEncryptionContext m_Wrappers.Option) m_Wrappers.Result

func (*CompanionStruct_Default___) SignAndSerializeMessage

func (_static *CompanionStruct_Default___) SignAndSerializeMessage(config Config, header m_Header.HeaderInfo, framedMessage m_MessageBody.FramedMessageBody, materials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) m_Wrappers.Result

type CompanionStruct_FrameLength_

type CompanionStruct_FrameLength_ struct {
}

func (*CompanionStruct_FrameLength_) Is_

func (_this *CompanionStruct_FrameLength_) Is_(__source int64) bool

type Config

type Config struct {
	Data_Config_
}

Definition of datatype Config

func (Config) Dtor_commitmentPolicy

func (_this Config) Dtor_commitmentPolicy() m_AwsCryptographyMaterialProvidersTypes.ESDKCommitmentPolicy

func (Config) Dtor_crypto

func (_this Config) Dtor_crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (Config) Dtor_maxEncryptedDataKeys

func (_this Config) Dtor_maxEncryptedDataKeys() m_Wrappers.Option

func (Config) Dtor_mpl

func (_this Config) Dtor_mpl() *m_MaterialProviders.MaterialProvidersClient

func (Config) Dtor_netV4__0__0__RetryPolicy

func (_this Config) Dtor_netV4__0__0__RetryPolicy() m_AwsCryptographyEncryptionSdkTypes.NetV4__0__0__RetryPolicy

func (Config) Equals

func (_this Config) Equals(other Config) bool

func (Config) EqualsGeneric

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

func (Config) Get_

func (_this Config) Get_() Data_Config_

func (Config) Is_Config

func (_this Config) Is_Config() bool

func (Config) ParentTraits_

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

func (Config) String

func (_this Config) String() string

type Config_Config

type Config_Config struct {
	Crypto                   *m_AtomicPrimitives.AtomicPrimitivesClient
	Mpl                      *m_MaterialProviders.MaterialProvidersClient
	CommitmentPolicy         m_AwsCryptographyMaterialProvidersTypes.ESDKCommitmentPolicy
	MaxEncryptedDataKeys     m_Wrappers.Option
	NetV4__0__0__RetryPolicy m_AwsCryptographyEncryptionSdkTypes.NetV4__0__0__RetryPolicy
}

type Data_Config_

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

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 FrameLength

type FrameLength struct {
}

Definition of class FrameLength

func New_FrameLength_

func New_FrameLength_() *FrameLength

func (*FrameLength) String

func (*FrameLength) String() string