<ARRAY> : Array field

Java class : leon.info.LyArrayFieldInfo

ROLE

The ARRAY element defines an array of values. All the elements of the array are of the same type.

ATTRIBUTES

<!ATTLIST ARRAY
	  id ID #REQUIRED
	  template IDREF #IMPLIED
	  javaName NMTOKEN #IMPLIED
	  cMin NMTOKEN #IMPLIED
	  cMax NMTOKEN #IMPLIED
	  behavior NMTOKEN #IMPLIED>
Attribute Mand. Description Default
id yes Identifier of the array field.  
template no Template field (must be of type ARRAY).  
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.  
cMin no Minimum cardinality of the field.  
cMax no Maximum cardinality of the field.  
behavior no Name of the Java class representing the behavior of this field. Reserved for a future use.  

ELEMENTS

<!ELEMENT ARRAY 
	  (%FIELD_BEGIN;,
	   (%A_FIELD; | FIELD_REF)?,
	   %FIELD_END;)>
Element Mand. Mult. Description
FIELD_BEGIN
yes no Begin of field description.
A_FIELD
yes no Field representing the type of the array.
FIELD_REF yes no Reference of the field representing the type of the array.
FIELD_END
yes no End of field description.

SAMPLE

<ARRAY id="userTelephoneList" cMin='0' cMax='3'>
	<NAME value="USER_TELEPHONES"/>
	<F_MARKS create='true' set='true'/>
	<FIELD_REF idref="userTelephone"/>
</ARRAY>