public class _VDMRecordStub extends org.omg.CORBA.portable.ObjectImpl implements VDMRecord
Constructor and Description |
---|
_VDMRecordStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
VDMGeneric |
Clone() |
void |
Destroy() |
byte[] |
GetCPPValue() |
VDMGeneric |
GetField(int i) |
java.lang.String |
GetTag() |
boolean |
Is(java.lang.String tag) |
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() |
int |
Length() |
void |
SetField(int i,
VDMGeneric g) |
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 SetField(int i, VDMGeneric g) throws VDMError
SetField
in interface VDMRecordOperations
VDMError
public VDMGeneric GetField(int i) throws VDMError
GetField
in interface VDMRecordOperations
VDMError
public java.lang.String GetTag() throws APIError
GetTag
in interface VDMRecordOperations
APIError
public boolean Is(java.lang.String tag)
Is
in interface VDMRecordOperations
public int Length()
Length
in interface VDMRecordOperations
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