public class _VDMModuleReposStub extends org.omg.CORBA.portable.ObjectImpl implements VDMModuleRepos
Constructor and Description |
---|
_VDMModuleReposStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
short |
FilesOfModule(FileListHolder files,
java.lang.String name) |
java.lang.String |
GetCurrentModule() |
void |
PopModule() |
void |
PushModule(java.lang.String name) |
void |
Status(ModuleStatusHolder state,
java.lang.String name) |
short |
SubClasses(ClassListHolder classes,
java.lang.String name) |
short |
SuperClasses(ClassListHolder classes,
java.lang.String name) |
short |
UsedBy(ClassListHolder classes,
java.lang.String name) |
short |
UsesOf(ClassListHolder classes,
java.lang.String name) |
_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 short FilesOfModule(FileListHolder files, java.lang.String name) throws APIError
FilesOfModule
in interface VDMModuleReposOperations
APIError
public java.lang.String GetCurrentModule() throws APIError
GetCurrentModule
in interface VDMModuleReposOperations
APIError
public void PopModule() throws APIError
PopModule
in interface VDMModuleReposOperations
APIError
public void PushModule(java.lang.String name) throws APIError
PushModule
in interface VDMModuleReposOperations
APIError
public void Status(ModuleStatusHolder state, java.lang.String name) throws APIError
Status
in interface VDMModuleReposOperations
APIError
public short SuperClasses(ClassListHolder classes, java.lang.String name) throws APIError
SuperClasses
in interface VDMModuleReposOperations
APIError
public short SubClasses(ClassListHolder classes, java.lang.String name) throws APIError
SubClasses
in interface VDMModuleReposOperations
APIError
public short UsesOf(ClassListHolder classes, java.lang.String name) throws APIError
UsesOf
in interface VDMModuleReposOperations
APIError
public short UsedBy(ClassListHolder classes, java.lang.String name) throws APIError
UsedBy
in interface VDMModuleReposOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl