gdb/testsuite/gdb.ada/complete.exp

   1 # Copyright 2005-2020 Free Software Foundation, Inc.
   2 #
   3 # This program is free software; you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation; either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 load_lib "ada.exp"
  17
  18 standard_ada_testfile foo
  19
  20 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } {
  21   return -1
  22 }
  23
  24 clean_restart ${testfile}
  25
  26 set bp_location [gdb_get_line_number "START" ${testdir}/foo.adb]
  27 runto "foo.adb:$bp_location"
  28
  29 set eol "\[\r\n\]*"
  30
  31 # A convenience function that verifies that the "complete EXPR" command
  32 # returns the EXPECTED_OUTPUT.
  33
  34 proc test_gdb_complete { expr expected_output } {
  35     gdb_test "complete p $expr" \
  36              "$expected_output"
  37 }
  38
  39 # A convenience function that verifies that the "complete EXPR" command
  40 # does not generate any output.
  41
  42 proc test_gdb_no_completion { expr } {
  43     gdb_test_no_output "complete p $expr"
  44 }
  45
  46 # Try a global variable, only one match should be found:
  47
  48 test_gdb_complete "my_glob" \
  49                   "p my_global_variable"
  50
  51 # A global variable, inside a nested package:
  52
  53 test_gdb_complete "insi" \
  54                   "p inside_variable"
  55
  56 # A global variable inside a nested package, but only giving part of
  57 # the fully qualified name (top level package name missing):
  58
  59 test_gdb_no_completion "inner.insi"
  60
  61 # An incomplete nested package name, were lies a single symbol:
  62 test_gdb_complete "pck.inne" \
  63                   "p pck.inner.inside_variable"
  64
  65 # A fully qualified symbol name, mangled...
  66 test_gdb_complete "pck__inner__ins" \
  67                   "p pck__inner__inside_variable"
  68
  69 # A fully qualified symbol name...
  70 test_gdb_complete "pck.inner.ins" \
  71                   "p pck.inner.inside_variable"
  72
  73 # Make sure that "inside" is not returned as a possible completion
  74 # for "side"...
  75 test_gdb_no_completion "side"
  76
  77 # Verify that "Exported_Capitalized" is not returned as a match for
  78 # "exported", since its symbol name contains capital letters.
  79 test_gdb_no_completion "exported"
  80
  81 # check the "<...>" notation.
  82 test_gdb_complete "<Exported" \
  83                   "p <Exported_Capitalized>"
  84
  85 # While at it, make sure we can print the symbol too, using the '<'
  86 # notation.
  87 gdb_test "p <Exported_Capitalized>" " = 2"
  88
  89 # Confirm that we can't print the symbol without the '<' notation.
  90 gdb_test "p Exported_Capitalized" \
  91     "No definition of \"exported_capitalized\" in current context."
  92 gdb_test "p exported_capitalized" \
  93     "No definition of \"exported_capitalized\" in current context."
  94
  95 # A global symbol, created by the binder, that starts with __gnat...
  96 test_gdb_complete "__gnat_ada_main_progra" \
  97                   "p __gnat_ada_main_program_name"
  98
  99 # A global symbol, created by the binder, that starts with __gnat,
 100 # and using the '<' notation.
 101 test_gdb_complete "<__gnat_ada_main_prog" \
 102                   "p <__gnat_ada_main_program_name>"
 103
 104 # A local variable
 105 test_gdb_complete "some" \
 106                   "p some_local_variable"
 107
 108 # A local variable variable, but in a different procedure. No match
 109 # should be returned.
 110 test_gdb_no_completion "not_in_sco"
 111
 112 # A fully qualified variable name that doesn't exist...
 113 test_gdb_no_completion "pck.ins"
 114
 115 # A fully qualified variable name that does exist...
 116 test_gdb_complete "pck.my" \
 117                   "p pck.my_global_variable"
 118
 119 # A fully qualified package name
 120 test_gdb_complete "pck.inne" \
 121                   "p pck.inner.inside_variable"
 122
 123 # A fully qualified package name, with a dot at the end
 124 test_gdb_complete "pck.inner." \
 125                   "p pck.inner.inside_variable"
 126
 127 # Two matches, from the global scope:
 128 test_gdb_complete "local_ident" \
 129                   [multi_line "p local_identical_one" \
 130                               "p local_identical_two" ]
 131
 132 # Two matches, from the global scope, but using fully qualified names:
 133 test_gdb_complete "pck.local_ident" \
 134                   [multi_line "p pck.local_identical_one" \
 135                               "p pck.local_identical_two" ]
 136
 137 # Two matches, from the global scope, but using mangled fully qualified
 138 # names:
 139 test_gdb_complete "pck__local_ident" \
 140                   [multi_line "p pck__local_identical_one" \
 141                               "p pck__local_identical_two" ]
 142
 143 # Two matches, one from the global scope, the other from the local scope:
 144 test_gdb_complete "external_ident" \
 145                   [multi_line "p external_identical_one" \
 146                               "p external_identical_two" ]
 147
 148 # Complete on the name of package.
 149 test_gdb_complete "pck" \
 150                   [multi_line "(p pck\\.ad\[sb\])?" \
 151                               "(p pck\\.ad\[sb\])?" \
 152                               "p pck.ambiguous_func" \
 153                               "p pck.external_identical_one" \
 154                               "p pck.inner.inside_variable" \
 155                               "p pck.local_identical_one" \
 156                               "p pck.local_identical_two" \
 157                               "p pck.my_global_variable" \
 158                               "p pck.proc" ]
 159
 160 # Complete on the name of a package followed by a dot:
 161 test_gdb_complete "pck." \
 162                   [multi_line "(p pck\\.ad\[sb\])?" \
 163                               "(p pck\\.ad\[sb\])?" \
 164                               "p pck.ambiguous_func" \
 165                               "p pck.external_identical_one" \
 166                               "p pck.inner.inside_variable" \
 167                               "p pck.local_identical_one" \
 168                               "p pck.local_identical_two" \
 169                               "p pck.my_global_variable" \
 170                               "p pck.proc" ]
 171
 172 # Complete a mangled symbol name, but using the '<...>' notation.
 173 test_gdb_complete "<pck__my" \
 174                   "p <pck__my_global_variable>"
 175
 176 # Very simple completion, but using the interactive form, this time.
 177 # The verification we are trying to make involves the event loop,
 178 # and using the "complete" command is not sufficient to reproduce
 179 # the original problem.
 180
 181 if { [readline_is_used] } {
 182     set test "interactive complete 'print some'"
 183     send_gdb "print some\t"
 184     gdb_test_multiple "" "$test" {
 185         -re "^print some_local_variable $" {
 186             send_gdb "\n"
 187             gdb_test_multiple "" "$test" {
 188                 -re " = 1$eol$gdb_prompt $" {
 189                     pass "$test"
 190                 }
 191             }
 192         }
 193     }
 194 }
 195
 196 # Usually, parsing a function name that is ambiguous yields a menu through
 197 # which users can select a specific function.  This should not happen during
 198 # completion, though.
 199 test_gdb_complete "ambig" \
 200                   [multi_line "p ambiguous_func" \
 201                               "p ambiguous_proc" ]
 202 test_gdb_complete "ambiguous_f" \
 203                   "p ambiguous_func"
 204 test_gdb_complete "ambiguous_func" \
 205                   "p ambiguous_func"
 206
 207 # Perform a test intented to verify the behavior where the number
 208 # of possible completions is very large.  The goal is not to verify
 209 # precisely the list returned by the complete command (this depends
 210 # on too many parameters -- targets, compiler version, runtime, etc).
 211 # However, we want to sanity-check each one of them, knowing that
 212 # each result should start with "break ada" and that the proposed
 213 # completion should look like a valid symbol name (in particular,
 214 # no uppercase letters...).  See gdb/22670.  File names are OK as
 215 # well, which is why "/" and "-" appear in the regexp.
 216
 217 gdb_test_no_output "set max-completions unlimited"
 218
 219 set test "complete break ada"
 220 gdb_test_multiple "$test" $test {
 221     -re "^$test$eol\(break ada\[-a-z0-9._@/\]*$eol\)+$gdb_prompt $" {
 222         pass $test
 223     }
 224     -re "\[A-Z\].*$gdb_prompt $" {
 225         fail "$test (gdb/22670)"
 226     }
 227 }