AwsCryptographyEncryptionSdkTypes

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 16, 2025 License: Apache-2.0 Imports: 107 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AwsEncryptionSdkConfig_ = CompanionStruct_AwsEncryptionSdkConfig_{}
View Source 
var Companion_CountingNumbers_ = CompanionStruct_CountingNumbers_{}
View Source 
var Companion_DafnyCallEvent_ = CompanionStruct_DafnyCallEvent_{}
View Source 
var Companion_DecryptInput_ = CompanionStruct_DecryptInput_{}
View Source 
var Companion_DecryptOutput_ = CompanionStruct_DecryptOutput_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_DummySubsetType_ = CompanionStruct_DummySubsetType_{}
View Source 
var Companion_EncryptInput_ = CompanionStruct_EncryptInput_{}
View Source 
var Companion_EncryptOutput_ = CompanionStruct_EncryptOutput_{}
View Source 
var Companion_Error_ = CompanionStruct_Error_{}
View Source 
var Companion_FrameLength_ = CompanionStruct_FrameLength_{}
View Source 
var Companion_IAwsEncryptionSdkClientCallHistory_ = CompanionStruct_IAwsEncryptionSdkClientCallHistory_{}
View Source 
var Companion_IAwsEncryptionSdkClient_ = CompanionStruct_IAwsEncryptionSdkClient_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_NetV4__0__0__RetryPolicy_ = CompanionStruct_NetV4__0__0__RetryPolicy_{}
View Source 
var Companion_OpaqueError_ = CompanionStruct_OpaqueError_{}

Functions

func Type_AwsEncryptionSdkConfig_ 

func Type_AwsEncryptionSdkConfig_() _dafny.TypeDescriptor

func Type_CountingNumbers_ 

func Type_CountingNumbers_() _dafny.TypeDescriptor

func Type_DafnyCallEvent_ 

func Type_DafnyCallEvent_(Type_I_ _dafny.TypeDescriptor, Type_O_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_DecryptInput_ 

func Type_DecryptInput_() _dafny.TypeDescriptor

func Type_DecryptOutput_ 

func Type_DecryptOutput_() _dafny.TypeDescriptor

func Type_DummySubsetType_ 

func Type_DummySubsetType_() _dafny.TypeDescriptor

func Type_EncryptInput_ 

func Type_EncryptInput_() _dafny.TypeDescriptor

func Type_EncryptOutput_ 

func Type_EncryptOutput_() _dafny.TypeDescriptor

func Type_Error_ 

func Type_Error_() _dafny.TypeDescriptor

func Type_FrameLength_ 

func Type_FrameLength_() _dafny.TypeDescriptor

func Type_IAwsEncryptionSdkClientCallHistory_ 

func Type_IAwsEncryptionSdkClientCallHistory_() _dafny.TypeDescriptor

func Type_NetV4__0__0__RetryPolicy_ 

func Type_NetV4__0__0__RetryPolicy_() _dafny.TypeDescriptor

func Type_OpaqueError_ 

func Type_OpaqueError_() _dafny.TypeDescriptor

Types

type AwsEncryptionSdkConfig 

type AwsEncryptionSdkConfig struct {
	Data_AwsEncryptionSdkConfig_
}

Definition of datatype AwsEncryptionSdkConfig

func (AwsEncryptionSdkConfig) Dtor_commitmentPolicy 

func (_this AwsEncryptionSdkConfig) Dtor_commitmentPolicy() m_Wrappers.Option

func (AwsEncryptionSdkConfig) Dtor_maxEncryptedDataKeys 

func (_this AwsEncryptionSdkConfig) Dtor_maxEncryptedDataKeys() m_Wrappers.Option

func (AwsEncryptionSdkConfig) Dtor_netV4__0__0__RetryPolicy 

func (_this AwsEncryptionSdkConfig) Dtor_netV4__0__0__RetryPolicy() m_Wrappers.Option

func (AwsEncryptionSdkConfig) Equals 

func (_this AwsEncryptionSdkConfig) Equals(other AwsEncryptionSdkConfig) bool

func (AwsEncryptionSdkConfig) EqualsGeneric 

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

func (AwsEncryptionSdkConfig) Get_ 

func (_this AwsEncryptionSdkConfig) Get_() Data_AwsEncryptionSdkConfig_

func (AwsEncryptionSdkConfig) Is_AwsEncryptionSdkConfig 

func (_this AwsEncryptionSdkConfig) Is_AwsEncryptionSdkConfig() bool

func (AwsEncryptionSdkConfig) ParentTraits_ 

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

func (AwsEncryptionSdkConfig) String 

func (_this AwsEncryptionSdkConfig) String() string

type AwsEncryptionSdkConfig_AwsEncryptionSdkConfig 

type AwsEncryptionSdkConfig_AwsEncryptionSdkConfig struct {
	CommitmentPolicy         m_Wrappers.Option
	MaxEncryptedDataKeys     m_Wrappers.Option
	NetV4__0__0__RetryPolicy m_Wrappers.Option
}

type CompanionStruct_AwsEncryptionSdkConfig_ 

type CompanionStruct_AwsEncryptionSdkConfig_ struct {
}

func (CompanionStruct_AwsEncryptionSdkConfig_) Create_AwsEncryptionSdkConfig_ 

func (CompanionStruct_AwsEncryptionSdkConfig_) Create_AwsEncryptionSdkConfig_(CommitmentPolicy m_Wrappers.Option, MaxEncryptedDataKeys m_Wrappers.Option, NetV4__0__0__RetryPolicy m_Wrappers.Option) AwsEncryptionSdkConfig

func (CompanionStruct_AwsEncryptionSdkConfig_) Default 

func (CompanionStruct_AwsEncryptionSdkConfig_) Default() AwsEncryptionSdkConfig

type CompanionStruct_CountingNumbers_ 

type CompanionStruct_CountingNumbers_ struct {
}

func (*CompanionStruct_CountingNumbers_) Is_ 

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

type CompanionStruct_DafnyCallEvent_ 

type CompanionStruct_DafnyCallEvent_ struct {
}

func (CompanionStruct_DafnyCallEvent_) Create_DafnyCallEvent_ 

func (CompanionStruct_DafnyCallEvent_) Create_DafnyCallEvent_(Input interface{}, Output interface{}) DafnyCallEvent

func (CompanionStruct_DafnyCallEvent_) Default 

func (CompanionStruct_DafnyCallEvent_) Default(_default_I interface{}, _default_O interface{}) DafnyCallEvent

type CompanionStruct_DecryptInput_ 

type CompanionStruct_DecryptInput_ struct {
}

func (CompanionStruct_DecryptInput_) Create_DecryptInput_ 

func (CompanionStruct_DecryptInput_) Create_DecryptInput_(Ciphertext _dafny.Sequence, MaterialsManager m_Wrappers.Option, Keyring m_Wrappers.Option, EncryptionContext m_Wrappers.Option) DecryptInput

func (CompanionStruct_DecryptInput_) Default 

func (CompanionStruct_DecryptInput_) Default() DecryptInput

type CompanionStruct_DecryptOutput_ 

type CompanionStruct_DecryptOutput_ struct {
}

func (CompanionStruct_DecryptOutput_) Create_DecryptOutput_ 

func (CompanionStruct_DecryptOutput_) Create_DecryptOutput_(Plaintext _dafny.Sequence, EncryptionContext _dafny.Map, AlgorithmSuiteId m_AwsCryptographyMaterialProvidersTypes.ESDKAlgorithmSuiteId) DecryptOutput

func (CompanionStruct_DecryptOutput_) Default 

func (CompanionStruct_DecryptOutput_) Default() DecryptOutput

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) IsDummySubsetType 

func (_static *CompanionStruct_Default___) IsDummySubsetType(x _dafny.Int) bool

func (*CompanionStruct_Default___) IsValid__CountingNumbers 

func (_static *CompanionStruct_Default___) IsValid__CountingNumbers(x int64) bool

func (*CompanionStruct_Default___) IsValid__FrameLength 

func (_static *CompanionStruct_Default___) IsValid__FrameLength(x int64) bool

type CompanionStruct_DummySubsetType_ 

type CompanionStruct_DummySubsetType_ struct {
}

func (*CompanionStruct_DummySubsetType_) Is_ 

func (_this *CompanionStruct_DummySubsetType_) Is_(__source _dafny.Int) bool

func (*CompanionStruct_DummySubsetType_) Witness 

func (_this *CompanionStruct_DummySubsetType_) Witness() _dafny.Int

type CompanionStruct_EncryptInput_ 

type CompanionStruct_EncryptInput_ struct {
}

func (CompanionStruct_EncryptInput_) Create_EncryptInput_ 

func (CompanionStruct_EncryptInput_) Create_EncryptInput_(Plaintext _dafny.Sequence, EncryptionContext m_Wrappers.Option, MaterialsManager m_Wrappers.Option, Keyring m_Wrappers.Option, AlgorithmSuiteId m_Wrappers.Option, FrameLength m_Wrappers.Option) EncryptInput

func (CompanionStruct_EncryptInput_) Default 

func (CompanionStruct_EncryptInput_) Default() EncryptInput

type CompanionStruct_EncryptOutput_ 

type CompanionStruct_EncryptOutput_ struct {
}

func (CompanionStruct_EncryptOutput_) Create_EncryptOutput_ 

func (CompanionStruct_EncryptOutput_) Create_EncryptOutput_(Ciphertext _dafny.Sequence, EncryptionContext _dafny.Map, AlgorithmSuiteId m_AwsCryptographyMaterialProvidersTypes.ESDKAlgorithmSuiteId) EncryptOutput

func (CompanionStruct_EncryptOutput_) Default 

func (CompanionStruct_EncryptOutput_) Default() EncryptOutput

type CompanionStruct_Error_ 

type CompanionStruct_Error_ struct {
}

func (CompanionStruct_Error_) Create_AwsCryptographyMaterialProviders_ 

func (CompanionStruct_Error_) Create_AwsCryptographyMaterialProviders_(AwsCryptographyMaterialProviders m_AwsCryptographyMaterialProvidersTypes.Error) Error

func (CompanionStruct_Error_) Create_AwsCryptographyPrimitives_ 

func (CompanionStruct_Error_) Create_AwsCryptographyPrimitives_(AwsCryptographyPrimitives m_AwsCryptographyPrimitivesTypes.Error) Error

func (CompanionStruct_Error_) Create_AwsEncryptionSdkException_ 

func (CompanionStruct_Error_) Create_AwsEncryptionSdkException_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_CollectionOfErrors_ 

func (CompanionStruct_Error_) Create_CollectionOfErrors_(List _dafny.Sequence, Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_OpaqueWithText_ 

func (CompanionStruct_Error_) Create_OpaqueWithText_(Obj interface{}, ObjMessage _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_Opaque_ 

func (CompanionStruct_Error_) Create_Opaque_(Obj interface{}) Error

func (CompanionStruct_Error_) Default 

func (CompanionStruct_Error_) Default() Error

type CompanionStruct_FrameLength_ 

type CompanionStruct_FrameLength_ struct {
}

func (*CompanionStruct_FrameLength_) Is_ 

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

type CompanionStruct_IAwsEncryptionSdkClientCallHistory_ 

type CompanionStruct_IAwsEncryptionSdkClientCallHistory_ struct {
}

type CompanionStruct_IAwsEncryptionSdkClient_ 

type CompanionStruct_IAwsEncryptionSdkClient_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_IAwsEncryptionSdkClient_) CastTo_ 

func (CompanionStruct_IAwsEncryptionSdkClient_) CastTo_(x interface{}) IAwsEncryptionSdkClient

type CompanionStruct_NetV4__0__0__RetryPolicy_ 

type CompanionStruct_NetV4__0__0__RetryPolicy_ struct {
}

func (CompanionStruct_NetV4__0__0__RetryPolicy_) AllSingletonConstructors 

func (_ CompanionStruct_NetV4__0__0__RetryPolicy_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_NetV4__0__0__RetryPolicy_) Create_ALLOW__RETRY_ 

func (CompanionStruct_NetV4__0__0__RetryPolicy_) Create_ALLOW__RETRY_() NetV4__0__0__RetryPolicy

func (CompanionStruct_NetV4__0__0__RetryPolicy_) Create_FORBID__RETRY_ 

func (CompanionStruct_NetV4__0__0__RetryPolicy_) Create_FORBID__RETRY_() NetV4__0__0__RetryPolicy

func (CompanionStruct_NetV4__0__0__RetryPolicy_) Default 

func (CompanionStruct_NetV4__0__0__RetryPolicy_) Default() NetV4__0__0__RetryPolicy

type CompanionStruct_OpaqueError_ 

type CompanionStruct_OpaqueError_ struct {
}

func (*CompanionStruct_OpaqueError_) Is_ 

func (_this *CompanionStruct_OpaqueError_) Is_(__source Error) bool

type CountingNumbers 

type CountingNumbers struct {
}

Definition of class CountingNumbers

func New_CountingNumbers_ 

func New_CountingNumbers_() *CountingNumbers

func (*CountingNumbers) String 

func (*CountingNumbers) String() string

type DafnyCallEvent 

type DafnyCallEvent struct {
	Data_DafnyCallEvent_
}

Definition of datatype DafnyCallEvent

func (DafnyCallEvent) Dtor_input 

func (_this DafnyCallEvent) Dtor_input() interface{}

func (DafnyCallEvent) Dtor_output 

func (_this DafnyCallEvent) Dtor_output() interface{}

func (DafnyCallEvent) Equals 

func (_this DafnyCallEvent) Equals(other DafnyCallEvent) bool

func (DafnyCallEvent) EqualsGeneric 

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

func (DafnyCallEvent) Get_ 

func (_this DafnyCallEvent) Get_() Data_DafnyCallEvent_

func (DafnyCallEvent) Is_DafnyCallEvent 

func (_this DafnyCallEvent) Is_DafnyCallEvent() bool

func (DafnyCallEvent) ParentTraits_ 

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

func (DafnyCallEvent) String 

func (_this DafnyCallEvent) String() string

type DafnyCallEvent_DafnyCallEvent 

type DafnyCallEvent_DafnyCallEvent struct {
	Input  interface{}
	Output interface{}
}

type Data_AwsEncryptionSdkConfig_ 

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

type Data_DafnyCallEvent_ 

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

type Data_DecryptInput_ 

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

type Data_DecryptOutput_ 

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

type Data_EncryptInput_ 

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

type Data_EncryptOutput_ 

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

type Data_Error_ 

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

type Data_NetV4__0__0__RetryPolicy_ 

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

type DecryptInput 

type DecryptInput struct {
	Data_DecryptInput_
}

Definition of datatype DecryptInput

func (DecryptInput) Dtor_ciphertext 

func (_this DecryptInput) Dtor_ciphertext() _dafny.Sequence

func (DecryptInput) Dtor_encryptionContext 

func (_this DecryptInput) Dtor_encryptionContext() m_Wrappers.Option

func (DecryptInput) Dtor_keyring 

func (_this DecryptInput) Dtor_keyring() m_Wrappers.Option

func (DecryptInput) Dtor_materialsManager 

func (_this DecryptInput) Dtor_materialsManager() m_Wrappers.Option

func (DecryptInput) Equals 

func (_this DecryptInput) Equals(other DecryptInput) bool

func (DecryptInput) EqualsGeneric 

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

func (DecryptInput) Get_ 

func (_this DecryptInput) Get_() Data_DecryptInput_

func (DecryptInput) Is_DecryptInput 

func (_this DecryptInput) Is_DecryptInput() bool

func (DecryptInput) ParentTraits_ 

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

func (DecryptInput) String 

func (_this DecryptInput) String() string

type DecryptInput_DecryptInput 

type DecryptInput_DecryptInput struct {
	Ciphertext        _dafny.Sequence
	MaterialsManager  m_Wrappers.Option
	Keyring           m_Wrappers.Option
	EncryptionContext m_Wrappers.Option
}

type DecryptOutput 

type DecryptOutput struct {
	Data_DecryptOutput_
}

Definition of datatype DecryptOutput

func (DecryptOutput) Dtor_algorithmSuiteId 

func (_this DecryptOutput) Dtor_algorithmSuiteId() m_AwsCryptographyMaterialProvidersTypes.ESDKAlgorithmSuiteId

func (DecryptOutput) Dtor_encryptionContext 

func (_this DecryptOutput) Dtor_encryptionContext() _dafny.Map

func (DecryptOutput) Dtor_plaintext 

func (_this DecryptOutput) Dtor_plaintext() _dafny.Sequence

func (DecryptOutput) Equals 

func (_this DecryptOutput) Equals(other DecryptOutput) bool

func (DecryptOutput) EqualsGeneric 

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

func (DecryptOutput) Get_ 

func (_this DecryptOutput) Get_() Data_DecryptOutput_

func (DecryptOutput) Is_DecryptOutput 

func (_this DecryptOutput) Is_DecryptOutput() bool

func (DecryptOutput) ParentTraits_ 

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

func (DecryptOutput) String 

func (_this DecryptOutput) String() string

type DecryptOutput_DecryptOutput 

type DecryptOutput_DecryptOutput struct {
	Plaintext         _dafny.Sequence
	EncryptionContext _dafny.Map
	AlgorithmSuiteId  m_AwsCryptographyMaterialProvidersTypes.ESDKAlgorithmSuiteId
}

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 DummySubsetType 

type DummySubsetType struct {
}

Definition of class DummySubsetType

func New_DummySubsetType_ 

func New_DummySubsetType_() *DummySubsetType

func (*DummySubsetType) String 

func (*DummySubsetType) String() string

type Dummy__ 

type Dummy__ struct{}

type EncryptInput 

type EncryptInput struct {
	Data_EncryptInput_
}

Definition of datatype EncryptInput

func (EncryptInput) Dtor_algorithmSuiteId 

func (_this EncryptInput) Dtor_algorithmSuiteId() m_Wrappers.Option

func (EncryptInput) Dtor_encryptionContext 

func (_this EncryptInput) Dtor_encryptionContext() m_Wrappers.Option

func (EncryptInput) Dtor_frameLength 

func (_this EncryptInput) Dtor_frameLength() m_Wrappers.Option

func (EncryptInput) Dtor_keyring 

func (_this EncryptInput) Dtor_keyring() m_Wrappers.Option

func (EncryptInput) Dtor_materialsManager 

func (_this EncryptInput) Dtor_materialsManager() m_Wrappers.Option

func (EncryptInput) Dtor_plaintext 

func (_this EncryptInput) Dtor_plaintext() _dafny.Sequence

func (EncryptInput) Equals 

func (_this EncryptInput) Equals(other EncryptInput) bool

func (EncryptInput) EqualsGeneric 

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

func (EncryptInput) Get_ 

func (_this EncryptInput) Get_() Data_EncryptInput_

func (EncryptInput) Is_EncryptInput 

func (_this EncryptInput) Is_EncryptInput() bool

func (EncryptInput) ParentTraits_ 

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

func (EncryptInput) String 

func (_this EncryptInput) String() string

type EncryptInput_EncryptInput 

type EncryptInput_EncryptInput struct {
	Plaintext         _dafny.Sequence
	EncryptionContext m_Wrappers.Option
	MaterialsManager  m_Wrappers.Option
	Keyring           m_Wrappers.Option
	AlgorithmSuiteId  m_Wrappers.Option
	FrameLength       m_Wrappers.Option
}

type EncryptOutput 

type EncryptOutput struct {
	Data_EncryptOutput_
}

Definition of datatype EncryptOutput

func (EncryptOutput) Dtor_algorithmSuiteId 

func (_this EncryptOutput) Dtor_algorithmSuiteId() m_AwsCryptographyMaterialProvidersTypes.ESDKAlgorithmSuiteId

func (EncryptOutput) Dtor_ciphertext 

func (_this EncryptOutput) Dtor_ciphertext() _dafny.Sequence

func (EncryptOutput) Dtor_encryptionContext 

func (_this EncryptOutput) Dtor_encryptionContext() _dafny.Map

func (EncryptOutput) Equals 

func (_this EncryptOutput) Equals(other EncryptOutput) bool

func (EncryptOutput) EqualsGeneric 

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

func (EncryptOutput) Get_ 

func (_this EncryptOutput) Get_() Data_EncryptOutput_

func (EncryptOutput) Is_EncryptOutput 

func (_this EncryptOutput) Is_EncryptOutput() bool

func (EncryptOutput) ParentTraits_ 

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

func (EncryptOutput) String 

func (_this EncryptOutput) String() string

type EncryptOutput_EncryptOutput 

type EncryptOutput_EncryptOutput struct {
	Ciphertext        _dafny.Sequence
	EncryptionContext _dafny.Map
	AlgorithmSuiteId  m_AwsCryptographyMaterialProvidersTypes.ESDKAlgorithmSuiteId
}

type Error 

type Error struct {
	Data_Error_
}

Definition of datatype Error

func (Error) Dtor_AwsCryptographyMaterialProviders 

func (_this Error) Dtor_AwsCryptographyMaterialProviders() m_AwsCryptographyMaterialProvidersTypes.Error

func (Error) Dtor_AwsCryptographyPrimitives 

func (_this Error) Dtor_AwsCryptographyPrimitives() m_AwsCryptographyPrimitivesTypes.Error

func (Error) Dtor_list 

func (_this Error) Dtor_list() _dafny.Sequence

func (Error) Dtor_message 

func (_this Error) Dtor_message() _dafny.Sequence

func (Error) Dtor_obj 

func (_this Error) Dtor_obj() interface{}

func (Error) Dtor_objMessage 

func (_this Error) Dtor_objMessage() _dafny.Sequence

func (Error) Equals 

func (_this Error) Equals(other Error) bool

func (Error) EqualsGeneric 

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

func (Error) Get_ 

func (_this Error) Get_() Data_Error_

func (Error) Is_AwsCryptographyMaterialProviders 

func (_this Error) Is_AwsCryptographyMaterialProviders() bool

func (Error) Is_AwsCryptographyPrimitives 

func (_this Error) Is_AwsCryptographyPrimitives() bool

func (Error) Is_AwsEncryptionSdkException 

func (_this Error) Is_AwsEncryptionSdkException() bool

func (Error) Is_CollectionOfErrors 

func (_this Error) Is_CollectionOfErrors() bool

func (Error) Is_Opaque 

func (_this Error) Is_Opaque() bool

func (Error) Is_OpaqueWithText 

func (_this Error) Is_OpaqueWithText() bool

func (Error) ParentTraits_ 

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

func (Error) String 

func (_this Error) String() string

type Error_AwsCryptographyMaterialProviders 

type Error_AwsCryptographyMaterialProviders struct {
	AwsCryptographyMaterialProviders m_AwsCryptographyMaterialProvidersTypes.Error
}

type Error_AwsCryptographyPrimitives 

type Error_AwsCryptographyPrimitives struct {
	AwsCryptographyPrimitives m_AwsCryptographyPrimitivesTypes.Error
}

type Error_AwsEncryptionSdkException 

type Error_AwsEncryptionSdkException struct {
	Message _dafny.Sequence
}

type Error_CollectionOfErrors 

type Error_CollectionOfErrors struct {
	List    _dafny.Sequence
	Message _dafny.Sequence
}

type Error_Opaque 

type Error_Opaque struct {
	Obj interface{}
}

type Error_OpaqueWithText 

type Error_OpaqueWithText struct {
	Obj        interface{}
	ObjMessage _dafny.Sequence
}

type FrameLength 

type FrameLength struct {
}

Definition of class FrameLength

func New_FrameLength_ 

func New_FrameLength_() *FrameLength

func (*FrameLength) String 

func (*FrameLength) String() string

type IAwsEncryptionSdkClient 

type IAwsEncryptionSdkClient interface {
	String() string
	Encrypt(input EncryptInput) m_Wrappers.Result
	Decrypt(input DecryptInput) m_Wrappers.Result
}

Definition of trait IAwsEncryptionSdkClient

type IAwsEncryptionSdkClientCallHistory 

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

Definition of class IAwsEncryptionSdkClientCallHistory

func New_IAwsEncryptionSdkClientCallHistory_ 

func New_IAwsEncryptionSdkClientCallHistory_() *IAwsEncryptionSdkClientCallHistory

func (*IAwsEncryptionSdkClientCallHistory) Equals 

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

func (*IAwsEncryptionSdkClientCallHistory) EqualsGeneric 

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

func (*IAwsEncryptionSdkClientCallHistory) ParentTraits_ 

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

func (*IAwsEncryptionSdkClientCallHistory) String 

func (*IAwsEncryptionSdkClientCallHistory) String() string

type NetV4__0__0__RetryPolicy 

type NetV4__0__0__RetryPolicy struct {
	Data_NetV4__0__0__RetryPolicy_
}

Definition of datatype NetV4__0__0__RetryPolicy

func (NetV4__0__0__RetryPolicy) Equals 

func (_this NetV4__0__0__RetryPolicy) Equals(other NetV4__0__0__RetryPolicy) bool

func (NetV4__0__0__RetryPolicy) EqualsGeneric 

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

func (NetV4__0__0__RetryPolicy) Get_ 

func (_this NetV4__0__0__RetryPolicy) Get_() Data_NetV4__0__0__RetryPolicy_

func (NetV4__0__0__RetryPolicy) Is_ALLOW__RETRY 

func (_this NetV4__0__0__RetryPolicy) Is_ALLOW__RETRY() bool

func (NetV4__0__0__RetryPolicy) Is_FORBID__RETRY 

func (_this NetV4__0__0__RetryPolicy) Is_FORBID__RETRY() bool

func (NetV4__0__0__RetryPolicy) ParentTraits_ 

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

func (NetV4__0__0__RetryPolicy) String 

func (_this NetV4__0__0__RetryPolicy) String() string

type NetV4__0__0__RetryPolicy_ALLOW__RETRY 

type NetV4__0__0__RetryPolicy_ALLOW__RETRY struct {
}

type NetV4__0__0__RetryPolicy_FORBID__RETRY 

type NetV4__0__0__RetryPolicy_FORBID__RETRY struct {
}

type OpaqueError 

type OpaqueError struct {
}

Definition of class OpaqueError

func New_OpaqueError_ 

func New_OpaqueError_() *OpaqueError

func (*OpaqueError) String 

func (*OpaqueError) String() string

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.