Streams

package
v0.0.1 Latest Latest
Warning

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

 Go to latest Published: Jan 13, 2025 License: Apache-2.0 Imports: 31 Imported by: 76

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_ByteReader_ = CompanionStruct_ByteReader_{}
View Source 
var Companion_ByteWriter_ = CompanionStruct_ByteWriter_{}
View Source 
var Companion_SeqReader_ = CompanionStruct_SeqReader_{}
View Source 
var Companion_SeqWriter_ = CompanionStruct_SeqWriter_{}

Functions

func Type_ByteReader_ 

func Type_ByteReader_() _dafny.TypeDescriptor

func Type_ByteWriter_ 

func Type_ByteWriter_() _dafny.TypeDescriptor

func Type_SeqReader_ 

func Type_SeqReader_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_SeqWriter_ 

func Type_SeqWriter_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type ByteReader 

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

Definition of class ByteReader

func New_ByteReader_ 

func New_ByteReader_() *ByteReader

func (*ByteReader) Ctor__ 

func (_this *ByteReader) Ctor__(s _dafny.Sequence)

func (*ByteReader) Equals 

func (_this *ByteReader) Equals(other *ByteReader) bool

func (*ByteReader) EqualsGeneric 

func (_this *ByteReader) EqualsGeneric(x interface{}) bool

func (*ByteReader) GetSizeRead 

func (_this *ByteReader) GetSizeRead() _dafny.Int

func (*ByteReader) IsDoneReading 

func (_this *ByteReader) IsDoneReading() bool

func (*ByteReader) ParentTraits_ 

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

func (*ByteReader) ReadByte 

func (_this *ByteReader) ReadByte() m_Wrappers.Result

func (*ByteReader) ReadBytes 

func (_this *ByteReader) ReadBytes(n _dafny.Int) m_Wrappers.Result

func (*ByteReader) ReadUInt16 

func (_this *ByteReader) ReadUInt16() m_Wrappers.Result

func (*ByteReader) ReadUInt32 

func (_this *ByteReader) ReadUInt32() m_Wrappers.Result

func (*ByteReader) ReadUInt64 

func (_this *ByteReader) ReadUInt64() m_Wrappers.Result

func (*ByteReader) Reader 

func (_this *ByteReader) Reader() *SeqReader

func (*ByteReader) String 

func (*ByteReader) String() string

type ByteWriter 

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

Definition of class ByteWriter

func New_ByteWriter_ 

func New_ByteWriter_() *ByteWriter

func (*ByteWriter) Ctor__ 

func (_this *ByteWriter) Ctor__()

func (*ByteWriter) Equals 

func (_this *ByteWriter) Equals(other *ByteWriter) bool

func (*ByteWriter) EqualsGeneric 

func (_this *ByteWriter) EqualsGeneric(x interface{}) bool

func (*ByteWriter) GetDataWritten 

func (_this *ByteWriter) GetDataWritten() _dafny.Sequence

func (*ByteWriter) GetSizeWritten 

func (_this *ByteWriter) GetSizeWritten() _dafny.Int

func (*ByteWriter) ParentTraits_ 

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

func (*ByteWriter) String 

func (*ByteWriter) String() string

func (*ByteWriter) WriteByte 

func (_this *ByteWriter) WriteByte(n uint8) _dafny.Int

func (*ByteWriter) WriteBytes 

func (_this *ByteWriter) WriteBytes(s _dafny.Sequence) _dafny.Int

func (*ByteWriter) WriteUInt16 

func (_this *ByteWriter) WriteUInt16(n uint16) _dafny.Int

func (*ByteWriter) WriteUInt32 

func (_this *ByteWriter) WriteUInt32(n uint32) _dafny.Int

func (*ByteWriter) Writer 

func (_this *ByteWriter) Writer() *SeqWriter

type CompanionStruct_ByteReader_ 

type CompanionStruct_ByteReader_ struct {
}

type CompanionStruct_ByteWriter_ 

type CompanionStruct_ByteWriter_ struct {
}

type CompanionStruct_SeqReader_ 

type CompanionStruct_SeqReader_ struct {
}

type CompanionStruct_SeqWriter_ 

type CompanionStruct_SeqWriter_ struct {
}

type Dummy__ 

type Dummy__ struct{}

type SeqReader 

type SeqReader struct {
	Pos _dafny.Int
	// contains filtered or unexported fields
}

Definition of class SeqReader

func New_SeqReader_ 

func New_SeqReader_() *SeqReader

func (*SeqReader) Ctor__ 

func (_this *SeqReader) Ctor__(s _dafny.Sequence)

func (*SeqReader) Data 

func (_this *SeqReader) Data() _dafny.Sequence

func (*SeqReader) Equals 

func (_this *SeqReader) Equals(other *SeqReader) bool

func (*SeqReader) EqualsGeneric 

func (_this *SeqReader) EqualsGeneric(x interface{}) bool

func (*SeqReader) ParentTraits_ 

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

func (*SeqReader) ReadElements 

func (_this *SeqReader) ReadElements(n _dafny.Int) _dafny.Sequence

func (*SeqReader) ReadExact 

func (_this *SeqReader) ReadExact(n _dafny.Int) m_Wrappers.Result

func (*SeqReader) String 

func (*SeqReader) String() string

type SeqWriter 

type SeqWriter struct {
	Data _dafny.Sequence
}

Definition of class SeqWriter

func New_SeqWriter_ 

func New_SeqWriter_() *SeqWriter

func (*SeqWriter) Ctor__ 

func (_this *SeqWriter) Ctor__()

func (*SeqWriter) Equals 

func (_this *SeqWriter) Equals(other *SeqWriter) bool

func (*SeqWriter) EqualsGeneric 

func (_this *SeqWriter) EqualsGeneric(x interface{}) bool

func (*SeqWriter) ParentTraits_ 

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

func (*SeqWriter) String 

func (*SeqWriter) String() string

func (*SeqWriter) WriteElements 

func (_this *SeqWriter) WriteElements(elems _dafny.Sequence) _dafny.Int

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.