JSON_ZeroCopy_Serializer

Documentation

Index

• Variables
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Array(arr m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Item(m m_JSON_Grammar.Suffixed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Items(arr m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) ItemsImpl(arr m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) JSON(js m_JSON_Grammar.Structural, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Member(m m_JSON_Grammar.Suffixed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Members(obj m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) MembersImpl(obj m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Number(num m_JSON_Grammar.Jnumber, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Object(obj m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Serialize(js m_JSON_Grammar.Structural) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) SerializeTo(js m_JSON_Grammar.Structural, dest _dafny.Array) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) String(str m_JSON_Grammar.Jstring, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) StructuralView(st m_JSON_Grammar.Structural, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Text(js m_JSON_Grammar.Structural) m_JSON_Utils_Views_Writers.Writer__
  • func (_static *CompanionStruct_Default___) Value(v m_JSON_Grammar.Value, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__
• 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__

Variables

var Companion_Default___ = CompanionStruct_Default___{}

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Array

func (_static *CompanionStruct_Default___) Array(arr m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Item

func (_static *CompanionStruct_Default___) Item(m m_JSON_Grammar.Suffixed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Items

func (_static *CompanionStruct_Default___) Items(arr m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) ItemsImpl

func (_static *CompanionStruct_Default___) ItemsImpl(arr m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) JSON

func (_static *CompanionStruct_Default___) JSON(js m_JSON_Grammar.Structural, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Member

func (_static *CompanionStruct_Default___) Member(m m_JSON_Grammar.Suffixed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Members

func (_static *CompanionStruct_Default___) Members(obj m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) MembersImpl

func (_static *CompanionStruct_Default___) MembersImpl(obj m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Number

func (_static *CompanionStruct_Default___) Number(num m_JSON_Grammar.Jnumber, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Object

func (_static *CompanionStruct_Default___) Object(obj m_JSON_Grammar.Bracketed, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Serialize

func (_static *CompanionStruct_Default___) Serialize(js m_JSON_Grammar.Structural) m_Wrappers.Result

func (*CompanionStruct_Default___) SerializeTo

func (_static *CompanionStruct_Default___) SerializeTo(js m_JSON_Grammar.Structural, dest _dafny.Array) m_Wrappers.Result

func (*CompanionStruct_Default___) String

func (_static *CompanionStruct_Default___) String(str m_JSON_Grammar.Jstring, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) StructuralView

func (_static *CompanionStruct_Default___) StructuralView(st m_JSON_Grammar.Structural, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Text

func (_static *CompanionStruct_Default___) Text(js m_JSON_Grammar.Structural) m_JSON_Utils_Views_Writers.Writer__

func (*CompanionStruct_Default___) Value

func (_static *CompanionStruct_Default___) Value(v m_JSON_Grammar.Value, writer m_JSON_Utils_Views_Writers.Writer__) m_JSON_Utils_Views_Writers.Writer__

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{}