public class _VDMCodeGeneratorStub extends org.omg.CORBA.portable.ObjectImpl implements VDMCodeGenerator
Constructor and Description |
---|
_VDMCodeGeneratorStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
boolean |
GenerateCode(java.lang.String name,
LanguageType targetLang) |
boolean |
GenerateCodeList(java.lang.String[] names,
LanguageType targetLang) |
boolean |
GeneratePosInfo() |
void |
GeneratePosInfo(boolean newGeneratePosInfo) |
_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 boolean GeneratePosInfo()
GeneratePosInfo
in interface VDMCodeGeneratorOperations
public void GeneratePosInfo(boolean newGeneratePosInfo)
GeneratePosInfo
in interface VDMCodeGeneratorOperations
public boolean GenerateCode(java.lang.String name, LanguageType targetLang) throws APIError
GenerateCode
in interface VDMCodeGeneratorOperations
APIError
public boolean GenerateCodeList(java.lang.String[] names, LanguageType targetLang) throws APIError
GenerateCodeList
in interface VDMCodeGeneratorOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl