io.permazen.cli.telnet

Class TelnetConsole.TelnetTerminal

java.lang.Object

io.permazen.cli.telnet.TelnetConsole.ForwardingTerminal

io.permazen.cli.telnet.TelnetConsole.TelnetTerminal

All Implemented Interfaces:

jline.Terminal

Enclosing class:

TelnetConsole

public static class TelnetConsole.TelnetTerminal
extends TelnetConsole.ForwardingTerminal

JLine Terminal that gets window size information from an associated nvt4j Terminal.

Field Summary

Fields inherited from class io.permazen.cli.telnet.TelnetConsole.ForwardingTerminal

terminal

Constructor Summary

Constructors

Constructor and Description
TelnetTerminal(jline.Terminal terminal, Terminal nvt)

Method Summary

Modifier and Type	Method and Description
int	getHeight()
int	getWidth()

Methods inherited from class io.permazen.cli.telnet.TelnetConsole.ForwardingTerminal

disableInterruptCharacter, enableInterruptCharacter, getOutputEncoding, hasWeirdWrap, init, isAnsiSupported, isEchoEnabled, isSupported, reset, restore, setEchoEnabled, wrapInIfNeeded, wrapOutIfNeeded

Methods inherited from class java.lang.Object

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

Constructor Detail

TelnetTerminal

public TelnetTerminal(jline.Terminal terminal,
                      Terminal nvt)

Method Detail

getWidth

public int getWidth()

Specified by:

getWidth in interface jline.Terminal

Overrides:

getWidth in class TelnetConsole.ForwardingTerminal

getHeight

public int getHeight()

Specified by:

getHeight in interface jline.Terminal

Overrides:

getHeight in class TelnetConsole.ForwardingTerminal