public interface VDMRecord extends VDMRecordOperations, VDMGeneric, org.omg.CORBA.portable.IDLEntity
GetField, GetTag, Is, Length, SetField
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii