JSON_Utils_Vectors

Documentation

Index

• Variables
• func Type_VectorError_() _dafny.TypeDescriptor
• func Type_Vector_(Type_A_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) OOM__FAILURE() m_Wrappers.Outcome
• type CompanionStruct_VectorError_
  • func (_ CompanionStruct_VectorError_) AllSingletonConstructors() _dafny.Iterator
  • func (CompanionStruct_VectorError_) Create_OutOfMemory_() VectorError
  • func (CompanionStruct_VectorError_) Default() VectorError
• type CompanionStruct_Vector_
• type Data_VectorError_
• 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 Vector
  • func New_Vector_() *Vector
  • func (_this *Vector) A() interface{}
  • func (_this *Vector) At(idx uint32) interface{}
  • func (_this *Vector) CopyFrom(new__data _dafny.Array, count uint32)
  • func (_this *Vector) Ctor__(a0 interface{}, initial__capacity uint32)
  • func (_this *Vector) DefaultNewCapacity(capacity uint32) uint32
  • func (_this *Vector) Ensure(reserved uint32) m_Wrappers.Outcome
  • func (_this *Vector) Equals(other *Vector) bool
  • func (_this *Vector) EqualsGeneric(x interface{}) bool
  • func (_this *Vector) MAX__CAPACITY() uint32
  • func (_this *Vector) MAX__CAPACITY__BEFORE__DOUBLING() uint32
  • func (_this *Vector) ParentTraits_() []*_dafny.TraitID
  • func (_this *Vector) PopFast()
  • func (_this *Vector) Push(a interface{}) m_Wrappers.Outcome
  • func (_this *Vector) PushFast(a interface{})
  • func (_this *Vector) Put(idx uint32, a interface{})
  • func (_this *Vector) Realloc(new__capacity uint32)
  • func (_this *Vector) ReallocDefault() m_Wrappers.Outcome
  • func (*Vector) String() string
  • func (_this *Vector) Top() interface{}
• type VectorError
  • func (_this VectorError) Equals(other VectorError) bool
  • func (_this VectorError) EqualsGeneric(other interface{}) bool
  • func (_this VectorError) Get_() Data_VectorError_
  • func (_this VectorError) Is_OutOfMemory() bool
  • func (_this VectorError) ParentTraits_() []*_dafny.TraitID
  • func (_this VectorError) String() string
• type VectorError_OutOfMemory

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_VectorError_ = CompanionStruct_VectorError_{}

var Companion_Vector_ = CompanionStruct_Vector_{}

Functions

func Type_VectorError_

func Type_VectorError_() _dafny.TypeDescriptor

func Type_Vector_

func Type_Vector_(Type_A_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) OOM__FAILURE

func (_static *CompanionStruct_Default___) OOM__FAILURE() m_Wrappers.Outcome

type CompanionStruct_VectorError_

type CompanionStruct_VectorError_ struct {
}

func (CompanionStruct_VectorError_) AllSingletonConstructors

func (_ CompanionStruct_VectorError_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_VectorError_) Create_OutOfMemory_

func (CompanionStruct_VectorError_) Create_OutOfMemory_() VectorError

func (CompanionStruct_VectorError_) Default

func (CompanionStruct_VectorError_) Default() VectorError

type CompanionStruct_Vector_

type CompanionStruct_Vector_ struct {
}

type Data_VectorError_

type Data_VectorError_ 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 Vector

type Vector struct {
	Size     uint32
	Capacity uint32
	Data     _dafny.Array
	// contains filtered or unexported fields
}

Definition of class Vector

func New_Vector_

func New_Vector_() *Vector

func (*Vector) A

func (_this *Vector) A() interface{}

func (*Vector) At

func (_this *Vector) At(idx uint32) interface{}

func (*Vector) CopyFrom

func (_this *Vector) CopyFrom(new__data _dafny.Array, count uint32)

func (*Vector) Ctor__

func (_this *Vector) Ctor__(a0 interface{}, initial__capacity uint32)

func (*Vector) DefaultNewCapacity

func (_this *Vector) DefaultNewCapacity(capacity uint32) uint32

func (*Vector) Ensure

func (_this *Vector) Ensure(reserved uint32) m_Wrappers.Outcome

func (*Vector) Equals

func (_this *Vector) Equals(other *Vector) bool

func (*Vector) EqualsGeneric

func (_this *Vector) EqualsGeneric(x interface{}) bool

func (*Vector) MAX__CAPACITY

func (_this *Vector) MAX__CAPACITY() uint32

func (*Vector) MAX__CAPACITY__BEFORE__DOUBLING

func (_this *Vector) MAX__CAPACITY__BEFORE__DOUBLING() uint32

func (*Vector) ParentTraits_

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

func (*Vector) PopFast

func (_this *Vector) PopFast()

func (*Vector) Push

func (_this *Vector) Push(a interface{}) m_Wrappers.Outcome

func (*Vector) PushFast

func (_this *Vector) PushFast(a interface{})

func (*Vector) Put

func (_this *Vector) Put(idx uint32, a interface{})

func (*Vector) Realloc

func (_this *Vector) Realloc(new__capacity uint32)

func (*Vector) ReallocDefault

func (_this *Vector) ReallocDefault() m_Wrappers.Outcome

func (*Vector) String

func (*Vector) String() string

func (*Vector) Top

func (_this *Vector) Top() interface{}

type VectorError

type VectorError struct {
	Data_VectorError_
}

Definition of datatype VectorError

func (VectorError) Equals

func (_this VectorError) Equals(other VectorError) bool

func (VectorError) EqualsGeneric

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

func (VectorError) Get_

func (_this VectorError) Get_() Data_VectorError_

func (VectorError) Is_OutOfMemory

func (_this VectorError) Is_OutOfMemory() bool

func (VectorError) ParentTraits_

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

func (VectorError) String

func (_this VectorError) String() string

type VectorError_OutOfMemory

type VectorError_OutOfMemory struct {
}