EdkWrapping

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: 76 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_UnwrapEdkMaterialOutput_ = CompanionStruct_UnwrapEdkMaterialOutput_{}
View Source 
var Companion_WrapEdkMaterialOutput_ = CompanionStruct_WrapEdkMaterialOutput_{}

Functions

func Type_UnwrapEdkMaterialOutput_ 

func Type_UnwrapEdkMaterialOutput_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_WrapEdkMaterialOutput_ 

func Type_WrapEdkMaterialOutput_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) GetProviderWrappedMaterial 

func (_static *CompanionStruct_Default___) GetProviderWrappedMaterial(material _dafny.Sequence, algSuite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) UnwrapEdkMaterial 

func (_static *CompanionStruct_Default___) UnwrapEdkMaterial(wrappedMaterial _dafny.Sequence, decryptionMaterials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, unwrap m_MaterialWrapping.UnwrapMaterial) m_Wrappers.Result

func (*CompanionStruct_Default___) WrapEdkMaterial 

func (_static *CompanionStruct_Default___) WrapEdkMaterial(encryptionMaterials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials, wrap m_MaterialWrapping.WrapMaterial, generateAndWrap m_MaterialWrapping.GenerateAndWrapMaterial) m_Wrappers.Result

type CompanionStruct_UnwrapEdkMaterialOutput_ 

type CompanionStruct_UnwrapEdkMaterialOutput_ struct {
}

func (CompanionStruct_UnwrapEdkMaterialOutput_) Create_UnwrapEdkMaterialOutput_ 

func (CompanionStruct_UnwrapEdkMaterialOutput_) Create_UnwrapEdkMaterialOutput_(PlaintextDataKey _dafny.Sequence, SymmetricSigningKey m_Wrappers.Option, UnwrapInfo interface{}) UnwrapEdkMaterialOutput

func (CompanionStruct_UnwrapEdkMaterialOutput_) Default 

func (CompanionStruct_UnwrapEdkMaterialOutput_) Default(_default_T interface{}) UnwrapEdkMaterialOutput

type CompanionStruct_WrapEdkMaterialOutput_ 

type CompanionStruct_WrapEdkMaterialOutput_ struct {
}

func (CompanionStruct_WrapEdkMaterialOutput_) Create_GenerateAndWrapEdkMaterialOutput_ 

func (CompanionStruct_WrapEdkMaterialOutput_) Create_GenerateAndWrapEdkMaterialOutput_(PlaintextDataKey _dafny.Sequence, WrappedMaterial _dafny.Sequence, SymmetricSigningKey m_Wrappers.Option, WrapInfo interface{}) WrapEdkMaterialOutput

func (CompanionStruct_WrapEdkMaterialOutput_) Create_WrapOnlyEdkMaterialOutput_ 

func (CompanionStruct_WrapEdkMaterialOutput_) Create_WrapOnlyEdkMaterialOutput_(WrappedMaterial _dafny.Sequence, SymmetricSigningKey m_Wrappers.Option, WrapInfo interface{}) WrapEdkMaterialOutput

func (CompanionStruct_WrapEdkMaterialOutput_) Default 

func (CompanionStruct_WrapEdkMaterialOutput_) Default(_default_T interface{}) WrapEdkMaterialOutput

type Data_UnwrapEdkMaterialOutput_ 

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

type Data_WrapEdkMaterialOutput_ 

type Data_WrapEdkMaterialOutput_ 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 UnwrapEdkMaterialOutput 

type UnwrapEdkMaterialOutput struct {
	Data_UnwrapEdkMaterialOutput_
}

Definition of datatype UnwrapEdkMaterialOutput

func (UnwrapEdkMaterialOutput) Dtor_plaintextDataKey 

func (_this UnwrapEdkMaterialOutput) Dtor_plaintextDataKey() _dafny.Sequence

func (UnwrapEdkMaterialOutput) Dtor_symmetricSigningKey 

func (_this UnwrapEdkMaterialOutput) Dtor_symmetricSigningKey() m_Wrappers.Option

func (UnwrapEdkMaterialOutput) Dtor_unwrapInfo 

func (_this UnwrapEdkMaterialOutput) Dtor_unwrapInfo() interface{}

func (UnwrapEdkMaterialOutput) Equals 

func (_this UnwrapEdkMaterialOutput) Equals(other UnwrapEdkMaterialOutput) bool

func (UnwrapEdkMaterialOutput) EqualsGeneric 

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

func (UnwrapEdkMaterialOutput) Get_ 

func (_this UnwrapEdkMaterialOutput) Get_() Data_UnwrapEdkMaterialOutput_

func (UnwrapEdkMaterialOutput) Is_UnwrapEdkMaterialOutput 

func (_this UnwrapEdkMaterialOutput) Is_UnwrapEdkMaterialOutput() bool

func (UnwrapEdkMaterialOutput) ParentTraits_ 

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

func (UnwrapEdkMaterialOutput) String 

func (_this UnwrapEdkMaterialOutput) String() string

type UnwrapEdkMaterialOutput_UnwrapEdkMaterialOutput 

type UnwrapEdkMaterialOutput_UnwrapEdkMaterialOutput struct {
	PlaintextDataKey    _dafny.Sequence
	SymmetricSigningKey m_Wrappers.Option
	UnwrapInfo          interface{}
}

type WrapEdkMaterialOutput 

type WrapEdkMaterialOutput struct {
	Data_WrapEdkMaterialOutput_
}

Definition of datatype WrapEdkMaterialOutput

func (WrapEdkMaterialOutput) Dtor_plaintextDataKey 

func (_this WrapEdkMaterialOutput) Dtor_plaintextDataKey() _dafny.Sequence

func (WrapEdkMaterialOutput) Dtor_symmetricSigningKey 

func (_this WrapEdkMaterialOutput) Dtor_symmetricSigningKey() m_Wrappers.Option

func (WrapEdkMaterialOutput) Dtor_wrapInfo 

func (_this WrapEdkMaterialOutput) Dtor_wrapInfo() interface{}

func (WrapEdkMaterialOutput) Dtor_wrappedMaterial 

func (_this WrapEdkMaterialOutput) Dtor_wrappedMaterial() _dafny.Sequence

func (WrapEdkMaterialOutput) Equals 

func (_this WrapEdkMaterialOutput) Equals(other WrapEdkMaterialOutput) bool

func (WrapEdkMaterialOutput) EqualsGeneric 

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

func (WrapEdkMaterialOutput) Get_ 

func (_this WrapEdkMaterialOutput) Get_() Data_WrapEdkMaterialOutput_

func (WrapEdkMaterialOutput) Is_GenerateAndWrapEdkMaterialOutput 

func (_this WrapEdkMaterialOutput) Is_GenerateAndWrapEdkMaterialOutput() bool

func (WrapEdkMaterialOutput) Is_WrapOnlyEdkMaterialOutput 

func (_this WrapEdkMaterialOutput) Is_WrapOnlyEdkMaterialOutput() bool

func (WrapEdkMaterialOutput) ParentTraits_ 

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

func (WrapEdkMaterialOutput) String 

func (_this WrapEdkMaterialOutput) String() string

type WrapEdkMaterialOutput_GenerateAndWrapEdkMaterialOutput 

type WrapEdkMaterialOutput_GenerateAndWrapEdkMaterialOutput struct {
	PlaintextDataKey    _dafny.Sequence
	WrappedMaterial     _dafny.Sequence
	SymmetricSigningKey m_Wrappers.Option
	WrapInfo            interface{}
}

type WrapEdkMaterialOutput_WrapOnlyEdkMaterialOutput 

type WrapEdkMaterialOutput_WrapOnlyEdkMaterialOutput struct {
	WrappedMaterial     _dafny.Sequence
	SymmetricSigningKey m_Wrappers.Option
	WrapInfo            interface{}
}

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.