SOMA
Class Environment

java.lang.Object
  |
  +--SOMA.Environment

public class Environment
extends java.lang.Object

Classe che rappresenta l'astrazione di place.
Contiene i riferimenti a tutti gli oggetti che compongono un place o un default place, che e' il place che gestisce un dominio.
Il costruttore di Environment avvia il place.

Author:
Livio Profiri

Field Summary
 AgentManager agentManager
          Gestore degli agenti.
 DirExplorerItem dir
          Menu di gestione del place.
 DomainNameService domainNameService
          Servizio di nomi di dominio.
 java.io.PrintStream err
          Inutilizzato.
 java.io.InputStream in
          Inutilizzato.
 NetworkManager networkManager
          Gestore delle comunicazioni fra place.
 java.io.PrintStream out
          Inutilizzato.
 PlaceID placeID
          Identificatore del place.
 PlaceNameService placeNameService
          Servizio di nomi di place.
 
Constructor Summary
Environment(PlaceID placeID, DirExplorerItem dir, int port, java.io.InputStream in, java.io.PrintStream out, java.io.PrintStream err)
          Costruttore: avvia il place chiamando i costruttori di tutti i suoi componenti.
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

placeID

public final PlaceID placeID
Identificatore del place. final impedisce ad un place di alterare il suo identificatore.

networkManager

public NetworkManager networkManager
Gestore delle comunicazioni fra place.

dir

public DirExplorerItem dir
Menu di gestione del place.

domainNameService

public DomainNameService domainNameService
Servizio di nomi di dominio. E' presente solo in un default place

placeNameService

public PlaceNameService placeNameService
Servizio di nomi di place.

agentManager

public AgentManager agentManager
Gestore degli agenti.

in

public java.io.InputStream in
Inutilizzato.

out

public java.io.PrintStream out
Inutilizzato.

err

public java.io.PrintStream err
Inutilizzato.
Constructor Detail

Environment

public Environment(PlaceID placeID,
                   DirExplorerItem dir,
                   int port,
                   java.io.InputStream in,
                   java.io.PrintStream out,
                   java.io.PrintStream err)
            throws java.io.IOException,
                   ConnectionServer.ConnectionServerException,
                   NameException
Costruttore: avvia il place chiamando i costruttori di tutti i suoi componenti.
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object