MaterialWrapping

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_GenerateAndWrapInput_ = CompanionStruct_GenerateAndWrapInput_{}
View Source 
var Companion_GenerateAndWrapMaterial_ = CompanionStruct_GenerateAndWrapMaterial_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_GenerateAndWrapOutput_ = CompanionStruct_GenerateAndWrapOutput_{}
View Source 
var Companion_UnwrapInput_ = CompanionStruct_UnwrapInput_{}
View Source 
var Companion_UnwrapMaterial_ = CompanionStruct_UnwrapMaterial_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_UnwrapOutput_ = CompanionStruct_UnwrapOutput_{}
View Source 
var Companion_WrapInput_ = CompanionStruct_WrapInput_{}
View Source 
var Companion_WrapMaterial_ = CompanionStruct_WrapMaterial_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_WrapOutput_ = CompanionStruct_WrapOutput_{}

Functions

func Type_GenerateAndWrapInput_ 

func Type_GenerateAndWrapInput_() _dafny.TypeDescriptor

func Type_GenerateAndWrapOutput_ 

func Type_GenerateAndWrapOutput_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_UnwrapInput_ 

func Type_UnwrapInput_() _dafny.TypeDescriptor

func Type_UnwrapOutput_ 

func Type_UnwrapOutput_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_WrapInput_ 

func Type_WrapInput_() _dafny.TypeDescriptor

func Type_WrapOutput_ 

func Type_WrapOutput_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_GenerateAndWrapInput_ 

type CompanionStruct_GenerateAndWrapInput_ struct {
}

func (CompanionStruct_GenerateAndWrapInput_) Create_GenerateAndWrapInput_ 

func (CompanionStruct_GenerateAndWrapInput_) Create_GenerateAndWrapInput_(AlgorithmSuite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, EncryptionContext _dafny.Map) GenerateAndWrapInput

func (CompanionStruct_GenerateAndWrapInput_) Default 

func (CompanionStruct_GenerateAndWrapInput_) Default() GenerateAndWrapInput

type CompanionStruct_GenerateAndWrapMaterial_ 

type CompanionStruct_GenerateAndWrapMaterial_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_GenerateAndWrapMaterial_) CastTo_ 

func (CompanionStruct_GenerateAndWrapMaterial_) CastTo_(x interface{}) GenerateAndWrapMaterial

type CompanionStruct_GenerateAndWrapOutput_ 

type CompanionStruct_GenerateAndWrapOutput_ struct {
}

func (CompanionStruct_GenerateAndWrapOutput_) Create_GenerateAndWrapOutput_ 

func (CompanionStruct_GenerateAndWrapOutput_) Create_GenerateAndWrapOutput_(PlaintextMaterial _dafny.Sequence, WrappedMaterial _dafny.Sequence, WrapInfo interface{}) GenerateAndWrapOutput

func (CompanionStruct_GenerateAndWrapOutput_) Default 

func (CompanionStruct_GenerateAndWrapOutput_) Default(_default_T interface{}) GenerateAndWrapOutput

type CompanionStruct_UnwrapInput_ 

type CompanionStruct_UnwrapInput_ struct {
}

func (CompanionStruct_UnwrapInput_) Create_UnwrapInput_ 

func (CompanionStruct_UnwrapInput_) Create_UnwrapInput_(WrappedMaterial _dafny.Sequence, AlgorithmSuite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, EncryptionContext _dafny.Map) UnwrapInput

func (CompanionStruct_UnwrapInput_) Default 

func (CompanionStruct_UnwrapInput_) Default() UnwrapInput

type CompanionStruct_UnwrapMaterial_ 

type CompanionStruct_UnwrapMaterial_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_UnwrapMaterial_) CastTo_ 

func (CompanionStruct_UnwrapMaterial_) CastTo_(x interface{}) UnwrapMaterial

type CompanionStruct_UnwrapOutput_ 

type CompanionStruct_UnwrapOutput_ struct {
}

func (CompanionStruct_UnwrapOutput_) Create_UnwrapOutput_ 

func (CompanionStruct_UnwrapOutput_) Create_UnwrapOutput_(UnwrappedMaterial _dafny.Sequence, UnwrapInfo interface{}) UnwrapOutput

func (CompanionStruct_UnwrapOutput_) Default 

func (CompanionStruct_UnwrapOutput_) Default(_default_T interface{}) UnwrapOutput

type CompanionStruct_WrapInput_ 

type CompanionStruct_WrapInput_ struct {
}

func (CompanionStruct_WrapInput_) Create_WrapInput_ 

func (CompanionStruct_WrapInput_) Create_WrapInput_(PlaintextMaterial _dafny.Sequence, AlgorithmSuite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, EncryptionContext _dafny.Map) WrapInput

func (CompanionStruct_WrapInput_) Default 

func (CompanionStruct_WrapInput_) Default() WrapInput

type CompanionStruct_WrapMaterial_ 

type CompanionStruct_WrapMaterial_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_WrapMaterial_) CastTo_ 

func (CompanionStruct_WrapMaterial_) CastTo_(x interface{}) WrapMaterial

type CompanionStruct_WrapOutput_ 

type CompanionStruct_WrapOutput_ struct {
}

func (CompanionStruct_WrapOutput_) Create_WrapOutput_ 

func (CompanionStruct_WrapOutput_) Create_WrapOutput_(WrappedMaterial _dafny.Sequence, WrapInfo interface{}) WrapOutput

func (CompanionStruct_WrapOutput_) Default 

func (CompanionStruct_WrapOutput_) Default(_default_T interface{}) WrapOutput

type Data_GenerateAndWrapInput_ 

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

type Data_GenerateAndWrapOutput_ 

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

type Data_UnwrapInput_ 

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

type Data_UnwrapOutput_ 

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

type Data_WrapInput_ 

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

type Data_WrapOutput_ 

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

type Dummy__ 

type Dummy__ struct{}

type GenerateAndWrapInput 

type GenerateAndWrapInput struct {
	Data_GenerateAndWrapInput_
}

Definition of datatype GenerateAndWrapInput

func (GenerateAndWrapInput) Dtor_algorithmSuite 

func (_this GenerateAndWrapInput) Dtor_algorithmSuite() m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func (GenerateAndWrapInput) Dtor_encryptionContext 

func (_this GenerateAndWrapInput) Dtor_encryptionContext() _dafny.Map

func (GenerateAndWrapInput) Equals 

func (_this GenerateAndWrapInput) Equals(other GenerateAndWrapInput) bool

func (GenerateAndWrapInput) EqualsGeneric 

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

func (GenerateAndWrapInput) Get_ 

func (_this GenerateAndWrapInput) Get_() Data_GenerateAndWrapInput_

func (GenerateAndWrapInput) Is_GenerateAndWrapInput 

func (_this GenerateAndWrapInput) Is_GenerateAndWrapInput() bool

func (GenerateAndWrapInput) ParentTraits_ 

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

func (GenerateAndWrapInput) String 

func (_this GenerateAndWrapInput) String() string

type GenerateAndWrapInput_GenerateAndWrapInput 

type GenerateAndWrapInput_GenerateAndWrapInput struct {
	AlgorithmSuite    m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
	EncryptionContext _dafny.Map
}

type GenerateAndWrapMaterial 

type GenerateAndWrapMaterial interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait GenerateAndWrapMaterial

type GenerateAndWrapOutput 

type GenerateAndWrapOutput struct {
	Data_GenerateAndWrapOutput_
}

Definition of datatype GenerateAndWrapOutput

func (GenerateAndWrapOutput) Dtor_plaintextMaterial 

func (_this GenerateAndWrapOutput) Dtor_plaintextMaterial() _dafny.Sequence

func (GenerateAndWrapOutput) Dtor_wrapInfo 

func (_this GenerateAndWrapOutput) Dtor_wrapInfo() interface{}

func (GenerateAndWrapOutput) Dtor_wrappedMaterial 

func (_this GenerateAndWrapOutput) Dtor_wrappedMaterial() _dafny.Sequence

func (GenerateAndWrapOutput) Equals 

func (_this GenerateAndWrapOutput) Equals(other GenerateAndWrapOutput) bool

func (GenerateAndWrapOutput) EqualsGeneric 

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

func (GenerateAndWrapOutput) Get_ 

func (_this GenerateAndWrapOutput) Get_() Data_GenerateAndWrapOutput_

func (GenerateAndWrapOutput) Is_GenerateAndWrapOutput 

func (_this GenerateAndWrapOutput) Is_GenerateAndWrapOutput() bool

func (GenerateAndWrapOutput) ParentTraits_ 

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

func (GenerateAndWrapOutput) String 

func (_this GenerateAndWrapOutput) String() string

type GenerateAndWrapOutput_GenerateAndWrapOutput 

type GenerateAndWrapOutput_GenerateAndWrapOutput struct {
	PlaintextMaterial _dafny.Sequence
	WrappedMaterial   _dafny.Sequence
	WrapInfo          interface{}
}

type UnwrapInput 

type UnwrapInput struct {
	Data_UnwrapInput_
}

Definition of datatype UnwrapInput

func (UnwrapInput) Dtor_algorithmSuite 

func (_this UnwrapInput) Dtor_algorithmSuite() m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func (UnwrapInput) Dtor_encryptionContext 

func (_this UnwrapInput) Dtor_encryptionContext() _dafny.Map

func (UnwrapInput) Dtor_wrappedMaterial 

func (_this UnwrapInput) Dtor_wrappedMaterial() _dafny.Sequence

func (UnwrapInput) Equals 

func (_this UnwrapInput) Equals(other UnwrapInput) bool

func (UnwrapInput) EqualsGeneric 

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

func (UnwrapInput) Get_ 

func (_this UnwrapInput) Get_() Data_UnwrapInput_

func (UnwrapInput) Is_UnwrapInput 

func (_this UnwrapInput) Is_UnwrapInput() bool

func (UnwrapInput) ParentTraits_ 

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

func (UnwrapInput) String 

func (_this UnwrapInput) String() string

type UnwrapInput_UnwrapInput 

type UnwrapInput_UnwrapInput struct {
	WrappedMaterial   _dafny.Sequence
	AlgorithmSuite    m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
	EncryptionContext _dafny.Map
}

type UnwrapMaterial 

type UnwrapMaterial interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait UnwrapMaterial

type UnwrapOutput 

type UnwrapOutput struct {
	Data_UnwrapOutput_
}

Definition of datatype UnwrapOutput

func (UnwrapOutput) Dtor_unwrapInfo 

func (_this UnwrapOutput) Dtor_unwrapInfo() interface{}

func (UnwrapOutput) Dtor_unwrappedMaterial 

func (_this UnwrapOutput) Dtor_unwrappedMaterial() _dafny.Sequence

func (UnwrapOutput) Equals 

func (_this UnwrapOutput) Equals(other UnwrapOutput) bool

func (UnwrapOutput) EqualsGeneric 

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

func (UnwrapOutput) Get_ 

func (_this UnwrapOutput) Get_() Data_UnwrapOutput_

func (UnwrapOutput) Is_UnwrapOutput 

func (_this UnwrapOutput) Is_UnwrapOutput() bool

func (UnwrapOutput) ParentTraits_ 

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

func (UnwrapOutput) String 

func (_this UnwrapOutput) String() string

type UnwrapOutput_UnwrapOutput 

type UnwrapOutput_UnwrapOutput struct {
	UnwrappedMaterial _dafny.Sequence
	UnwrapInfo        interface{}
}

type WrapInput 

type WrapInput struct {
	Data_WrapInput_
}

Definition of datatype WrapInput

func (WrapInput) Dtor_algorithmSuite 

func (_this WrapInput) Dtor_algorithmSuite() m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func (WrapInput) Dtor_encryptionContext 

func (_this WrapInput) Dtor_encryptionContext() _dafny.Map

func (WrapInput) Dtor_plaintextMaterial 

func (_this WrapInput) Dtor_plaintextMaterial() _dafny.Sequence

func (WrapInput) Equals 

func (_this WrapInput) Equals(other WrapInput) bool

func (WrapInput) EqualsGeneric 

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

func (WrapInput) Get_ 

func (_this WrapInput) Get_() Data_WrapInput_

func (WrapInput) Is_WrapInput 

func (_this WrapInput) Is_WrapInput() bool

func (WrapInput) ParentTraits_ 

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

func (WrapInput) String 

func (_this WrapInput) String() string

type WrapInput_WrapInput 

type WrapInput_WrapInput struct {
	PlaintextMaterial _dafny.Sequence
	AlgorithmSuite    m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
	EncryptionContext _dafny.Map
}

type WrapMaterial 

type WrapMaterial interface {
	String() string
	Invoke(a interface{}) interface{}
}

Definition of trait WrapMaterial

type WrapOutput 

type WrapOutput struct {
	Data_WrapOutput_
}

Definition of datatype WrapOutput

func (WrapOutput) Dtor_wrapInfo 

func (_this WrapOutput) Dtor_wrapInfo() interface{}

func (WrapOutput) Dtor_wrappedMaterial 

func (_this WrapOutput) Dtor_wrappedMaterial() _dafny.Sequence

func (WrapOutput) Equals 

func (_this WrapOutput) Equals(other WrapOutput) bool

func (WrapOutput) EqualsGeneric 

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

func (WrapOutput) Get_ 

func (_this WrapOutput) Get_() Data_WrapOutput_

func (WrapOutput) Is_WrapOutput 

func (_this WrapOutput) Is_WrapOutput() bool

func (WrapOutput) ParentTraits_ 

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

func (WrapOutput) String 

func (_this WrapOutput) String() string

type WrapOutput_WrapOutput 

type WrapOutput_WrapOutput struct {
	WrappedMaterial _dafny.Sequence
	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.