public class _VDMNilStub extends org.omg.CORBA.portable.ObjectImpl implements VDMNil
Constructor and Description |
---|
_VDMNilStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
VDMGeneric |
Clone() |
void |
Destroy() |
byte[] |
GetCPPValue() |
boolean |
IsBool() |
boolean |
IsChar() |
boolean |
IsMap() |
boolean |
IsNil() |
boolean |
IsNumeric() |
boolean |
IsObjectRef() |
boolean |
IsQuote() |
boolean |
IsRecord() |
boolean |
IsSequence() |
boolean |
IsSet() |
boolean |
IsText() |
boolean |
IsToken() |
boolean |
IsTuple() |
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 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