<DATA_MODEL> : Data model

Java class : leon.info.model.LyModel

ROLE

The DATA_MODEL element defines a data model.

ATTRIBUTES

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