scala.tools.jline

Class TerminalSupport

java.lang.Object

scala.tools.jline.TerminalSupport

All Implemented Interfaces:

Terminal

Direct Known Subclasses:

UnixTerminal, UnsupportedTerminal, WindowsTerminal

public abstract class TerminalSupport
extends java.lang.Object
implements Terminal

Provides support for Terminal instances.

Since:

2.0

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_HEIGHT
static int	DEFAULT_WIDTH

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TerminalSupport(boolean supported)

Method Summary

Methods

Modifier and Type	Method and Description
int	getHeight()
java.lang.String	getOutputEncoding()
int	getWidth()
boolean	hasWeirdWrap() Defaults to true which was the behaviour before this method was added.
void	init()
boolean	isAnsiSupported()
boolean	isEchoEnabled()
boolean	isSupported()
void	reset()
void	restore()
protected void	setAnsiSupported(boolean supported)
void	setEchoEnabled(boolean enabled)
java.io.InputStream	wrapInIfNeeded(java.io.InputStream in) When using native support, return the InputStream to use for reading characters else return the input stream passed as a parameter.
java.io.OutputStream	wrapOutIfNeeded(java.io.OutputStream out) Subclass to change behavior if needed.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_WIDTH

public static final int DEFAULT_WIDTH

See Also:

Constant Field Values

DEFAULT_HEIGHT

public static final int DEFAULT_HEIGHT

See Also:

Constant Field Values

Constructor Detail

TerminalSupport

protected TerminalSupport(boolean supported)

Method Detail

init

public void init()
          throws java.lang.Exception

Specified by:

init in interface Terminal

Throws:

java.lang.Exception

restore

public void restore()
             throws java.lang.Exception

Specified by:

restore in interface Terminal

Throws:

java.lang.Exception

reset

public void reset()
           throws java.lang.Exception

Specified by:

reset in interface Terminal

Throws:

java.lang.Exception

isSupported

public final boolean isSupported()

Specified by:

isSupported in interface Terminal

isAnsiSupported

public boolean isAnsiSupported()

Specified by:

isAnsiSupported in interface Terminal

setAnsiSupported

protected void setAnsiSupported(boolean supported)

wrapOutIfNeeded

public java.io.OutputStream wrapOutIfNeeded(java.io.OutputStream out)

Subclass to change behavior if needed.

Specified by:

wrapOutIfNeeded in interface Terminal

Returns:

the passed out

hasWeirdWrap

public boolean hasWeirdWrap()

Defaults to true which was the behaviour before this method was added.

Specified by:

hasWeirdWrap in interface Terminal

getWidth

public int getWidth()

Specified by:

getWidth in interface Terminal

getHeight

public int getHeight()

Specified by:

getHeight in interface Terminal

isEchoEnabled

public boolean isEchoEnabled()

Specified by:

isEchoEnabled in interface Terminal

setEchoEnabled

public void setEchoEnabled(boolean enabled)

Specified by:

setEchoEnabled in interface Terminal

wrapInIfNeeded

public java.io.InputStream wrapInIfNeeded(java.io.InputStream in)
                                   throws java.io.IOException

Description copied from interface: Terminal

When using native support, return the InputStream to use for reading characters else return the input stream passed as a parameter.

Specified by:

wrapInIfNeeded in interface Terminal

Throws:

java.io.IOException

getOutputEncoding

public java.lang.String getOutputEncoding()

Specified by:

getOutputEncoding in interface Terminal