annotate libinterp/parse-tree/bp-table.h @ 33636:3ec6fcce7715 default tip @

gui: Avoid using HAVE_QSCINTILLA in more header files. * gui-settings.h, settings-dialog.h: Don't include QScintilla header. Forward-declare QSciLexer class instead if necessary. Declare all member functions unconditionally. * gui-settings.cc (gui_settings::get_valid_lexer_styles, gui_settings::read_lexer_settings), settings-dialog.cc (settings_dialog::update_lexer, settings_dialog::get_lexer_settings, settings_dialog::write_lexer_settings): Define functions unconditionally. * gui-preferences-ed.h: Don't include QScintilla header. Remove definition of local variable os_eol_mode from header. * gui-preferences-ed.cc (os_eol_mode): Move definition of local variable here.
author Markus Mützel <markus.muetzel@gmx.de>
date Tue, 28 May 2024 14:54:58 +0200
parents 2e484f9f1f18
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
27923
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
1 ////////////////////////////////////////////////////////////////////////
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
2 //
32632
2e484f9f1f18 maint: update Octave Project Developers copyright for the new year
John W. Eaton <jwe@octave.org>
parents: 32434
diff changeset
3 // Copyright (C) 2001-2024 The Octave Project Developers
27923
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
4 //
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
5 // See the file COPYRIGHT.md in the top-level directory of this
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
6 // distribution or <https://octave.org/copyright/>.
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
7 //
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
8 // This file is part of Octave.
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
9 //
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
10 // Octave is free software: you can redistribute it and/or modify it
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
11 // under the terms of the GNU General Public License as published by
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
12 // the Free Software Foundation, either version 3 of the License, or
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
13 // (at your option) any later version.
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
14 //
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
15 // Octave is distributed in the hope that it will be useful, but
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
16 // WITHOUT ANY WARRANTY; without even the implied warranty of
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
18 // GNU General Public License for more details.
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
19 //
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
20 // You should have received a copy of the GNU General Public License
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
21 // along with Octave; see the file COPYING. If not, see
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
22 // <https://www.gnu.org/licenses/>.
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
23 //
bd51beb6205e update formatting of copyright notices
John W. Eaton <jwe@octave.org>
parents: 27919
diff changeset
24 ////////////////////////////////////////////////////////////////////////
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
25
23137
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
26 #if ! defined (octave_bp_table_h)
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
27 #define octave_bp_table_h 1
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
28
21244
1473547f50f5 include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents: 21157
diff changeset
29 #include "octave-config.h"
1473547f50f5 include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents: 21157
diff changeset
30
23137
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
31 #include <list>
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
32 #include <map>
9183
94ae487acd1b use set instead of map to keep track of debugger breakpoints
jpswensen@compsci34-754-2010.compscidhcp.jhu.edu
parents: 8920
diff changeset
33 #include <set>
23149
f81c759dfae7 * bp-table.h: Also include <string>.
John W. Eaton <jwe@octave.org>
parents: 23148
diff changeset
34 #include <string>
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
35
23137
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
36 class octave_map;
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
37 class octave_user_code;
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
38 class octave_value_list;
23137
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
39
31605
e88a07dec498 maint: Use macros to begin/end C++ namespaces.
Rik <rik@octave.org>
parents: 30896
diff changeset
40 OCTAVE_BEGIN_NAMESPACE(octave)
e88a07dec498 maint: Use macros to begin/end C++ namespaces.
Rik <rik@octave.org>
parents: 30896
diff changeset
41
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
42 class tree_evaluator;
30155
14b098a6ba46 maint: Use public: qualifier in structs that are really classes.
Rik <rik@octave.org>
parents: 29954
diff changeset
43
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
44 struct bp_type
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
45 {
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
46 public:
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
47 bp_type (int l, const std::string& c) : line (l), cond (c) { }
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
48
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
49 //--------
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
50
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
51 int line;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
52 std::string cond;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
53 };
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
54
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
55 // Interface to breakpoints.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
56 class OCTINTERP_API bp_table
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
57 {
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
58 public:
24738
3695c2cd69b8 don't use singleton pattern for bp_table
John W. Eaton <jwe@octave.org>
parents: 24534
diff changeset
59
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
60 bp_table (tree_evaluator& tw)
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
61 : m_evaluator (tw), m_bp_set (), m_errors_that_stop (),
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
62 m_caught_that_stop (), m_warnings_that_stop ()
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
63 { }
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
64
31855
1daf8bfceac3 default or disable more ctors, dtors, and assignment ops
John W. Eaton <jwe@octave.org>
parents: 31809
diff changeset
65 OCTAVE_DISABLE_CONSTRUCT_COPY_MOVE (bp_table)
1daf8bfceac3 default or disable more ctors, dtors, and assignment ops
John W. Eaton <jwe@octave.org>
parents: 31809
diff changeset
66
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
67 ~bp_table () = default;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
68
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
69 // Set of breakpoint lines.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
70 typedef std::set<int> bp_lines;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
71
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
72 typedef bp_lines::const_iterator const_bp_lines_iterator;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
73 typedef bp_lines::iterator bp_lines_iterator;
24738
3695c2cd69b8 don't use singleton pattern for bp_table
John W. Eaton <jwe@octave.org>
parents: 24534
diff changeset
74
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
75 typedef std::map <std::string, bp_lines> fname_line_map;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
76
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
77 typedef fname_line_map::const_iterator const_fname_line_map_iterator;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
78 typedef fname_line_map::iterator fname_line_map_iterator;
29457
313b8b897733 revamp handling of breakpoint line positions
John W. Eaton <jwe@octave.org>
parents: 29359
diff changeset
79
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
80 typedef std::map <std::string, std::list<bp_type>> fname_bp_map;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
81 typedef fname_bp_map::const_iterator const_fname_bp_map_iterator;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
82 typedef fname_bp_map::iterator fname_bp_map_iterator;
21157
94fc5f13d51b dbstop: conditional breakpoint, dbstop if caught error etc. (bug #46795)
Lachlan Andrew <lachlanbis@gmail.com>
parents: 20791
diff changeset
83
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
84 // Add a breakpoint at the nearest executable line in a function.
32434
9296e2b74d0b Overhaul handling of breakpoints in classdef methods (bug #46451).
Markus Mützel <markus.muetzel@gmx.de>
parents: 32406
diff changeset
85 int add_breakpoint_in_function (const std::string& fcn_ident = "",
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
86 int line = 1,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
87 const std::string& condition = "");
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
88
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
89 // Add a set of breakpoints at the nearest executable lines in a
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
90 // function.
32434
9296e2b74d0b Overhaul handling of breakpoints in classdef methods (bug #46451).
Markus Mützel <markus.muetzel@gmx.de>
parents: 32406
diff changeset
91 bp_lines add_breakpoints_in_function (const std::string& fcn_ident = "",
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
92 const bp_lines& lines = bp_lines (),
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
93 const std::string& condition = "");
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
94
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
95 // Add a breakpoint at the nearest executable line in a file.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
96 int add_breakpoint_in_file (const std::string& file = "",
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
97 int line = 1,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
98 const std::string& condition = "");
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
99
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
100 // Add a set of breakpoints at the nearest executable lines in a
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
101 // file.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
102 bp_lines add_breakpoints_in_file (const std::string& file = "",
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
103 const bp_lines& lines = bp_lines (),
31607
aac27ad79be6 maint: Re-indent code after switch to using namespace macros.
Rik <rik@octave.org>
parents: 31605
diff changeset
104 const std::string& condition = "");
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
105
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
106 // Remove a breakpoint from the given line in file.
32434
9296e2b74d0b Overhaul handling of breakpoints in classdef methods (bug #46451).
Markus Mützel <markus.muetzel@gmx.de>
parents: 32406
diff changeset
107 int remove_breakpoint_from_function (const std::string& fcn_ident = "",
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
108 int line = 1);
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
109
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
110 // Remove a set of breakpoints from the given lines in file.
32434
9296e2b74d0b Overhaul handling of breakpoints in classdef methods (bug #46451).
Markus Mützel <markus.muetzel@gmx.de>
parents: 32406
diff changeset
111 int remove_breakpoints_from_function (const std::string& fcn_ident = "",
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
112 const bp_lines& lines = bp_lines ());
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
113
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
114 // Remove all the breakpoints in a specified function.
32434
9296e2b74d0b Overhaul handling of breakpoints in classdef methods (bug #46451).
Markus Mützel <markus.muetzel@gmx.de>
parents: 32406
diff changeset
115 bp_lines remove_all_breakpoints_from_function (const std::string& fcn_ident,
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
116 bool silent = false);
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
117
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
118 // Remove a breakpoint from the given line in file.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
119 int remove_breakpoint_from_file (const std::string& file = "",
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
120 int line = 1);
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
121
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
122 // Remove a set of breakpoints from the given lines in file.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
123 int remove_breakpoints_from_file (const std::string& file = "",
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
124 const bp_lines& lines = bp_lines ());
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
125
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
126
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
127 // Remove all the breakpoints from a file.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
128 bp_lines remove_all_breakpoints_from_file (const std::string& file,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
129 bool silent = false);
11586
12df7854fa7c strip trailing whitespace from source files
John W. Eaton <jwe@octave.org>
parents: 11584
diff changeset
130
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
131 // Remove all the breakpoints registered with octave.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
132 void remove_all_breakpoints ();
29458
c0f86150aa6c begin allowing breakpoints to be set using file name
John W. Eaton <jwe@octave.org>
parents: 29457
diff changeset
133
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
134 // Return all breakpoints. Each element of the map is a vector
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
135 // containing the breakpoints corresponding to a given function name.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
136 fname_bp_map get_breakpoint_list (const octave_value_list& fname_list);
24738
3695c2cd69b8 don't use singleton pattern for bp_table
John W. Eaton <jwe@octave.org>
parents: 24534
diff changeset
137
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
138 bool have_breakpoints () { return (! m_bp_set.empty ()); }
11586
12df7854fa7c strip trailing whitespace from source files
John W. Eaton <jwe@octave.org>
parents: 11584
diff changeset
139
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
140 // Should we enter debugging for this particular error identifier?
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
141 bool debug_on_err (const std::string& id)
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
142 {
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
143 return (m_errors_that_stop.empty () || m_errors_that_stop.count (id));
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
144 }
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
145
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
146 // Should we enter debugging for this particular identifier in a try/catch?
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
147 bool debug_on_caught (const std::string& id)
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
148 {
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
149 return (m_caught_that_stop.empty () || m_caught_that_stop.count (id));
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
150 }
8658
73c4516fae10 New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents: 8123
diff changeset
151
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
152 // Should we enter debugging for this particular warning identifier?
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
153 bool debug_on_warn (const std::string& id)
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
154 {
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
155 return (m_warnings_that_stop.empty () || m_warnings_that_stop.count (id));
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
156 }
21157
94fc5f13d51b dbstop: conditional breakpoint, dbstop if caught error etc. (bug #46795)
Lachlan Andrew <lachlanbis@gmail.com>
parents: 20791
diff changeset
157
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
158 octave_map stop_on_err_warn_status (bool to_screen);
21157
94fc5f13d51b dbstop: conditional breakpoint, dbstop if caught error etc. (bug #46795)
Lachlan Andrew <lachlanbis@gmail.com>
parents: 20791
diff changeset
159
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
160 void dbstop_process_map_args (const octave_map& mv);
21157
94fc5f13d51b dbstop: conditional breakpoint, dbstop if caught error etc. (bug #46795)
Lachlan Andrew <lachlanbis@gmail.com>
parents: 20791
diff changeset
161
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
162 void dbclear_all_signals ();
21157
94fc5f13d51b dbstop: conditional breakpoint, dbstop if caught error etc. (bug #46795)
Lachlan Andrew <lachlanbis@gmail.com>
parents: 20791
diff changeset
163
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
164 bool condition_valid (const std::string& cond);
21311
718332a58d35 Fix left mouse button in editor margin bug from cset 65827e9cccb8
Lachlan Andrew <lachlanbis@gmail.com>
parents: 21244
diff changeset
165
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
166 void parse_dbfunction_params (const char *who,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
167 const octave_value_list& args,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
168 std::string& fcn_name,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
169 std::string& class_name,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
170 bp_table::bp_lines& lines,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
171 std::string& cond);
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
172
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
173 private:
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
174
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
175 typedef std::set<std::string>::const_iterator const_bp_set_iterator;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
176 typedef std::set<std::string>::iterator bp_set_iterator;
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
177
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
178 tree_evaluator& m_evaluator;
21157
94fc5f13d51b dbstop: conditional breakpoint, dbstop if caught error etc. (bug #46795)
Lachlan Andrew <lachlanbis@gmail.com>
parents: 20791
diff changeset
179
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
180 // Set of function (.m file) names containing at least one breakpoint.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
181 std::set<std::string> m_bp_set;
16596
645672f1c873 handle setting breakpoints in subfunctions in GUI editor
John W. Eaton <jwe@octave.org>
parents: 16419
diff changeset
182
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
183 // Set of error and warning message IDs that cause us to stop
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
184 // *if* Vdebug_on_error / Vdebug_on_caught / Vdebug_on_warning is set.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
185 // Empty means stop on any error / caught error / warning.
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
186 std::set<std::string> m_errors_that_stop;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
187 std::set<std::string> m_caught_that_stop;
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
188 std::set<std::string> m_warnings_that_stop;
16627
de91b1621260 adjust location of eof marker for files with subfunctions but no explicit end statements
John W. Eaton <jwe@octave.org>
parents: 16596
diff changeset
189
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
190 void set_stop_flag (const char *who, const std::string& condition,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
191 bool on_off);
27160
6b0c61a5a0f0 move global error configuration and status variables inside a class
John W. Eaton <jwe@octave.org>
parents: 26975
diff changeset
192
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
193 void process_id_list (const char *who, const std::string& condition,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
194 const octave_value_list& args,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
195 int nargin, int& pos, bool on_off,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
196 std::set<std::string>& id_list);
27160
6b0c61a5a0f0 move global error configuration and status variables inside a class
John W. Eaton <jwe@octave.org>
parents: 26975
diff changeset
197
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
198 bool add_breakpoint_1 (octave_user_code *fcn, const std::string& fname,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
199 const bp_lines& line, const std::string& condition,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
200 bp_lines& retval);
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
201
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
202 int remove_breakpoint_1 (octave_user_code *fcn, const std::string&,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
203 const bp_lines& lines);
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
204
31809
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
205 bp_lines remove_all_breakpoints_in_file_1 (octave_user_code *fcn,
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
206 const std::string& fname);
32acdc376a36 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libinterp/
Rik <rik@octave.org>
parents: 31771
diff changeset
207 };
31605
e88a07dec498 maint: Use macros to begin/end C++ namespaces.
Rik <rik@octave.org>
parents: 30896
diff changeset
208
e88a07dec498 maint: Use macros to begin/end C++ namespaces.
Rik <rik@octave.org>
parents: 30896
diff changeset
209 OCTAVE_END_NAMESPACE(octave)
23137
334119c390b3 move bp_table class to separate file
John W. Eaton <jwe@octave.org>
parents: 23084
diff changeset
210
7084
8ada882c7c69 [project @ 2007-10-31 14:52:08 by jwe]
jwe
parents:
diff changeset
211 #endif