public interface VDMQuoteOperations extends VDMGenericOperations
Modifier and Type | Method and Description |
---|---|
java.lang.String |
GetValue() |
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii