HeaderAuth

Documentation

Index

• Variables
• func Type_AESMac_() _dafny.TypeDescriptor
• type AESMac
  • func New_AESMac_() *AESMac
  • func (*AESMac) String() string
• type CompanionStruct_AESMac_
  • func (_this *CompanionStruct_AESMac_) Is_(__source m_HeaderTypes.HeaderAuth) bool
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) ReadHeaderAuthTag(buffer m_SerializeFunctions.ReadableBuffer, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) ReadHeaderAuthTagV1(buffer m_SerializeFunctions.ReadableBuffer, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) ReadHeaderAuthTagV2(buffer m_SerializeFunctions.ReadableBuffer, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteHeaderAuthTag(headerAuth m_HeaderTypes.HeaderAuth, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteHeaderAuthTagV1(headerAuth m_HeaderTypes.HeaderAuth) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) WriteHeaderAuthTagV2(headerAuth m_HeaderTypes.HeaderAuth) _dafny.Sequence
• 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__

Variables

var Companion_AESMac_ = CompanionStruct_AESMac_{}

var Companion_Default___ = CompanionStruct_Default___{}

Functions

func Type_AESMac_

func Type_AESMac_() _dafny.TypeDescriptor

Types

type AESMac

type AESMac struct {
}

Definition of class AESMac

func New_AESMac_

func New_AESMac_() *AESMac

func (*AESMac) String

func (*AESMac) String() string

type CompanionStruct_AESMac_

type CompanionStruct_AESMac_ struct {
}

func (*CompanionStruct_AESMac_) Is_

func (_this *CompanionStruct_AESMac_) Is_(__source m_HeaderTypes.HeaderAuth) bool

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) ReadHeaderAuthTag

func (_static *CompanionStruct_Default___) ReadHeaderAuthTag(buffer m_SerializeFunctions.ReadableBuffer, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadHeaderAuthTagV1

func (_static *CompanionStruct_Default___) ReadHeaderAuthTagV1(buffer m_SerializeFunctions.ReadableBuffer, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadHeaderAuthTagV2

func (_static *CompanionStruct_Default___) ReadHeaderAuthTagV2(buffer m_SerializeFunctions.ReadableBuffer, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) WriteHeaderAuthTag

func (_static *CompanionStruct_Default___) WriteHeaderAuthTag(headerAuth m_HeaderTypes.HeaderAuth, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) WriteHeaderAuthTagV1

func (_static *CompanionStruct_Default___) WriteHeaderAuthTagV1(headerAuth m_HeaderTypes.HeaderAuth) _dafny.Sequence

func (*CompanionStruct_Default___) WriteHeaderAuthTagV2

func (_static *CompanionStruct_Default___) WriteHeaderAuthTagV2(headerAuth m_HeaderTypes.HeaderAuth) _dafny.Sequence

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{}