public interface VDMFactoryOperations
Modifier and Type | Method and Description |
---|---|
VDMGeneric |
FromCPPValue(short id,
byte[] cppvalue) |
VDMBool |
MkBool(short id,
boolean b) |
VDMChar |
MkChar(short id,
char c) |
VDMMap |
MkMap(short id) |
VDMNil |
MkNil(short id) |
VDMNumeric |
MkNumeric(short id,
double d) |
VDMQuote |
MkQuote(short id,
java.lang.String s) |
VDMSequence |
MkSequence(short id) |
VDMSet |
MkSet(short id) |
VDMText |
MkText(short id,
java.lang.String s) |
VDMToken |
MkToken(short id,
java.lang.String s) |
VDMTuple |
MkTuple(short id,
int length) |
VDMNumeric MkNumeric(short id, double d)
VDMBool MkBool(short id, boolean b)
VDMNil MkNil(short id)
VDMQuote MkQuote(short id, java.lang.String s)
VDMChar MkChar(short id, char c)
VDMText MkText(short id, java.lang.String s)
VDMToken MkToken(short id, java.lang.String s)
VDMMap MkMap(short id)
VDMSequence MkSequence(short id)
VDMSet MkSet(short id)
VDMTuple MkTuple(short id, int length)
VDMGeneric FromCPPValue(short id, byte[] cppvalue)