Documentation
¶
Index ¶
- Variables
- func Type_MutableMap_(Type_K_ _dafny.TypeDescriptor, Type_V_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
- type CompanionStruct_MutableMapTrait_
- type CompanionStruct_MutableMap_
- type Dummy__
- type MutableMap
- func (_this *MutableMap) Ctor__()
- func (_this *MutableMap) Equals(other *MutableMap) bool
- func (_this *MutableMap) EqualsGeneric(x interface{}) bool
- func (_this *MutableMap) Get(k interface{}) Std_Wrappers.Option
- func (_this *MutableMap) HasKey(k interface{}) bool
- func (_this *MutableMap) Items() _dafny.Set
- func (_this *MutableMap) Keys() _dafny.Set
- func (_this *MutableMap) ParentTraits_() []*_dafny.TraitID
- func (_this *MutableMap) Put(k interface{}, v interface{})
- func (_this *MutableMap) Remove(k interface{})
- func (_this *MutableMap) Select(k interface{}) interface{}
- func (_this *MutableMap) Size() _dafny.Int
- func (*MutableMap) String() string
- func (_this *MutableMap) Values() _dafny.Set
- type MutableMapTrait
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_ ¶
func (CompanionStruct_MutableMapTrait_) CastTo_ ¶
func (CompanionStruct_MutableMapTrait_) CastTo_(x interface{}) MutableMapTrait
type CompanionStruct_MutableMap_ ¶
type CompanionStruct_MutableMap_ struct { }
type MutableMap ¶
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
Click to show internal directories.
Click to hide internal directories.