//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\
// PLEASE DO NOT EDIT WITHOUT THE EXPLICIT CONSENT OF THE AUTHOR! \\
//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\

package ilog.language.design.backend;

/**
 * @version     Last modified on Wed Nov 06 15:58:05 2002 by hak
 * @version          modified on Fri Oct 11 16:11:11 2002 by paulin
 * @version          modified on Thu Jul 25 16:31:49 2002 by pviry
 * @author      <a href="mailto:hak@ilog.fr">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; 2002 <a href="http://www.ilog.fr/">ILOG, S.A.</a>
 */

import ilog.language.design.types.Type;
import java.io.PrintStream;
import java.io.IOException;

/**
 * This interface specifies the method signatures for output (print)
 * methods.
 */
public interface DisplayDeviceManager
{
  public void setOutputStream (PrintStream stream);
  public PrintStream getOutputStream ();
  public void close ();

  public void print (String string);
  public void println (String string);
  public void println ();

  public void flush () throws IOException;
}