JSON_ConcreteSyntax_Spec

Documentation

Index

• Variables
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Array(arr m_JSON_Grammar.Bracketed) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Bracketed(self m_JSON_Grammar.Bracketed, ...) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) CommaSuffix(c m_JSON_Grammar.Maybe) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) ConcatBytes(ts _dafny.Sequence, fT func(interface{}) _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Exp(self m_JSON_Grammar.Jexp) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Frac(self m_JSON_Grammar.Jfrac) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Item(self m_JSON_Grammar.Suffixed) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) JSON(js m_JSON_Grammar.Structural) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) KeyValue(self m_JSON_Grammar.JKeyValue) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Maybe(self m_JSON_Grammar.Maybe, fT func(interface{}) _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Member(self m_JSON_Grammar.Suffixed) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Number(self m_JSON_Grammar.Jnumber) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Object(obj m_JSON_Grammar.Bracketed) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) String(self m_JSON_Grammar.Jstring) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Structural(self m_JSON_Grammar.Structural, fT func(interface{}) _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) StructuralView(self m_JSON_Grammar.Structural) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Value(self m_JSON_Grammar.Value) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) View(v m_JSON_Utils_Views_Core.View__) _dafny.Sequence
• 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) _dafny.Sequence

func (*CompanionStruct_Default___) Bracketed

func (_static *CompanionStruct_Default___) Bracketed(self m_JSON_Grammar.Bracketed, fDatum func(m_JSON_Grammar.Suffixed) _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) CommaSuffix

func (_static *CompanionStruct_Default___) CommaSuffix(c m_JSON_Grammar.Maybe) _dafny.Sequence

func (*CompanionStruct_Default___) ConcatBytes

func (_static *CompanionStruct_Default___) ConcatBytes(ts _dafny.Sequence, fT func(interface{}) _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) Exp

func (_static *CompanionStruct_Default___) Exp(self m_JSON_Grammar.Jexp) _dafny.Sequence

func (*CompanionStruct_Default___) Frac

func (_static *CompanionStruct_Default___) Frac(self m_JSON_Grammar.Jfrac) _dafny.Sequence

func (*CompanionStruct_Default___) Item

func (_static *CompanionStruct_Default___) Item(self m_JSON_Grammar.Suffixed) _dafny.Sequence

func (*CompanionStruct_Default___) JSON

func (_static *CompanionStruct_Default___) JSON(js m_JSON_Grammar.Structural) _dafny.Sequence

func (*CompanionStruct_Default___) KeyValue

func (_static *CompanionStruct_Default___) KeyValue(self m_JSON_Grammar.JKeyValue) _dafny.Sequence

func (*CompanionStruct_Default___) Maybe

func (_static *CompanionStruct_Default___) Maybe(self m_JSON_Grammar.Maybe, fT func(interface{}) _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) Member

func (_static *CompanionStruct_Default___) Member(self m_JSON_Grammar.Suffixed) _dafny.Sequence

func (*CompanionStruct_Default___) Number

func (_static *CompanionStruct_Default___) Number(self m_JSON_Grammar.Jnumber) _dafny.Sequence

func (*CompanionStruct_Default___) Object

func (_static *CompanionStruct_Default___) Object(obj m_JSON_Grammar.Bracketed) _dafny.Sequence

func (*CompanionStruct_Default___) String

func (_static *CompanionStruct_Default___) String(self m_JSON_Grammar.Jstring) _dafny.Sequence

func (*CompanionStruct_Default___) Structural

func (_static *CompanionStruct_Default___) Structural(self m_JSON_Grammar.Structural, fT func(interface{}) _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) StructuralView

func (_static *CompanionStruct_Default___) StructuralView(self m_JSON_Grammar.Structural) _dafny.Sequence

func (*CompanionStruct_Default___) Value

func (_static *CompanionStruct_Default___) Value(self m_JSON_Grammar.Value) _dafny.Sequence

func (*CompanionStruct_Default___) View

func (_static *CompanionStruct_Default___) View(v m_JSON_Utils_Views_Core.View__) _dafny.Sequence

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