<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
	  name CDATA #IMPLIED
	  alias CDATA #IMPLIED
	  value CDATA #IMPLIED
	  default ( true | false) "false"
	  disable ( true | false) "false"
	  unknown ( true | false) "false"
	  table ( true | false) "false">
Attribute Mand. Description Default
id yes This is the identifier of the option.  
name no This is the name of the option displayed inside the graphical user interface.  
alias no This is the short name of the option used when the choice is multiple and the option is displayed as column in editable tables.  
value no 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
disable no Specifies that this option is disable in edit forms. This mode enables reading of given values on the data provider but disable them as possible options for the end-user. 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
table no Specifies that this option is presented as column in editable tables if the choice is multiple. false

ELEMENTS

<!ELEMENT OPTION 
	  ((RULE | RULE_REF)*,
	   LABEL*)>
Element Mand. Mult. Description
RULE yes no Rules triggered by the selection or the deselection of this choice option.
RULE_REF yes no References of rules triggered by the selection or the deselection of this choice option.
LABEL no yes Dynamic label of this option.