public interface VDMModuleReposOperations
Modifier and Type | Method and Description |
---|---|
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) |
short FilesOfModule(FileListHolder files, java.lang.String name) throws APIError
APIError
void Status(ModuleStatusHolder state, java.lang.String name) throws APIError
APIError
short SuperClasses(ClassListHolder classes, java.lang.String name) throws APIError
APIError
short SubClasses(ClassListHolder classes, java.lang.String name) throws APIError
APIError
short UsesOf(ClassListHolder classes, java.lang.String name) throws APIError
APIError
short UsedBy(ClassListHolder classes, java.lang.String name) throws APIError
APIError