jade.domain
Interface DFGUIInterface
- public interface DFGUIInterface
This interface is used to avoid any relationship between the df
and the tools packages.
A gui for a DF must implements this interface.
- Version:
- $Date: 2002/12/11 09:38:35 $ $Revision: 2.3 $
- Author:
- Tiziana Trucco - CSELT S.p.A.
addParent
public void addParent(AID parentName)
removeParent
public void removeParent(AID parentName)
addAgentDesc
public void addAgentDesc(AID name)
removeAgentDesc
public void removeAgentDesc(AID name,
AID df)
addChildren
public void addChildren(AID childrenName)
removeChildren
public void removeChildren(AID childrenName)
setAdapter
public void setAdapter(DFGUIAdapter dfa)
showStatusMsg
public void showStatusMsg(java.lang.String msg)
refreshLastSearchResults
public void refreshLastSearchResults(List l,
AID df)
removeSearchResult
public void removeSearchResult(AID name)
disposeAsync
public void disposeAsync()
setVisible
public void setVisible(boolean b)
refresh
public void refresh(Iterator AIDOfAllAgentRegistered,
Iterator parents,
Iterator children)