Re: [CZT-Users] Several questions

[Petra M. <Pet...@ec...>]

Hi Philippe,

You wrote:
> is there anyone in this list?

Yes. :)

> Does the oz compiler in Eclipse work?

It should work but might have bugs.
I usually use the jEdit plugins or the command line interface so don't
know how well it works.  If you find a bug, please submit it at sourceforge.
http://sourceforge.net/tracker/?group_id=86250

> When I click the + sign next to "Credit Card" class show below, to fold it,
> Eclipse folds it right after "limit E {1000, 2000, ...}" which is
> obviously not the
> class's end.

If your specification hasn't parsed properly, I don't expect the folding
to work correctly.  First make sure that you don't get any errors any
more and then try the folding feature again.

> Furthermore, Eclipse displays a " syntax error at ZPROJ" next to the
> (limit, balance, etc.)  visibility list.

You don't seem to use the Object-Z syntax expected by CZT. You should
have a keyword "class" before the name of your class, that is, change

> ┌  CreditCard

to

┌  class CreditCard

>  Visibility list
>  [...]
>  Constant schema

These are comments, aren't they?
I don't think you can have comments like this within an Object-Z class
but I am not quite sure.  If these are comments, try deleting them to
see whether this makes a difference.

Have a look at other examples, to learn about the exact syntax.  I
usually use latex so I am not really familiar with the Unicode mark-up
but CZT provides facilities to translate between the mark-ups.

Hope this helps,
Petra