Cast the log10 argument to double to disambiguate it
[deliverable/binutils-gdb.git] / gdb / thread-fsm.h
CommitLineData
243a9253 1/* Thread command's finish-state machine, for GDB, the GNU debugger.
42a4f53d 2 Copyright (C) 2015-2019 Free Software Foundation, Inc.
243a9253
PA
3
4 This file is part of GDB.
5
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18
19#ifndef THREAD_FSM_H
20#define THREAD_FSM_H
21
22#include "mi/mi-common.h" /* For enum async_reply_reason. */
23
24struct return_value_info;
25struct thread_fsm_ops;
26
27/* A thread finite-state machine structure contains the necessary info
28 and callbacks to manage the state machine protocol of a thread's
29 execution command. */
30
31struct thread_fsm
32{
46e3ed7f
TT
33 explicit thread_fsm (struct interp *cmd_interp)
34 : command_interp (cmd_interp)
35 {
36 }
243a9253 37
243a9253
PA
38 /* The destructor. This should simply free heap allocated data
39 structures. Cleaning up target resources (like, e.g.,
40 breakpoints) should be done in the clean_up method. */
46e3ed7f
TT
41 virtual ~thread_fsm () = default;
42
43 DISABLE_COPY_AND_ASSIGN (thread_fsm);
243a9253
PA
44
45 /* Called to clean up target resources after the FSM. E.g., if the
46 FSM created internal breakpoints, this is where they should be
47 deleted. */
46e3ed7f
TT
48 virtual void clean_up (struct thread_info *thread)
49 {
50 }
243a9253
PA
51
52 /* Called after handle_inferior_event decides the target is done
53 (that is, after stop_waiting). The FSM is given a chance to
54 decide whether the command is done and thus the target should
55 stop, or whether there's still more to do and thus the thread
56 should be re-resumed. This is a good place to cache target data
57 too. For example, the "finish" command saves the just-finished
58 function's return value here. */
46e3ed7f 59 virtual bool should_stop (struct thread_info *thread) = 0;
243a9253
PA
60
61 /* If this FSM saved a function's return value, you can use this
62 method to retrieve it. Otherwise, this returns NULL. */
46e3ed7f
TT
63 virtual struct return_value_info *return_value ()
64 {
65 return nullptr;
66 }
67
68 enum async_reply_reason async_reply_reason ()
69 {
70 /* If we didn't finish, then the stop reason must come from
71 elsewhere. E.g., a breakpoint hit or a signal intercepted. */
72 gdb_assert (finished_p ());
73 return do_async_reply_reason ();
74 }
388a7084
PA
75
76 /* Whether the stop should be notified to the user/frontend. */
46e3ed7f
TT
77 virtual bool should_notify_stop ()
78 {
79 return true;
80 }
243a9253 81
46e3ed7f
TT
82 void set_finished ()
83 {
84 finished = true;
85 }
243a9253 86
46e3ed7f
TT
87 bool finished_p () const
88 {
89 return finished;
90 }
243a9253 91
46e3ed7f
TT
92 /* The interpreter that issued the execution command that caused
93 this thread to resume. If the top level interpreter is MI/async,
94 and the execution command was a CLI command (next/step/etc.),
95 we'll want to print stop event output to the MI console channel
96 (the stepped-to line, etc.), as if the user entered the execution
97 command on a real GDB console. */
98 struct interp *command_interp = nullptr;
243a9253 99
46e3ed7f 100protected:
243a9253 101
46e3ed7f
TT
102 /* Whether the FSM is done successfully. */
103 bool finished = false;
243a9253 104
46e3ed7f
TT
105 /* The async_reply_reason that is broadcast to MI clients if this
106 FSM finishes successfully. */
107 virtual enum async_reply_reason do_async_reply_reason ()
108 {
109 gdb_assert_not_reached (_("should not call async_reply_reason here"));
110 }
111};
388a7084 112
243a9253 113#endif /* THREAD_FSM_H */
This page took 0.535064 seconds and 4 git commands to generate.