[CZT-Users] typchecking oz error mesages + convert oz to java/c++

[Janine S. <ma...@ja...>]

Hello

I am a beginner in OZ and the CZT eclipse plugin. I am writing an Object-Z specification in latex, but the typchecker reports some errors. 
Could someone please explain me the error messages?

\documentclass[11pt]{article}
\usepackage{oz}

\begin{document}


\begin{zsection}

\SECTION Shape \parents oz\_toolkit, standard\_toolkit

\end{zsection}


\begin{class}{Shape[COLOUR]}

\also

colour: COLOUR \\

\begin{axdef}

perim: \real

\where

perim > 0

\end{axdef} \\

\begin{classcom}

This class has 2 constants

$colour$ and $perim$.

\end{classcom} \\

\begin{state}

x, y: \real

\end{state} \\

\begin{init}

x = y = 0

\end{init} \\

\begin{op}{Translate}

\Delta (x,y) \\

dx?, dy?: \real

x' = x + dx? \\

y' = y + dy?

\end{op}

\end{class}

\end{document}



errors:



line 10 column 0 in : Syntax error at symbol colour

line 12 column 7 in : Unknown latex command \real

line 21 column 6 in : Unknown latex command \real

line 28 column 10 in : Unknown latex command \real





Am I right that the CTZ Tools are not able to convert the OZ code to Java/C++ ? If thats the case, could you point me to a tool or lib that is able to accomplish that task? I not only need to typecheck my OZ code but also have to convert it to C++ code/classes.





Thanks a lot for helping!





Kind regards, 

Janine