Frames

package
v0.2.0 Latest Latest
Warning

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

 Go to latest Published: Mar 21, 2025 License: Apache-2.0 Imports: 118 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_FinalFrame_ = CompanionStruct_FinalFrame_{}
View Source 
var Companion_Frame_ = CompanionStruct_Frame_{}
View Source 
var Companion_FramedHeader_ = CompanionStruct_FramedHeader_{}
View Source 
var Companion_NonFramedHeader_ = CompanionStruct_NonFramedHeader_{}
View Source 
var Companion_NonFramed_ = CompanionStruct_NonFramed_{}
View Source 
var Companion_RegularFrame_ = CompanionStruct_RegularFrame_{}

Functions

func Type_FinalFrame_ 

func Type_FinalFrame_() _dafny.TypeDescriptor

func Type_Frame_ 

func Type_Frame_() _dafny.TypeDescriptor

func Type_FramedHeader_ 

func Type_FramedHeader_() _dafny.TypeDescriptor

func Type_NonFramedHeader_ 

func Type_NonFramedHeader_() _dafny.TypeDescriptor

func Type_NonFramed_ 

func Type_NonFramed_() _dafny.TypeDescriptor

func Type_RegularFrame_ 

func Type_RegularFrame_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) ENDFRAME__SEQUENCE__NUMBER 

func (_static *CompanionStruct_Default___) ENDFRAME__SEQUENCE__NUMBER() uint32

func (*CompanionStruct_Default___) NONFRAMED__SEQUENCE__NUMBER 

func (_static *CompanionStruct_Default___) NONFRAMED__SEQUENCE__NUMBER() uint32

func (*CompanionStruct_Default___) ReadFinalFrame 

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

func (*CompanionStruct_Default___) ReadNonFrame 

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

func (*CompanionStruct_Default___) ReadRegularFrame 

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

func (*CompanionStruct_Default___) SAFE__MAX__ENCRYPT 

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

func (*CompanionStruct_Default___) START__SEQUENCE__NUMBER 

func (_static *CompanionStruct_Default___) START__SEQUENCE__NUMBER() uint32

func (*CompanionStruct_Default___) WriteFinalFrame 

func (_static *CompanionStruct_Default___) WriteFinalFrame(finalFrame Frame) _dafny.Sequence

func (*CompanionStruct_Default___) WriteRegularFrame 

func (_static *CompanionStruct_Default___) WriteRegularFrame(regularFrame Frame) _dafny.Sequence

type CompanionStruct_FinalFrame_ 

type CompanionStruct_FinalFrame_ struct {
}

type CompanionStruct_Frame_ 

type CompanionStruct_Frame_ struct {
}

func (CompanionStruct_Frame_) Create_FinalFrame_ 

func (CompanionStruct_Frame_) Create_FinalFrame_(Header m_Header.HeaderInfo, SeqNum uint32, Iv _dafny.Sequence, EncContent _dafny.Sequence, AuthTag _dafny.Sequence) Frame

func (CompanionStruct_Frame_) Create_NonFramed_ 

func (CompanionStruct_Frame_) Create_NonFramed_(Header m_Header.HeaderInfo, Iv _dafny.Sequence, EncContent _dafny.Sequence, AuthTag _dafny.Sequence) Frame

func (CompanionStruct_Frame_) Create_RegularFrame_ 

func (CompanionStruct_Frame_) Create_RegularFrame_(Header m_Header.HeaderInfo, SeqNum uint32, Iv _dafny.Sequence, EncContent _dafny.Sequence, AuthTag _dafny.Sequence) Frame

func (CompanionStruct_Frame_) Default 

func (CompanionStruct_Frame_) Default() Frame

type CompanionStruct_FramedHeader_ 

type CompanionStruct_FramedHeader_ struct {
}

type CompanionStruct_NonFramedHeader_ 

type CompanionStruct_NonFramedHeader_ struct {
}

type CompanionStruct_NonFramed_ 

type CompanionStruct_NonFramed_ struct {
}

type CompanionStruct_RegularFrame_ 

type CompanionStruct_RegularFrame_ struct {
}

type Data_Frame_ 

type Data_Frame_ 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 FinalFrame 

type FinalFrame struct {
}

Definition of class FinalFrame

func New_FinalFrame_ 

func New_FinalFrame_() *FinalFrame

func (*FinalFrame) String 

func (*FinalFrame) String() string

type Frame 

type Frame struct {
	Data_Frame_
}

Definition of datatype Frame

func (Frame) Dtor_authTag 

func (_this Frame) Dtor_authTag() _dafny.Sequence

func (Frame) Dtor_encContent 

func (_this Frame) Dtor_encContent() _dafny.Sequence

func (Frame) Dtor_header 

func (_this Frame) Dtor_header() m_Header.HeaderInfo

func (Frame) Dtor_iv 

func (_this Frame) Dtor_iv() _dafny.Sequence

func (Frame) Dtor_seqNum 

func (_this Frame) Dtor_seqNum() uint32

func (Frame) Equals 

func (_this Frame) Equals(other Frame) bool

func (Frame) EqualsGeneric 

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

func (Frame) Get_ 

func (_this Frame) Get_() Data_Frame_

func (Frame) Is_FinalFrame 

func (_this Frame) Is_FinalFrame() bool

func (Frame) Is_NonFramed 

func (_this Frame) Is_NonFramed() bool

func (Frame) Is_RegularFrame 

func (_this Frame) Is_RegularFrame() bool

func (Frame) ParentTraits_ 

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

func (Frame) String 

func (_this Frame) String() string

type Frame_FinalFrame 

type Frame_FinalFrame struct {
	Header     m_Header.HeaderInfo
	SeqNum     uint32
	Iv         _dafny.Sequence
	EncContent _dafny.Sequence
	AuthTag    _dafny.Sequence
}

type Frame_NonFramed 

type Frame_NonFramed struct {
	Header     m_Header.HeaderInfo
	Iv         _dafny.Sequence
	EncContent _dafny.Sequence
	AuthTag    _dafny.Sequence
}

type Frame_RegularFrame 

type Frame_RegularFrame struct {
	Header     m_Header.HeaderInfo
	SeqNum     uint32
	Iv         _dafny.Sequence
	EncContent _dafny.Sequence
	AuthTag    _dafny.Sequence
}

type FramedHeader 

type FramedHeader struct {
}

Definition of class FramedHeader

func New_FramedHeader_ 

func New_FramedHeader_() *FramedHeader

func (*FramedHeader) String 

func (*FramedHeader) String() string

type NonFramed 

type NonFramed struct {
}

Definition of class NonFramed

func New_NonFramed_ 

func New_NonFramed_() *NonFramed

func (*NonFramed) String 

func (*NonFramed) String() string

type NonFramedHeader 

type NonFramedHeader struct {
}

Definition of class NonFramedHeader

func New_NonFramedHeader_ 

func New_NonFramedHeader_() *NonFramedHeader

func (*NonFramedHeader) String 

func (*NonFramedHeader) String() string

type RegularFrame 

type RegularFrame struct {
}

Definition of class RegularFrame

func New_RegularFrame_ 

func New_RegularFrame_() *RegularFrame

func (*RegularFrame) String 

func (*RegularFrame) 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.