SerializeFunctions

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: 109 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_MoreNeeded_ = CompanionStruct_MoreNeeded_{}
View Source 
var Companion_ReadProblems_ = CompanionStruct_ReadProblems_{}
View Source 
var Companion_ReadableBuffer_ = CompanionStruct_ReadableBuffer_{}
View Source 
var Companion_SuccessfulRead_ = CompanionStruct_SuccessfulRead_{}

Functions

func Type_MoreNeeded_ 

func Type_MoreNeeded_() _dafny.TypeDescriptor

func Type_ReadProblems_ 

func Type_ReadProblems_() _dafny.TypeDescriptor

func Type_ReadableBuffer_ 

func Type_ReadableBuffer_() _dafny.TypeDescriptor

func Type_SuccessfulRead_ 

func Type_SuccessfulRead_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Read 

func (_static *CompanionStruct_Default___) Read(buffer ReadableBuffer, length _dafny.Int) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadShortLengthSeq 

func (_static *CompanionStruct_Default___) ReadShortLengthSeq(buffer ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadUInt16 

func (_static *CompanionStruct_Default___) ReadUInt16(buffer ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadUInt32 

func (_static *CompanionStruct_Default___) ReadUInt32(buffer ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadUInt64 

func (_static *CompanionStruct_Default___) ReadUInt64(buffer ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadUint32Seq 

func (_static *CompanionStruct_Default___) ReadUint32Seq(buffer ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadUint64Seq 

func (_static *CompanionStruct_Default___) ReadUint64Seq(buffer ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) Write 

func (_static *CompanionStruct_Default___) Write(data _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) WriteShortLengthSeq 

func (_static *CompanionStruct_Default___) WriteShortLengthSeq(d _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) WriteUint16 

func (_static *CompanionStruct_Default___) WriteUint16(number uint16) _dafny.Sequence

func (*CompanionStruct_Default___) WriteUint32 

func (_static *CompanionStruct_Default___) WriteUint32(number uint32) _dafny.Sequence

func (*CompanionStruct_Default___) WriteUint32Seq 

func (_static *CompanionStruct_Default___) WriteUint32Seq(d _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) WriteUint64 

func (_static *CompanionStruct_Default___) WriteUint64(number uint64) _dafny.Sequence

func (*CompanionStruct_Default___) WriteUint64Seq 

func (_static *CompanionStruct_Default___) WriteUint64Seq(d _dafny.Sequence) _dafny.Sequence

type CompanionStruct_MoreNeeded_ 

type CompanionStruct_MoreNeeded_ struct {
}

func (*CompanionStruct_MoreNeeded_) Is_ 

func (_this *CompanionStruct_MoreNeeded_) Is_(__source ReadProblems) bool

type CompanionStruct_ReadProblems_ 

type CompanionStruct_ReadProblems_ struct {
}

func (CompanionStruct_ReadProblems_) Create_Error_ 

func (CompanionStruct_ReadProblems_) Create_Error_(Message _dafny.Sequence) ReadProblems

func (CompanionStruct_ReadProblems_) Create_MoreNeeded_ 

func (CompanionStruct_ReadProblems_) Create_MoreNeeded_(Pos _dafny.Int) ReadProblems

func (CompanionStruct_ReadProblems_) Default 

func (CompanionStruct_ReadProblems_) Default() ReadProblems

type CompanionStruct_ReadableBuffer_ 

type CompanionStruct_ReadableBuffer_ struct {
}

func (CompanionStruct_ReadableBuffer_) Create_ReadableBuffer_ 

func (CompanionStruct_ReadableBuffer_) Create_ReadableBuffer_(Bytes _dafny.Sequence, Start _dafny.Int) ReadableBuffer

func (CompanionStruct_ReadableBuffer_) Default 

func (CompanionStruct_ReadableBuffer_) Default() ReadableBuffer

type CompanionStruct_SuccessfulRead_ 

type CompanionStruct_SuccessfulRead_ struct {
}

func (CompanionStruct_SuccessfulRead_) Create_SuccessfulRead_ 

func (CompanionStruct_SuccessfulRead_) Create_SuccessfulRead_(Data interface{}, Tail ReadableBuffer) SuccessfulRead

func (CompanionStruct_SuccessfulRead_) Default 

func (CompanionStruct_SuccessfulRead_) Default(_default_T interface{}) SuccessfulRead

type Data_ReadProblems_ 

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

type Data_ReadableBuffer_ 

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

type Data_SuccessfulRead_ 

type Data_SuccessfulRead_ 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 MoreNeeded 

type MoreNeeded struct {
}

Definition of class MoreNeeded

func New_MoreNeeded_ 

func New_MoreNeeded_() *MoreNeeded

func (*MoreNeeded) String 

func (*MoreNeeded) String() string

type ReadProblems 

type ReadProblems struct {
	Data_ReadProblems_
}

Definition of datatype ReadProblems

func (ReadProblems) Dtor_message 

func (_this ReadProblems) Dtor_message() _dafny.Sequence

func (ReadProblems) Dtor_pos 

func (_this ReadProblems) Dtor_pos() _dafny.Int

func (ReadProblems) Equals 

func (_this ReadProblems) Equals(other ReadProblems) bool

func (ReadProblems) EqualsGeneric 

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

func (ReadProblems) Get_ 

func (_this ReadProblems) Get_() Data_ReadProblems_

func (ReadProblems) Is_Error 

func (_this ReadProblems) Is_Error() bool

func (ReadProblems) Is_MoreNeeded 

func (_this ReadProblems) Is_MoreNeeded() bool

func (ReadProblems) ParentTraits_ 

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

func (ReadProblems) String 

func (_this ReadProblems) String() string

type ReadProblems_Error 

type ReadProblems_Error struct {
	Message _dafny.Sequence
}

type ReadProblems_MoreNeeded 

type ReadProblems_MoreNeeded struct {
	Pos _dafny.Int
}

type ReadableBuffer 

type ReadableBuffer struct {
	Data_ReadableBuffer_
}

Definition of datatype ReadableBuffer

func (ReadableBuffer) Dtor_bytes 

func (_this ReadableBuffer) Dtor_bytes() _dafny.Sequence

func (ReadableBuffer) Dtor_start 

func (_this ReadableBuffer) Dtor_start() _dafny.Int

func (ReadableBuffer) Equals 

func (_this ReadableBuffer) Equals(other ReadableBuffer) bool

func (ReadableBuffer) EqualsGeneric 

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

func (ReadableBuffer) Get_ 

func (_this ReadableBuffer) Get_() Data_ReadableBuffer_

func (ReadableBuffer) Is_ReadableBuffer 

func (_this ReadableBuffer) Is_ReadableBuffer() bool

func (ReadableBuffer) ParentTraits_ 

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

func (ReadableBuffer) String 

func (_this ReadableBuffer) String() string

type ReadableBuffer_ReadableBuffer 

type ReadableBuffer_ReadableBuffer struct {
	Bytes _dafny.Sequence
	Start _dafny.Int
}

type SuccessfulRead 

type SuccessfulRead struct {
	Data_SuccessfulRead_
}

Definition of datatype SuccessfulRead

func (SuccessfulRead) Dtor_data 

func (_this SuccessfulRead) Dtor_data() interface{}

func (SuccessfulRead) Dtor_tail 

func (_this SuccessfulRead) Dtor_tail() ReadableBuffer

func (SuccessfulRead) Equals 

func (_this SuccessfulRead) Equals(other SuccessfulRead) bool

func (SuccessfulRead) EqualsGeneric 

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

func (SuccessfulRead) Get_ 

func (_this SuccessfulRead) Get_() Data_SuccessfulRead_

func (SuccessfulRead) Is_SuccessfulRead 

func (_this SuccessfulRead) Is_SuccessfulRead() bool

func (SuccessfulRead) ParentTraits_ 

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

func (SuccessfulRead) String 

func (_this SuccessfulRead) String() string

type SuccessfulRead_SuccessfulRead 

type SuccessfulRead_SuccessfulRead struct {
	Data interface{}
	Tail ReadableBuffer
}

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.