next up previous contents
Next: Available functors for Java Up: Global data declarations Previous: Typechecking

Data definitions with Java

In Java mode, reads ordinary Java classes to find out about types. The necessary classes are recognized from standard Java import statements. It is important to provide with a correct CLASSPATH environment variable or with additional classpath option:


\begin{examplefoot}optimix -cp <dir> +cp <dir> optimizer.ox
\end{examplefoot}
-cp <dir> indicates a CLASSPATH to , and other settings are forgotten. +cp <dir> adds a directory to the current class path.



 

Uwe Assmann
1998-12-22