public interface VDMProjectOperations
Modifier and Type | Method and Description |
---|---|
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) |
void New()
short GetModules(ModuleListHolder modules)
short GetFiles(FileListHolder files)