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 (*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_MoreNeeded_

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

func (CompanionStruct_ReadProblems_) Default

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

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
}

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL