Uses of Class
nl.cwi.sen1.gui.plugin.data.Module

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)