JSON_Utils_Views_Writers

Documentation

Index

• Variables
• func Type_Chain_() _dafny.TypeDescriptor
• func Type_Writer_() _dafny.TypeDescriptor
• func Type_Writer___() _dafny.TypeDescriptor
• type Chain
  • func (_this Chain) Append(v_k m_JSON_Utils_Views_Core.View__) Chain
  • func (_this Chain) Bytes() _dafny.Sequence
  • func (_this Chain) CopyTo(dest _dafny.Array, end uint32)
  • func (_this Chain) Count() _dafny.Int
  • func (_this Chain) Dtor_previous() Chain
  • func (_this Chain) Dtor_v() m_JSON_Utils_Views_Core.View__
  • func (_this Chain) Equals(other Chain) bool
  • func (_this Chain) EqualsGeneric(other interface{}) bool
  • func (_this Chain) Get_() Data_Chain_
  • func (_this Chain) Is_Chain() bool
  • func (_this Chain) Is_Empty() bool
  • func (_this Chain) Length() _dafny.Int
  • func (_this Chain) ParentTraits_() []*_dafny.TraitID
  • func (_this Chain) String() string
• type Chain_Chain
• type Chain_Empty
• type CompanionStruct_Chain_
  • func (CompanionStruct_Chain_) Create_Chain_(Previous Chain, V m_JSON_Utils_Views_Core.View__) Chain
  • func (CompanionStruct_Chain_) Create_Empty_() Chain
  • func (CompanionStruct_Chain_) Default() Chain
• type CompanionStruct_Writer_
  • func (_this *CompanionStruct_Writer_) Witness() Writer__
• type CompanionStruct_Writer___
  • func (CompanionStruct_Writer___) Create_Writer_(Length uint32, Chain Chain) Writer__
  • func (CompanionStruct_Writer___) Default() Writer__
  • func (_static CompanionStruct_Writer___) Empty() Writer__
  • func (_static CompanionStruct_Writer___) SaturatedAddU32(a uint32, b uint32) uint32
• type Data_Chain_
• type Data_Writer___
• type Dummy__
• type Writer
  • func New_Writer_() *Writer
  • func (*Writer) String() string
• type Writer__
  • func (_this Writer__) Append(v_k m_JSON_Utils_Views_Core.View__) Writer__
  • func (_this Writer__) Bytes() _dafny.Sequence
  • func (_this Writer__) CopyTo(dest _dafny.Array)
  • func (_this Writer__) Dtor_chain() Chain
  • func (_this Writer__) Dtor_length() uint32
  • func (_this Writer__) Empty_q() bool
  • func (_this Writer__) Equals(other Writer__) bool
  • func (_this Writer__) EqualsGeneric(other interface{}) bool
  • func (_this Writer__) Get_() Data_Writer___
  • func (_this Writer__) Is_Writer() bool
  • func (_this Writer__) ParentTraits_() []*_dafny.TraitID
  • func (_this Writer__) String() string
  • func (_this Writer__) Then(fn func(Writer__) Writer__) Writer__
  • func (_this Writer__) ToArray() _dafny.Array
  • func (_this Writer__) Unsaturated_q() bool
• type Writer___Writer

Variables

var Companion_Chain_ = CompanionStruct_Chain_{}

var Companion_Writer_ = CompanionStruct_Writer_{}

var Companion_Writer___ = CompanionStruct_Writer___{}

Functions

func Type_Chain_

func Type_Chain_() _dafny.TypeDescriptor

func Type_Writer_

func Type_Writer_() _dafny.TypeDescriptor

func Type_Writer___

func Type_Writer___() _dafny.TypeDescriptor

Types

type Chain

type Chain struct {
	Data_Chain_
}

Definition of datatype Chain

func (Chain) Append

func (_this Chain) Append(v_k m_JSON_Utils_Views_Core.View__) Chain

func (Chain) Bytes

func (_this Chain) Bytes() _dafny.Sequence

func (Chain) CopyTo

func (_this Chain) CopyTo(dest _dafny.Array, end uint32)

func (Chain) Count

func (_this Chain) Count() _dafny.Int

func (Chain) Dtor_previous

func (_this Chain) Dtor_previous() Chain

func (Chain) Dtor_v

func (_this Chain) Dtor_v() m_JSON_Utils_Views_Core.View__

func (Chain) Equals

func (_this Chain) Equals(other Chain) bool

func (Chain) EqualsGeneric

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

func (Chain) Get_

func (_this Chain) Get_() Data_Chain_

func (Chain) Is_Chain

func (_this Chain) Is_Chain() bool

func (Chain) Is_Empty

func (_this Chain) Is_Empty() bool

func (Chain) Length

func (_this Chain) Length() _dafny.Int

func (Chain) ParentTraits_

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

func (Chain) String

func (_this Chain) String() string

type Chain_Chain

type Chain_Chain struct {
	Previous Chain
	V        m_JSON_Utils_Views_Core.View__
}

type Chain_Empty

type Chain_Empty struct {
}

type CompanionStruct_Chain_

type CompanionStruct_Chain_ struct {
}

func (CompanionStruct_Chain_) Create_Chain_

func (CompanionStruct_Chain_) Create_Chain_(Previous Chain, V m_JSON_Utils_Views_Core.View__) Chain

func (CompanionStruct_Chain_) Create_Empty_

func (CompanionStruct_Chain_) Create_Empty_() Chain

func (CompanionStruct_Chain_) Default

func (CompanionStruct_Chain_) Default() Chain

type CompanionStruct_Writer_

type CompanionStruct_Writer_ struct {
}

func (*CompanionStruct_Writer_) Witness

func (_this *CompanionStruct_Writer_) Witness() Writer__

type CompanionStruct_Writer___

type CompanionStruct_Writer___ struct {
}

func (CompanionStruct_Writer___) Create_Writer_

func (CompanionStruct_Writer___) Create_Writer_(Length uint32, Chain Chain) Writer__

func (CompanionStruct_Writer___) Default

func (CompanionStruct_Writer___) Default() Writer__

func (CompanionStruct_Writer___) Empty

func (_static CompanionStruct_Writer___) Empty() Writer__

func (CompanionStruct_Writer___) SaturatedAddU32

func (_static CompanionStruct_Writer___) SaturatedAddU32(a uint32, b uint32) uint32

type Data_Chain_

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

type Data_Writer___

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

type Dummy__

type Dummy__ struct{}

type Writer

type Writer struct {
}

Definition of class Writer

func New_Writer_

func New_Writer_() *Writer

func (*Writer) String

func (*Writer) String() string

type Writer__

type Writer__ struct {
	Data_Writer___
}

Definition of datatype Writer__

func (Writer__) Append

func (_this Writer__) Append(v_k m_JSON_Utils_Views_Core.View__) Writer__

func (Writer__) Bytes

func (_this Writer__) Bytes() _dafny.Sequence

func (Writer__) CopyTo

func (_this Writer__) CopyTo(dest _dafny.Array)

func (Writer__) Dtor_chain

func (_this Writer__) Dtor_chain() Chain

func (Writer__) Dtor_length

func (_this Writer__) Dtor_length() uint32

func (Writer__) Empty_q

func (_this Writer__) Empty_q() bool

func (Writer__) Equals

func (_this Writer__) Equals(other Writer__) bool

func (Writer__) EqualsGeneric

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

func (Writer__) Get_

func (_this Writer__) Get_() Data_Writer___

func (Writer__) Is_Writer

func (_this Writer__) Is_Writer() bool

func (Writer__) ParentTraits_

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

func (Writer__) String

func (_this Writer__) String() string

func (Writer__) Then

func (_this Writer__) Then(fn func(Writer__) Writer__) Writer__

func (Writer__) ToArray

func (_this Writer__) ToArray() _dafny.Array

func (Writer__) Unsaturated_q

func (_this Writer__) Unsaturated_q() bool

type Writer___Writer

type Writer___Writer struct {
	Length uint32
	Chain  Chain
}