MessageBody

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 16, 2025 License: Apache-2.0 Imports: 120 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_BodyAADContent_ = CompanionStruct_BodyAADContent_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_Frame_ = CompanionStruct_Frame_{}
View Source 
var Companion_FramedMessageBody_ = CompanionStruct_FramedMessageBody_{}
View Source 
var Companion_FramedMessage_ = CompanionStruct_FramedMessage_{}
View Source 
var Companion_MessageFrame_ = CompanionStruct_MessageFrame_{}
View Source 
var Companion_MessageRegularFrames_ = CompanionStruct_MessageRegularFrames_{}

Functions

func Type_BodyAADContent_ 

func Type_BodyAADContent_() _dafny.TypeDescriptor

func Type_Frame_ 

func Type_Frame_() _dafny.TypeDescriptor

func Type_FramedMessageBody_ 

func Type_FramedMessageBody_() _dafny.TypeDescriptor

func Type_FramedMessage_ 

func Type_FramedMessage_() _dafny.TypeDescriptor

func Type_MessageFrame_ 

func Type_MessageFrame_() _dafny.TypeDescriptor

func Type_MessageRegularFrames_ 

func Type_MessageRegularFrames_() _dafny.TypeDescriptor

Types

type BodyAADContent 

type BodyAADContent struct {
	Data_BodyAADContent_
}

Definition of datatype BodyAADContent

func (BodyAADContent) Equals 

func (_this BodyAADContent) Equals(other BodyAADContent) bool

func (BodyAADContent) EqualsGeneric 

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

func (BodyAADContent) Get_ 

func (_this BodyAADContent) Get_() Data_BodyAADContent_

func (BodyAADContent) Is_AADFinalFrame 

func (_this BodyAADContent) Is_AADFinalFrame() bool

func (BodyAADContent) Is_AADRegularFrame 

func (_this BodyAADContent) Is_AADRegularFrame() bool

func (BodyAADContent) Is_AADSingleBlock 

func (_this BodyAADContent) Is_AADSingleBlock() bool

func (BodyAADContent) ParentTraits_ 

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

func (BodyAADContent) String 

func (_this BodyAADContent) String() string

type BodyAADContent_AADFinalFrame 

type BodyAADContent_AADFinalFrame struct {
}

type BodyAADContent_AADRegularFrame 

type BodyAADContent_AADRegularFrame struct {
}

type BodyAADContent_AADSingleBlock 

type BodyAADContent_AADSingleBlock struct {
}

type CompanionStruct_BodyAADContent_ 

type CompanionStruct_BodyAADContent_ struct {
}

func (CompanionStruct_BodyAADContent_) AllSingletonConstructors 

func (_ CompanionStruct_BodyAADContent_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_BodyAADContent_) Create_AADFinalFrame_ 

func (CompanionStruct_BodyAADContent_) Create_AADFinalFrame_() BodyAADContent

func (CompanionStruct_BodyAADContent_) Create_AADRegularFrame_ 

func (CompanionStruct_BodyAADContent_) Create_AADRegularFrame_() BodyAADContent

func (CompanionStruct_BodyAADContent_) Create_AADSingleBlock_ 

func (CompanionStruct_BodyAADContent_) Create_AADSingleBlock_() BodyAADContent

func (CompanionStruct_BodyAADContent_) Default 

func (CompanionStruct_BodyAADContent_) Default() BodyAADContent

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) BODY__AAD__CONTENT__FINAL__FRAME 

func (_static *CompanionStruct_Default___) BODY__AAD__CONTENT__FINAL__FRAME() _dafny.Sequence

func (*CompanionStruct_Default___) BODY__AAD__CONTENT__REGULAR__FRAME 

func (_static *CompanionStruct_Default___) BODY__AAD__CONTENT__REGULAR__FRAME() _dafny.Sequence

func (*CompanionStruct_Default___) BODY__AAD__CONTENT__SINGLE__BLOCK 

func (_static *CompanionStruct_Default___) BODY__AAD__CONTENT__SINGLE__BLOCK() _dafny.Sequence

func (*CompanionStruct_Default___) BodyAAD 

func (_static *CompanionStruct_Default___) BodyAAD(messageID _dafny.Sequence, bc BodyAADContent, sequenceNumber uint32, length uint64) _dafny.Sequence

func (*CompanionStruct_Default___) BodyAADByFrameType 

func (_static *CompanionStruct_Default___) BodyAADByFrameType(frame m_Frames.Frame) _dafny.Sequence

func (*CompanionStruct_Default___) BodyAADContentTypeString 

func (_static *CompanionStruct_Default___) BodyAADContentTypeString(bc BodyAADContent) _dafny.Sequence

func (*CompanionStruct_Default___) DecryptFrame 

func (_static *CompanionStruct_Default___) DecryptFrame(frame m_Frames.Frame, key _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) DecryptFramedMessageBody 

func (_static *CompanionStruct_Default___) DecryptFramedMessageBody(body FramedMessageBody, key _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) ENDFRAME__SEQUENCE__NUMBER 

func (_static *CompanionStruct_Default___) ENDFRAME__SEQUENCE__NUMBER() uint32

func (*CompanionStruct_Default___) EncryptFinalFrame 

func (_static *CompanionStruct_Default___) EncryptFinalFrame(key _dafny.Sequence, header m_Header.HeaderInfo, plaintext _dafny.Sequence, sequenceNumber uint32, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) EncryptMessageBody 

func (_static *CompanionStruct_Default___) EncryptMessageBody(plaintext _dafny.Sequence, header m_Header.HeaderInfo, key _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) EncryptRegularFrame 

func (_static *CompanionStruct_Default___) EncryptRegularFrame(key _dafny.Sequence, header m_Header.HeaderInfo, plaintext _dafny.Sequence, sequenceNumber uint32, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) IVSeq 

func (_static *CompanionStruct_Default___) IVSeq(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, sequenceNumber uint32) _dafny.Sequence

func (*CompanionStruct_Default___) NONFRAMED__SEQUENCE__NUMBER 

func (_static *CompanionStruct_Default___) NONFRAMED__SEQUENCE__NUMBER() uint32

func (*CompanionStruct_Default___) ReadFramedMessageBody 

func (_static *CompanionStruct_Default___) ReadFramedMessageBody(buffer m_SerializeFunctions.ReadableBuffer, header m_Header.HeaderInfo, regularFrames _dafny.Sequence, continuation m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadNonFramedMessageBody 

func (_static *CompanionStruct_Default___) ReadNonFramedMessageBody(buffer m_SerializeFunctions.ReadableBuffer, header m_Header.HeaderInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) START__SEQUENCE__NUMBER 

func (_static *CompanionStruct_Default___) START__SEQUENCE__NUMBER() uint32

func (*CompanionStruct_Default___) WriteFramedMessageBody 

func (_static *CompanionStruct_Default___) WriteFramedMessageBody(body FramedMessageBody) _dafny.Sequence

func (*CompanionStruct_Default___) WriteMessageRegularFrames 

func (_static *CompanionStruct_Default___) WriteMessageRegularFrames(frames _dafny.Sequence) _dafny.Sequence

type CompanionStruct_Frame_ 

type CompanionStruct_Frame_ struct {
}

type CompanionStruct_FramedMessageBody_ 

type CompanionStruct_FramedMessageBody_ struct {
}

func (CompanionStruct_FramedMessageBody_) Create_FramedMessageBody_ 

func (CompanionStruct_FramedMessageBody_) Create_FramedMessageBody_(RegularFrames _dafny.Sequence, FinalFrame m_Frames.Frame) FramedMessageBody

func (CompanionStruct_FramedMessageBody_) Default 

func (CompanionStruct_FramedMessageBody_) Default() FramedMessageBody

type CompanionStruct_FramedMessage_ 

type CompanionStruct_FramedMessage_ struct {
}

type CompanionStruct_MessageFrame_ 

type CompanionStruct_MessageFrame_ struct {
}

type CompanionStruct_MessageRegularFrames_ 

type CompanionStruct_MessageRegularFrames_ struct {
}

type Data_BodyAADContent_ 

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

type Data_FramedMessageBody_ 

type Data_FramedMessageBody_ 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 Frame 

type Frame struct {
}

Definition of class Frame

func New_Frame_ 

func New_Frame_() *Frame

func (*Frame) String 

func (*Frame) String() string

type FramedMessage 

type FramedMessage struct {
}

Definition of class FramedMessage

func New_FramedMessage_ 

func New_FramedMessage_() *FramedMessage

func (*FramedMessage) String 

func (*FramedMessage) String() string

type FramedMessageBody 

type FramedMessageBody struct {
	Data_FramedMessageBody_
}

Definition of datatype FramedMessageBody

func (FramedMessageBody) Dtor_finalFrame 

func (_this FramedMessageBody) Dtor_finalFrame() m_Frames.Frame

func (FramedMessageBody) Dtor_regularFrames 

func (_this FramedMessageBody) Dtor_regularFrames() _dafny.Sequence

func (FramedMessageBody) Equals 

func (_this FramedMessageBody) Equals(other FramedMessageBody) bool

func (FramedMessageBody) EqualsGeneric 

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

func (FramedMessageBody) Get_ 

func (_this FramedMessageBody) Get_() Data_FramedMessageBody_

func (FramedMessageBody) Is_FramedMessageBody 

func (_this FramedMessageBody) Is_FramedMessageBody() bool

func (FramedMessageBody) ParentTraits_ 

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

func (FramedMessageBody) String 

func (_this FramedMessageBody) String() string

type FramedMessageBody_FramedMessageBody 

type FramedMessageBody_FramedMessageBody struct {
	RegularFrames _dafny.Sequence
	FinalFrame    m_Frames.Frame
}

type MessageFrame 

type MessageFrame struct {
}

Definition of class MessageFrame

func New_MessageFrame_ 

func New_MessageFrame_() *MessageFrame

func (*MessageFrame) String 

func (*MessageFrame) String() string

type MessageRegularFrames 

type MessageRegularFrames struct {
}

Definition of class MessageRegularFrames

func New_MessageRegularFrames_ 

func New_MessageRegularFrames_() *MessageRegularFrames

func (*MessageRegularFrames) String 

func (*MessageRegularFrames) String() string

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.