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