<L_GEN> : User defined data location

Java class : leon.info.location.LyGenLocation

ROLE

This element enables to parameter a user-defined location.

ATTRIBUTES

<!ATTLIST L_GEN
	  id ID #IMPLIED
	  condition CDATA #IMPLIED
	  javaName NMTOKEN #REQUIRED
	  persistent ( true | false) "true">
Attribute Mand. Description Default
id no Identifier of the data location. The default value is the identifier of the application.  
condition no The value of this attribute enables to control the existence of this location. This condition refers to a property defined or not inside the initialisation file of the application. If the property does not exists or equals false or equals 0, this location is no taken into account. This attribute may be used to manage several connections and several applications inside a same system.  
javaName yes Full name of the Java class that defines the specific data provider. This class should inherit from the leon.peer.LyDataProvider and have a public constructor with the two parameters LyApplication and LyLocation.  
persistent no Indicates if the corresponding data provider is persistent or not (true by default). true

ELEMENTS

<!ELEMENT L_GEN 
	  ((NOTIFIER | NOTIFIER_REF)?,
	   DATA*)>
Element Mand. Mult. Description
NOTIFIER yes no Notification service associated to this location.
NOTIFIER_REF yes no Reference of the notification service associated to this location.
DATA no yes Application data used to parameter the location.

SAMPLE

<L_GEN id="gen"
	javaName="MyDataProvider"/>