|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSOMA.Environment
SOMA.mobilePlace.MobileEnvironment
Classe che rappresenta l'astrazione di place mobile.
Field Summary | |
PlaceID |
currentDomainID
Dominio a cui il place mobile è connesso. |
Constructor Summary | |
MobileEnvironment(PlaceID placeID,
DirExplorerItem dir,
int port,
java.io.InputStream in,
java.io.PrintStream out,
java.io.PrintStream err)
Costruttore: avvia il place mobile chiamando il costruttore del place normale, aggiungendo poi altre cose. |
Method Summary | |
void |
connect(PlaceID domainID)
|
protected void |
createNameServices()
Cambia in MobileEnvironment. |
void |
disconnect()
Disconnessione del Place Mobile. |
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 PlaceID currentDomainID
Constructor Detail |
public MobileEnvironment(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()
Environment
createNameServices
in class Environment
public void connect(PlaceID domainID)
public void disconnect()
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 |