AwsKmsHierarchicalKeyring

package
v0.1.0 Latest Latest
Warning

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

 Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 94 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AwsKmsHierarchicalKeyring_ = CompanionStruct_AwsKmsHierarchicalKeyring_{}
View Source 
var Companion_DecryptSingleEncryptedDataKey_ = CompanionStruct_DecryptSingleEncryptedDataKey_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_HierarchyUnwrapInfo_ = CompanionStruct_HierarchyUnwrapInfo_{}
View Source 
var Companion_HierarchyWrapInfo_ = CompanionStruct_HierarchyWrapInfo_{}
View Source 
var Companion_KmsHierarchyGenerateAndWrapKeyMaterial_ = CompanionStruct_KmsHierarchyGenerateAndWrapKeyMaterial_{}
View Source 
var Companion_KmsHierarchyUnwrapKeyMaterial_ = CompanionStruct_KmsHierarchyUnwrapKeyMaterial_{}
View Source 
var Companion_KmsHierarchyWrapKeyMaterial_ = CompanionStruct_KmsHierarchyWrapKeyMaterial_{}
View Source 
var Companion_OnDecryptHierarchyEncryptedDataKeyFilter_ = CompanionStruct_OnDecryptHierarchyEncryptedDataKeyFilter_{}

Functions

func Type_AwsKmsHierarchicalKeyring_ 

func Type_AwsKmsHierarchicalKeyring_() _dafny.TypeDescriptor

func Type_DecryptSingleEncryptedDataKey_ 

func Type_DecryptSingleEncryptedDataKey_() _dafny.TypeDescriptor

func Type_HierarchyUnwrapInfo_ 

func Type_HierarchyUnwrapInfo_() _dafny.TypeDescriptor

func Type_HierarchyWrapInfo_ 

func Type_HierarchyWrapInfo_() _dafny.TypeDescriptor

func Type_KmsHierarchyGenerateAndWrapKeyMaterial_ 

func Type_KmsHierarchyGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_KmsHierarchyUnwrapKeyMaterial_ 

func Type_KmsHierarchyUnwrapKeyMaterial_() _dafny.TypeDescriptor

func Type_KmsHierarchyWrapKeyMaterial_ 

func Type_KmsHierarchyWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_OnDecryptHierarchyEncryptedDataKeyFilter_ 

func Type_OnDecryptHierarchyEncryptedDataKeyFilter_() _dafny.TypeDescriptor

Types

type AwsKmsHierarchicalKeyring 

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

Definition of class AwsKmsHierarchicalKeyring

func New_AwsKmsHierarchicalKeyring_ 

func New_AwsKmsHierarchicalKeyring_() *AwsKmsHierarchicalKeyring

func (*AwsKmsHierarchicalKeyring) BranchKeyId 

func (_this *AwsKmsHierarchicalKeyring) BranchKeyId() m_Wrappers.Option

func (*AwsKmsHierarchicalKeyring) BranchKeyIdSupplier 

func (_this *AwsKmsHierarchicalKeyring) BranchKeyIdSupplier() m_Wrappers.Option

func (*AwsKmsHierarchicalKeyring) Cache 

func (_this *AwsKmsHierarchicalKeyring) Cache() m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache

func (*AwsKmsHierarchicalKeyring) CryptoPrimitives 

func (_this *AwsKmsHierarchicalKeyring) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*AwsKmsHierarchicalKeyring) Ctor__ 

func (_this *AwsKmsHierarchicalKeyring) Ctor__(keyStore m_AwsCryptographyKeyStoreTypes.IKeyStoreClient, branchKeyId m_Wrappers.Option, branchKeyIdSupplier m_Wrappers.Option, ttlSeconds int64, cmc m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache, partitionIdBytes _dafny.Sequence, logicalKeyStoreNameBytes _dafny.Sequence, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*AwsKmsHierarchicalKeyring) Equals 

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

func (*AwsKmsHierarchicalKeyring) EqualsGeneric 

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

func (*AwsKmsHierarchicalKeyring) GetActiveCacheId 

func (_this *AwsKmsHierarchicalKeyring) GetActiveCacheId(branchKeyId _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*AwsKmsHierarchicalKeyring) GetActiveHierarchicalMaterials 

func (_this *AwsKmsHierarchicalKeyring) GetActiveHierarchicalMaterials(branchKeyId _dafny.Sequence, cacheId _dafny.Sequence, keyStore m_AwsCryptographyKeyStoreTypes.IKeyStoreClient) m_Wrappers.Result

func (*AwsKmsHierarchicalKeyring) GetBranchKeyId 

func (_this *AwsKmsHierarchicalKeyring) GetBranchKeyId(context _dafny.Map) m_Wrappers.Result

func (*AwsKmsHierarchicalKeyring) KeyStore 

func (_this *AwsKmsHierarchicalKeyring) KeyStore() m_AwsCryptographyKeyStoreTypes.IKeyStoreClient

func (*AwsKmsHierarchicalKeyring) LogicalKeyStoreNameBytes 

func (_this *AwsKmsHierarchicalKeyring) LogicalKeyStoreNameBytes() _dafny.Sequence

func (*AwsKmsHierarchicalKeyring) OnDecrypt 

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

func (*AwsKmsHierarchicalKeyring) OnDecrypt_k 

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

func (*AwsKmsHierarchicalKeyring) OnEncrypt 

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

func (*AwsKmsHierarchicalKeyring) OnEncrypt_k 

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

func (*AwsKmsHierarchicalKeyring) ParentTraits_ 

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

func (*AwsKmsHierarchicalKeyring) PartitionIdBytes 

func (_this *AwsKmsHierarchicalKeyring) PartitionIdBytes() _dafny.Sequence

func (*AwsKmsHierarchicalKeyring) String 

func (*AwsKmsHierarchicalKeyring) String() string

func (*AwsKmsHierarchicalKeyring) TtlSeconds 

func (_this *AwsKmsHierarchicalKeyring) TtlSeconds() int64

type CompanionStruct_AwsKmsHierarchicalKeyring_ 

type CompanionStruct_AwsKmsHierarchicalKeyring_ struct {
}

type CompanionStruct_DecryptSingleEncryptedDataKey_ 

type CompanionStruct_DecryptSingleEncryptedDataKey_ struct {
}

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) AES__256__ENC__ALG 

func (_static *CompanionStruct_Default___) AES__256__ENC__ALG() m_AwsCryptographyPrimitivesTypes.AES__GCM

func (*CompanionStruct_Default___) AES__256__ENC__IV__LENGTH 

func (_static *CompanionStruct_Default___) AES__256__ENC__IV__LENGTH() int32

func (*CompanionStruct_Default___) AES__256__ENC__KEY__LENGTH 

func (_static *CompanionStruct_Default___) AES__256__ENC__KEY__LENGTH() int32

func (*CompanionStruct_Default___) AES__256__ENC__TAG__LENGTH 

func (_static *CompanionStruct_Default___) AES__256__ENC__TAG__LENGTH() int32

func (*CompanionStruct_Default___) BRANCH__KEY__FIELD 

func (_static *CompanionStruct_Default___) BRANCH__KEY__FIELD() _dafny.Sequence

func (*CompanionStruct_Default___) BRANCH__KEY__IDENTIFIER__FIELD 

func (_static *CompanionStruct_Default___) BRANCH__KEY__IDENTIFIER__FIELD() _dafny.Sequence

func (*CompanionStruct_Default___) BRANCH__KEY__STORE__GSI 

func (_static *CompanionStruct_Default___) BRANCH__KEY__STORE__GSI() _dafny.Sequence

func (*CompanionStruct_Default___) CacheEntryWithinLimits 

func (_static *CompanionStruct_Default___) CacheEntryWithinLimits(creationTime int64, now int64, ttlSeconds int64) bool

func (*CompanionStruct_Default___) DERIVED__BRANCH__KEY__EXPECTED__LENGTH 

func (_static *CompanionStruct_Default___) DERIVED__BRANCH__KEY__EXPECTED__LENGTH() int32

func (*CompanionStruct_Default___) DeriveEncryptionKeyFromBranchKey 

func (_static *CompanionStruct_Default___) DeriveEncryptionKeyFromBranchKey(branchKey _dafny.Sequence, salt _dafny.Sequence, purpose m_Wrappers.Option, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) E 

func (_static *CompanionStruct_Default___) E(s _dafny.Sequence) m_AwsCryptographyMaterialProvidersTypes.Error

func (*CompanionStruct_Default___) EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX 

func (_static *CompanionStruct_Default___) EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX() int32

func (*CompanionStruct_Default___) EDK__CIPHERTEXT__VERSION__INDEX 

func (_static *CompanionStruct_Default___) EDK__CIPHERTEXT__VERSION__INDEX() int32

func (*CompanionStruct_Default___) EDK__CIPHERTEXT__VERSION__LENGTH 

func (_static *CompanionStruct_Default___) EDK__CIPHERTEXT__VERSION__LENGTH() int32

func (*CompanionStruct_Default___) EXPECTED__EDK__CIPHERTEXT__OVERHEAD 

func (_static *CompanionStruct_Default___) EXPECTED__EDK__CIPHERTEXT__OVERHEAD() int32

func (*CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__NAMES 

func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__NAMES() _dafny.Map

func (*CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY 

func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY() _dafny.Sequence

func (*CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY 

func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY() _dafny.Sequence

func (*CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE 

func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE() _dafny.Sequence

func (*CompanionStruct_Default___) H__WRAP__NONCE__LEN 

func (_static *CompanionStruct_Default___) H__WRAP__NONCE__LEN() int32

func (*CompanionStruct_Default___) H__WRAP__SALT__LEN 

func (_static *CompanionStruct_Default___) H__WRAP__SALT__LEN() int32

func (*CompanionStruct_Default___) KEY__CONDITION__EXPRESSION 

func (_static *CompanionStruct_Default___) KEY__CONDITION__EXPRESSION() _dafny.Sequence

func (*CompanionStruct_Default___) SerializeEDKCiphertext 

func (_static *CompanionStruct_Default___) SerializeEDKCiphertext(encOutput m_AwsCryptographyPrimitivesTypes.AESEncryptOutput) _dafny.Sequence

func (*CompanionStruct_Default___) VERSION__FIELD 

func (_static *CompanionStruct_Default___) VERSION__FIELD() _dafny.Sequence

func (*CompanionStruct_Default___) WrappingAad 

func (_static *CompanionStruct_Default___) WrappingAad(branchKeyId _dafny.Sequence, branchKeyVersion _dafny.Sequence, aad _dafny.Sequence) _dafny.Sequence

type CompanionStruct_HierarchyUnwrapInfo_ 

type CompanionStruct_HierarchyUnwrapInfo_ struct {
}

func (CompanionStruct_HierarchyUnwrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_HierarchyUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_HierarchyUnwrapInfo_) Create_HierarchyUnwrapInfo_ 

func (CompanionStruct_HierarchyUnwrapInfo_) Create_HierarchyUnwrapInfo_() HierarchyUnwrapInfo

func (CompanionStruct_HierarchyUnwrapInfo_) Default 

func (CompanionStruct_HierarchyUnwrapInfo_) Default() HierarchyUnwrapInfo

type CompanionStruct_HierarchyWrapInfo_ 

type CompanionStruct_HierarchyWrapInfo_ struct {
}

func (CompanionStruct_HierarchyWrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_HierarchyWrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_HierarchyWrapInfo_) Create_HierarchyWrapInfo_ 

func (CompanionStruct_HierarchyWrapInfo_) Create_HierarchyWrapInfo_() HierarchyWrapInfo

func (CompanionStruct_HierarchyWrapInfo_) Default 

func (CompanionStruct_HierarchyWrapInfo_) Default() HierarchyWrapInfo

type CompanionStruct_KmsHierarchyGenerateAndWrapKeyMaterial_ 

type CompanionStruct_KmsHierarchyGenerateAndWrapKeyMaterial_ struct {
}

type CompanionStruct_KmsHierarchyUnwrapKeyMaterial_ 

type CompanionStruct_KmsHierarchyUnwrapKeyMaterial_ struct {
}

type CompanionStruct_KmsHierarchyWrapKeyMaterial_ 

type CompanionStruct_KmsHierarchyWrapKeyMaterial_ struct {
}

type CompanionStruct_OnDecryptHierarchyEncryptedDataKeyFilter_ 

type CompanionStruct_OnDecryptHierarchyEncryptedDataKeyFilter_ struct {
}

type Data_HierarchyUnwrapInfo_ 

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

type Data_HierarchyWrapInfo_ 

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

type DecryptSingleEncryptedDataKey 

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

Definition of class DecryptSingleEncryptedDataKey

func New_DecryptSingleEncryptedDataKey_ 

func New_DecryptSingleEncryptedDataKey_() *DecryptSingleEncryptedDataKey

func (*DecryptSingleEncryptedDataKey) BranchKeyId 

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

func (*DecryptSingleEncryptedDataKey) Cache 

func (_this *DecryptSingleEncryptedDataKey) Cache() m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache

func (*DecryptSingleEncryptedDataKey) CryptoPrimitives 

func (_this *DecryptSingleEncryptedDataKey) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*DecryptSingleEncryptedDataKey) Ctor__ 

func (_this *DecryptSingleEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, keyStore m_AwsCryptographyKeyStoreTypes.IKeyStoreClient, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient, branchKeyId _dafny.Sequence, ttlSeconds int64, cache m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache, partitionIdBytes _dafny.Sequence, logicalKeyStoreNameBytes _dafny.Sequence)

func (*DecryptSingleEncryptedDataKey) Equals 

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

func (*DecryptSingleEncryptedDataKey) EqualsGeneric 

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

func (*DecryptSingleEncryptedDataKey) GetHierarchicalMaterialsVersion 

func (_this *DecryptSingleEncryptedDataKey) GetHierarchicalMaterialsVersion(branchKeyId _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, version _dafny.Sequence, cacheId _dafny.Sequence) m_Wrappers.Result

func (*DecryptSingleEncryptedDataKey) GetVersionCacheId 

func (_this *DecryptSingleEncryptedDataKey) GetVersionCacheId(branchKeyIdUtf8 _dafny.Sequence, branchKeyVersion _dafny.Sequence, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*DecryptSingleEncryptedDataKey) Invoke 

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

func (*DecryptSingleEncryptedDataKey) KeyStore 

func (_this *DecryptSingleEncryptedDataKey) KeyStore() m_AwsCryptographyKeyStoreTypes.IKeyStoreClient

func (*DecryptSingleEncryptedDataKey) LogicalKeyStoreNameBytes 

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

func (*DecryptSingleEncryptedDataKey) Materials 

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

func (*DecryptSingleEncryptedDataKey) ParentTraits_ 

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

func (*DecryptSingleEncryptedDataKey) PartitionIdBytes 

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

func (*DecryptSingleEncryptedDataKey) String 

func (*DecryptSingleEncryptedDataKey) String() string

func (*DecryptSingleEncryptedDataKey) TtlSeconds 

func (_this *DecryptSingleEncryptedDataKey) TtlSeconds() int64

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 HierarchyUnwrapInfo 

type HierarchyUnwrapInfo struct {
	Data_HierarchyUnwrapInfo_
}

Definition of datatype HierarchyUnwrapInfo

func (HierarchyUnwrapInfo) Equals 

func (_this HierarchyUnwrapInfo) Equals(other HierarchyUnwrapInfo) bool

func (HierarchyUnwrapInfo) EqualsGeneric 

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

func (HierarchyUnwrapInfo) Get_ 

func (_this HierarchyUnwrapInfo) Get_() Data_HierarchyUnwrapInfo_

func (HierarchyUnwrapInfo) Is_HierarchyUnwrapInfo 

func (_this HierarchyUnwrapInfo) Is_HierarchyUnwrapInfo() bool

func (HierarchyUnwrapInfo) ParentTraits_ 

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

func (HierarchyUnwrapInfo) String 

func (_this HierarchyUnwrapInfo) String() string

type HierarchyUnwrapInfo_HierarchyUnwrapInfo 

type HierarchyUnwrapInfo_HierarchyUnwrapInfo struct {
}

type HierarchyWrapInfo 

type HierarchyWrapInfo struct {
	Data_HierarchyWrapInfo_
}

Definition of datatype HierarchyWrapInfo

func (HierarchyWrapInfo) Equals 

func (_this HierarchyWrapInfo) Equals(other HierarchyWrapInfo) bool

func (HierarchyWrapInfo) EqualsGeneric 

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

func (HierarchyWrapInfo) Get_ 

func (_this HierarchyWrapInfo) Get_() Data_HierarchyWrapInfo_

func (HierarchyWrapInfo) Is_HierarchyWrapInfo 

func (_this HierarchyWrapInfo) Is_HierarchyWrapInfo() bool

func (HierarchyWrapInfo) ParentTraits_ 

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

func (HierarchyWrapInfo) String 

func (_this HierarchyWrapInfo) String() string

type HierarchyWrapInfo_HierarchyWrapInfo 

type HierarchyWrapInfo_HierarchyWrapInfo struct {
}

type KmsHierarchyGenerateAndWrapKeyMaterial 

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

Definition of class KmsHierarchyGenerateAndWrapKeyMaterial

func New_KmsHierarchyGenerateAndWrapKeyMaterial_ 

func New_KmsHierarchyGenerateAndWrapKeyMaterial_() *KmsHierarchyGenerateAndWrapKeyMaterial

func (*KmsHierarchyGenerateAndWrapKeyMaterial) BranchKey 

func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) BranchKey() _dafny.Sequence

func (*KmsHierarchyGenerateAndWrapKeyMaterial) BranchKeyIdUtf8 

func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) BranchKeyIdUtf8() _dafny.Sequence

func (*KmsHierarchyGenerateAndWrapKeyMaterial) BranchKeyVersionAsBytes 

func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) BranchKeyVersionAsBytes() _dafny.Sequence

func (*KmsHierarchyGenerateAndWrapKeyMaterial) Crypto 

func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*KmsHierarchyGenerateAndWrapKeyMaterial) Ctor__ 

func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Ctor__(branchKey _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, branchKeyVersionAsBytes _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*KmsHierarchyGenerateAndWrapKeyMaterial) Equals 

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

func (*KmsHierarchyGenerateAndWrapKeyMaterial) EqualsGeneric 

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

func (*KmsHierarchyGenerateAndWrapKeyMaterial) Invoke 

func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{}

func (*KmsHierarchyGenerateAndWrapKeyMaterial) ParentTraits_ 

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

func (*KmsHierarchyGenerateAndWrapKeyMaterial) String 

func (*KmsHierarchyGenerateAndWrapKeyMaterial) String() string

type KmsHierarchyUnwrapKeyMaterial 

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

Definition of class KmsHierarchyUnwrapKeyMaterial

func New_KmsHierarchyUnwrapKeyMaterial_ 

func New_KmsHierarchyUnwrapKeyMaterial_() *KmsHierarchyUnwrapKeyMaterial

func (*KmsHierarchyUnwrapKeyMaterial) BranchKey 

func (_this *KmsHierarchyUnwrapKeyMaterial) BranchKey() _dafny.Sequence

func (*KmsHierarchyUnwrapKeyMaterial) BranchKeyIdUtf8 

func (_this *KmsHierarchyUnwrapKeyMaterial) BranchKeyIdUtf8() _dafny.Sequence

func (*KmsHierarchyUnwrapKeyMaterial) BranchKeyVersionAsBytes 

func (_this *KmsHierarchyUnwrapKeyMaterial) BranchKeyVersionAsBytes() _dafny.Sequence

func (*KmsHierarchyUnwrapKeyMaterial) Crypto 

func (_this *KmsHierarchyUnwrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*KmsHierarchyUnwrapKeyMaterial) Ctor__ 

func (_this *KmsHierarchyUnwrapKeyMaterial) Ctor__(branchKey _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, branchKeyVersionAsBytes _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*KmsHierarchyUnwrapKeyMaterial) Equals 

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

func (*KmsHierarchyUnwrapKeyMaterial) EqualsGeneric 

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

func (*KmsHierarchyUnwrapKeyMaterial) Invoke 

func (_this *KmsHierarchyUnwrapKeyMaterial) Invoke(input interface{}) interface{}

func (*KmsHierarchyUnwrapKeyMaterial) ParentTraits_ 

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

func (*KmsHierarchyUnwrapKeyMaterial) String 

func (*KmsHierarchyUnwrapKeyMaterial) String() string

type KmsHierarchyWrapKeyMaterial 

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

Definition of class KmsHierarchyWrapKeyMaterial

func New_KmsHierarchyWrapKeyMaterial_ 

func New_KmsHierarchyWrapKeyMaterial_() *KmsHierarchyWrapKeyMaterial

func (*KmsHierarchyWrapKeyMaterial) BranchKey 

func (_this *KmsHierarchyWrapKeyMaterial) BranchKey() _dafny.Sequence

func (*KmsHierarchyWrapKeyMaterial) BranchKeyIdUtf8 

func (_this *KmsHierarchyWrapKeyMaterial) BranchKeyIdUtf8() _dafny.Sequence

func (*KmsHierarchyWrapKeyMaterial) BranchKeyVersionAsBytes 

func (_this *KmsHierarchyWrapKeyMaterial) BranchKeyVersionAsBytes() _dafny.Sequence

func (*KmsHierarchyWrapKeyMaterial) Crypto 

func (_this *KmsHierarchyWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*KmsHierarchyWrapKeyMaterial) Ctor__ 

func (_this *KmsHierarchyWrapKeyMaterial) Ctor__(branchKey _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, branchKeyVersionAsBytes _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*KmsHierarchyWrapKeyMaterial) Equals 

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

func (*KmsHierarchyWrapKeyMaterial) EqualsGeneric 

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

func (*KmsHierarchyWrapKeyMaterial) Invoke 

func (_this *KmsHierarchyWrapKeyMaterial) Invoke(input interface{}) interface{}

func (*KmsHierarchyWrapKeyMaterial) ParentTraits_ 

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

func (*KmsHierarchyWrapKeyMaterial) String 

func (*KmsHierarchyWrapKeyMaterial) String() string

type OnDecryptHierarchyEncryptedDataKeyFilter 

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

Definition of class OnDecryptHierarchyEncryptedDataKeyFilter

func New_OnDecryptHierarchyEncryptedDataKeyFilter_ 

func New_OnDecryptHierarchyEncryptedDataKeyFilter_() *OnDecryptHierarchyEncryptedDataKeyFilter

func (*OnDecryptHierarchyEncryptedDataKeyFilter) BranchKeyId 

func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) BranchKeyId() _dafny.Sequence

func (*OnDecryptHierarchyEncryptedDataKeyFilter) Ctor__ 

func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) Ctor__(branchKeyId _dafny.Sequence)

func (*OnDecryptHierarchyEncryptedDataKeyFilter) Equals 

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

func (*OnDecryptHierarchyEncryptedDataKeyFilter) EqualsGeneric 

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

func (*OnDecryptHierarchyEncryptedDataKeyFilter) Invoke 

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

func (*OnDecryptHierarchyEncryptedDataKeyFilter) ParentTraits_ 

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

func (*OnDecryptHierarchyEncryptedDataKeyFilter) String 

func (*OnDecryptHierarchyEncryptedDataKeyFilter) 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.