SOMA.mobilePlace
Class MobilePlaceID

java.lang.Object
  SOMA.naming.PlaceID
      SOMA.mobilePlace.MobilePlaceID

All Implemented Interfaces:

java.io.Serializable

public class MobilePlaceID

extends PlaceID

Identificatore di un place mobile.

Author:

Livio Profiri

See Also:

Serialized Form

Field Summary

static java.lang.String

PREFIX Questo prefisso viene aggiunto per indicare che si tratta di un place mobile.

Fields inherited from class SOMA.naming.PlaceID

domain, place

Constructor Summary

MobilePlaceID(PlaceID placeID)
Costruisce l'ID di un place mobile a partire dall'ID di un place fisso.

MobilePlaceID(java.lang.String s)
Costruisce un identificatore a partire da una stringa.

MobilePlaceID(java.lang.String domain, java.lang.String place)
Costruisce un identificatore a partire dalle sue componenti.

Method Summary

PlaceID	getHome() Restituisce l'Home Domain del place mobile.
static boolean	isMobile(java.lang.String s) Testa se il prefisso PREFIX precede la stringa di descrizione di un placeID.
static PlaceID	parsePlaceID(java.lang.String s) In base alla presenza o meno del prefisso costruisce un PlaceID o un MobilePlaceID.
static java.lang.String	removePrefix(java.lang.String s) Rimuove il prefisso PREFIX dalla stringa di descrizione di un placeID.
java.lang.String	toString() Rappresentazione dell'identificatore sotto forma di stringa.

Methods inherited from class SOMA.naming.PlaceID

clone, equals, getDomainID, hashCode, isDomain, sameDomain

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

PREFIX

public static final java.lang.String PREFIX

Questo prefisso viene aggiunto per indicare che si tratta di un place mobile.

See Also:

Constant Field Values

Constructor Detail

MobilePlaceID

public MobilePlaceID(java.lang.String domain,
                     java.lang.String place)

Costruisce un identificatore a partire dalle sue componenti.

MobilePlaceID

public MobilePlaceID(PlaceID placeID)

Costruisce l'ID di un place mobile a partire dall'ID di un place fisso.

MobilePlaceID

public MobilePlaceID(java.lang.String s)
              throws NameException

Costruisce un identificatore a partire da una stringa.
E' l'inversa di toString().

Method Detail

getHome

public PlaceID getHome()

Restituisce l'Home Domain del place mobile.

Overrides:

getHome in class PlaceID

See Also:

MobilePlaceID

removePrefix

public static java.lang.String removePrefix(java.lang.String s)

Rimuove il prefisso PREFIX dalla stringa di descrizione di un placeID.

isMobile

public static boolean isMobile(java.lang.String s)

Testa se il prefisso PREFIX precede la stringa di descrizione di un placeID.

parsePlaceID

public static PlaceID parsePlaceID(java.lang.String s)
                            throws NameException

In base alla presenza o meno del prefisso costruisce un PlaceID o un MobilePlaceID.

Throws:

NameException

toString

public java.lang.String toString()

Rappresentazione dell'identificatore sotto forma di stringa.
E' l'inversa di PlaceID(String s).

Overrides:

toString in class PlaceID