public class _VDMSetStub extends org.omg.CORBA.portable.ObjectImpl implements VDMSet
Constructor and Description |
---|
_VDMSetStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
int |
Card() |
VDMGeneric |
Clone() |
void |
Destroy() |
boolean |
First(VDMGenericHolder g) |
byte[] |
GetCPPValue() |
VDMGeneric |
GetElem() |
void |
ImpDiff(VDMSet s) |
void |
ImpIntersect(VDMSet s) |
void |
ImpUnion(VDMSet s) |
void |
Insert(VDMGeneric g) |
boolean |
InSet(VDMGeneric g) |
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) |
boolean |
SubSet(VDMSet s) |
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 g)
Insert
in interface VDMSetOperations
public int Card()
Card
in interface VDMSetOperations
public boolean IsEmpty()
IsEmpty
in interface VDMSetOperations
public boolean InSet(VDMGeneric g)
InSet
in interface VDMSetOperations
public void ImpUnion(VDMSet s)
ImpUnion
in interface VDMSetOperations
public void ImpIntersect(VDMSet s)
ImpIntersect
in interface VDMSetOperations
public VDMGeneric GetElem() throws VDMError
GetElem
in interface VDMSetOperations
VDMError
public void RemElem(VDMGeneric g) throws VDMError
RemElem
in interface VDMSetOperations
VDMError
public boolean SubSet(VDMSet s)
SubSet
in interface VDMSetOperations
public void ImpDiff(VDMSet s)
ImpDiff
in interface VDMSetOperations
public boolean First(VDMGenericHolder g)
First
in interface VDMSetOperations
public boolean Next(VDMGenericHolder g)
Next
in interface VDMSetOperations
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