<LABEL> : Identifier of the label.

Java class : leon.info.LyInfoLabel

ROLE

The LABEL element defines a dynamic label, i.e. a label that is dynamically built with fixed parts and variable parts depending on the objects corresponding to the label.

ATTRIBUTES

<!ATTLIST LABEL
	  id ID #IMPLIED
	  value CDATA #REQUIRED
	  type ( ID | NAME | GRAMMATICAL | SEMANTIC | VALUE | SHORT_VALUE | USER) "NAME"
	  subType NMTOKEN #IMPLIED>
Attribute Mand. Description Default
id no Identifier of the label.  
value yes Value of the label. This value (or the corresponding entry in the dictionary) must have variable parts like "{i}" as for the standard Java messages management. The number of variable parts must match the number of PATH elements defined for this label.  
type no Type of the label:
- ID: displayable name of the instance identifications of the class; prevails on the combination of the fields owning the id mark. This label must only have fields with the id mark in its definition.
- NAME: name of the instances of the class or name of the fields; prevails on the combination of the fields owning the name mark and on the NAME element.
- ALIAS: short name of the instances of the class or short name of the fields.
- GRAMMATICAL: label displayed in the tooltips (grammatical help); prevails on the TIP element.
- SEMANTIC: overview label displayed in the bottom line of the window (semantic help). -VALUE: presentation label of a field value.
- SHORT_VALUE : presentation short label of a field value
- USER: reserved for an applicative use. For applicative classes the dynamic label may be of type ID, NAME or GRAMMATICAL. For fields the dynamic label may be of type NAME, VALUE, GRAMMATICAL or SEMANTIC.
NAME
subType no Sub-type of the dynamic label. Reserved for an applicative use for the User type labels.  

ELEMENTS

<!ELEMENT LABEL 
	  (((PATH | PATH_REF), UNIT_REF?)*)>
Element Mand. Mult. Description
PATH yes no Path to a field value.
PATH_REF yes no Path reference to a field value.
UNIT_REF no no Reference of the default unit for this field. This unit must belong to the dictionary of units for the field referenced in the path.