JSON_ZeroCopy_Deserializer_Arrays

Documentation

Index

• Variables
• func Type_Jclose_() _dafny.TypeDescriptor
• func Type_Jopen_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) AppendLast(elems m_JSON_Utils_Cursors.Split, elem m_JSON_Utils_Cursors.Split, ...) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) AppendWithSuffix(elems m_JSON_Utils_Cursors.Split, elem m_JSON_Utils_Cursors.Split, ...) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) Array(cs m_JSON_Utils_Cursors.Cursor__, json m_JSON_Utils_Parsers.SubParser__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Bracketed(cs m_JSON_Utils_Cursors.Cursor__, json m_JSON_Utils_Parsers.SubParser__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) BracketedFromParts(open m_JSON_Utils_Cursors.Split, elems m_JSON_Utils_Cursors.Split, ...) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) Close(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Elements(json m_JSON_Utils_Parsers.SubParser__, open m_JSON_Utils_Cursors.Split, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Open(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) SEPARATOR() uint8
  • func (_static *CompanionStruct_Default___) SpecViewClose() func(m_JSON_Utils_Views_Core.View__) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) SpecViewOpen() func(m_JSON_Utils_Views_Core.View__) _dafny.Sequence
• type CompanionStruct_Jclose_
  • func (_this *CompanionStruct_Jclose_) Witness() m_JSON_Utils_Views_Core.View__
• type CompanionStruct_Jopen_
  • func (_this *CompanionStruct_Jopen_) Witness() m_JSON_Utils_Views_Core.View__
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__
• type Jclose
  • func New_Jclose_() *Jclose
  • func (*Jclose) String() string
• type Jopen
  • func New_Jopen_() *Jopen
  • func (*Jopen) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_Jclose_ = CompanionStruct_Jclose_{}

var Companion_Jopen_ = CompanionStruct_Jopen_{}

Functions

func Type_Jclose_

func Type_Jclose_() _dafny.TypeDescriptor

func Type_Jopen_

func Type_Jopen_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) AppendLast

func (_static *CompanionStruct_Default___) AppendLast(elems m_JSON_Utils_Cursors.Split, elem m_JSON_Utils_Cursors.Split, sep m_JSON_Utils_Cursors.Split) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) AppendWithSuffix

func (_static *CompanionStruct_Default___) AppendWithSuffix(elems m_JSON_Utils_Cursors.Split, elem m_JSON_Utils_Cursors.Split, sep m_JSON_Utils_Cursors.Split) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) Array

func (_static *CompanionStruct_Default___) Array(cs m_JSON_Utils_Cursors.Cursor__, json m_JSON_Utils_Parsers.SubParser__) m_Wrappers.Result

func (*CompanionStruct_Default___) Bracketed

func (_static *CompanionStruct_Default___) Bracketed(cs m_JSON_Utils_Cursors.Cursor__, json m_JSON_Utils_Parsers.SubParser__) m_Wrappers.Result

func (*CompanionStruct_Default___) BracketedFromParts

func (_static *CompanionStruct_Default___) BracketedFromParts(open m_JSON_Utils_Cursors.Split, elems m_JSON_Utils_Cursors.Split, close_ m_JSON_Utils_Cursors.Split) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) Close

func (_static *CompanionStruct_Default___) Close(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) Elements

func (_static *CompanionStruct_Default___) Elements(json m_JSON_Utils_Parsers.SubParser__, open m_JSON_Utils_Cursors.Split, elems m_JSON_Utils_Cursors.Split) m_Wrappers.Result

func (*CompanionStruct_Default___) Open

func (_static *CompanionStruct_Default___) Open(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) SEPARATOR

func (_static *CompanionStruct_Default___) SEPARATOR() uint8

func (*CompanionStruct_Default___) SpecViewClose

func (_static *CompanionStruct_Default___) SpecViewClose() func(m_JSON_Utils_Views_Core.View__) _dafny.Sequence

func (*CompanionStruct_Default___) SpecViewOpen

func (_static *CompanionStruct_Default___) SpecViewOpen() func(m_JSON_Utils_Views_Core.View__) _dafny.Sequence

type CompanionStruct_Jclose_

type CompanionStruct_Jclose_ struct {
}

func (*CompanionStruct_Jclose_) Witness

func (_this *CompanionStruct_Jclose_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jopen_

type CompanionStruct_Jopen_ struct {
}

func (*CompanionStruct_Jopen_) Witness

func (_this *CompanionStruct_Jopen_) Witness() m_JSON_Utils_Views_Core.View__

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 Jclose

type Jclose struct {
}

Definition of class Jclose

func New_Jclose_

func New_Jclose_() *Jclose

func (*Jclose) String

func (*Jclose) String() string

type Jopen

type Jopen struct {
}

Definition of class Jopen

func New_Jopen_

func New_Jopen_() *Jopen

func (*Jopen) String

func (*Jopen) String() string