DafnyLibraries

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jan 15, 2025 License: Apache-2.0 Imports: 40 Imported by: 2

Documentation

Index

Constants

This section is empty.

Variables

View Source
var Companion_MutableMapTrait_ = CompanionStruct_MutableMapTrait_{
	TraitID_: &_dafny.TraitID{},
}
View Source
var Companion_MutableMap_ = CompanionStruct_MutableMap_{}

Functions

func Type_MutableMap_

func Type_MutableMap_(Type_K_ _dafny.TypeDescriptor, Type_V_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_MutableMapTrait_

type CompanionStruct_MutableMapTrait_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_MutableMapTrait_) CastTo_

func (CompanionStruct_MutableMapTrait_) CastTo_(x interface{}) MutableMapTrait

type CompanionStruct_MutableMap_

type CompanionStruct_MutableMap_ struct {
}

type Dummy__

type Dummy__ struct{}

type MutableMap

type MutableMap struct {
	Internal _dafny.Map
	// contains filtered or unexported fields
}

Definition of class MutableMap copied over from https://github.com/dafny-lang/dafny/blob/master/Source/DafnyStandardLibraries/src/Std_Concurrent/Std_Concurrent.go

func New_MutableMap_

func New_MutableMap_() *MutableMap

func (*MutableMap) Ctor__

func (_this *MutableMap) Ctor__()

func (*MutableMap) Equals

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

func (*MutableMap) EqualsGeneric

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

func (*MutableMap) Get

func (_this *MutableMap) Get(k interface{}) Std_Wrappers.Option

func (*MutableMap) HasKey

func (_this *MutableMap) HasKey(k interface{}) bool

func (*MutableMap) Items

func (_this *MutableMap) Items() _dafny.Set

func (*MutableMap) Keys

func (_this *MutableMap) Keys() _dafny.Set

func (*MutableMap) ParentTraits_

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

func (*MutableMap) Put

func (_this *MutableMap) Put(k interface{}, v interface{})

func (*MutableMap) Remove

func (_this *MutableMap) Remove(k interface{})

func (*MutableMap) Select

func (_this *MutableMap) Select(k interface{}) interface{}

This is handrolled extern

func (*MutableMap) Size

func (_this *MutableMap) Size() _dafny.Int

func (*MutableMap) String

func (*MutableMap) String() string

func (*MutableMap) Values

func (_this *MutableMap) Values() _dafny.Set

type MutableMapTrait

type MutableMapTrait interface {
	String() string
	Content() _dafny.Map
	Put(k interface{}, v interface{})
	Keys() _dafny.Set
	HasKey(k interface{}) bool
	Values() _dafny.Set
	Items() _dafny.Set
	Select(k interface{}) interface{}
	Remove(k interface{})
	Size() _dafny.Int
}

Definition of trait MutableMapTrait

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL