|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSOMA.Environment
Field Summary | |
ActionPlace |
actionPlace
Gestore della finestra del Place (package gui); aggiunto da Gigi |
AgentManager |
agentManager
Gestore degli agenti. |
IComponentDescriptorRepository |
componentDescriptorRepository
Manager of the component repository, added by Luca Foschini, 17 november 2002, Champaign |
ComponentRepositoryManager |
componentRepositoryManager
Manager of the component repository, added by Luca Foschini, 17 november 2002, Champaign |
DirExplorerItem |
dir
Menu di gestione del place. |
DomainNameService |
domainNameService
Servizio di nomi di dominio. |
DomainResourceManager |
domainResourceManager
Gestore delle risorse del domain. |
java.io.PrintStream |
err
L'ErrorStream del place. |
java.io.InputStream |
in
L'InputStream del place. |
IMetadataServiceManager |
metadataServiceManager
This manager gives various services that act locally or remotely on the metadata service, added by Luca Foschini, 17 november 2002, Champaign |
MobilePlaceManager |
mobilePlaceManager
Gestore dei place mobili. |
MultiOutputStream |
multiErr
Il MultiOutputStream err. |
MultimediaServicesManager |
multimediaServicesManager
The multimedia services manager, added by Luca Foschini, 6 march 2003 |
MultiOutputStream |
multiOut
Il MultiOutputStream out. |
NetworkManager |
networkManager
Gestore delle comunicazioni fra place. |
java.io.PrintStream |
out
L'OututStream del place. |
Path |
path
The path from this place to the root, added by Luca Foschini, 17 november 2002, Champaign |
PlaceID |
placeID
Identificatore del place. |
PlaceNameService |
placeNameService
Servizio di nomi di place. |
PlaceResourceManager |
placeResourceManager
Gestore delle risorse del place. |
IPlatformDescriptor |
platformDescriptor
The platform descriptor from this place, added by Luca Foschini, july 2003, Brisighella |
java.lang.String |
platformDescriptorsFile
The directory where we store the profileRepository, added by Luca Foschini, july 2003, Brisighella |
IProfileContainerManager |
profileManager
This manager gives various services that act locally or remotely on the profile service, added by Luca Foschini, 17 november 2002, Champaign |
java.lang.String |
profileRepositoryFile
The directory where we store the profileRepository, added by Luca Foschini, 17 november 2002, Champaign |
java.lang.String |
repositoryBaseDirectory
The directory where we store the componentRepository, added by Luca Foschini, 17 november 2002, Champaign |
IResourceBroker |
resourceBroker
The resource broker, added by Luca Foschini, July 2003 |
SOMA.gui.remotegui.SportelloRichieste |
sportelloRichieste
Thread di attesa delle richieste da parte delle applet (package gui.remoteapplet); aggiunto da Gigi |
java.lang.ThreadGroup |
threadGroup
|
Constructor Summary | |
Environment(DirExplorerItem dir,
java.io.InputStream in,
java.io.PrintStream out,
java.io.PrintStream err)
Costruttore usato per avere un Environment "vuoto". |
|
Environment(PlaceID placeID)
Costruttore usato per avere un Environment "vuoto". |
|
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 | |
protected void |
aggiungiVociDellaGUI(DirExplorerItem dir)
Metodo aggiunto da Luigi Antenucci per aggiungere le voci della GUI. |
protected void |
createNameServices()
Cambia in MobileEnvironment. |
void |
load()
|
void |
load(java.lang.String fileName)
|
void |
save()
|
void |
save(java.lang.String fileName)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public final PlaceID placeID
final
impedisce ad un place di alterare il suo identificatore.
public NetworkManager networkManager
public DirExplorerItem dir
public DomainNameService domainNameService
public PlaceNameService placeNameService
public AgentManager agentManager
public MobilePlaceManager mobilePlaceManager
public PlaceResourceManager placeResourceManager
public DomainResourceManager domainResourceManager
public ActionPlace actionPlace
public SOMA.gui.remotegui.SportelloRichieste sportelloRichieste
public ComponentRepositoryManager componentRepositoryManager
public Path path
public IPlatformDescriptor platformDescriptor
public IComponentDescriptorRepository componentDescriptorRepository
public IMetadataServiceManager metadataServiceManager
public IProfileContainerManager profileManager
public MultimediaServicesManager multimediaServicesManager
public IResourceBroker resourceBroker
public java.lang.String profileRepositoryFile
public java.lang.String platformDescriptorsFile
public java.lang.String repositoryBaseDirectory
public java.io.InputStream in
public MultiOutputStream multiOut
public java.io.PrintStream out
public MultiOutputStream multiErr
public java.io.PrintStream err
public java.lang.ThreadGroup threadGroup
Constructor Detail |
public Environment(DirExplorerItem dir, java.io.InputStream in, java.io.PrintStream out, java.io.PrintStream err)
public Environment(PlaceID placeID)
public Environment(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()
public void load() throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
public void save() throws java.io.IOException
java.io.IOException
public void save(java.lang.String fileName) throws java.io.IOException
java.io.IOException
public void load(java.lang.String fileName) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
protected void aggiungiVociDellaGUI(DirExplorerItem dir)
public java.lang.String toString()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |