Re: [CZT-Devel] About a Manual for Object-Z Specifications...

[Leo F. <leo...@ne...>]

Cristian,

If you use LaTeX markup within any CZT environment (i.e. your own editors using the command line; jEdit; Z-Eclipse, etc) you can produce PDF.
That is, the LaTeX processing part is completely separate and not part of CZT as such, except perhaps for the czt.sty file you can find in the ./dtx folder.
There is also the circus.sty. With those two you can LaTeXify any well-typed Z or Circus specification.

You are welcome to extend the Z-Eclipse extension to OZ and Circus. It would be great. Let me know how could I help.

---- on LaTeXing OZ

For Object-Z, there are some warnings. The oz.sty might clash with czt.sty. In fact, there is a need for a new czt-oz.sty package !!!
Reason being that historically oz.sty (as well as the old czt.sty) come from an extension of the old Oxford zed.sty as well as extension
created for the Z Standard. Trouble is that zed.sty used LaTeX 2e, whereas the newer versions used newer versions of LaTeX.
Together with other font oddities, there were some serious compability issues when your LaTeX document required dependencies
from newer LaTeX packages.

czt.sty has a two-layer setup: first layer attaches the low-level font symbol to a command that can't appear in the user file (i.e. \zsym@fun).
Then, depending on the setup chosen (i.e. A4/Letter, color or not, Lucida font or AMS, etc), the various \zsym@XXXX get attached to the
appropriate \XXXX symbol. This also leaves room for appropriate LaTeX typesetting of minor spacing details like in binary operators.
There are some examples of these low-level LaTeX details in the czt-guide.pdf as well as circus-guide.pdf.

Best,
Leo

On 4 Sep 2012, at 04:22, Cristian Vidal Silva wrote:

On 9/3/2012 2:17 AM, Leo Freitas wrote:
Cristian,

CZT works on both Windows / Linux / Mac OS. We are currently working on setting up weekly/monthly builds automatically, so that
people can directly download the compiled JAR(s). For now, to install, you need to build from sources, which you can get the overall
set up explained here

http://sourceforge.net/scm/?type=git&group_id=86250

Best,
Leo


On 2 Sep 2012, at 23:33, Cristian Vidal Silva wrote:

> On 9/2/2012 5:52 AM, Leo Freitas wrote:
>> Hi,
>>
>> There is no Object-z support for Eclipse. But you can use it with jEdit.
>> LaTeX markup is just like in Z but with the OZ extensions, and similarly for UTF.
>> The extra rules for OZ are in Graeme Smith's book, I think. Apart from that, another
>> good source could be the typechekcer / parser test cases.
>>
>> Z LaTeX and Unicode typesetting can be tricky, but all the rules are in the ISO standard.
>> Again, there are many examples in the test cases for various tools.
>>
>> Best,
>> Leo
>>
>> On 2 Sep 2012, at 05:40, Cristian Vidal Silva wrote:
>>
>>> Hi there.
>>>
>>> I want to write an Object-Z specification using CZT and Eclipse.
>>> However, I don't know the rules for doing it using Latex or UTF8 or
>>> UTF16.  How Can I get a Manual about it?
>>>
>>> Greetings.
>>>
>>> --
>>> Cristian Vidal Silva
>>>
>>> Computer Engineer
>>> Master in Computer Science
>>> Ph.D. Student of Michigan State University
>>> Chilean Fulbright Scholar
>>>
>>>
>>> ------------------------------------------------------------------------------
>>> Live Security Virtual Conference
>>> Exclusive live event will cover all the ways today's security and
>>> threat landscape has changed and how IT managers can respond. Discussions
>>> will include endpoint security, mobile security and the latest in malware
>>> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
>>> _______________________________________________
>>> CZT-Devel mailing list
>>> CZT...@li...<mailto:CZT...@li...>
>>> https://lists.sourceforge.net/lists/listinfo/czt-devel
> Thanks Leo.
>
> Do you have a manual to install CZT on jedit in Windows? I know that it functions in Linux, but I'm not an expert there.... If it didn't function in Windows, do you have a detailed manual about installing CZT in Linux?
>
> Thanks for your assistance.
>
> Sincerely,
>
> Cristian.
>
> --
> Cristian Vidal Silva
>
> Computer Engineer
> Master in Computer Science
> Ph.D. Student of Michigan State University
> Chilean Fulbright Scholar
>

Thanks very much Leo... I installed everything and I found the examples as well... This is great...

I have additional questions:
i) Can I produce a PDF file using my Z, Object-Z, or Circus files with their known syntax?
ii) Can I integrate CZT with a Latex tool like Texworks or TexStudio?

Thanks for your assistance... Even though I knew Z years ago, I haven't used CZT tool so far... Considering I'm a good Java Eclipse programmer, I'm interested in adding support for Object-Z and AspectZ as well... However, we can talk about that later... Now, I need to be more familiar with CZT tool first.

Greetings, and I wait for your comments.

Sincerely,

Cristian.

--
Cristian Vidal Silva

Computer Engineer
Master in Computer Science
Ph.D. Student of Michigan State University
Chilean Fulbright Scholar