📄 securityenvironment.java
字号:
package SOMA.security;
// Ecco dove trovare le classi degli oggetti
// che compongono il sistema
import SOMA.Environment;
import SOMA.network.NetworkManager;
import SOMA.explorer.DirExplorerItem;
import SOMA.naming.PlaceID;
import SOMA.naming.domain.DomainNameService;
import SOMA.naming.place.PlaceNameService;
import SOMA.agent.mobility.*;
import SOMA.mobilePlace.*;
import java.io.*;
import SOMA.explorer.*;
import SOMA.naming.domain.*;
import SOMA.naming.place.*;
import SOMA.security.infrastructure.ProfileManager;
import SOMA.security.infrastructure.explorer.AddressExplorerItem;
/** Classe che rappresenta l'astrazione di place.
* <BR>Contiene i riferimenti a tutti gli oggetti che compongono un <I>place</I> o un <I>default place</I>,
* che e' il place che gestisce un dominio.
* <BR>Il costruttore di Environment avvia il place.
*
* @author Ghetti Luca
*/
public class SecurityEnvironment extends Environment
{
/** Identificatore del place.
* <code>final</code> impedisce ad un place di alterare il suo identificatore.*
public final PlaceID placeID;
* Gestore delle comunicazioni fra place.*
public NetworkManager networkManager = null;
* Menu di gestione del place.*
public DirExplorerItem dir;
* Servizio di nomi di dominio.
* E' presente solo in un <I>default place</I>*
public DomainNameService domainNameService;
* Servizio di nomi di place.*
public PlaceNameService placeNameService;
* Gestore degli agenti.*
public AgentManager agentManager;
* L'InputStream del place.*
public InputStream in;
* L'OututStream del place.*
public PrintStream out;
* L'ErrorStream del place.*
public PrintStream err;
public ThreadGroup threadGroup = null; **/
private Exception creationException = null; // Un po' sporco, ma funziona...
/** il profile manager **/
public ProfileManager profile;
/** Costruttore usato per avere un Environment "vuoto". */
public SecurityEnvironment( DirExplorerItem dir, InputStream in, PrintStream out, PrintStream err )
{
super (dir, in, out, err );
}
/** Costruttore: avvia il place chiamando i costruttori di tutti i suoi componenti.
*
* <P> I final servono solo per poter utilizzare delle classi anonime.
*/
public SecurityEnvironment( final PlaceID placeID, final DirExplorerItem dir, final int port,
final InputStream in, final PrintStream out, final PrintStream err)
//throws IOException, ConnectionServer.ConnectionServerException, NameException
throws Exception
// Eccezioni di NetworkManager:
{
super( placeID );
System.out.println("New del Profilo");
// creazione della classe che verr
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -