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: 2003-11-18 17:26:01 +0100 (mar, 18 nov 2003) $ $Revision: 4564 $
- Author:
- Tiziana Trucco - CSELT S.p.A.
addParent
void addParent(AID parentName)
removeParent
void removeParent(AID parentName)
addAgentDesc
void addAgentDesc(AID name)
removeAgentDesc
void removeAgentDesc(AID name,
AID df)
addChildren
void addChildren(AID childrenName)
removeChildren
void removeChildren(AID childrenName)
setAdapter
void setAdapter(DFGUIAdapter dfa)
showStatusMsg
void showStatusMsg(java.lang.String msg)
refreshLastSearchResults
void refreshLastSearchResults(List l,
AID df)
removeSearchResult
void removeSearchResult(AID name)
disposeAsync
void disposeAsync()
setVisible
void setVisible(boolean b)
refresh
void refresh(Iterator AIDOfAllAgentRegistered,
Iterator parents,
Iterator children)