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 errors. 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, Giovanni.
[I've converted this Microsoft Word® document to HTML for your webbed convenience here.]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. Ciao, Giovanni. Attachment converted: TypedVars-v0.01.doc (WDBN/MSWD)
Feedback to [email protected]