SOMA.utility
Class ImpliesExplorerItem

java.lang.Object
  SOMA.explorer.ExplorerItem
      SOMA.utility.ImpliesExplorerItem

All Implemented Interfaces:

java.io.Serializable

public class ImpliesExplorerItem

extends ExplorerItem

See Also:

Serialized Form

Field Summary

Fields inherited from class SOMA.explorer.ExplorerItem

Syntax

Constructor Summary

ImpliesExplorerItem()

Method Summary

java.lang.Object

Execute(java.util.Collection Parameters, java.io.PrintStream out) Esegue la voce di menu con i parametri specificati.

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

ImpliesExplorerItem

public ImpliesExplorerItem()

Method Detail

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.