DisplayDeviceManager.html

`DisplayDeviceManager.java`

    // FILE. . . . . /home/hak/hlt/src/hlt/osf/io/DisplayDeviceManager.java
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . Hp-Dv7
    // STARTED ON. . Tue Nov 06 00:37:28 2012

Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Tue Nov 06 00:37:44 2012 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 Wed Jan 30 13:26:29 CET 2013 from file `DisplayDeviceManager.java`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci