%> do tex %F -l -l -d"-t a4"
%> do tex %F -l -l -d"-D" -p2

\documentstyle[12pt,times]{article}

\textwidth=16cm
\oddsidemargin=1cm
\evensidemargin=1cm
\textheight=22cm
\topmargin=0cm
\parindent=0mm
\parskip=4mm

\title{TOPO: Quick Reference	\\
	GLAD --- version 3R6}

\author{Marcelino Veiga                         \\
                                                \\
        Dpt. Ingenier{\'{}}{\i}a Telem{\'a}tica       \\
        E.T.S.I. de Telecomunicaci{\'o}n          \\
        Univ. Polit{\'e}cnica de Madrid           \\
        E-28040 Madrid, SPAIN                   \\
                                                \\
        {\tt <topo@dit.upm.es>}
        }

\date{10 October, 1994}

\pagestyle{myheadings}
\markright{Quick Reference -- GLAD}

\begin{document}

\maketitle

\begin{abstract}
TOPO is a set of interoperating LOTOS tools grouped in several packages.
This one contains a tool, called {\em glad}, that allows {\em external}
annotation of LOTOS data types, i.e. an annotation {\em template} can be
provided to be joined together with the LOTOS {\em specification}.

This paper is a quick reference guide for users.
\end{abstract}

%\newpage
%\tableofcontents

\newpage

\section{Getting Started \ldots}
TOPO is a set of interoperating LOTOS tools grouped in several packages.
This one includes the tool called {\em glad}. It allows the user can
write annotation {\em template}s to be combined later with the LOTOS
{\em specification}.

But for working properly, this package must be together with
TOPO Front-End package.

%\newpage
\section{Calling GLAD}
For calling {\em glad}, it is used the same interface as
TOPO Front-End package. For a LOTOS {\em specification},
only one GLAD {\em template} can be provided,
so TOPO must be instructed as follows.
\begin{center}
\begin{tabular}{| l | l |}
  \hline
  \multicolumn{2}{| c |}{
    \rule[-3mm]{0mm}{6mm}
    \verb/toposet/ spec[\verb/.lot/] -glad tplt\verb/.gld/
    } \\
  \hline
\end{tabular}
\end{center}

Where tplt\verb/.gld/ is the file with the GLAD {\em template}.

And it can be reset to use no GLAD {\em template}.
\begin{center}
\begin{tabular}{| l | l |}
  \hline
  \multicolumn{2}{| c |}{
    \rule[-3mm]{0mm}{6mm}
    \verb/toposet/ spec[\verb/.lot/] -noglad
    } \\
  \hline
\end{tabular}
\end{center}

Options may be specified by means of the environment variable
\verb/TOPOF_GLAD/.

\begin{center}
\begin{tabular}{| r | l |}
  \hline
  \multicolumn{2}{| c |}{
    \rule[-3mm]{0mm}{6mm}
    \verb/setenv/ \verb/TOPOF\_GLAD/ \verb/"/options\verb/"/
    } \\
  \hline
  \hline
  -s     &
  \begin{minipage}[t]{10cm}
    Symbolic, nothing is external.

    It strips all non-symbolic annotations.
  \end{minipage}						\\
  \hline
  -pfile &
  \begin{minipage}[t]{10cm}
    Pretty-prints results into file.

    Mainly for debugging purposes. It dumps a GLAD
    {\em template} including the whole data types in LOTOS
    {\em specification}, with their annotations after applying
    GLAD {\em template}. The data types are flattened, i.e.
    nothing is formal or parametrized, and renamings and
    actualizations are expanded.
  \end{minipage}						\\
  \hline
  -f     &
  \begin{minipage}[t]{10cm}
    Uses flattened results to pretty-print.

    Some of the annotations have similar meanings or they are
    defaults, so GLAD {\em flat}s the whole set of annotations
    reducing it into a simpler one.
  \end{minipage}						\\
  \hline
  -l     &
    Adds source lines to pretty-printing (inside comments).	\\
  \hline
\end{tabular}
\end{center}

There are also some useful GLAD {\em templates} in TOPOSTDLIB directory.

\begin{center}
\begin{tabular}{| r | l |}
  \hline
  \multicolumn{2}{| c |}{
    \rule[-3mm]{0mm}{6mm}
    \verb/toposet/ spec[\verb/.lot/] -glad \verb:\$TOPOSTDLIB/:tplt\verb/.gld/
    } \\
  \hline
  \hline
  internal     &
  \begin{minipage}[t]{10cm}
    Use internal names for operations.

    It is the default.
  \end{minipage}						\\
  \hline
  lexical     &
  \begin{minipage}[t]{10cm}
    Use lexical names for operations.

    Useful for debugging.
  \end{minipage}						\\
  \hline
\end{tabular}
\end{center}

\end{document}
