Hi there!

I'm working on a simulator of generic systems.
The system specification is done in XML and this explains
my interest in DAVE-ML.

One thing I noticed in DAVE-ML is the lack of a type 
specification (int, bool, float, ...) in the variable definition 
element. Because the system specification can be used to 
generate  code, having an attribute that specifies the type 
is a nice information.

The attribute can be optional, in general it provides more 
information about the variable and it can be used or ignored by
the application reading the XML.

Similar considerations can be done also to other useful
variable properties, for instance to explicitely define if 
the variable is a constant, or an input or output variable. 
This information can of course be derived by analisys of the 
use of the variable in the following, but having it (optionally)
specified is more simple for the code generator, more clear 
for the human reader and allows some checks that can prevent 

Do you have plans to introduce such kind of attributes in 
future versions of DAVE-ML?

Thanks for your attention and best regards,
Giovanni A. Cignoni.

Reply via email to