public class _VDMApplicationStub extends org.omg.CORBA.portable.ObjectImpl implements VDMApplication
Constructor and Description |
---|
_VDMApplicationStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
void |
DestroyTag(short id) |
VDMCodeGenerator |
GetCodeGenerator() |
VDMErrors |
GetErrorHandler() |
VDMInterpreter |
GetInterpreter() |
VDMModuleRepos |
GetModuleRepos() |
VDMParser |
GetParser() |
VDMPrettyPrinter |
GetPrettyPrinter() |
VDMProject |
GetProject() |
VDMTypeChecker |
GetTypeChecker() |
VDMFactory |
GetVDMFactory() |
void |
PushTag(short id) |
short |
Register() |
ToolType |
Tool() |
void |
Unregister(short id) |
_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 ToolType Tool()
Tool
in interface VDMApplicationOperations
public short Register()
Register
in interface VDMApplicationOperations
public void Unregister(short id)
Unregister
in interface VDMApplicationOperations
public VDMProject GetProject()
GetProject
in interface VDMApplicationOperations
public VDMInterpreter GetInterpreter()
GetInterpreter
in interface VDMApplicationOperations
public VDMCodeGenerator GetCodeGenerator()
GetCodeGenerator
in interface VDMApplicationOperations
public VDMParser GetParser()
GetParser
in interface VDMApplicationOperations
public VDMTypeChecker GetTypeChecker()
GetTypeChecker
in interface VDMApplicationOperations
public VDMPrettyPrinter GetPrettyPrinter()
GetPrettyPrinter
in interface VDMApplicationOperations
public VDMErrors GetErrorHandler()
GetErrorHandler
in interface VDMApplicationOperations
public VDMModuleRepos GetModuleRepos()
GetModuleRepos
in interface VDMApplicationOperations
public VDMFactory GetVDMFactory()
GetVDMFactory
in interface VDMApplicationOperations
public void PushTag(short id)
PushTag
in interface VDMApplicationOperations
public void DestroyTag(short id) throws APIError
DestroyTag
in interface VDMApplicationOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl