DisplayDeviceManager (API documentation of hlt.language packages)
Date: 2013-01-30

hlt.language.design.backend

## Interface DisplayDeviceManager

- All Known Subinterfaces:
    DisplayManager
  All Known Implementing Classes:
    DefaultDisplayDeviceManager, DefaultDisplayManager

      public interface DisplayDeviceManager

  This interface specifies the method signatures for output (print) methods.

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `void` | `close()`
    `void` | `flush()`
    `java.io.PrintStream` | `getOutputStream()`
    `void` | `print(java.lang.String string)`
    `void` | `println()`
    `void` | `println(java.lang.String string)`
    `void` | `setOutputStream(java.io.PrintStream stream)`

- - ### Method Detail

    - #### setOutputStream

          void setOutputStream(java.io.PrintStream stream)

    - #### getOutputStream

          java.io.PrintStream getOutputStream()

    - #### close

          void close()

    - #### print

          void print(java.lang.String string)

    - #### println

          void println(java.lang.String string)

    - #### println

          void println()

    - #### flush

          void flush()
                     throws java.io.IOException

      Throws:
        `java.io.IOException`