JSON_Utils_Cursors

package
v0.0.0-...-cd82283 Latest Latest
Warning

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

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_CursorError_ = CompanionStruct_CursorError_{}
View Source 
var Companion_Cursor_ = CompanionStruct_Cursor_{}
View Source 
var Companion_Cursor___ = CompanionStruct_Cursor___{}
View Source 
var Companion_FreshCursor_ = CompanionStruct_FreshCursor_{}
View Source 
var Companion_Split_ = CompanionStruct_Split_{}

Functions

func Type_CursorError_ 

func Type_CursorError_() _dafny.TypeDescriptor

func Type_Cursor_ 

func Type_Cursor_() _dafny.TypeDescriptor

func Type_Cursor___ 

func Type_Cursor___() _dafny.TypeDescriptor

func Type_FreshCursor_ 

func Type_FreshCursor_() _dafny.TypeDescriptor

func Type_Split_ 

func Type_Split_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_CursorError_ 

type CompanionStruct_CursorError_ struct {
}

func (CompanionStruct_CursorError_) Create_EOF_ 

func (CompanionStruct_CursorError_) Create_EOF_() CursorError

func (CompanionStruct_CursorError_) Create_ExpectingAnyByte_ 

func (CompanionStruct_CursorError_) Create_ExpectingAnyByte_(Expected__sq _dafny.Sequence, B int16) CursorError

func (CompanionStruct_CursorError_) Create_ExpectingByte_ 

func (CompanionStruct_CursorError_) Create_ExpectingByte_(Expected uint8, B int16) CursorError

func (CompanionStruct_CursorError_) Create_OtherError_ 

func (CompanionStruct_CursorError_) Create_OtherError_(Err interface{}) CursorError

func (CompanionStruct_CursorError_) Default 

func (CompanionStruct_CursorError_) Default() CursorError

type CompanionStruct_Cursor_ 

type CompanionStruct_Cursor_ struct {
}

func (*CompanionStruct_Cursor_) Witness 

func (_this *CompanionStruct_Cursor_) Witness() Cursor__

type CompanionStruct_Cursor___ 

type CompanionStruct_Cursor___ struct {
}

func (CompanionStruct_Cursor___) Create_Cursor_ 

func (CompanionStruct_Cursor___) Create_Cursor_(S _dafny.Sequence, Beg uint32, Point uint32, End uint32) Cursor__

func (CompanionStruct_Cursor___) Default 

func (CompanionStruct_Cursor___) Default() Cursor__

func (CompanionStruct_Cursor___) OfBytes 

func (_static CompanionStruct_Cursor___) OfBytes(bs _dafny.Sequence) Cursor__

func (CompanionStruct_Cursor___) OfView 

func (_static CompanionStruct_Cursor___) OfView(v m_JSON_Utils_Views_Core.View__) Cursor__

type CompanionStruct_FreshCursor_ 

type CompanionStruct_FreshCursor_ struct {
}

func (*CompanionStruct_FreshCursor_) Witness 

func (_this *CompanionStruct_FreshCursor_) Witness() Cursor__

type CompanionStruct_Split_ 

type CompanionStruct_Split_ struct {
}

func (CompanionStruct_Split_) Create_SP_ 

func (CompanionStruct_Split_) Create_SP_(T interface{}, Cs Cursor__) Split

func (CompanionStruct_Split_) Default 

func (CompanionStruct_Split_) Default(_default_T interface{}) Split

type Cursor 

type Cursor struct {
}

Definition of class Cursor

func New_Cursor_ 

func New_Cursor_() *Cursor

func (*Cursor) String 

func (*Cursor) String() string

type CursorError 

type CursorError struct {
	Data_CursorError_
}

Definition of datatype CursorError

func (CursorError) Dtor_b 

func (_this CursorError) Dtor_b() int16

func (CursorError) Dtor_err 

func (_this CursorError) Dtor_err() interface{}

func (CursorError) Dtor_expected 

func (_this CursorError) Dtor_expected() uint8

func (CursorError) Dtor_expected__sq 

func (_this CursorError) Dtor_expected__sq() _dafny.Sequence

func (CursorError) Equals 

func (_this CursorError) Equals(other CursorError) bool

func (CursorError) EqualsGeneric 

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

func (CursorError) Get_ 

func (_this CursorError) Get_() Data_CursorError_

func (CursorError) Is_EOF 

func (_this CursorError) Is_EOF() bool

func (CursorError) Is_ExpectingAnyByte 

func (_this CursorError) Is_ExpectingAnyByte() bool

func (CursorError) Is_ExpectingByte 

func (_this CursorError) Is_ExpectingByte() bool

func (CursorError) Is_OtherError 

func (_this CursorError) Is_OtherError() bool

func (CursorError) ParentTraits_ 

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

func (CursorError) String 

func (_this CursorError) String() string

func (CursorError) ToString 

func (_this CursorError) ToString(pr func(interface{}) _dafny.Sequence) _dafny.Sequence

type CursorError_EOF 

type CursorError_EOF struct {
}

type CursorError_ExpectingAnyByte 

type CursorError_ExpectingAnyByte struct {
	Expected__sq _dafny.Sequence
	B            int16
}

type CursorError_ExpectingByte 

type CursorError_ExpectingByte struct {
	Expected uint8
	B        int16
}

type CursorError_OtherError 

type CursorError_OtherError struct {
	Err interface{}
}

type Cursor__ 

type Cursor__ struct {
	Data_Cursor___
}

Definition of datatype Cursor__

func (Cursor__) AssertByte 

func (_this Cursor__) AssertByte(b uint8) m_Wrappers.Result

func (Cursor__) AssertBytes 

func (_this Cursor__) AssertBytes(bs _dafny.Sequence, offset uint32) m_Wrappers.Result

func (Cursor__) AssertChar 

func (_this Cursor__) AssertChar(c0 _dafny.Char) m_Wrappers.Result

func (Cursor__) At 

func (_this Cursor__) At(idx uint32) uint8

func (Cursor__) BOF_q 

func (_this Cursor__) BOF_q() bool

func (Cursor__) Bytes 

func (_this Cursor__) Bytes() _dafny.Sequence

func (Cursor__) Dtor_beg 

func (_this Cursor__) Dtor_beg() uint32

func (Cursor__) Dtor_end 

func (_this Cursor__) Dtor_end() uint32

func (Cursor__) Dtor_point 

func (_this Cursor__) Dtor_point() uint32

func (Cursor__) Dtor_s 

func (_this Cursor__) Dtor_s() _dafny.Sequence

func (Cursor__) EOF_q 

func (_this Cursor__) EOF_q() bool

func (Cursor__) Equals 

func (_this Cursor__) Equals(other Cursor__) bool

func (Cursor__) EqualsGeneric 

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

func (Cursor__) Get 

func (_this Cursor__) Get(err interface{}) m_Wrappers.Result

func (Cursor__) Get_ 

func (_this Cursor__) Get_() Data_Cursor___

func (Cursor__) Is_Cursor 

func (_this Cursor__) Is_Cursor() bool

func (Cursor__) Length 

func (_this Cursor__) Length() uint32

func (Cursor__) LookingAt 

func (_this Cursor__) LookingAt(c _dafny.Char) bool

func (Cursor__) ParentTraits_ 

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

func (Cursor__) Peek 

func (_this Cursor__) Peek() int16

func (Cursor__) Prefix 

func (_this Cursor__) Prefix() m_JSON_Utils_Views_Core.View__

func (Cursor__) PrefixLength 

func (_this Cursor__) PrefixLength() uint32

func (Cursor__) Skip 

func (_this Cursor__) Skip(n uint32) Cursor__

func (Cursor__) SkipByte 

func (_this Cursor__) SkipByte() Cursor__

func (Cursor__) SkipIf 

func (_this Cursor__) SkipIf(p func(uint8) bool) Cursor__

func (Cursor__) SkipWhile 

func (_this Cursor__) SkipWhile(p func(uint8) bool) Cursor__

func (Cursor__) SkipWhileLexer 

func (_this Cursor__) SkipWhileLexer(step func(interface{}, int16) m_JSON_Utils_Lexers_Core.LexerResult, st interface{}) m_Wrappers.Result

func (Cursor__) Split 

func (_this Cursor__) Split() Split

func (Cursor__) String 

func (_this Cursor__) String() string

func (Cursor__) Suffix 

func (_this Cursor__) Suffix() Cursor__

func (Cursor__) SuffixAt 

func (_this Cursor__) SuffixAt(idx uint32) uint8

func (Cursor__) SuffixLength 

func (_this Cursor__) SuffixLength() uint32

func (Cursor__) Unskip 

func (_this Cursor__) Unskip(n uint32) Cursor__

type Cursor___Cursor 

type Cursor___Cursor struct {
	S     _dafny.Sequence
	Beg   uint32
	Point uint32
	End   uint32
}

type Data_CursorError_ 

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

type Data_Cursor___ 

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

type Data_Split_ 

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

type Dummy__ 

type Dummy__ struct{}

type FreshCursor 

type FreshCursor struct {
}

Definition of class FreshCursor

func New_FreshCursor_ 

func New_FreshCursor_() *FreshCursor

func (*FreshCursor) String 

func (*FreshCursor) String() string

type Split 

type Split struct {
	Data_Split_
}

Definition of datatype Split

func (Split) Dtor_cs 

func (_this Split) Dtor_cs() Cursor__

func (Split) Dtor_t 

func (_this Split) Dtor_t() interface{}

func (Split) Equals 

func (_this Split) Equals(other Split) bool

func (Split) EqualsGeneric 

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

func (Split) Get_ 

func (_this Split) Get_() Data_Split_

func (Split) Is_SP 

func (_this Split) Is_SP() bool

func (Split) ParentTraits_ 

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

func (Split) String 

func (_this Split) String() string

type Split_SP 

type Split_SP struct {
	T  interface{}
	Cs Cursor__
}

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.