public interface VDMMapOperations extends VDMGenericOperations
Modifier and Type | Method and Description |
---|---|
VDMGeneric |
Apply(VDMGeneric key) |
VDMSet |
Dom() |
boolean |
DomExists(VDMGeneric g) |
boolean |
First(VDMGenericHolder g) |
void |
ImpModify(VDMGeneric key,
VDMGeneric val) |
void |
ImpOverride(VDMMap m) |
void |
Insert(VDMGeneric key,
VDMGeneric val) |
boolean |
IsEmpty() |
boolean |
Next(VDMGenericHolder g) |
void |
RemElem(VDMGeneric g) |
VDMSet |
Rng() |
int |
Size() |
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii
void Insert(VDMGeneric key, VDMGeneric val) throws VDMError
VDMError
void ImpModify(VDMGeneric key, VDMGeneric val)
VDMGeneric Apply(VDMGeneric key) throws VDMError
VDMError
void ImpOverride(VDMMap m)
int Size()
boolean IsEmpty()
VDMSet Dom()
VDMSet Rng()
boolean DomExists(VDMGeneric g)
void RemElem(VDMGeneric g) throws VDMError
VDMError
boolean First(VDMGenericHolder g)
boolean Next(VDMGenericHolder g)