public class _VDMSequenceStub extends org.omg.CORBA.portable.ObjectImpl implements VDMSequence
Constructor and Description |
---|
_VDMSequenceStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
VDMGeneric |
Clone() |
void |
Destroy() |
VDMSet |
Elems() |
boolean |
First(VDMGenericHolder g) |
byte[] |
GetCPPValue() |
boolean |
GetString(org.omg.CORBA.StringHolder s) |
VDMGeneric |
Hd() |
void |
ImpAppend(VDMGeneric g) |
void |
ImpConc(VDMSequence s) |
void |
ImpModify(int i,
VDMGeneric g) |
void |
ImpPrepend(VDMGeneric g) |
void |
ImpTl() |
VDMGeneric |
Index(int i) |
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() |
int |
Length() |
boolean |
Next(VDMGenericHolder g) |
void |
RemElem(int i) |
VDMSequence |
Tl() |
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 VDMGeneric Index(int i) throws VDMError
Index
in interface VDMSequenceOperations
VDMError
public VDMGeneric Hd() throws VDMError
Hd
in interface VDMSequenceOperations
VDMError
public VDMSequence Tl() throws VDMError
Tl
in interface VDMSequenceOperations
VDMError
public void ImpTl() throws VDMError
ImpTl
in interface VDMSequenceOperations
VDMError
public void RemElem(int i) throws VDMError
RemElem
in interface VDMSequenceOperations
VDMError
public int Length()
Length
in interface VDMSequenceOperations
public boolean GetString(org.omg.CORBA.StringHolder s)
GetString
in interface VDMSequenceOperations
public boolean IsEmpty()
IsEmpty
in interface VDMSequenceOperations
public void ImpAppend(VDMGeneric g) throws APIError
ImpAppend
in interface VDMSequenceOperations
APIError
public void ImpModify(int i, VDMGeneric g) throws VDMError, APIError
ImpModify
in interface VDMSequenceOperations
VDMError
APIError
public void ImpPrepend(VDMGeneric g) throws APIError
ImpPrepend
in interface VDMSequenceOperations
APIError
public void ImpConc(VDMSequence s) throws APIError
ImpConc
in interface VDMSequenceOperations
APIError
public VDMSet Elems()
Elems
in interface VDMSequenceOperations
public boolean First(VDMGenericHolder g)
First
in interface VDMSequenceOperations
public boolean Next(VDMGenericHolder g)
Next
in interface VDMSequenceOperations
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