SOMA.explorer
Class DirExplorerItem.ChangeDirExplorerItem

java.lang.Object
  SOMA.explorer.ExplorerItem
      SOMA.explorer.DirExplorerItem.ChangeDirExplorerItem

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

DirExplorerItem

class DirExplorerItem.ChangeDirExplorerItem

extends ExplorerItem

Field Summary

Fields inherited from class SOMA.explorer.ExplorerItem

Syntax

Constructor Summary

DirExplorerItem.ChangeDirExplorerItem()

Method Summary

java.lang.Object	Execute(java.util.Collection Parameters, java.io.PrintStream out) Esegue la voce di menu con i parametri specificati.
java.lang.String	Help(java.io.PrintStream out) Stampa un messaggio di descrizione sul PrintStream specificato.

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

DirExplorerItem.ChangeDirExplorerItem

public DirExplorerItem.ChangeDirExplorerItem()

Method Detail

Help

public java.lang.String Help(java.io.PrintStream out)

Description copied from class: ExplorerItem

Stampa un messaggio di descrizione sul PrintStream specificato. Questo metodo viene eseguito invocando il comando help

Overrides:

Help in class ExplorerItem

Execute

public java.lang.Object Execute(java.util.Collection Parameters,
                                java.io.PrintStream out)

Description copied from class: ExplorerItem

Esegue la voce di menu con i parametri specificati. Questo e' il metodo che va ridefinito per creare un ExplorerItem non astratto. Esempio: LoadExplorerItem

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.