jgroup.experiment.gui.views.helpers
Interface PanelManager

All Known Implementing Classes:

HostPanelManager, PropertiesPanelManager, RunListPanelManager, ScriptPanelManager

public interface PanelManager

Author:

Bjarte Svaeren

Method Summary

void	clear()
void	makePanel()
void	save(org.w3c.dom.Element element, org.w3c.dom.Document document)
void	setParentPanel(javax.swing.JPanel panel)
void	updatePanel(ExperimentConfig expConfig)

Method Detail

makePanel

void makePanel()

updatePanel

void updatePanel(ExperimentConfig expConfig)

setParentPanel

void setParentPanel(javax.swing.JPanel panel)

clear

void clear()

save

void save(org.w3c.dom.Element element,
          org.w3c.dom.Document document)