<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
	  local ( true | false) "false"
	  load ( true | false) "false"
	  notNull ( true | false) "false"
	  providerValue ( true | false) "false">
Attribute Mand. Description Default
id yes This is the identifier of the choice field.  
local no Equivalent with the local mark: allows to specify that this field is local i.e. that it has no physical representation on a data provider. false
load no Equivalent with the load mark: indicates that the field must be loaded when sending load requests with no indication on the fields that must be loaded. false
notNull no Equivalent with the notNull mark: indicates that the field may not be null. When a new object is created, a value is automatically built for this field with the default value if no value has been specified. false
providerValue no Equivalent with the providerValue mark: allows to specify that the value of the field is given by the data provider. false

ELEMENTS

<!ELEMENT CHOICE 
	  ((((%A_F_BIND;), IMPORT?) | PATH)?,
	   OPTIONS*)>
Element Mand. Mult. Description
A_F_BIND
no no Binding with the physical level.
IMPORT no no Allows to import a value (or a computation on a list of values) of a field from a pointed object by a relation of the same class.
PATH yes no Allows to compute the value of the field using a path.
OPTIONS no yes Set of available options in this choice field.

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>