]>
Commit | Line | Data |
---|---|---|
fa3a4f15 | 1 | # Extended prompt. |
d01e8234 | 2 | # Copyright (C) 2011-2025 Free Software Foundation, Inc. |
fa3a4f15 PM |
3 | |
4 | # This program is free software; you can redistribute it and/or modify | |
5 | # it under the terms of the GNU General Public License as published by | |
6 | # the Free Software Foundation; either version 3 of the License, or | |
7 | # (at your option) any later version. | |
8 | # | |
9 | # This program is distributed in the hope that it will be useful, | |
10 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | # GNU General Public License for more details. | |
13 | # | |
14 | # You should have received a copy of the GNU General Public License | |
15 | # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
16 | ||
17 | """GDB command for working with extended prompts.""" | |
18 | ||
19 | import gdb | |
20 | import gdb.prompt | |
21 | ||
13123da8 | 22 | |
fa3a4f15 | 23 | class _ExtendedPrompt(gdb.Parameter): |
fa3a4f15 PM |
24 | """Set the extended prompt. |
25 | ||
13123da8 | 26 | Usage: set extended-prompt VALUE |
fa3a4f15 | 27 | |
13123da8 | 28 | Substitutions are applied to VALUE to compute the real prompt. |
fa3a4f15 | 29 | |
2f6b20e2 | 30 | The currently defined substitutions are:""" |
fa3a4f15 | 31 | |
fa3a4f15 PM |
32 | # Add the prompt library's dynamically generated help to the |
33 | # __doc__ string. | |
2f6b20e2 | 34 | __doc__ = __doc__ + "\n" + gdb.prompt.prompt_help() |
fa3a4f15 PM |
35 | |
36 | set_doc = "Set the extended prompt." | |
37 | show_doc = "Show the extended prompt." | |
38 | ||
39 | def __init__(self): | |
13123da8 SM |
40 | super(_ExtendedPrompt, self).__init__( |
41 | "extended-prompt", gdb.COMMAND_SUPPORT, gdb.PARAM_STRING_NOESCAPE | |
42 | ) | |
43 | self.value = "" | |
fa3a4f15 PM |
44 | self.hook_set = False |
45 | ||
13123da8 | 46 | def get_show_string(self, pvalue): |
b6484282 | 47 | if self.value: |
13123da8 | 48 | return "The extended prompt is: " + self.value |
fa3a4f15 | 49 | else: |
13123da8 | 50 | return "The extended prompt is not set." |
fa3a4f15 | 51 | |
13123da8 | 52 | def get_set_string(self): |
1e9983e7 | 53 | if self.hook_set is False: |
13123da8 SM |
54 | gdb.prompt_hook = self.before_prompt_hook |
55 | self.hook_set = True | |
fa3a4f15 PM |
56 | return "" |
57 | ||
58 | def before_prompt_hook(self, current): | |
b6484282 | 59 | if self.value: |
6427bef6 | 60 | return gdb.prompt.substitute_prompt(self.value) |
fa3a4f15 PM |
61 | else: |
62 | return None | |
63 | ||
13123da8 | 64 | |
fa3a4f15 | 65 | _ExtendedPrompt() |