Source code for asyncssh.editor

# Copyright (c) 2016-2023 by Ron Frederick <ronf@timeheart.net> and others.
#
# This program and the accompanying materials are made available under
# the terms of the Eclipse Public License v2.0 which accompanies this
# distribution and is available at:
#
#     http://www.eclipse.org/legal/epl-2.0/
#
# This program may also be made available under the following secondary
# licenses when the conditions for such availability set forth in the
# Eclipse Public License v2.0 are satisfied:
#
#    GNU General Public License, Version 2.0, or any later versions of
#    that license
#
# SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-or-later
#
# Contributors:
#     Ron Frederick - initial implementation, API, and documentation

"""Input line editor"""

import re

from functools import partial
from typing import TYPE_CHECKING, Callable, Dict, List
from typing import Optional, Set, Tuple, Union, cast
from unicodedata import east_asian_width

from .session import DataType


if TYPE_CHECKING:
    # pylint: disable=cyclic-import
    from .channel import SSHServerChannel
    from .session import SSHServerSession


_CharDict = Dict[str, object]
_CharHandler = Callable[['SSHLineEditor'], None]
_KeyHandler = Callable[[str, int], Union[bool, Tuple[str, int]]]


_DEFAULT_WIDTH = 80

_ansi_terminals = ('ansi', 'cygwin', 'linux', 'putty', 'screen', 'teraterm',
                   'cit80', 'vt100', 'vt102', 'vt220', 'vt320', 'xterm',
                   'xterm-color', 'xterm-16color', 'xterm-256color', 'rxvt',
                   'rxvt-color')


def _is_wide(ch: str) -> bool:
    """Return display width of character"""

    return east_asian_width(ch) in 'WF'


class SSHLineEditor:
    """Input line editor"""

    def __init__(self, chan: 'SSHServerChannel[str]',
                 session: 'SSHServerSession[str]', line_echo: bool,
                 history_size: int, max_line_length: int, term_type: str,
                 width: int):
        self._chan = chan
        self._session = session
        self._line_echo = line_echo
        self._line_pending = False
        self._history_size = history_size if history_size > 0 else 0
        self._max_line_length = max_line_length
        self._wrap = term_type in _ansi_terminals
        self._width = width or _DEFAULT_WIDTH
        self._line_mode = True
        self._echo = True
        self._start_column = 0
        self._end_column = 0
        self._cursor = 0
        self._left_pos = 0
        self._right_pos = 0
        self._pos = 0
        self._line = ''
        self._bell_rung = False
        self._early_wrap: Set[int] = set()
        self._outbuf: List[str] = []
        self._keymap: _CharDict = {}
        self._key_state = self._keymap
        self._erased = ''
        self._history: List[str] = []
        self._history_index = 0

        for func, keys in self._keylist:
            for key in keys:
                self._add_key(key, func)

        self._build_printable()

    def _add_key(self, key: str, func: _CharHandler) -> None:
        """Add a key to the keymap"""

        keymap = self._keymap

        for ch in key[:-1]:
            if ch not in keymap:
                keymap[ch] = {}

            keymap = cast(_CharDict, keymap[ch])

        keymap[key[-1]] = func

    def _del_key(self, key: str) -> None:
        """Delete a key from the keymap"""

        keymap = self._keymap

        for ch in key[:-1]:
            if ch not in keymap:
                return

            keymap = cast(_CharDict, keymap[ch])

        keymap.pop(key[-1], None)

    def _build_printable(self) -> None:
        """Build a regex of printable ASCII non-registered keys"""

        def _escape(c: int) -> str:
            """Backslash escape special characters in regex character range"""

            ch = chr(c)
            return ('\\' if (ch in '-&|[]\\^~') else '') + ch

        def _is_printable(ch: str) -> bool:
            """Return if character is printable and has no handler"""

            return ch.isprintable() and ch not in keys

        pat: List[str] = []
        keys = self._keymap.keys()
        start = ord(' ')
        limit = 0x10000

        while start < limit:
            while start < limit and not _is_printable(chr(start)):
                start += 1

            end = start

            while _is_printable(chr(end)):
                end += 1

            pat.append(_escape(start))

            if start != end - 1:
                pat.append('-' + _escape(end - 1))

            start = end + 1

        self._printable = re.compile('[' + ''.join(pat) + ']*')

    def _char_width(self, pos: int) -> int:
        """Return width of character at specified position"""

        return 1 + _is_wide(self._line[pos]) + ((pos + 1) in self._early_wrap)

    def _determine_column(self, data: str, column: int,
                          pos: Optional[int] = None) -> Tuple[str, int]:
        """Determine new output column after output occurs"""

        escaped = False
        offset = pos
        last_wrap_pos = pos
        wrapped_data = []

        for ch in data:
            if ch == '\b':
                column -= 1
            elif ch == '\x1b':
                escaped = True
            elif escaped:
                if ch == 'm':
                    escaped = False
            else:
                if _is_wide(ch) and (column % self._width) == self._width - 1:
                    column += 1

                    if pos is not None:
                        assert last_wrap_pos is not None
                        assert offset is not None

                        wrapped_data.append(data[last_wrap_pos - offset:
                                                 pos - offset])
                        last_wrap_pos = pos

                        self._early_wrap.add(pos)
                else:
                    if pos is not None:
                        self._early_wrap.discard(pos)

                column += 1 + _is_wide(ch)

            if pos is not None:
                pos += 1

        if pos is not None:
            assert last_wrap_pos is not None
            assert offset is not None

            wrapped_data.append(data[last_wrap_pos - offset:])
            return ' '.join(wrapped_data), column
        else:
            return data, column

    def _output(self, data: str, pos: Optional[int] = None) -> None:
        """Generate output and calculate new output column"""

        idx = data.rfind('\n')

        if idx >= 0:
            self._outbuf.append(data[:idx+1])
            tail = data[idx+1:]
            self._cursor = 0
        else:
            tail = data

        data, self._cursor = self._determine_column(tail, self._cursor, pos)

        self._outbuf.append(data)

        if self._cursor and self._cursor % self._width == 0:
            self._outbuf.append(' \b')

    def _ring_bell(self) -> None:
        """Ring the terminal bell"""

        if not self._bell_rung:
            self._outbuf.append('\a')
            self._bell_rung = True

    def _update_input_window(self, new_pos: int) -> int:
        """Update visible input window when not wrapping onto multiple lines"""

        line_len = len(self._line)

        if new_pos < self._left_pos:
            self._left_pos = new_pos
        else:
            if new_pos < line_len:
                new_pos += 1

            pos = self._pos
            column = self._cursor

            while pos < new_pos:
                column += self._char_width(pos)
                pos += 1

            if column >= self._width:
                while column >= self._width:
                    column -= self._char_width(self._left_pos)
                    self._left_pos += 1
            else:
                while self._left_pos > 0:
                    column += self._char_width(self._left_pos)

                    if column < self._width:
                        self._left_pos -= 1
                    else:
                        break

        column = self._start_column
        self._right_pos = self._left_pos

        while self._right_pos < line_len:
            ch_width = self._char_width(self._right_pos)

            if column + ch_width < self._width:
                self._right_pos += 1
                column += ch_width
            else:
                break

        return column

    def _move_cursor(self, column: int) -> None:
        """Move the cursor to selected position in input line"""

        start_row = self._cursor // self._width
        start_col = self._cursor % self._width

        end_row = column // self._width
        end_col = column % self._width

        if end_row < start_row:
            self._outbuf.append('\x1b[' + str(start_row-end_row) + 'A')
        elif end_row > start_row:
            self._outbuf.append('\x1b[' + str(end_row-start_row) + 'B')

        if end_col > start_col:
            self._outbuf.append('\x1b[' + str(end_col-start_col) + 'C')
        elif end_col < start_col:
            self._outbuf.append('\x1b[' + str(start_col-end_col) + 'D')

        self._cursor = column

    def _move_back(self, column: int) -> None:
        """Move the cursor backward to selected position in input line"""

        if self._wrap:
            self._move_cursor(column)
        else:
            self._outbuf.append('\b' * (self._cursor - column))
            self._cursor = column

    def _clear_to_end(self) -> None:
        """Clear any remaining characters from previous input line"""

        column = self._cursor
        remaining = self._end_column - column

        if remaining > 0:
            self._outbuf.append(' ' * remaining)
            self._cursor = self._end_column

            if self._cursor % self._width == 0:
                self._outbuf.append(' \b')

        self._move_back(column)
        self._end_column = column

    def _erase_input(self) -> None:
        """Erase current input line"""

        self._move_cursor(self._start_column)
        self._clear_to_end()
        self._early_wrap.clear()

    def _draw_input(self) -> None:
        """Draw current input line"""

        if self._line and self._echo:
            if self._wrap:
                self._output(self._line[:self._pos], 0)
                column = self._cursor
                self._output(self._line[self._pos:], self._pos)
            else:
                self._update_input_window(self._pos)
                self._output(self._line[self._left_pos:self._pos])
                column = self._cursor
                self._output(self._line[self._pos:self._right_pos])

            self._end_column = self._cursor
            self._move_back(column)

    def _reposition(self, new_pos: int, new_column: int) -> None:
        """Reposition the cursor to selected position in input"""

        if self._echo:
            if self._wrap:
                self._move_cursor(new_column)
            else:
                self._update_input(self._pos, self._cursor, new_pos)

        self._pos = new_pos

    def _update_input(self, pos: int, column: int, new_pos: int) -> None:
        """Update selected portion of current input line"""

        if self._echo:
            if self._wrap:
                if pos in self._early_wrap:
                    column -= 1

                self._move_cursor(column)
                prev_wrap = new_pos in self._early_wrap
                self._output(self._line[pos:new_pos], pos)
                column = self._cursor
                self._output(self._line[new_pos:], new_pos)
                column += (new_pos in self._early_wrap) - prev_wrap
            else:
                self._update_input_window(new_pos)
                self._move_back(self._start_column)
                self._output(self._line[self._left_pos:new_pos])
                column = self._cursor
                self._output(self._line[new_pos:self._right_pos])

            self._clear_to_end()
            self._move_back(column)

        self._pos = new_pos

    def _reset_line(self) -> None:
        """Reset input line to empty"""

        self._line = ''
        self._left_pos = 0
        self._right_pos = 0
        self._pos = 0
        self._start_column = self._cursor
        self._end_column = self._cursor

    def _reset_pending(self) -> None:
        """Reset a pending echoed line if any"""

        if self._line_pending:
            self._erase_input()
            self._reset_line()
            self._line_pending = False

    def _insert_printable(self, data: str) -> None:
        """Insert data into the input line"""

        line_len = len(self._line)
        data_len = len(data)

        if self._max_line_length:
            if line_len + data_len > self._max_line_length:
                self._ring_bell()
                data_len = self._max_line_length - line_len
                data = data[:data_len]

        if data:
            pos = self._pos
            new_pos = pos + data_len
            self._line = self._line[:pos] + data + self._line[pos:]

            self._update_input(pos, self._cursor, new_pos)

    def _end_line(self) -> None:
        """End the current input line and send it to the session"""

        line = self._line

        need_wrap = (self._echo and not self._wrap and
                     (self._left_pos > 0 or self._right_pos < len(line)))

        if self._line_echo or need_wrap:
            if need_wrap:
                self._output('\b' * (self._cursor - self._start_column) + line)
            else:
                self._move_to_end()

            self._output('\r\n')
            self._reset_line()
        else:
            self._move_to_end()
            self._line_pending = True

        if self._echo and self._history_size and line:
            self._history.append(line)
            self._history = self._history[-self._history_size:]

        self._history_index = len(self._history)

        self._session.data_received(line + '\n', None)

    def _eof_or_delete(self) -> None:
        """Erase character to the right, or send EOF if input line is empty"""

        if not self._line:
            self._session.soft_eof_received()
        else:
            self._erase_right()

    def _erase_left(self) -> None:
        """Erase character to the left"""

        if self._pos > 0:
            pos = self._pos - 1
            column = self._cursor - self._char_width(pos)
            self._line = self._line[:pos] + self._line[pos+1:]
            self._update_input(pos, column, pos)
        else:
            self._ring_bell()

    def _erase_right(self) -> None:
        """Erase character to the right"""

        if self._pos < len(self._line):
            pos = self._pos
            self._line = self._line[:pos] + self._line[pos+1:]
            self._update_input(pos, self._cursor, pos)
        else:
            self._ring_bell()

    def _erase_line(self) -> None:
        """Erase entire input line"""

        self._erased = self._line
        self._line = ''
        self._update_input(0, self._start_column, 0)

    def _erase_to_end(self) -> None:
        """Erase to end of input line"""

        pos = self._pos
        self._erased = self._line[pos:]
        self._line = self._line[:pos]
        self._update_input(pos, self._cursor, pos)

    def _handle_key(self, key: str, handler: _KeyHandler) -> None:
        """Call an external key handler"""

        result = handler(self._line, self._pos)

        if result is True:
            if key.isprintable():
                self._insert_printable(key)
            else:
                self._ring_bell()
        elif result is False:
            self._ring_bell()
        else:
            line, new_pos = cast(Tuple[str, int], result)

            if new_pos < 0:
                self._session.signal_received(line)
            else:
                self._line = line
                self._update_input(0, self._start_column, new_pos)

    def _history_prev(self) -> None:
        """Replace input with previous line in history"""

        if self._history_index > 0:
            self._history_index -= 1
            self._line = self._history[self._history_index]
            self._update_input(0, self._start_column, len(self._line))
        else:
            self._ring_bell()

    def _history_next(self) -> None:
        """Replace input with next line in history"""

        if self._history_index < len(self._history):
            self._history_index += 1

            if self._history_index < len(self._history):
                self._line = self._history[self._history_index]
            else:
                self._line = ''

            self._update_input(0, self._start_column, len(self._line))
        else:
            self._ring_bell()

    def _move_left(self) -> None:
        """Move left in input line"""

        if self._pos > 0:
            pos = self._pos - 1
            column = self._cursor - self._char_width(pos)
            self._reposition(pos, column)
        else:
            self._ring_bell()

    def _move_right(self) -> None:
        """Move right in input line"""

        if self._pos < len(self._line):
            pos = self._pos
            column = self._cursor + self._char_width(pos)
            self._reposition(pos + 1, column)
        else:
            self._ring_bell()

    def _move_to_start(self) -> None:
        """Move to start of input line"""

        self._reposition(0, self._start_column)

    def _move_to_end(self) -> None:
        """Move to end of input line"""

        self._reposition(len(self._line), self._end_column)

    def _redraw(self) -> None:
        """Redraw input line"""

        self._erase_input()
        self._draw_input()

    def _insert_erased(self) -> None:
        """Insert previously erased input"""

        self._insert_printable(self._erased)

    def _send_break(self) -> None:
        """Send break to session"""

        self._session.break_received(0)

    _keylist = ((_end_line,      ('\n', '\r', '\x1bOM')),
                (_eof_or_delete, ('\x04',)),
                (_erase_left,    ('\x08', '\x7f')),
                (_erase_right,   ('\x1b[3~',)),
                (_erase_line,    ('\x15',)),
                (_erase_to_end,  ('\x0b',)),
                (_history_prev,  ('\x10', '\x1b[A', '\x1bOA')),
                (_history_next,  ('\x0e', '\x1b[B', '\x1bOB')),
                (_move_left,     ('\x02', '\x1b[D', '\x1bOD')),
                (_move_right,    ('\x06', '\x1b[C', '\x1bOC')),
                (_move_to_start, ('\x01', '\x1b[H', '\x1b[1~')),
                (_move_to_end,   ('\x05', '\x1b[F', '\x1b[4~')),
                (_redraw,        ('\x12',)),
                (_insert_erased, ('\x19',)),
                (_send_break,    ('\x03', '\x1b[33~')))

    def register_key(self, key: str, handler: _KeyHandler) -> None:
        """Register a handler to be called when a key is pressed"""

        self._add_key(key, partial(SSHLineEditor._handle_key,
                                   key=key, handler=handler))
        self._build_printable()

    def unregister_key(self, key: str) -> None:
        """Remove the handler associated with a key"""

        self._del_key(key)
        self._build_printable()

    def set_input(self, line: str, pos: int) -> None:
        """Set input line and cursor position"""

        self._reset_pending()

        self._line = line
        self._update_input(0, self._start_column, pos)

    def set_line_mode(self, line_mode: bool) -> None:
        """Enable/disable input line editing"""

        self._reset_pending()

        if self._line and not line_mode:
            data = self._line
            self._erase_input()
            self._line = ''

            self._session.data_received(data, None)

        self._line_mode = line_mode

    def set_echo(self, echo: bool) -> None:
        """Enable/disable echoing of input in line mode"""

        self._reset_pending()

        if self._echo and not echo:
            self._erase_input()
            self._echo = False
        elif echo and not self._echo:
            self._echo = True
            self._draw_input()

    def set_width(self, width: int) -> None:
        """Set terminal line width"""

        self._reset_pending()

        self._width = width or _DEFAULT_WIDTH

        if self._wrap:
            _, self._cursor = self._determine_column(self._line,
                                                     self._start_column, 0)

        self._redraw()

    def process_input(self, data: str, datatype: DataType) -> None:
        """Process input from channel"""

        if self._line_mode:
            data_len = len(data)
            idx = 0

            while idx < data_len:
                self._reset_pending()

                ch = data[idx]
                idx += 1

                if ch in self._key_state:
                    key_state = self._key_state[ch]

                    if callable(key_state):
                        try:
                            cast(_CharHandler, key_state)(self)
                        finally:
                            self._key_state = self._keymap
                    else:
                        self._key_state = cast(_CharDict, key_state)
                elif self._key_state == self._keymap and ch.isprintable():
                    match = self._printable.match(data, idx - 1)

                    assert match is not None
                    match = match[0]

                    if match:
                        self._insert_printable(match)
                        idx += len(match) - 1
                    else:
                        self._insert_printable(ch)
                else:
                    self._key_state = self._keymap
                    self._ring_bell()

            self._bell_rung = False

            if self._outbuf:
                self._chan.write(''.join(self._outbuf))
                self._outbuf.clear()
        else:
            self._session.data_received(data, datatype)

    def process_output(self, data: str) -> None:
        """Process output to channel"""

        if self._line_pending:
            if data.startswith(self._line):
                self._start_column = self._cursor
                data = data[len(self._line):]
            else:
                self._erase_input()

            self._reset_line()
            self._line_pending = False

        data = data.replace('\n', '\r\n')

        self._erase_input()
        self._output(data)

        if not self._wrap:
            self._cursor %= self._width

        self._start_column = self._cursor
        self._end_column = self._cursor
        self._draw_input()

        self._chan.write(''.join(self._outbuf))
        self._outbuf.clear()


[docs] class SSHLineEditorChannel: """Input line editor channel wrapper When creating server channels with `line_editor` set to `True`, this class is wrapped around the channel, providing the caller with the ability to enable and disable input line editing and echoing. .. note:: Line editing is only available when a pseudo-terminal is requested on the server channel and the character encoding on the channel is not set to `None`. """ def __init__(self, orig_chan: 'SSHServerChannel[str]', orig_session: 'SSHServerSession[str]', line_echo: bool, history_size: int, max_line_length: int): self._orig_chan = orig_chan self._orig_session = orig_session self._line_echo = line_echo self._history_size = history_size self._max_line_length = max_line_length self._editor: Optional[SSHLineEditor] = None def __getattr__(self, attr: str): """Delegate most channel functions to original channel""" return getattr(self._orig_chan, attr) def create_editor(self) -> Optional[SSHLineEditor]: """Create input line editor if encoding and terminal type are set""" encoding, _ = self._orig_chan.get_encoding() term_type = self._orig_chan.get_terminal_type() width = self._orig_chan.get_terminal_size()[0] if encoding and term_type: self._editor = SSHLineEditor( self._orig_chan, self._orig_session, self._line_echo, self._history_size, self._max_line_length, term_type, width) return self._editor
[docs] def register_key(self, key: str, handler: _KeyHandler) -> None: """Register a handler to be called when a key is pressed This method registers a handler function which will be called when a user presses the specified key while inputting a line. The handler will be called with arguments of the current input line and cursor position, and updated versions of these two values should be returned as a tuple. The handler can also return a tuple of a signal name and negative cursor position to cause a signal to be delivered on the channel. In this case, the current input line is left unchanged but the signal is delivered before processing any additional input. This can be used to define "hot keys" that trigger actions unrelated to editing the input. If the registered key is printable text, returning `True` will insert that text at the current cursor position, acting as if no handler was registered for that key. This is useful if you want to perform a special action in some cases but not others, such as based on the current cursor position. Returning `False` will ring the bell and leave the input unchanged, indicating the requested action could not be performed. :param key: The key sequence to look for :param handler: The handler function to call when the key is pressed :type key: `str` :type handler: `callable` """ assert self._editor is not None self._editor.register_key(key, handler)
[docs] def unregister_key(self, key: str) -> None: """Remove the handler associated with a key This method removes a handler function associated with the specified key. If the key sequence is printable, this will cause it to return to being inserted at the current position when pressed. Otherwise, it will cause the bell to ring to signal the key is not understood. :param key: The key sequence to look for :type key: `str` """ assert self._editor is not None self._editor.unregister_key(key)
def clear_input(self) -> None: """Clear input line This method clears the current input line. """ assert self._editor is not None self._editor.set_input('', 0) def set_input(self, line: str, pos: int) -> None: """Clear input line This method sets the current input line and cursor position. :param line: The new input line :param pos: The new cursor position within the input line :type line: `str` :type pos: `int` """ assert self._editor is not None self._editor.set_input(line, pos)
[docs] def set_line_mode(self, line_mode: bool) -> None: """Enable/disable input line editing This method enabled or disables input line editing. When set, only full lines of input are sent to the session, and each line of input can be edited before it is sent. :param line_mode: Whether or not to process input a line at a time :type line_mode: `bool` """ self._orig_chan.logger.info('%s line editor', 'Enabling' if line_mode else 'Disabling') assert self._editor is not None self._editor.set_line_mode(line_mode)
[docs] def set_echo(self, echo: bool) -> None: """Enable/disable echoing of input in line mode This method enables or disables echoing of input data when input line editing is enabled. :param echo: Whether or not input to echo input as it is entered :type echo: `bool` """ self._orig_chan.logger.info('%s echo', 'Enabling' if echo else 'Disabling') assert self._editor is not None self._editor.set_echo(echo)
def write(self, data: str, datatype: DataType = None) -> None: """Process data written to the channel""" if self._editor and datatype is None: self._editor.process_output(data) else: self._orig_chan.write(data, datatype)
class SSHLineEditorSession: """Input line editor session wrapper""" def __init__(self, chan: SSHLineEditorChannel, orig_session: 'SSHServerSession[str]'): self._chan = chan self._orig_session = orig_session self._editor: Optional[SSHLineEditor] = None def __getattr__(self, attr: str): """Delegate most channel functions to original session""" return getattr(self._orig_session, attr) def session_started(self) -> None: """Start a session for this newly opened server channel""" self._editor = self._chan.create_editor() self._orig_session.session_started() def terminal_size_changed(self, width: int, height: int, pixwidth: int, pixheight: int) -> None: """The terminal size has changed""" if self._editor: self._editor.set_width(width) self._orig_session.terminal_size_changed(width, height, pixwidth, pixheight) def data_received(self, data: str, datatype: DataType) -> None: """Process data received from the channel""" if self._editor: self._editor.process_input(data, datatype) else: self._orig_session.data_received(data, datatype) def eof_received(self) -> Optional[bool]: """Process EOF received from the channel""" if self._editor: self._editor.set_line_mode(False) return self._orig_session.eof_received()