`DisplayDeviceManager.java`

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

Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Tue Jan 21 08:07:47 2014 by hak

    package hlt.osf.io;

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

This class defines print methods (on the standard output). This may be used as a default display device manager which may be redefined in a subclass for another output device (e.g., GUI display).

    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 Tue Jan 21 09:56:10 CET 2014 from file `DisplayDeviceManager.java`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci