]>
Commit | Line | Data |
---|---|---|
fa3a4f15 | 1 | # Extended prompt. |
1d506c26 | 2 | # Copyright (C) 2011-2024 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 PM |
23 | class _ExtendedPrompt(gdb.Parameter): |
24 | ||
25 | """Set the extended prompt. | |
26 | ||
13123da8 | 27 | Usage: set extended-prompt VALUE |
fa3a4f15 | 28 | |
13123da8 | 29 | Substitutions are applied to VALUE to compute the real prompt. |
fa3a4f15 | 30 | |
2f6b20e2 | 31 | The currently defined substitutions are:""" |
fa3a4f15 | 32 | |
fa3a4f15 PM |
33 | # Add the prompt library's dynamically generated help to the |
34 | # __doc__ string. | |
2f6b20e2 | 35 | __doc__ = __doc__ + "\n" + gdb.prompt.prompt_help() |
fa3a4f15 PM |
36 | |
37 | set_doc = "Set the extended prompt." | |
38 | show_doc = "Show the extended prompt." | |
39 | ||
40 | def __init__(self): | |
13123da8 SM |
41 | super(_ExtendedPrompt, self).__init__( |
42 | "extended-prompt", gdb.COMMAND_SUPPORT, gdb.PARAM_STRING_NOESCAPE | |
43 | ) | |
44 | self.value = "" | |
fa3a4f15 PM |
45 | self.hook_set = False |
46 | ||
13123da8 | 47 | def get_show_string(self, pvalue): |
b6484282 | 48 | if self.value: |
13123da8 | 49 | return "The extended prompt is: " + self.value |
fa3a4f15 | 50 | else: |
13123da8 | 51 | return "The extended prompt is not set." |
fa3a4f15 | 52 | |
13123da8 | 53 | def get_set_string(self): |
1e9983e7 | 54 | if self.hook_set is False: |
13123da8 SM |
55 | gdb.prompt_hook = self.before_prompt_hook |
56 | self.hook_set = True | |
fa3a4f15 PM |
57 | return "" |
58 | ||
59 | def before_prompt_hook(self, current): | |
b6484282 | 60 | if self.value: |
6427bef6 | 61 | return gdb.prompt.substitute_prompt(self.value) |
fa3a4f15 PM |
62 | else: |
63 | return None | |
64 | ||
13123da8 | 65 | |
fa3a4f15 | 66 | _ExtendedPrompt() |