public class _VDMFactoryStub extends org.omg.CORBA.portable.ObjectImpl implements VDMFactory
Constructor and Description |
---|
_VDMFactoryStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
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) |
_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, hashCode, toString
public VDMNumeric MkNumeric(short id, double d)
MkNumeric
in interface VDMFactoryOperations
public VDMBool MkBool(short id, boolean b)
MkBool
in interface VDMFactoryOperations
public VDMNil MkNil(short id)
MkNil
in interface VDMFactoryOperations
public VDMQuote MkQuote(short id, java.lang.String s)
MkQuote
in interface VDMFactoryOperations
public VDMChar MkChar(short id, char c)
MkChar
in interface VDMFactoryOperations
public VDMText MkText(short id, java.lang.String s)
MkText
in interface VDMFactoryOperations
public VDMToken MkToken(short id, java.lang.String s)
MkToken
in interface VDMFactoryOperations
public VDMMap MkMap(short id)
MkMap
in interface VDMFactoryOperations
public VDMSequence MkSequence(short id)
MkSequence
in interface VDMFactoryOperations
public VDMSet MkSet(short id)
MkSet
in interface VDMFactoryOperations
public VDMTuple MkTuple(short id, int length)
MkTuple
in interface VDMFactoryOperations
public VDMGeneric FromCPPValue(short id, byte[] cppvalue)
FromCPPValue
in interface VDMFactoryOperations
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl