HMAC

Documentation

Index

• Variables
• func Digest(hMacInput AwsCryptographyPrimitivesTypes.HMacInput) Wrappers.Result
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) CreateDigestFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateDigestSuccess(bytes _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateHMacFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateHMacSuccess(hmac *HMac) m_Wrappers.Result
• type CompanionStruct_HMac_
  • func (CompanionStruct_HMac_) Build(digestAlgo AwsCryptographyPrimitivesTypes.DigestAlgorithm) Wrappers.Result
• 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 HMac
  • func (hMac *HMac) BlockUpdate(message dafny.Sequence)
  • func (hMac *HMac) GetResult() dafny.Sequence
  • func (hMac *HMac) Init(key dafny.Sequence)

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_HMac_ = CompanionStruct_HMac_{}

Functions

func Digest

func Digest(hMacInput AwsCryptographyPrimitivesTypes.HMacInput) Wrappers.Result

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CreateDigestFailure

func (_static *CompanionStruct_Default___) CreateDigestFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateDigestSuccess

func (_static *CompanionStruct_Default___) CreateDigestSuccess(bytes _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateHMacFailure

func (_static *CompanionStruct_Default___) CreateHMacFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateHMacSuccess

func (_static *CompanionStruct_Default___) CreateHMacSuccess(hmac *HMac) m_Wrappers.Result

type CompanionStruct_HMac_

type CompanionStruct_HMac_ struct {
}

func (CompanionStruct_HMac_) Build

func (CompanionStruct_HMac_) Build(digestAlgo AwsCryptographyPrimitivesTypes.DigestAlgorithm) Wrappers.Result

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 HMac

type HMac struct {
	// contains filtered or unexported fields
}

func (*HMac) BlockUpdate

func (hMac *HMac) BlockUpdate(message dafny.Sequence)

func (*HMac) GetResult

func (hMac *HMac) GetResult() dafny.Sequence

func (*HMac) Init

func (hMac *HMac) Init(key dafny.Sequence)