\begin{xple}
\textbf{interface} QueryHTML
(* interface for a modul to convert tl sources to html *)
\textbf{import} :Source
\textbf{export}
        queryFile(path :String  scriptName :String) :String
        (* convert program description at path `path' to html 
           `scriptName' is the name of the gateway to place in links *)
        
        queryPos(pos :Source.Position  scriptName :String) :String
        (* create reference overview page of posisition `pos'
           `scriptName' is the name of the gateway to place in links *)

\textbf{end};
\end{xple}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "quas"
%%% End: 
