| 
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.ObjectSOMA.Environment
SOMA.security.SecurityEnvironment
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.
| Field Summary | |
 ProfileManager | 
profile
il profile manager  | 
| Constructor Summary | |
SecurityEnvironment(DirExplorerItem dir,
                    java.io.InputStream in,
                    java.io.PrintStream out,
                    java.io.PrintStream err)
Costruttore usato per avere un Environment "vuoto".  | 
|
SecurityEnvironment(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 | |
protected  void | 
createNameServices()
Cambia in MobileEnvironment.  | 
 java.lang.String | 
toString()
 | 
| Methods inherited from class SOMA.Environment | 
aggiungiVociDellaGUI, load, load, save, save | 
| Methods inherited from class java.lang.Object | 
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait | 
| Field Detail | 
public ProfileManager profile
| Constructor Detail | 
public SecurityEnvironment(DirExplorerItem dir,
                           java.io.InputStream in,
                           java.io.PrintStream out,
                           java.io.PrintStream err)
public SecurityEnvironment(PlaceID placeID,
                           DirExplorerItem dir,
                           int port,
                           java.io.InputStream in,
                           java.io.PrintStream out,
                           java.io.PrintStream err)
                    throws java.lang.Exception
I final servono solo per poter utilizzare delle classi anonime.
| Method Detail | 
protected void createNameServices()
createNameServices in class Environmentpublic java.lang.String toString()
toString in class Environment
  | 
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||