JSON_Utils_Views_Core

Documentation

Index

• Variables
• func Type_View_() _dafny.TypeDescriptor
• func Type_View___() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Adjacent(lv View__, rv View__) bool
  • func (_static *CompanionStruct_Default___) Merge(lv View__, rv View__) View__
• type CompanionStruct_View_
  • func (_this *CompanionStruct_View_) Witness() View__
• type CompanionStruct_View___
  • func (CompanionStruct_View___) Create_View_(S _dafny.Sequence, Beg uint32, End uint32) View__
  • func (CompanionStruct_View___) Default() View__
  • func (_static CompanionStruct_View___) Empty() View__
  • func (_static CompanionStruct_View___) OfBytes(bs _dafny.Sequence) View__
  • func (_static CompanionStruct_View___) OfString(s _dafny.Sequence) _dafny.Sequence
• type Data_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 View
  • func New_View_() *View
  • func (*View) String() string
• type View__
  • func (_this View__) At(idx uint32) uint8
  • func (_this View__) Byte_q(c uint8) bool
  • func (_this View__) Bytes() _dafny.Sequence
  • func (_this View__) Char_q(c _dafny.Char) bool
  • func (_this View__) CopyTo(dest _dafny.Array, start uint32)
  • func (_this View__) Dtor_beg() uint32
  • func (_this View__) Dtor_end() uint32
  • func (_this View__) Dtor_s() _dafny.Sequence
  • func (_this View__) Empty_q() bool
  • func (_this View__) Equals(other View__) bool
  • func (_this View__) EqualsGeneric(other interface{}) bool
  • func (_this View__) Get_() Data_View___
  • func (_this View__) Is_View() bool
  • func (_this View__) Length() uint32
  • func (_this View__) ParentTraits_() []*_dafny.TraitID
  • func (_this View__) Peek() int16
  • func (_this View__) String() string
• type View___View

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_View_ = CompanionStruct_View_{}

var Companion_View___ = CompanionStruct_View___{}

Functions

func Type_View_

func Type_View_() _dafny.TypeDescriptor

func Type_View___

func Type_View___() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Adjacent

func (_static *CompanionStruct_Default___) Adjacent(lv View__, rv View__) bool

func (*CompanionStruct_Default___) Merge

func (_static *CompanionStruct_Default___) Merge(lv View__, rv View__) View__

type CompanionStruct_View_

type CompanionStruct_View_ struct {
}

func (*CompanionStruct_View_) Witness

func (_this *CompanionStruct_View_) Witness() View__

type CompanionStruct_View___

type CompanionStruct_View___ struct {
}

func (CompanionStruct_View___) Create_View_

func (CompanionStruct_View___) Create_View_(S _dafny.Sequence, Beg uint32, End uint32) View__

func (CompanionStruct_View___) Default

func (CompanionStruct_View___) Default() View__

func (CompanionStruct_View___) Empty

func (_static CompanionStruct_View___) Empty() View__

func (CompanionStruct_View___) OfBytes

func (_static CompanionStruct_View___) OfBytes(bs _dafny.Sequence) View__

func (CompanionStruct_View___) OfString

func (_static CompanionStruct_View___) OfString(s _dafny.Sequence) _dafny.Sequence

type Data_View___

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

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 View

type View struct {
}

Definition of class View

func New_View_

func New_View_() *View

func (*View) String

func (*View) String() string

type View__

type View__ struct {
	Data_View___
}

Definition of datatype View__

func (View__) At

func (_this View__) At(idx uint32) uint8

func (View__) Byte_q

func (_this View__) Byte_q(c uint8) bool

func (View__) Bytes

func (_this View__) Bytes() _dafny.Sequence

func (View__) Char_q

func (_this View__) Char_q(c _dafny.Char) bool

func (View__) CopyTo

func (_this View__) CopyTo(dest _dafny.Array, start uint32)

func (View__) Dtor_beg

func (_this View__) Dtor_beg() uint32

func (View__) Dtor_end

func (_this View__) Dtor_end() uint32

func (View__) Dtor_s

func (_this View__) Dtor_s() _dafny.Sequence

func (View__) Empty_q

func (_this View__) Empty_q() bool

func (View__) Equals

func (_this View__) Equals(other View__) bool

func (View__) EqualsGeneric

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

func (View__) Get_

func (_this View__) Get_() Data_View___

func (View__) Is_View

func (_this View__) Is_View() bool

func (View__) Length

func (_this View__) Length() uint32

func (View__) ParentTraits_

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

func (View__) Peek

func (_this View__) Peek() int16

func (View__) String

func (_this View__) String() string

type View___View

type View___View struct {
	S   _dafny.Sequence
	Beg uint32
	End uint32
}