|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--SOMA.explorer.ExplorerItem | +--SOMA.explorer.LoadExplorerItem
Voce di menu che carica il file specificato come parametro e lo esegue. Il comando "load filename" esegue i comandi contenuti in "filename" come un comune file di script.
Fields inherited from class SOMA.explorer.ExplorerItem |
Syntax |
Constructor Summary | |
LoadExplorerItem(DirExplorerItem dir)
Costruttore che specifica il menu su cui far eseguire i comandi letti da file. |
Method Summary | |
java.lang.Object |
Execute(java.util.Collection Parameters,
java.io.PrintStream out)
Apre il file indicato dal primo parametro e avvia un ExplorerThread
che legge da quel file e fa echo su out. |
Methods inherited from class SOMA.explorer.ExplorerItem |
Execute,
getSyntax,
Help,
Help,
setSyntax,
toString |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Constructor Detail |
public LoadExplorerItem(DirExplorerItem dir)
dir
- menu su cui far eseguire i comandi letti da file.Method Detail |
public java.lang.Object Execute(java.util.Collection Parameters, java.io.PrintStream out)
ExplorerThread
che legge da quel file e fa echo su out.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |