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.