public interface VDMSequenceOperations extends VDMGenericOperations
Modifier and Type | Method and Description |
---|---|
VDMSet |
Elems() |
boolean |
First(VDMGenericHolder g) |
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 |
IsEmpty() |
int |
Length() |
boolean |
Next(VDMGenericHolder g) |
void |
RemElem(int i) |
VDMSequence |
Tl() |
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii
VDMGeneric Index(int i) throws VDMError
VDMError
VDMGeneric Hd() throws VDMError
VDMError
VDMSequence Tl() throws VDMError
VDMError
int Length()
boolean GetString(org.omg.CORBA.StringHolder s)
boolean IsEmpty()
void ImpAppend(VDMGeneric g) throws APIError
APIError
void ImpModify(int i, VDMGeneric g) throws VDMError, APIError
void ImpPrepend(VDMGeneric g) throws APIError
APIError
void ImpConc(VDMSequence s) throws APIError
APIError
VDMSet Elems()
boolean First(VDMGenericHolder g)
boolean Next(VDMGenericHolder g)