public interface VDMRecordOperations extends VDMGenericOperations
Modifier and Type | Method and Description |
---|---|
VDMGeneric |
GetField(int i) |
java.lang.String |
GetTag() |
boolean |
Is(java.lang.String tag) |
int |
Length() |
void |
SetField(int i,
VDMGeneric g) |
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii
void SetField(int i, VDMGeneric g) throws VDMError
VDMError
VDMGeneric GetField(int i) throws VDMError
VDMError
boolean Is(java.lang.String tag)
int Length()