SOMA.explorer
Class LoadExplorerItem

java.lang.Object
  SOMA.explorer.ExplorerItem
      SOMA.explorer.LoadExplorerItem

All Implemented Interfaces:

java.io.Serializable

public class LoadExplorerItem

extends ExplorerItem

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.

Author:

Livio Profiri

See Also:

Serialized Form

Field Summary

(package private) DirExplorerItem

dir

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

Field Detail

dir

DirExplorerItem dir

Constructor Detail

LoadExplorerItem

public LoadExplorerItem(DirExplorerItem dir)

Costruttore che specifica il menu su cui far eseguire i comandi letti da file.

Parameters:

dir - menu su cui far eseguire i comandi letti da file.

Method Detail

Execute

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

Specified by:

Execute in class ExplorerItem

Parameters:

Parameters - parametri da utilizzare nell'esecuzione.

out - PrintStream a cui inviare l'output.

Returns:

un Object risultato della computazione eseguita.