DisplayDeviceManager (API documentation of hlt.language packages)

```
public class DisplayDeviceManager
extends java.lang.Object
```
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).

Constructors
Constructor and Description
`DisplayDeviceManager()`

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)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public final void setOutputStream(java.io.PrintStream stream)

public final java.io.PrintStream getOutputStream()

public void print(java.lang.String string)

public void println(java.lang.String string)

public void flush()
           throws java.io.IOException

Class DisplayDeviceManager