|
|||||||||||
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 Environment
public java.lang.String toString()
toString
in class Environment
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |