JSON_Errors

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_DeserializationError_ = CompanionStruct_DeserializationError_{}
View Source 
var Companion_SerializationError_ = CompanionStruct_SerializationError_{}

Functions

func Type_DeserializationError_ 

func Type_DeserializationError_() _dafny.TypeDescriptor

func Type_SerializationError_ 

func Type_SerializationError_() _dafny.TypeDescriptor

Types

type CompanionStruct_DeserializationError_ 

type CompanionStruct_DeserializationError_ struct {
}

func (CompanionStruct_DeserializationError_) Create_EmptyNumber_ 

func (CompanionStruct_DeserializationError_) Create_EmptyNumber_() DeserializationError

func (CompanionStruct_DeserializationError_) Create_EscapeAtEOS_ 

func (CompanionStruct_DeserializationError_) Create_EscapeAtEOS_() DeserializationError

func (CompanionStruct_DeserializationError_) Create_ExpectingAnyByte_ 

func (CompanionStruct_DeserializationError_) Create_ExpectingAnyByte_(Expected__sq _dafny.Sequence, B int16) DeserializationError

func (CompanionStruct_DeserializationError_) Create_ExpectingByte_ 

func (CompanionStruct_DeserializationError_) Create_ExpectingByte_(Expected uint8, B int16) DeserializationError

func (CompanionStruct_DeserializationError_) Create_ExpectingEOF_ 

func (CompanionStruct_DeserializationError_) Create_ExpectingEOF_() DeserializationError

func (CompanionStruct_DeserializationError_) Create_IntOverflow_ 

func (CompanionStruct_DeserializationError_) Create_IntOverflow_() DeserializationError

func (CompanionStruct_DeserializationError_) Create_InvalidUnicode_ 

func (CompanionStruct_DeserializationError_) Create_InvalidUnicode_() DeserializationError

func (CompanionStruct_DeserializationError_) Create_ReachedEOF_ 

func (CompanionStruct_DeserializationError_) Create_ReachedEOF_() DeserializationError

func (CompanionStruct_DeserializationError_) Create_UnsupportedEscape_ 

func (CompanionStruct_DeserializationError_) Create_UnsupportedEscape_(Str _dafny.Sequence) DeserializationError

func (CompanionStruct_DeserializationError_) Create_UnterminatedSequence_ 

func (CompanionStruct_DeserializationError_) Create_UnterminatedSequence_() DeserializationError

func (CompanionStruct_DeserializationError_) Default 

func (CompanionStruct_DeserializationError_) Default() DeserializationError

type CompanionStruct_SerializationError_ 

type CompanionStruct_SerializationError_ struct {
}

func (CompanionStruct_SerializationError_) Create_IntTooLarge_ 

func (CompanionStruct_SerializationError_) Create_IntTooLarge_(I _dafny.Int) SerializationError

func (CompanionStruct_SerializationError_) Create_InvalidUnicode_ 

func (CompanionStruct_SerializationError_) Create_InvalidUnicode_() SerializationError

func (CompanionStruct_SerializationError_) Create_OutOfMemory_ 

func (CompanionStruct_SerializationError_) Create_OutOfMemory_() SerializationError

func (CompanionStruct_SerializationError_) Create_StringTooLong_ 

func (CompanionStruct_SerializationError_) Create_StringTooLong_(S _dafny.Sequence) SerializationError

func (CompanionStruct_SerializationError_) Default 

func (CompanionStruct_SerializationError_) Default() SerializationError

type Data_DeserializationError_ 

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

type Data_SerializationError_ 

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

type DeserializationError 

type DeserializationError struct {
	Data_DeserializationError_
}

Definition of datatype DeserializationError

func (DeserializationError) Dtor_b 

func (_this DeserializationError) Dtor_b() int16

func (DeserializationError) Dtor_expected 

func (_this DeserializationError) Dtor_expected() uint8

func (DeserializationError) Dtor_expected__sq 

func (_this DeserializationError) Dtor_expected__sq() _dafny.Sequence

func (DeserializationError) Dtor_str 

func (_this DeserializationError) Dtor_str() _dafny.Sequence

func (DeserializationError) Equals 

func (_this DeserializationError) Equals(other DeserializationError) bool

func (DeserializationError) EqualsGeneric 

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

func (DeserializationError) Get_ 

func (_this DeserializationError) Get_() Data_DeserializationError_

func (DeserializationError) Is_EmptyNumber 

func (_this DeserializationError) Is_EmptyNumber() bool

func (DeserializationError) Is_EscapeAtEOS 

func (_this DeserializationError) Is_EscapeAtEOS() bool

func (DeserializationError) Is_ExpectingAnyByte 

func (_this DeserializationError) Is_ExpectingAnyByte() bool

func (DeserializationError) Is_ExpectingByte 

func (_this DeserializationError) Is_ExpectingByte() bool

func (DeserializationError) Is_ExpectingEOF 

func (_this DeserializationError) Is_ExpectingEOF() bool

func (DeserializationError) Is_IntOverflow 

func (_this DeserializationError) Is_IntOverflow() bool

func (DeserializationError) Is_InvalidUnicode 

func (_this DeserializationError) Is_InvalidUnicode() bool

func (DeserializationError) Is_ReachedEOF 

func (_this DeserializationError) Is_ReachedEOF() bool

func (DeserializationError) Is_UnsupportedEscape 

func (_this DeserializationError) Is_UnsupportedEscape() bool

func (DeserializationError) Is_UnterminatedSequence 

func (_this DeserializationError) Is_UnterminatedSequence() bool

func (DeserializationError) ParentTraits_ 

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

func (DeserializationError) String 

func (_this DeserializationError) String() string

func (DeserializationError) ToString 

func (_this DeserializationError) ToString() _dafny.Sequence

type DeserializationError_EmptyNumber 

type DeserializationError_EmptyNumber struct {
}

type DeserializationError_EscapeAtEOS 

type DeserializationError_EscapeAtEOS struct {
}

type DeserializationError_ExpectingAnyByte 

type DeserializationError_ExpectingAnyByte struct {
	Expected__sq _dafny.Sequence
	B            int16
}

type DeserializationError_ExpectingByte 

type DeserializationError_ExpectingByte struct {
	Expected uint8
	B        int16
}

type DeserializationError_ExpectingEOF 

type DeserializationError_ExpectingEOF struct {
}

type DeserializationError_IntOverflow 

type DeserializationError_IntOverflow struct {
}

type DeserializationError_InvalidUnicode 

type DeserializationError_InvalidUnicode struct {
}

type DeserializationError_ReachedEOF 

type DeserializationError_ReachedEOF struct {
}

type DeserializationError_UnsupportedEscape 

type DeserializationError_UnsupportedEscape struct {
	Str _dafny.Sequence
}

type DeserializationError_UnterminatedSequence 

type DeserializationError_UnterminatedSequence struct {
}

type Dummy__ 

type Dummy__ struct{}

type SerializationError 

type SerializationError struct {
	Data_SerializationError_
}

Definition of datatype SerializationError

func (SerializationError) Dtor_i 

func (_this SerializationError) Dtor_i() _dafny.Int

func (SerializationError) Dtor_s 

func (_this SerializationError) Dtor_s() _dafny.Sequence

func (SerializationError) Equals 

func (_this SerializationError) Equals(other SerializationError) bool

func (SerializationError) EqualsGeneric 

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

func (SerializationError) Get_ 

func (_this SerializationError) Get_() Data_SerializationError_

func (SerializationError) Is_IntTooLarge 

func (_this SerializationError) Is_IntTooLarge() bool

func (SerializationError) Is_InvalidUnicode 

func (_this SerializationError) Is_InvalidUnicode() bool

func (SerializationError) Is_OutOfMemory 

func (_this SerializationError) Is_OutOfMemory() bool

func (SerializationError) Is_StringTooLong 

func (_this SerializationError) Is_StringTooLong() bool

func (SerializationError) ParentTraits_ 

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

func (SerializationError) String 

func (_this SerializationError) String() string

func (SerializationError) ToString 

func (_this SerializationError) ToString() _dafny.Sequence

type SerializationError_IntTooLarge 

type SerializationError_IntTooLarge struct {
	I _dafny.Int
}

type SerializationError_InvalidUnicode 

type SerializationError_InvalidUnicode struct {
}

type SerializationError_OutOfMemory 

type SerializationError_OutOfMemory struct {
}

type SerializationError_StringTooLong 

type SerializationError_StringTooLong struct {
	S _dafny.Sequence
}

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.