|
|||||||||||
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)
StringExplorerItem
Ridefinire questo metodo per cambiare il comportamento dell'item: compiere un'azione se necessario.
stringChange
in class StringExplorerItem
public void update(ClassManager classManager)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |