V2HeaderBody

Documentation

Index

• Variables
• func Type_V2HeaderBody_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) HeaderBytesToAADStart() _dafny.Int
  • func (_static *CompanionStruct_Default___) ReadV2HeaderBody(buffer m_SerializeFunctions.ReadableBuffer, maxEdks m_Wrappers.Option, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteV2HeaderBody(body m_HeaderTypes.HeaderBody) _dafny.Sequence
• type CompanionStruct_V2HeaderBody_
  • func (_this *CompanionStruct_V2HeaderBody_) Is_(__source m_HeaderTypes.HeaderBody) bool
• 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 V2HeaderBody
  • func New_V2HeaderBody_() *V2HeaderBody
  • func (*V2HeaderBody) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_V2HeaderBody_ = CompanionStruct_V2HeaderBody_{}

Functions

func Type_V2HeaderBody_

func Type_V2HeaderBody_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) HeaderBytesToAADStart

func (_static *CompanionStruct_Default___) HeaderBytesToAADStart() _dafny.Int

func (*CompanionStruct_Default___) ReadV2HeaderBody

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

func (*CompanionStruct_Default___) WriteV2HeaderBody

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

type CompanionStruct_V2HeaderBody_

type CompanionStruct_V2HeaderBody_ struct {
}

func (*CompanionStruct_V2HeaderBody_) Is_

func (_this *CompanionStruct_V2HeaderBody_) Is_(__source m_HeaderTypes.HeaderBody) bool

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 V2HeaderBody

type V2HeaderBody struct {
}

Definition of class V2HeaderBody

func New_V2HeaderBody_

func New_V2HeaderBody_() *V2HeaderBody

func (*V2HeaderBody) String

func (*V2HeaderBody) String() string