<OPTION> : Option

Java class : leon.info.LyChoiceOption

ROLE

An option element represents a possible selection amongst the list of options of the choice field.

ATTRIBUTES

<!ATTLIST OPTION
	  id ID #REQUIRED
	  value CDATA #REQUIRED
	  default ( true | false) "false"
	  unknown ( true | false) "false">
Attribute Mand. Description Default
id yes This is the identifier of the option.  
value yes This is the internal value associated to the option. This is the value is transmitted to the data connection. Usually short integers or strings are used for this attribute.  
default no Indicates if the option is selected in a form at the start of a creation action. If the choice allows multiple selections, defining several default options is permitted. Otherwise, only the first default option will be taken into account. false
unknown no This attribute allows to specify that the current option is used to represent all unknown values discovered when reading data. By this way, it's possible to avoid an exception when loading values that are not used anymore or erroneous (a warning is produced when DEBUG_WARING mode is set). Only the first option with this property is considered. false