// FILE. . . . . /home/hak/hlt/src/hlt/osfv3/io/DisplayDeviceManager.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Mon Sep 02 15:36:25 2013

package hlt.osf.io;

import java.io.PrintStream;
import java.io.IOException;

public class DisplayDeviceManager
{
  private PrintStream _stream = System.out;

  public final void setOutputStream (PrintStream stream)
    {
      _stream = stream;
    }

  public final PrintStream getOutputStream ()
    {
      return _stream;
    }

  public void println ()
    {
      _stream.println();
    }
    
  public void print (String string)
    {
      _stream.print(string);
    }
    
  public void println (String string)
    {
      _stream.println(string);
    }

  public void close ()
    {
      _stream.close();
    }

  public void flush () throws IOException
    {
      _stream.flush();
    }

}

This file was generated on Mon Sep 09 09:18:00 PDT 2019 from file DisplayDeviceManager.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci