Materials

Documentation

Index

• Variables
• func Type_DecryptionMaterialsPendingPlaintextDataKey_() _dafny.TypeDescriptor
• func Type_SealedDecryptionMaterials_() _dafny.TypeDescriptor
• type CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_
  • func (_this *CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_) Is_(__source m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) DecodeVerificationKey(encryptionContext _dafny.Map) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) DecryptionMaterialsAddDataKey(...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) DecryptionMaterialsTransitionIsValid(oldMat m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, ...) bool
  • func (_static *CompanionStruct_Default___) DecryptionMaterialsWithPlaintextDataKey(...) bool
  • func (_static *CompanionStruct_Default___) DecryptionMaterialsWithoutPlaintextDataKey(...) bool
  • func (_static *CompanionStruct_Default___) EC__PUBLIC__KEY__FIELD() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) EncryptionMaterialAddDataKey(...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) EncryptionMaterialAddEncryptedDataKeys(...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) EncryptionMaterialsHasPlaintextDataKey(...) bool
  • func (_static *CompanionStruct_Default___) InitializeDecryptionMaterials(...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) InitializeEncryptionMaterials(...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) RESERVED__KEY__VALUES() _dafny.Set
  • func (_static *CompanionStruct_Default___) ValidDecryptionMaterials(...) bool
  • func (_static *CompanionStruct_Default___) ValidEncryptionMaterials(...) bool
  • func (_static *CompanionStruct_Default___) ValidEncryptionMaterialsTransition(oldMat m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials, ...) bool
• type CompanionStruct_SealedDecryptionMaterials_
  • func (_this *CompanionStruct_SealedDecryptionMaterials_) Is_(__source m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool
• type DecryptionMaterialsPendingPlaintextDataKey
  • func New_DecryptionMaterialsPendingPlaintextDataKey_() *DecryptionMaterialsPendingPlaintextDataKey
  • func (*DecryptionMaterialsPendingPlaintextDataKey) String() string
• 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 SealedDecryptionMaterials
  • func New_SealedDecryptionMaterials_() *SealedDecryptionMaterials
  • func (*SealedDecryptionMaterials) String() string

Variables

var Companion_DecryptionMaterialsPendingPlaintextDataKey_ = CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_{}

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_SealedDecryptionMaterials_ = CompanionStruct_SealedDecryptionMaterials_{}

Functions

func Type_DecryptionMaterialsPendingPlaintextDataKey_

func Type_DecryptionMaterialsPendingPlaintextDataKey_() _dafny.TypeDescriptor

func Type_SealedDecryptionMaterials_

func Type_SealedDecryptionMaterials_() _dafny.TypeDescriptor

Types

type CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_

type CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_ struct {
}

func (*CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_) Is_

func (_this *CompanionStruct_DecryptionMaterialsPendingPlaintextDataKey_) Is_(__source m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) DecodeVerificationKey

func (_static *CompanionStruct_Default___) DecodeVerificationKey(encryptionContext _dafny.Map) m_Wrappers.Result

func (*CompanionStruct_Default___) DecryptionMaterialsAddDataKey

func (_static *CompanionStruct_Default___) DecryptionMaterialsAddDataKey(decryptionMaterials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, plaintextDataKey _dafny.Sequence, symmetricSigningKey m_Wrappers.Option) m_Wrappers.Result

func (*CompanionStruct_Default___) DecryptionMaterialsTransitionIsValid

func (_static *CompanionStruct_Default___) DecryptionMaterialsTransitionIsValid(oldMat m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, newMat m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool

func (*CompanionStruct_Default___) DecryptionMaterialsWithPlaintextDataKey

func (_static *CompanionStruct_Default___) DecryptionMaterialsWithPlaintextDataKey(decryptionMaterials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool

func (*CompanionStruct_Default___) DecryptionMaterialsWithoutPlaintextDataKey

func (_static *CompanionStruct_Default___) DecryptionMaterialsWithoutPlaintextDataKey(decryptionMaterials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool

func (*CompanionStruct_Default___) EC__PUBLIC__KEY__FIELD

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

func (*CompanionStruct_Default___) EncryptionMaterialAddDataKey

func (_static *CompanionStruct_Default___) EncryptionMaterialAddDataKey(encryptionMaterials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials, plaintextDataKey _dafny.Sequence, encryptedDataKeysToAdd _dafny.Sequence, symmetricSigningKeysToAdd m_Wrappers.Option) m_Wrappers.Result

func (*CompanionStruct_Default___) EncryptionMaterialAddEncryptedDataKeys

func (_static *CompanionStruct_Default___) EncryptionMaterialAddEncryptedDataKeys(encryptionMaterials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials, encryptedDataKeysToAdd _dafny.Sequence, symmetricSigningKeysToAdd m_Wrappers.Option) m_Wrappers.Result

func (*CompanionStruct_Default___) EncryptionMaterialsHasPlaintextDataKey

func (_static *CompanionStruct_Default___) EncryptionMaterialsHasPlaintextDataKey(encryptionMaterials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) bool

func (*CompanionStruct_Default___) InitializeDecryptionMaterials

func (_static *CompanionStruct_Default___) InitializeDecryptionMaterials(input m_AwsCryptographyMaterialProvidersTypes.InitializeDecryptionMaterialsInput) m_Wrappers.Result

func (*CompanionStruct_Default___) InitializeEncryptionMaterials

func (_static *CompanionStruct_Default___) InitializeEncryptionMaterials(input m_AwsCryptographyMaterialProvidersTypes.InitializeEncryptionMaterialsInput) m_Wrappers.Result

func (*CompanionStruct_Default___) RESERVED__KEY__VALUES

func (_static *CompanionStruct_Default___) RESERVED__KEY__VALUES() _dafny.Set

func (*CompanionStruct_Default___) ValidDecryptionMaterials

func (_static *CompanionStruct_Default___) ValidDecryptionMaterials(decryptionMaterials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool

func (*CompanionStruct_Default___) ValidEncryptionMaterials

func (_static *CompanionStruct_Default___) ValidEncryptionMaterials(encryptionMaterials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) bool

func (*CompanionStruct_Default___) ValidEncryptionMaterialsTransition

func (_static *CompanionStruct_Default___) ValidEncryptionMaterialsTransition(oldMat m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials, newMat m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) bool

type CompanionStruct_SealedDecryptionMaterials_

type CompanionStruct_SealedDecryptionMaterials_ struct {
}

func (*CompanionStruct_SealedDecryptionMaterials_) Is_

func (_this *CompanionStruct_SealedDecryptionMaterials_) Is_(__source m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool

type DecryptionMaterialsPendingPlaintextDataKey

type DecryptionMaterialsPendingPlaintextDataKey struct {
}

Definition of class DecryptionMaterialsPendingPlaintextDataKey

func New_DecryptionMaterialsPendingPlaintextDataKey_

func New_DecryptionMaterialsPendingPlaintextDataKey_() *DecryptionMaterialsPendingPlaintextDataKey

func (*DecryptionMaterialsPendingPlaintextDataKey) String

func (*DecryptionMaterialsPendingPlaintextDataKey) String() string

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 SealedDecryptionMaterials

type SealedDecryptionMaterials struct {
}

Definition of class SealedDecryptionMaterials

func New_SealedDecryptionMaterials_

func New_SealedDecryptionMaterials_() *SealedDecryptionMaterials

func (*SealedDecryptionMaterials) String

func (*SealedDecryptionMaterials) String() string