Re: [CZT-Users] how to ?

[Nelis B. <nel...@cs...>]

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...