| 
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.ObjectSOMA.explorer.ExplorerItem
SOMA.explorer.StringExplorerItem
SOMA.agent.classLoading.ClassManagerExplorerItem
Permette di vedere e cambiare la directory del ClassManager.
| Field Summary | 
| Fields inherited from class SOMA.explorer.ExplorerItem | 
Syntax | 
| Constructor Summary | |
ClassManagerExplorerItem(ClassManager classManager)
 | 
|
| Method Summary | |
 void | 
stringChange(java.lang.String oldString,
             java.lang.String newString,
             java.io.PrintStream out)
Sostituisce la vecchia con la nuova stringa (se diverse).  | 
 void | 
update(ClassManager classManager)
 | 
| Methods inherited from class SOMA.explorer.StringExplorerItem | 
Execute, get, Help | 
| Methods inherited from class SOMA.explorer.ExplorerItem | 
Execute, getSyntax, Help, setSyntax, toString | 
| Methods inherited from class java.lang.Object | 
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait | 
| Constructor Detail | 
public ClassManagerExplorerItem(ClassManager classManager)
| Method Detail | 
public void stringChange(java.lang.String oldString,
                         java.lang.String newString,
                         java.io.PrintStream out)
StringExplorerItemRidefinire questo metodo per cambiare il comportamento dell'item: compiere un'azione se necessario.
stringChange in class StringExplorerItempublic void update(ClassManager classManager)
  | 
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||