Organization: Dipartimento di Informatica
From: "Giovanni A. Cignoni" <suppressed>
To: <[email protected]>
Subject: Variable types
Date: Fri, 3 Sep 2004 13:15:23 +0200

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.

Organization: Dipartimento di Informatica
From: "Giovanni A. Cignoni" <suppressed>
To: <[email protected]>
    "Bruce Jackson" <[email protected]>
Subject: Re: [fs] Re: Variable types
Date: Fri, 24 Sep 2004 12:28:03 +0200

[Bruce Jackson responded:]
> Do you know of an existing set of type specifications 
> that exist in XML-land? Having a starting point, or better 
> yet, having a DTD we could appropriate would be nice.
> Otherwise, we'll need to come up with a short list (perhaps 
> you've done this above). An interesting question would be, 
> do we define the precision (for example, does double mean 
> 32-bit or 62-bits?) or is this necessary.

I didn't an extensive research. I arranged something mostly
inspired by the C++ types. I've to rework it a bit then
I will send it to you.

Thanks for your interest, ciao,

From: "Giovanni A. Cignoni" <suppressed>
To: <[email protected]>
    "Bruce Jackson" <[email protected]>
Subject: Re: [fs] Re: Variable types

Attached there is a draft proposal for a set of types to
be specified in DAVE-ML variable definition.


Attachment converted: TypedVars-v0.01.doc (WDBN/MSWD)
[I've converted this Microsoft Word® document to HTML for your webbed convenience here.]


Feedback to [email protected]

Last modified Sun, 25-Apr-2010