|
||||||||||
| 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 | |||||||||