<GUI_MODEL> : The GUI_MODEL element defines a GUI model.

Java class : leon.info.model.LyModel

ROLE

The GUI model is the model containing information used for to configure the graphical user interface.

ATTRIBUTES

<!ATTLIST GUI_MODEL
	  xmlFile CDATA #IMPLIED
	  version CDATA #IMPLIED>
Attribute Mand. Description Default
xmlFile no Path of the XML file containing the definitions.  
version no Version of the GUI model. This attribute is used to manage models compatibility.