jline
public class WindowsTerminal extends Terminal
Terminal implementation for Microsoft Windows. Terminal initialization in WindowsTerminal is accomplished by extracting the jline_version.dll, saving it to the system temporary directoy (determined by the setting of the java.io.tmpdir System property), loading the library, and then calling the Win32 APIs SetConsoleMode and GetConsoleMode to disable character echoing.
By default, the WindowsTerminal method will attempt to test to see if
the specified InputStream is System#in or a wrapper around
FileDescriptor#in, and if so, will bypass the character reading to
directly invoke the readc() method in the JNI library. This is so the class
can read special keys (like arrow keys) which are otherwise inaccessible via
the System#in stream. Using JNI reading can be bypassed by setting
the jline.WindowsTerminal.disableDirectConsole
system property
to true
.
Field Summary | |
---|---|
static int | DELETE_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates that
the delete key was pressed. |
static int | DOWN_ARROW_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates an
down arrow key press. |
static char | END_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates that
the end key was pressed. |
static char | ESCAPE_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR,
this character indicates that the escape key was pressed. |
static int | HOME_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates that
the home key was pressed. |
static char | INSERT_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates that
the insert key was pressed. |
static int | LEFT_ARROW_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR,
this character indicates an left arrow key press. |
static int | NUMPAD_KEY_INDICATOR
On windows terminals, this character indicates that a special key on the
number pad has been pressed. |
static char | PAGE_DOWN_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates that
the page down key was pressed. |
static char | PAGE_UP_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates that
the page up key was pressed. |
static int | RIGHT_ARROW_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates an
right arrow key press. |
static int | SPECIAL_KEY_INDICATOR
On windows terminals, this character indicates that a 'special' key has
been pressed. |
static int | UP_ARROW_KEY
When following the SPECIAL_KEY_INDICATOR or NUMPAD_KEY_INDICATOR
this character indicates an up
arrow key press. |
Constructor Summary | |
---|---|
WindowsTerminal() |
Method Summary | |
---|---|
void | disableEcho() |
void | enableEcho() |
InputStream | getDefaultBindings() |
Boolean | getDirectConsole()
Whether or not to allow the use of the JNI console interaction. |
boolean | getEcho() |
int | getTerminalHeight()
Unsupported; return the default.
|
int | getTerminalWidth()
Unsupported; return the default.
|
void | initializeTerminal() |
boolean | isANSISupported()
Windows doesn't support ANSI codes by default; disable them. |
boolean | isEchoEnabled() |
boolean | isSupported() |
int | readCharacter(InputStream in) |
int | readVirtualKey(InputStream in) |
void | setDirectConsole(Boolean directConsole)
Whether or not to allow the use of the JNI console interaction. |
See Also: Terminal
See Also: Terminal