serverproperty.java~1~

移动Agent编程工具Naplet

/** @<#>ServerProperty.java version 0.0.1, 1/1/2000
 *
 * THIS PROGRAM IS FREE SOFTWARE; YOU CAN DISTRIBUTE IT AND/OR
 * MODIFY IT UNDER THE TERMS OF THE GNU GENERAL PUBLIC LICENSE
 * AS PUBLISHED BY THE FREE SOFTWARE FOUNDATION.
 *
 * THIS PROGRAM IS DISTRIBUTED IN THE HOPE THAT IT WILL BE USEFUL,
 * BUT WITHOUT ANY WARRANTY; WITHOUT EVEN THE IMPLIED WARRANTY OF
 * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. SEE THE
 * GNU GENERAL PUBLIC LICENSE FOR MORE DETAILS.
 *
 * Copyright (c) 2000 Wayne State University. All Rights Reserved.
 */
package naplet.server;

import naplet.*;
import naplet.message.*;
import naplet.directory.*;
import naplet.tracing.*;
import naplet.resource.*;
import naplet.nsocket.*;

// import javax.security.auth.Subject;

public interface ServerProperty 
{
      public URN getServerURN();
      public NapletServerLog getNapletServerLog();
      public ResourceManager getResourceManager();
      public NapletMonitor getNapletMonitor();
      public Locator getLocator();
      public NapletDirectory getNapletDirectory();
      public Navigator getNavigator();
      public Messenger getMessenger();
      public SocketController getSocketController();
      public int getControlPort();
      public int getControlChannelPort();

      // public Subject getServerSubject();
}