|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Module | |
---|---|
nl.cwi.sen1.gui.plugin | |
nl.cwi.sen1.gui.plugin.data |
Uses of Module in nl.cwi.sen1.gui.plugin |
---|
Methods in nl.cwi.sen1.gui.plugin that return Module | |
---|---|
private Module |
ModuleTree.getCurrentModule()
|
Methods in nl.cwi.sen1.gui.plugin with parameters of type Module | |
---|---|
void |
Navigator.postPopupRequest(java.awt.event.MouseEvent e,
Module module)
|
Uses of Module in nl.cwi.sen1.gui.plugin.data |
---|
Fields in nl.cwi.sen1.gui.plugin.data with type parameters of type Module | |
---|---|
private java.util.Map<aterm.ATerm,Module> |
ModuleTreeModel.moduleTable
|
Methods in nl.cwi.sen1.gui.plugin.data that return Module | |
---|---|
Module |
ModuleTreeModel.getModule(aterm.ATerm moduleId)
|
Methods in nl.cwi.sen1.gui.plugin.data that return types with arguments of type Module | |
---|---|
java.util.List<Module> |
ModuleTreeModel.getModules()
|
Methods in nl.cwi.sen1.gui.plugin.data with parameters of type Module | |
---|---|
void |
ModuleTreeModel.addModule(Module module)
|
int |
Module.compareTo(Module module)
|
void |
ModuleSelectionListener.moduleSelected(Module module)
|
void |
ModuleTreeModel.selectModule(Module module)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |