Re: [CZT-Users] Single Z Spec In Multiple Latex Files

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

Ray wrote:

> I have 2 specifications, A.tex and B.tex.  There is a sequence of 4-5
> schemas that both documents share in common so I refactored them into
> a common tex file C.tex.  In the appropriate locations in A.tex and
> B.tex I've inserted a \input{C} and "include" the common fragments.
> However running java -jar czt.jar A.tex fails to type check as czt
> does not appear to be processing the \input latex.

CZT doesn't parse the latex outside Z paragraphs so doesn't know about
the input command.
What you can do is to declare named Z sections:
In C.tex (at the beginning) you'd have something like:
\begin{zsection}
  \SECTION C \parents standard\_toolkit
\end{zsection}

and then in A.tex and B.tex you can declare section C as a parent:
\begin{zsection}
  \SECTION A \parents C
\end{zsection}

When Z section A is parsed, CZT tries to find parent section C by
looking for a file C.tex (among other things).  You might have to let
CZT know in which directory to look for file C.tex (and how to do this
depends on which interface you are using).  So try whether just adding Z
sections works.  If it can't find the file, we will have to figure out
how to set the CZT path for the interface you are using (command
line/jEdit/Eclipse).

Petra