public class _VDMMapStub extends org.omg.CORBA.portable.ObjectImpl implements VDMMap
Constructor and Description |
---|
_VDMMapStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
VDMGeneric |
Apply(VDMGeneric key) |
VDMGeneric |
Clone() |
void |
Destroy() |
VDMSet |
Dom() |
boolean |
DomExists(VDMGeneric g) |
boolean |
First(VDMGenericHolder g) |
byte[] |
GetCPPValue() |
void |
ImpModify(VDMGeneric key,
VDMGeneric val) |
void |
ImpOverride(VDMMap m) |
void |
Insert(VDMGeneric key,
VDMGeneric val) |
boolean |
IsBool() |
boolean |
IsChar() |
boolean |
IsEmpty() |
boolean |
IsMap() |
boolean |
IsNil() |
boolean |
IsNumeric() |
boolean |
IsObjectRef() |
boolean |
IsQuote() |
boolean |
IsRecord() |
boolean |
IsSequence() |
boolean |
IsSet() |
boolean |
IsText() |
boolean |
IsToken() |
boolean |
IsTuple() |
boolean |
Next(VDMGenericHolder g) |
void |
RemElem(VDMGeneric g) |
VDMSet |
Rng() |
int |
Size() |
java.lang.String |
ToAscii() |
_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, hashCode, toString
public void Insert(VDMGeneric key, VDMGeneric val) throws VDMError
Insert
in interface VDMMapOperations
VDMError
public void ImpModify(VDMGeneric key, VDMGeneric val)
ImpModify
in interface VDMMapOperations
public VDMGeneric Apply(VDMGeneric key) throws VDMError
Apply
in interface VDMMapOperations
VDMError
public void ImpOverride(VDMMap m)
ImpOverride
in interface VDMMapOperations
public int Size()
Size
in interface VDMMapOperations
public boolean IsEmpty()
IsEmpty
in interface VDMMapOperations
public VDMSet Dom()
Dom
in interface VDMMapOperations
public VDMSet Rng()
Rng
in interface VDMMapOperations
public boolean DomExists(VDMGeneric g)
DomExists
in interface VDMMapOperations
public void RemElem(VDMGeneric g) throws VDMError
RemElem
in interface VDMMapOperations
VDMError
public boolean First(VDMGenericHolder g)
First
in interface VDMMapOperations
public boolean Next(VDMGenericHolder g)
Next
in interface VDMMapOperations
public java.lang.String ToAscii()
ToAscii
in interface VDMGenericOperations
public boolean IsNil()
IsNil
in interface VDMGenericOperations
public boolean IsChar()
IsChar
in interface VDMGenericOperations
public boolean IsNumeric()
IsNumeric
in interface VDMGenericOperations
public boolean IsQuote()
IsQuote
in interface VDMGenericOperations
public boolean IsTuple()
IsTuple
in interface VDMGenericOperations
public boolean IsRecord()
IsRecord
in interface VDMGenericOperations
public boolean IsSet()
IsSet
in interface VDMGenericOperations
public boolean IsMap()
IsMap
in interface VDMGenericOperations
public boolean IsText()
IsText
in interface VDMGenericOperations
public boolean IsToken()
IsToken
in interface VDMGenericOperations
public boolean IsBool()
IsBool
in interface VDMGenericOperations
public boolean IsSequence()
IsSequence
in interface VDMGenericOperations
public boolean IsObjectRef()
IsObjectRef
in interface VDMGenericOperations
public void Destroy() throws APIError
Destroy
in interface VDMGenericOperations
APIError
public byte[] GetCPPValue()
GetCPPValue
in interface VDMGenericOperations
public VDMGeneric Clone()
Clone
in interface VDMGenericOperations
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl