AwsKmsMrkKeyring

Documentation

Index

• Variables
• func Type_AwsKmsMrkKeyring_() _dafny.TypeDescriptor
• func Type_DecryptSingleEncryptedDataKey_() _dafny.TypeDescriptor
• type AwsKmsMrkKeyring
  • func New_AwsKmsMrkKeyring_() *AwsKmsMrkKeyring
  • func (_this *AwsKmsMrkKeyring) AwsKmsArn() m_AwsArnParsing.AwsKmsIdentifier
  • func (_this *AwsKmsMrkKeyring) AwsKmsKey() _dafny.Sequence
  • func (_this *AwsKmsMrkKeyring) Client() m_ComAmazonawsKmsTypes.IKMSClient
  • func (_this *AwsKmsMrkKeyring) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, ...)
  • func (_this *AwsKmsMrkKeyring) Equals(other *AwsKmsMrkKeyring) bool
  • func (_this *AwsKmsMrkKeyring) EqualsGeneric(x interface{}) bool
  • func (_this *AwsKmsMrkKeyring) GrantTokens() _dafny.Sequence
  • func (_this *AwsKmsMrkKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result
  • func (_this *AwsKmsMrkKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result
  • func (_this *AwsKmsMrkKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result
  • func (_this *AwsKmsMrkKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result
  • func (_this *AwsKmsMrkKeyring) ParentTraits_() []*_dafny.TraitID
  • func (*AwsKmsMrkKeyring) String() string
• type CompanionStruct_AwsKmsMrkKeyring_
• type CompanionStruct_DecryptSingleEncryptedDataKey_
• type DecryptSingleEncryptedDataKey
  • func New_DecryptSingleEncryptedDataKey_() *DecryptSingleEncryptedDataKey
  • func (_this *DecryptSingleEncryptedDataKey) AwsKmsKey() _dafny.Sequence
  • func (_this *DecryptSingleEncryptedDataKey) Client() m_ComAmazonawsKmsTypes.IKMSClient
  • func (_this *DecryptSingleEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, ...)
  • func (_this *DecryptSingleEncryptedDataKey) Equals(other *DecryptSingleEncryptedDataKey) bool
  • func (_this *DecryptSingleEncryptedDataKey) EqualsGeneric(x interface{}) bool
  • func (_this *DecryptSingleEncryptedDataKey) GrantTokens() _dafny.Sequence
  • func (_this *DecryptSingleEncryptedDataKey) Invoke(edk interface{}) interface{}
  • func (_this *DecryptSingleEncryptedDataKey) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
  • func (_this *DecryptSingleEncryptedDataKey) ParentTraits_() []*_dafny.TraitID
  • func (*DecryptSingleEncryptedDataKey) String() string
• type Dummy__

Variables

var Companion_AwsKmsMrkKeyring_ = CompanionStruct_AwsKmsMrkKeyring_{}

var Companion_DecryptSingleEncryptedDataKey_ = CompanionStruct_DecryptSingleEncryptedDataKey_{}

Functions

func Type_AwsKmsMrkKeyring_

func Type_AwsKmsMrkKeyring_() _dafny.TypeDescriptor

func Type_DecryptSingleEncryptedDataKey_

func Type_DecryptSingleEncryptedDataKey_() _dafny.TypeDescriptor

Types

type AwsKmsMrkKeyring

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

Definition of class AwsKmsMrkKeyring

func New_AwsKmsMrkKeyring_

func New_AwsKmsMrkKeyring_() *AwsKmsMrkKeyring

func (*AwsKmsMrkKeyring) AwsKmsArn

func (_this *AwsKmsMrkKeyring) AwsKmsArn() m_AwsArnParsing.AwsKmsIdentifier

func (*AwsKmsMrkKeyring) AwsKmsKey

func (_this *AwsKmsMrkKeyring) AwsKmsKey() _dafny.Sequence

func (*AwsKmsMrkKeyring) Client

func (_this *AwsKmsMrkKeyring) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*AwsKmsMrkKeyring) Ctor__

func (_this *AwsKmsMrkKeyring) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*AwsKmsMrkKeyring) Equals

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

func (*AwsKmsMrkKeyring) EqualsGeneric

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

func (*AwsKmsMrkKeyring) GrantTokens

func (_this *AwsKmsMrkKeyring) GrantTokens() _dafny.Sequence

func (*AwsKmsMrkKeyring) OnDecrypt

func (_this *AwsKmsMrkKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result

func (*AwsKmsMrkKeyring) OnDecrypt_k

func (_this *AwsKmsMrkKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result

func (*AwsKmsMrkKeyring) OnEncrypt

func (_this *AwsKmsMrkKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result

func (*AwsKmsMrkKeyring) OnEncrypt_k

func (_this *AwsKmsMrkKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result

func (*AwsKmsMrkKeyring) ParentTraits_

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

func (*AwsKmsMrkKeyring) String

func (*AwsKmsMrkKeyring) String() string

type CompanionStruct_AwsKmsMrkKeyring_

type CompanionStruct_AwsKmsMrkKeyring_ struct {
}

type CompanionStruct_DecryptSingleEncryptedDataKey_

type CompanionStruct_DecryptSingleEncryptedDataKey_ struct {
}

type DecryptSingleEncryptedDataKey

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

Definition of class DecryptSingleEncryptedDataKey

func New_DecryptSingleEncryptedDataKey_

func New_DecryptSingleEncryptedDataKey_() *DecryptSingleEncryptedDataKey

func (*DecryptSingleEncryptedDataKey) AwsKmsKey

func (_this *DecryptSingleEncryptedDataKey) AwsKmsKey() _dafny.Sequence

func (*DecryptSingleEncryptedDataKey) Client

func (_this *DecryptSingleEncryptedDataKey) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*DecryptSingleEncryptedDataKey) Ctor__

func (_this *DecryptSingleEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*DecryptSingleEncryptedDataKey) Equals

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

func (*DecryptSingleEncryptedDataKey) EqualsGeneric

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

func (*DecryptSingleEncryptedDataKey) GrantTokens

func (_this *DecryptSingleEncryptedDataKey) GrantTokens() _dafny.Sequence

func (*DecryptSingleEncryptedDataKey) Invoke

func (_this *DecryptSingleEncryptedDataKey) Invoke(edk interface{}) interface{}

func (*DecryptSingleEncryptedDataKey) Materials

func (_this *DecryptSingleEncryptedDataKey) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func (*DecryptSingleEncryptedDataKey) ParentTraits_

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

func (*DecryptSingleEncryptedDataKey) String

func (*DecryptSingleEncryptedDataKey) String() string

type Dummy__

type Dummy__ struct{}