<FIELD> : Typed field

Java class : leon.info.LyFieldInfo

ROLE

The FIELD element defines a field from a template. The result is the same as the use of the template attribute in the definition of each type of field. A field defined with this element is of the same type as the field referenced by the type attribute.

ATTRIBUTES

<!ATTLIST FIELD
	  id ID #REQUIRED
	  type IDREF #REQUIRED
	  subTypes IDREFS #IMPLIED
	  calculated ( true | false) "false"
	  javaName NMTOKEN #IMPLIED
	  behavior NMTOKEN #IMPLIED>
Attribute Mand. Description Default
id yes Identifier of the field.  
type yes Template reference.  
subTypes no If the type is complex this attribute must specify the list of possible sub-types (with the possibility to restrict the sub-types).  
calculated no Indicates whether the field is calculated or not. A calculated field will be declared local in the default binding model generation. false
javaName no Name of the Java attribute that corresponds to the current field when automatic code generation is used. The default value is the identifier of the current field.  
behavior no Name of the Java class representing the behavior of this field. Reserved for a future use.  

ELEMENTS

<!ELEMENT FIELD 
	  (%FIELD_BEGIN;,
	   UNIT_REF?,
	   %FIELD_END;)>
Element Mand. Mult. Description
FIELD_BEGIN
yes no Begin of a field description.
UNIT_REF no no Reference of the default unit for this field. This unit must belong to the dictionary of units of the field.
FIELD_END
yes no End of a field description.

SAMPLE

<FIELD id="userAddress" type="address" subtypes="frenchAddress"/>

<FIELD id="myZipCode" type="standardZipCode"/>