<CHOICE> : Enumeration field

Java class : leon.info.LyChoiceFieldInfo

ROLE

This element defines a choice between a set of options.
The selection of those options may be multiple or unique.

ATTRIBUTES

<!ATTLIST CHOICE
	  id ID #REQUIRED
	  sortBy ( INDEX | ID | NAME | VALUE) "INDEX"
	  not ( true | false) "false">
Attribute Mand. Description Default
id yes This is the identifier of the choice field.  
sortBy no Gives the order in which choice options are presented to the end-user. Accepted values are:
- INDEX : sort by position in the choice,
- ID : sort by identifier,
- NAME : sort by name,
- VALUE : sort by value.
The default value is : INDEX.
INDEX
not no Reverse the values of a boolean choice. false

ELEMENTS

<!ELEMENT CHOICE 
	  (%FIELD_BEGIN;,
	   OPTIONS*,
	   NCOLS?,
	   %FIELD_END;)>
Element Mand. Mult. Description
FIELD_BEGIN
yes no Begin of field description.
OPTIONS no yes Set of available options in this choice field.
NCOLS no no Gives the number of columns used to display options of this choice : -1 is the default value, it specifies the maximum filling of the containing view, 0 forces a display by list, any other value gives the number of columns that is specified.
FIELD_END
yes no End of field description.

SAMPLE

<CHOICE id="alr_sev">
	<F_BIND value="SEVERITY"/>
	<NAME value="ALRM_SEVERITY"/>
	<F_MARKS sort='true' filter='true' status='true' table='true'/>
	<OPTIONS>
		<OPTION id="alr_sev.0" name="critical" value="0"/>
		<OPTION id="alr_sev.1" name="major" value="1"/>
		<OPTION id="alr_sev.2" name="minor" value="2"/>
		<OPTION id="alr_sev.3" name="indeterminate" value="3"/>
		<OPTION id="alr_sev.4" name="clear" value="4" default='true'/>
	</OPTIONS>
</CHOICE>