public inbox for gdb-cvs@sourceware.org help / color / mirror / Atom feed
From: Simon Marchi <simark@sourceware.org> To: gdb-cvs@sourceware.org Subject: [binutils-gdb] gdb/testsuite: add tests for Term Date: Wed, 30 Mar 2022 20:28:11 +0000 (GMT) [thread overview] Message-ID: <20220330202811.2B204388882E@sourceware.org> (raw) https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=e5f7752a046c2a53f9990a0849dbcd51f0e14299 commit e5f7752a046c2a53f9990a0849dbcd51f0e14299 Author: Simon Marchi <simon.marchi@polymtl.ca> Date: Wed Mar 30 13:08:55 2022 -0400 gdb/testsuite: add tests for Term While trying to review Andrew's patch here [1], I thought I spotted a bug in the handling of a CSI, but I had no way to know for sure. So I thought it would be useful to have unit tests for the handling of control characters and control sequences of our toy terminal implementation. It might help avoid chasing bugs in the GDB TUI when in reality it's a problem with the testsuite's terminal implementation. Add the gdb.tui/tuiterm.exp file to do that. All currently supported control sequences and characters are tested, except _csi_m (the one that handles colors and stuff). _csi_m should probably be tested too, but it will require more work. Fix a few issues that the tests spotted: - backspace: according to [3] (table 4-1), a backspace when the cursor is at the beginning of a line should have no effect. Our implementation did wrap to the end of the previous line. Change our implementation to match the doc (and the test). - insert character: this control sequence is supposed to insert blank characters, shifting all the rest of the line right. The current implementation moves N characters right, but it overwrites the characters on the right instead of shifting them. It also doesn't insert blank characters at the cursor. - Cursor down, forward, next line: off-by-one error when reaching the end of the display. - erase in display, line: off-by-one errors. - vertical line position absolute: allowed setting the cursor outside the display, when it should clamp it to the display size. I found that this web page [2] gave some good clues on the expected behavior of some control characters or sequences that some other pages didn't. [1] https://sourceware.org/pipermail/gdb-patches/2022-March/186433.html [2] https://docs.microsoft.com/en-us/windows/console/console-virtual-terminal-sequences [3] https://vt100.net/docs/vt510-rm/chapter4.html#S4.3.3 Change-Id: Iab4141fdcfb7459d1b7c45cc63bd1fcb50a78d5d Diff: --- gdb/testsuite/gdb.tui/tuiterm.exp | 615 ++++++++++++++++++++++++++++++++++++++ gdb/testsuite/lib/tuiterm.exp | 75 +++-- 2 files changed, 665 insertions(+), 25 deletions(-) diff --git a/gdb/testsuite/gdb.tui/tuiterm.exp b/gdb/testsuite/gdb.tui/tuiterm.exp new file mode 100644 index 00000000000..6b1b044535a --- /dev/null +++ b/gdb/testsuite/gdb.tui/tuiterm.exp @@ -0,0 +1,615 @@ +# Copyright 2022 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +# Unit-test Term, the testsuite's terminal implementation that is used to test +# the TUI. + +tuiterm_env + +# Validate the cursor position. +# +# EXPECTED_CUR_COL and EXPECTED_CUR_ROW are the expected cursor column and row +# positions. + +proc check_cursor_position { test expected_cur_col expected_cur_row } { + with_test_prefix $test { + gdb_assert {$expected_cur_col == ${Term::_cur_col}} "column" + gdb_assert {$expected_cur_row == ${Term::_cur_row}} "row" + } +} + +# Validate the terminal contents and cursor position. +# +# EXPECTED_CONTENTS must be a list of strings, one element for each terminal +# line. +# +# EXPECTED_CUR_COL and EXPECTED_CUR_ROW are passed to check_cursor_position. + +proc check { test expected_contents expected_cur_col expected_cur_row } { + with_test_prefix $test { + # Check term contents. + set regexp "^" + + foreach line $expected_contents { + append regexp $line + append regexp "\n" + } + + append regexp "$" + Term::check_contents "contents" $regexp + } + + check_cursor_position $test $expected_cur_col $expected_cur_row +} + +proc setup_terminal { cols rows } { + setenv TERM ansi + Term::_setup $rows $cols +} + +# Most tests are fine with a small terminal. This proc initializes the terminal +# with 8 columns and 4 rows, with the following content: +# +# abcdefgh +# ijklmnop +# qrstuvwx +# yz01234 +# +# The bottom right cell is left blank: trying to write to it using _insert +# would move the cursor past the screen, causing a scroll, but scrolling is +# not implemented at the moment. + +proc setup_small {} { + setup_terminal 8 4 + + Term::_insert "abcdefgh" + Term::_insert "ijklmnop" + Term::_insert "qrstuvwx" + Term::_insert "yz01234" + + check "check after setup" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 7 3 +} + +# Some tests require a larger terminal. This proc initializes the terminal with +# 80 columns and 25 rows, but leaves the content empty. + +proc setup_large {} { + setup_terminal 80 25 +} + +# Each proc below tests a control character or sequence individually. + +proc test_backspace {} { + # Note: the backspace (BS) control character only moves the cursor left, + # it does not delete characters. + + Term::_move_cursor 1 2 + + Term::_ctl_0x08 + check "backspace one" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 2 + + # Cursor should not move if it is already at column 0. + Term::_ctl_0x08 + check "backspace 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 2 +} + +proc test_linefeed { } { + Term::_move_cursor 1 2 + Term::_ctl_0x0a + check "linefeed" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 1 3 +} + +proc test_carriage_return { } { + Term::_move_cursor 1 2 + Term::_ctl_0x0d + check "carriage return 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 2 + + Term::_ctl_0x0d + check "carriage return 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 2 +} + +proc test_insert_characters { } { + Term::_move_cursor 1 2 + + Term::_csi_@ + check "insert characters 1" { + "abcdefgh" + "ijklmnop" + "q rstuvw" + "yz01234 " + } 1 2 + + Term::_csi_@ 20 + check "insert characters 2" { + "abcdefgh" + "ijklmnop" + "q " + "yz01234 " + } 1 2 + + Term::_move_cursor 0 1 + Term::_csi_@ 6 + check "insert characters 3" { + "abcdefgh" + " ij" + "q " + "yz01234 " + } 0 1 +} + +proc test_cursor_up { } { + Term::_move_cursor 2 3 + + Term::_csi_A + check "cursor up 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 2 2 + + Term::_csi_A 2 + check "cursor up 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 2 0 + + Term::_csi_A 1 + check "cursor up 3" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 2 0 +} + +proc test_cursor_down { } { + Term::_move_cursor 1 0 + + Term::_csi_B + check "cursor down 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 1 1 + + Term::_csi_B 2 + check "cursor down 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 1 3 + + Term::_csi_B 1 + check "cursor down 3" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 1 3 +} + +proc test_cursor_forward { } { + Term::_move_cursor 0 1 + + Term::_csi_C + check "cursor forward 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 1 1 + + Term::_csi_C 6 + check "cursor forward 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 7 1 + + Term::_csi_C 1 + check "cursor forward 3" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 7 1 +} + +proc test_cursor_backward { } { + Term::_move_cursor 7 1 + + Term::_csi_D + check "cursor backward 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 6 1 + + Term::_csi_D 6 + check "cursor backward 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 1 + + Term::_csi_D 1 + check "cursor backward 3" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 1 +} + +proc test_cursor_next_line { } { + Term::_move_cursor 2 0 + + Term::_csi_E + check "cursor next line 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 1 + + Term::_move_cursor 2 1 + Term::_csi_E 2 + check "cursor next line 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 3 + + Term::_move_cursor 2 3 + Term::_csi_E 1 + check "cursor next line 3" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 3 +} + +proc test_cursor_previous_line { } { + Term::_move_cursor 2 3 + + Term::_csi_F + check "cursor previous line 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 2 + + Term::_move_cursor 2 2 + Term::_csi_F 2 + check "cursor previous line 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 0 + + Term::_move_cursor 2 0 + Term::_csi_F 1 + check "cursor previous line 3" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 0 +} + +proc test_horizontal_absolute { } { + Term::_move_cursor 2 2 + Term::_csi_G + check "cursor horizontal absolute 1" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 0 2 + + Term::_move_cursor 2 2 + Term::_csi_G 4 + check "cursor horizontal absolute 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 3 2 +} + +proc test_cursor_position { } { + Term::_move_cursor 1 1 + + Term::_csi_H 3 5 + check "cursor horizontal absolute 2" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 4 2 +} + +proc test_cursor_horizontal_forward_tabulation { } { + Term::_move_cursor 5 2 + Term::_csi_I + check_cursor_position "default param" 8 2 + + Term::_csi_I 2 + check_cursor_position "explicit param" 24 2 + + Term::_move_cursor 77 2 + Term::_csi_I 5 + check_cursor_position "try to go past the end" 79 2 +} + +proc test_erase_in_display { } { + Term::_move_cursor 5 2 + Term::_csi_J + check "erase in display, cursor to end with default param" { + "abcdefgh" + "ijklmnop" + "qrstu " + " " + } 5 2 + + Term::_move_cursor 3 2 + Term::_csi_J 0 + check "erase in display, cursor to end with explicit param" { + "abcdefgh" + "ijklmnop" + "qrs " + " " + } 3 2 + + Term::_move_cursor 2 1 + Term::_csi_J 1 + check "erase in display, beginning to cursor" { + " " + " lmnop" + "qrs " + " " + } 2 1 + + Term::_move_cursor 5 1 + Term::_csi_J 2 + check "erase in display, entire display" { + " " + " " + " " + " " + } 5 1 +} + +proc test_erase_in_line { } { + Term::_move_cursor 5 2 + Term::_csi_K + check "erase in line, cursor to end with default param" { + "abcdefgh" + "ijklmnop" + "qrstu " + "yz01234 " + } 5 2 + + Term::_move_cursor 3 2 + Term::_csi_K 0 + check "erase in line, cursor to end with explicit param" { + "abcdefgh" + "ijklmnop" + "qrs " + "yz01234 " + } 3 2 + + Term::_move_cursor 3 1 + Term::_csi_K 1 + check "erase in line, beginning to cursor" { + "abcdefgh" + " mnop" + "qrs " + "yz01234 " + } 3 1 + + Term::_move_cursor 3 0 + Term::_csi_K 2 + check "erase in line, entire line" { + " " + " mnop" + "qrs " + "yz01234 " + } 3 0 +} + +proc test_delete_line { } { + Term::_move_cursor 3 2 + Term::_csi_M + check "delete line, default param" { + "abcdefgh" + "ijklmnop" + "yz01234 " + " " + } 3 2 + + Term::_move_cursor 3 0 + Term::_csi_M 2 + check "delete line, explicit param" { + "yz01234 " + " " + " " + " " + } 3 0 +} + +proc test_erase_character { } { + Term::_move_cursor 3 2 + Term::_csi_X + check "erase character, default param" { + "abcdefgh" + "ijklmnop" + "qrs uvwx" + "yz01234 " + } 3 2 + + Term::_move_cursor 1 3 + Term::_csi_X 4 + check "erase character, explicit param" { + "abcdefgh" + "ijklmnop" + "qrs uvwx" + "y 34 " + } 1 3 +} + +proc test_cursor_backward_tabulation { } { + Term::_move_cursor 77 2 + Term::_csi_Z + check_cursor_position "default param" 72 2 + + Term::_csi_Z 2 + check_cursor_position "explicit param" 56 2 + + Term::_move_cursor 6 2 + Term::_csi_Z 12 + check_cursor_position "try to go past the beginning" 0 2 +} + +proc test_repeat { } { + Term::_move_cursor 2 1 + set Term::_last_char X + + Term::_csi_b 3 + check "repeat" { + "abcdefgh" + "ijXXXnop" + "qrstuvwx" + "yz01234 " + } 5 1 +} + +proc test_vertical_line_position_absolute { } { + Term::_move_cursor 2 1 + + Term::_csi_d + check "default param" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 2 0 + + Term::_csi_d 3 + check "explicit param" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 2 2 + + Term::_csi_d 100 + check "try to move off-display" { + "abcdefgh" + "ijklmnop" + "qrstuvwx" + "yz01234 " + } 2 3 +} + +# Run proc TEST_PROC_NAME with a "small" terminal. + +proc run_one_test_small { test_proc_name } { + save_vars { env(TERM) stty_init } { + setup_small + eval $test_proc_name + } +} + +# Run proc TEST_PROC_NAME with a "large" terminal. + +proc run_one_test_large { test_proc_name } { + save_vars { env(TERM) stty_init } { + setup_large + eval $test_proc_name + } +} + +foreach_with_prefix test { + test_backspace + test_linefeed + test_carriage_return + test_insert_characters + test_cursor_up + test_cursor_down + test_cursor_forward + test_cursor_backward + test_cursor_next_line + test_cursor_previous_line + test_horizontal_absolute + test_cursor_position + test_erase_in_display + test_erase_in_line + test_delete_line + test_erase_character + test_repeat + test_vertical_line_position_absolute +} { + run_one_test_small $test +} + +foreach_with_prefix test { + test_cursor_horizontal_forward_tabulation + test_cursor_backward_tabulation +} { + run_one_test_large $test +} diff --git a/gdb/testsuite/lib/tuiterm.exp b/gdb/testsuite/lib/tuiterm.exp index 38948015e96..7696fea4c7e 100644 --- a/gdb/testsuite/lib/tuiterm.exp +++ b/gdb/testsuite/lib/tuiterm.exp @@ -88,16 +88,8 @@ namespace eval Term { _log_cur "Backspace" { variable _cur_col - incr _cur_col -1 - if {$_cur_col < 0} { - variable _cur_row - variable _cols - - set _cur_col [expr {$_cols - 1}] - incr _cur_row -1 - if {$_cur_row < 0} { - set _cur_row 0 - } + if {$_cur_col > 0} { + incr _cur_col -1 } } } @@ -133,15 +125,18 @@ namespace eval Term { _log_cur "Insert Character ($n)" { variable _cur_col variable _cur_row + variable _cols variable _chars - set in_x $_cur_col - set out_x [expr {$_cur_col + $n}] - for {set i 0} {$i < $n} {incr i} { - set _chars($out_x,$_cur_row) $_chars($in_x,$_cur_row) - incr in_x - incr out_x + # Move characters right of the cursor right by N positions, + # starting with the rightmost one. + for {set in_col [expr $_cols - $n - 1]} {$in_col >= $_cur_col} {incr in_col -1} { + set out_col [expr $in_col + $n] + set _chars($out_col,$_cur_row) $_chars($in_col,$_cur_row) } + + # Write N blank spaces starting from the cursor. + _clear_in_line $_cur_col [expr $_cur_col + $n] $_cur_row } } @@ -168,7 +163,7 @@ namespace eval Term { variable _cur_row variable _rows - set _cur_row [expr {min ($_cur_row + $arg, $_rows)}] + set _cur_row [expr {min ($_cur_row + $arg, $_rows - 1)}] } } @@ -182,7 +177,7 @@ namespace eval Term { variable _cur_col variable _cols - set _cur_col [expr {min ($_cur_col + $arg, $_cols)}] + set _cur_col [expr {min ($_cur_col + $arg, $_cols - 1)}] } } @@ -211,7 +206,7 @@ namespace eval Term { variable _rows set _cur_col 0 - set _cur_row [expr {min ($_cur_row + $arg, $_rows)}] + set _cur_row [expr {min ($_cur_row + $arg, $_rows - 1)}] } } @@ -291,12 +286,15 @@ namespace eval Term { variable _cols if {$arg == 0} { + # Cursor (inclusive) to end of display. _clear_in_line $_cur_col $_cols $_cur_row _clear_lines [expr {$_cur_row + 1}] $_rows } elseif {$arg == 1} { - _clear_lines 0 [expr {$_cur_row - 1}] - _clear_in_line 0 $_cur_col $_cur_row + # Beginning of display to cursor (inclusive). + _clear_lines 0 $_cur_row + _clear_in_line 0 [expr $_cur_col + 1] $_cur_row } elseif {$arg == 2} { + # Entire display. _clear_lines 0 $_rows } } @@ -314,11 +312,13 @@ namespace eval Term { variable _cols if {$arg == 0} { - # From cursor to end. + # Cursor (inclusive) to end of line. _clear_in_line $_cur_col $_cols $_cur_row } elseif {$arg == 1} { - _clear_in_line 0 $_cur_col $_cur_row + # Beginning of line to cursor (inclusive). + _clear_in_line 0 [expr $_cur_col + 1] $_cur_row } elseif {$arg == 2} { + # Entire line. _clear_in_line 0 $_cols $_cur_row } } @@ -405,8 +405,9 @@ namespace eval Term { _log_cur "Vertical Line Position Absolute ($row)" { variable _cur_row + variable _rows - set _cur_row [expr {$row - 1}] + set _cur_row [expr min ($row - 1, $_rows - 1)] } } @@ -492,6 +493,26 @@ namespace eval Term { } } + # Move the cursor to the (0-based) COL and ROW positions. + proc _move_cursor { col row } { + variable _cols + variable _rows + variable _cur_col + variable _cur_row + + if { $col < 0 || $col >= $_cols } { + error "_move_cursor: invalid col value: $col" + } + + if { $row < 0 || $row >= $_rows } { + error "_move_cursor: invalid row value: $row" + } + + + set _cur_col $col + set _cur_row $row + } + # Initialize. proc _setup {rows cols} { global stty_init @@ -833,7 +854,11 @@ namespace eval Term { proc dump_screen {} { variable _rows variable _cols - verbose -log "Screen Dump ($_cols x $_rows):" + variable _cur_row + variable _cur_col + + verbose -log "Screen Dump (size $_cols columns x $_rows rows, cursor at column $_cur_col, row $_cur_row):" + for {set y 0} {$y < $_rows} {incr y} { set fmt [format %5d $y] verbose -log "$fmt [get_line $y]"
reply other threads:[~2022-03-30 20:28 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20220330202811.2B204388882E@sourceware.org \ --to=simark@sourceware.org \ --cc=gdb-cvs@sourceware.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).