Header

Documentation

Index

• Variables
• func Type_HeaderInfo_() _dafny.TypeDescriptor
• func Type_Header_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) HeaderVersionSupportsCommitment_q(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, ...) bool
  • func (_static *CompanionStruct_Default___) ReadHeaderBody(buffer m_SerializeFunctions.ReadableBuffer, maxEdks m_Wrappers.Option, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteHeaderBody(body m_HeaderTypes.HeaderBody) _dafny.Sequence
• type CompanionStruct_HeaderInfo_
  • func (CompanionStruct_HeaderInfo_) Create_HeaderInfo_(Body m_HeaderTypes.HeaderBody, RawHeader _dafny.Sequence, ...) HeaderInfo
  • func (CompanionStruct_HeaderInfo_) Default() HeaderInfo
• type CompanionStruct_Header_
• type Data_HeaderInfo_
• 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 Header
  • func New_Header_() *Header
  • func (*Header) String() string
• type HeaderInfo
  • func (_this HeaderInfo) Dtor_body() m_HeaderTypes.HeaderBody
  • func (_this HeaderInfo) Dtor_encryptionContext() _dafny.Map
  • func (_this HeaderInfo) Dtor_headerAuth() m_HeaderTypes.HeaderAuth
  • func (_this HeaderInfo) Dtor_rawHeader() _dafny.Sequence
  • func (_this HeaderInfo) Dtor_suite() m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
  • func (_this HeaderInfo) Equals(other HeaderInfo) bool
  • func (_this HeaderInfo) EqualsGeneric(other interface{}) bool
  • func (_this HeaderInfo) Get_() Data_HeaderInfo_
  • func (_this HeaderInfo) Is_HeaderInfo() bool
  • func (_this HeaderInfo) ParentTraits_() []*_dafny.TraitID
  • func (_this HeaderInfo) String() string
• type HeaderInfo_HeaderInfo

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_HeaderInfo_ = CompanionStruct_HeaderInfo_{}

var Companion_Header_ = CompanionStruct_Header_{}

Functions

func Type_HeaderInfo_

func Type_HeaderInfo_() _dafny.TypeDescriptor

func Type_Header_

func Type_Header_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) HeaderVersionSupportsCommitment_q

func (_static *CompanionStruct_Default___) HeaderVersionSupportsCommitment_q(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, body m_HeaderTypes.HeaderBody) bool

func (*CompanionStruct_Default___) ReadHeaderBody

func (_static *CompanionStruct_Default___) ReadHeaderBody(buffer m_SerializeFunctions.ReadableBuffer, maxEdks m_Wrappers.Option, mpl *m_MaterialProviders.MaterialProvidersClient) m_Wrappers.Result

func (*CompanionStruct_Default___) WriteHeaderBody

func (_static *CompanionStruct_Default___) WriteHeaderBody(body m_HeaderTypes.HeaderBody) _dafny.Sequence

type CompanionStruct_HeaderInfo_

type CompanionStruct_HeaderInfo_ struct {
}

func (CompanionStruct_HeaderInfo_) Create_HeaderInfo_

func (CompanionStruct_HeaderInfo_) Create_HeaderInfo_(Body m_HeaderTypes.HeaderBody, RawHeader _dafny.Sequence, EncryptionContext _dafny.Map, Suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, HeaderAuth m_HeaderTypes.HeaderAuth) HeaderInfo

func (CompanionStruct_HeaderInfo_) Default

func (CompanionStruct_HeaderInfo_) Default() HeaderInfo

type CompanionStruct_Header_

type CompanionStruct_Header_ struct {
}

type Data_HeaderInfo_

type Data_HeaderInfo_ 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 Header

type Header struct {
}

Definition of class Header

func New_Header_

func New_Header_() *Header

func (*Header) String

func (*Header) String() string

type HeaderInfo

type HeaderInfo struct {
	Data_HeaderInfo_
}

Definition of datatype HeaderInfo

func (HeaderInfo) Dtor_body

func (_this HeaderInfo) Dtor_body() m_HeaderTypes.HeaderBody

func (HeaderInfo) Dtor_encryptionContext

func (_this HeaderInfo) Dtor_encryptionContext() _dafny.Map

func (HeaderInfo) Dtor_headerAuth

func (_this HeaderInfo) Dtor_headerAuth() m_HeaderTypes.HeaderAuth

func (HeaderInfo) Dtor_rawHeader

func (_this HeaderInfo) Dtor_rawHeader() _dafny.Sequence

func (HeaderInfo) Dtor_suite

func (_this HeaderInfo) Dtor_suite() m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func (HeaderInfo) Equals

func (_this HeaderInfo) Equals(other HeaderInfo) bool

func (HeaderInfo) EqualsGeneric

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

func (HeaderInfo) Get_

func (_this HeaderInfo) Get_() Data_HeaderInfo_

func (HeaderInfo) Is_HeaderInfo

func (_this HeaderInfo) Is_HeaderInfo() bool

func (HeaderInfo) ParentTraits_

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

func (HeaderInfo) String

func (_this HeaderInfo) String() string

type HeaderInfo_HeaderInfo

type HeaderInfo_HeaderInfo struct {
	Body              m_HeaderTypes.HeaderBody
	RawHeader         _dafny.Sequence
	EncryptionContext _dafny.Map
	Suite             m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
	HeaderAuth        m_HeaderTypes.HeaderAuth
}