\begin{xple}
\textbf{interface} TipServer
(* interface for server of the Tycoon Interface Protocol (TIP) *)
\textbf{import} hashTable
\textbf{export}
  \textbf{Let} E = \textbf{Tuple} name :String  value :String \textbf{end}
  
  T $<$: \textbf{Ok}
  (* type of server instance *)

  create(port :Int) :T
  (* instantiate a server object and allocate a network `port' *)

  delete(:T) :\textbf{Ok}
  (* free a server object and deallocate network port *)

  activate(:T) :\textbf{Ok}
  (* activate server object and wait for connections *)
  
  addService(:T  name :String  serv(valTable :hashTable.T(E String)):String) :\textbf{Ok}
  (* add a servicefunction to a serverobject *)

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