Menu
▾
▴
Re: [CZT-Users] how to ?
|
From: Massimo C. <cos...@pa...> - 2009-03-19 10:03:17
|
Dear Nelis, it worked thanks! Any idea for polimorphism? Regards Massimo Il giorno 18/mar/09, alle ore 16:53, Nelis Boucke ha scritto: > Hallo Massimo, > > For the second question: did you enable use before declaration? > > Go to the menu "Plugins" --> "Plugin Options" --> "ZSideKick", and > then select the option that enables used before declaration. > > If the option is not there, you might have an older version. If the > newest version is not yet downloadable, I can send you a later > version compiled by Tim Miller including this option. > > greetings, > Nelis > > On 18-mrt-09, at 16:10, Massimo Cossentino wrote: > >> Dear all, >> in my lab we are using CZT (Jedit version) in order to specify the >> structure of a system that will be probably initially developed in >> Java but later we are going to define a specific language to >> support it. >> The application domain is the definition of a new multi-agent system >> inheritance paradigm. >> >> As I said we are using the Jedit based verson of the tool and this is >> proving very useful. In our opinion it does not make any sense to use >> a formal language for specifying something if I do not have any check >> on the correctness of my specification. >> >> I am now writing this email because for our purposes the tool has two >> significant limits. Indeed we are not sure these are really limits, >> perhaps we just do not know how to do and for this reason I am asking >> the help of this community. >> >> Here is what we need: >> 1) we need to specify polimorfism in a class (we are using object-Z) >> 2) we have a class that can be composed of other instances of the >> same >> class (aggregation relationship self-loop). >> >> Problems we had with that: >> 1) we do not know how to specify polimorfism >> 2) if in our class (ConceptGene) we specify an attribute of type >> ConceptGene we receive a syntax error message. >> >> >> thanks for your help with that >> >> Best Regards >> Massimo >> >> >> >> >> >> ------------------------------------------------------------------------------ >> Apps built with the Adobe(R) Flex(R) framework and Flex Builder(TM) >> are >> powering Web 2.0 with engaging, cross-platform capabilities. >> Quickly and >> easily build your RIAs with Flex Builder, the Eclipse(TM)based >> development >> software that enables intelligent coding and step-through debugging. >> Download the free 60 day trial. http://p.sf.net/sfu/www-adobe-com >> _______________________________________________ >> CZT-Users mailing list >> CZT...@li... >> https://lists.sourceforge.net/lists/listinfo/czt-users > > ----- > Nelis Boucké > Phd Researcher, > DistriNet Labs, Departement of Computer Science, KULeuven > Phone: +3216327575 > E-mail: nel...@cs... > > > |
