domaininfo.java

来自「一个agent 工具包,可以开发移动设备应用,考虑了安全措施」· Java 代码 · 共 44 行

JAVA
44
字号
package SOMA.naming.domain;

import SOMA.naming.*;
import SOMA.naming.place.PlaceInfo;

/** <P>Memorizza informazioni relative ad un dominio.
*
* <P> Le informazioni memorizzate sono le stesse di un {@link SOMA.naming.place.PlaceInfo PlaceInfo},
* quindi non sono stati aggiunti campi. L'unico vincolo in piu' e' che
* {@link SOMA.naming.place.PlaceInfo#placeID placeID} deve rappresentare l'identificatore
* di un default place, ossia deve essere:<BR>
* <code>{@link SOMA.naming.PlaceID#isDomain()} == true</code><BR>
* Questo controllo viene effettuato dai due costruttori.
*
* @author Livio Profiri
*/
public class DomainInfo extends SOMA.naming.place.PlaceInfo
{
  /** Costruttore.
  * <BR>
  * @throws NameException se <code>{@link SOMA.naming.PlaceID#isDomain()} != true</code>
  */
  public DomainInfo( PlaceID domainID, java.net.InetAddress host, int port ) throws NameException
  {
    super( domainID, host, port );

    // Non creo l'istanza se si tratta dell'ID di un place
    if( ! domainID.isDomain() )
      throw( new NameException( "PlaceID " + domainID + " is not a domain ID" ) );
  }

  /** Costruttore: copia tutti i campi di <code>pi</code>.
  * <BR>
  * @throws NameException se <code>{@link SOMA.naming.PlaceID#isDomain()} != true</code>
  */
  public DomainInfo( PlaceInfo pi ) throws NameException
  {
    super( pi.placeID, pi.host, pi.port );

    // Non creo l'istanza se si tratta dell'ID di un place
    if( ! placeID.isDomain() )
      throw( new NameException( "PlaceID " + placeID + " is not a domain ID" ) );
  }
}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?