public class _VDMProjectStub extends org.omg.CORBA.portable.ObjectImpl implements VDMProject
Constructor and Description |
---|
_VDMProjectStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
void |
AddFile(java.lang.String name) |
short |
GetFiles(FileListHolder files) |
short |
GetModules(ModuleListHolder modules) |
void |
New() |
void |
Open(java.lang.String name) |
void |
RemoveFile(java.lang.String name) |
void |
Save() |
void |
SaveAs(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 void New()
New
in interface VDMProjectOperations
public void Open(java.lang.String name) throws APIError
Open
in interface VDMProjectOperations
APIError
public void Save() throws APIError
Save
in interface VDMProjectOperations
APIError
public void SaveAs(java.lang.String name) throws APIError
SaveAs
in interface VDMProjectOperations
APIError
public short GetModules(ModuleListHolder modules)
GetModules
in interface VDMProjectOperations
public short GetFiles(FileListHolder files)
GetFiles
in interface VDMProjectOperations
public void AddFile(java.lang.String name) throws APIError
AddFile
in interface VDMProjectOperations
APIError
public void RemoveFile(java.lang.String name) throws APIError
RemoveFile
in interface VDMProjectOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl