| /* Data structures and API for location specs in GDB. | |
| Copyright (C) 2013-2023 Free Software Foundation, Inc. | |
| This file is part of GDB. | |
| This program is free software; you can redistribute it and/or modify | |
| it under the terms of the GNU General Public License as published by | |
| the Free Software Foundation; either version 3 of the License, or | |
| (at your option) any later version. | |
| This program is distributed in the hope that it will be useful, | |
| but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| GNU General Public License for more details. | |
| You should have received a copy of the GNU General Public License | |
| along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
| #ifndef LOCATION_H | |
| #define LOCATION_H | |
| #include "symtab.h" | |
| struct language_defn; | |
| struct location_spec; | |
| /* An enumeration of possible signs for a line offset. */ | |
| enum offset_relative_sign | |
| { | |
| /* No sign */ | |
| LINE_OFFSET_NONE, | |
| /* A plus sign ("+") */ | |
| LINE_OFFSET_PLUS, | |
| /* A minus sign ("-") */ | |
| LINE_OFFSET_MINUS, | |
| /* A special "sign" for unspecified offset. */ | |
| LINE_OFFSET_UNKNOWN | |
| }; | |
| /* A line offset in a location. */ | |
| struct line_offset | |
| { | |
| /* Line offset and any specified sign. */ | |
| int offset = 0; | |
| enum offset_relative_sign sign = LINE_OFFSET_UNKNOWN; | |
| }; | |
| /* An enumeration of the various ways to specify a location spec. */ | |
| enum location_spec_type | |
| { | |
| /* A traditional linespec. */ | |
| LINESPEC_LOCATION_SPEC, | |
| /* An address location spec. */ | |
| ADDRESS_LOCATION_SPEC, | |
| /* An explicit location spec. */ | |
| EXPLICIT_LOCATION_SPEC, | |
| /* A probe location spec. */ | |
| PROBE_LOCATION_SPEC | |
| }; | |
| /* A unique pointer for location_spec. */ | |
| typedef std::unique_ptr<location_spec> location_spec_up; | |
| /* The base class for all location specs used to resolve actual | |
| locations in the inferior. */ | |
| struct location_spec | |
| { | |
| virtual ~location_spec () = default; | |
| /* Clone this object. */ | |
| virtual location_spec_up clone () const = 0; | |
| /* Return true if this location spec is empty, false otherwise. */ | |
| virtual bool empty_p () const = 0; | |
| /* Return a string representation of this location. | |
| This function may return NULL for unspecified linespecs, e.g, | |
| LINESPEC_LOCATION_SPEC and spec_string is NULL. | |
| The result is cached in the locspec. */ | |
| const char *to_string () const | |
| { | |
| if (m_as_string.empty ()) | |
| m_as_string = compute_string (); | |
| if (m_as_string.empty ()) | |
| return nullptr; | |
| return m_as_string.c_str (); | |
| } | |
| /* Set this location spec's string representation. */ | |
| void set_string (std::string &&string) | |
| { | |
| m_as_string = std::move (string); | |
| } | |
| /* Return this location spec's type. */ | |
| enum location_spec_type type () const | |
| { | |
| return m_type; | |
| } | |
| protected: | |
| explicit location_spec (enum location_spec_type t) | |
| : m_type (t) | |
| { | |
| } | |
| location_spec (enum location_spec_type t, std::string &&str) | |
| : m_as_string (std::move (str)), | |
| m_type (t) | |
| { | |
| } | |
| location_spec (const location_spec &other) | |
| : m_as_string (other.m_as_string), | |
| m_type (other.m_type) | |
| { | |
| } | |
| /* Compute the string representation of this object. This is called | |
| by to_string when needed. */ | |
| virtual std::string compute_string () const = 0; | |
| /* Cached string representation of this location spec. This is | |
| used, e.g., to save location specs to file. */ | |
| mutable std::string m_as_string; | |
| private: | |
| /* The type of this location specification. */ | |
| enum location_spec_type m_type; | |
| }; | |
| /* A "normal" linespec. */ | |
| struct linespec_location_spec : public location_spec | |
| { | |
| linespec_location_spec (const char **linespec, | |
| symbol_name_match_type match_type); | |
| ~linespec_location_spec (); | |
| location_spec_up clone () const override; | |
| bool empty_p () const override; | |
| /* Whether the function name is fully-qualified or not. */ | |
| symbol_name_match_type match_type; | |
| /* The linespec. */ | |
| char *spec_string = nullptr; | |
| protected: | |
| linespec_location_spec (const linespec_location_spec &other); | |
| std::string compute_string () const override; | |
| }; | |
| /* An address in the inferior. */ | |
| struct address_location_spec : public location_spec | |
| { | |
| address_location_spec (CORE_ADDR addr, const char *addr_string, | |
| int addr_string_len); | |
| location_spec_up clone () const override; | |
| bool empty_p () const override; | |
| CORE_ADDR address; | |
| protected: | |
| address_location_spec (const address_location_spec &other); | |
| std::string compute_string () const override; | |
| }; | |
| /* An explicit location spec. This structure is used to bypass the | |
| parsing done on linespecs. It still has the same requirements | |
| as linespecs, though. For example, source_filename requires | |
| at least one other field. */ | |
| struct explicit_location_spec : public location_spec | |
| { | |
| explicit_location_spec (); | |
| ~explicit_location_spec (); | |
| location_spec_up clone () const override; | |
| bool empty_p () const override; | |
| /* Return a linespec string representation of this explicit location | |
| spec. The explicit location spec must already be | |
| canonicalized/valid. */ | |
| std::string to_linespec () const; | |
| /* The source filename. Malloc'd. */ | |
| char *source_filename = nullptr; | |
| /* The function name. Malloc'd. */ | |
| char *function_name = nullptr; | |
| /* Whether the function name is fully-qualified or not. */ | |
| symbol_name_match_type func_name_match_type | |
| = symbol_name_match_type::WILD; | |
| /* The name of a label. Malloc'd. */ | |
| char *label_name = nullptr; | |
| /* A line offset relative to the start of the symbol | |
| identified by the above fields or the current symtab | |
| if the other fields are NULL. */ | |
| struct line_offset line_offset; | |
| protected: | |
| explicit_location_spec (const explicit_location_spec &other); | |
| std::string compute_string () const override; | |
| }; | |
| /* A probe. */ | |
| struct probe_location_spec : public location_spec | |
| { | |
| explicit probe_location_spec (std::string &&probe); | |
| location_spec_up clone () const override; | |
| bool empty_p () const override; | |
| protected: | |
| probe_location_spec (const probe_location_spec &other) = default; | |
| std::string compute_string () const override; | |
| }; | |
| /* Create a new linespec location spec. */ | |
| extern location_spec_up new_linespec_location_spec | |
| (const char **linespec, symbol_name_match_type match_type); | |
| /* Return the given location_spec as a linespec_location_spec. | |
| LOCSPEC must be of type LINESPEC_LOCATION_SPEC. */ | |
| extern const linespec_location_spec * | |
| as_linespec_location_spec (const location_spec *locspec); | |
| /* Create a new address location spec. | |
| ADDR is the address corresponding to this location_spec. | |
| ADDR_STRING, a string of ADDR_STRING_LEN characters, is | |
| the expression that was parsed to determine the address ADDR. */ | |
| extern location_spec_up new_address_location_spec (CORE_ADDR addr, | |
| const char *addr_string, | |
| int addr_string_len); | |
| /* Return the given location_spec as an address_location_spec. | |
| LOCSPEC must be of type ADDRESS_LOCATION_SPEC. */ | |
| const address_location_spec * | |
| as_address_location_spec (const location_spec *locspec); | |
| /* Create a new probe location. */ | |
| extern location_spec_up new_probe_location_spec (std::string &&probe); | |
| /* Assuming LOCSPEC is of type PROBE_LOCATION_SPEC, return LOCSPEC | |
| cast to probe_location_spec. */ | |
| const probe_location_spec * | |
| as_probe_location_spec (const location_spec *locspec); | |
| /* Create a new explicit location with explicit FUNCTION_NAME. All | |
| other fields are defaulted. */ | |
| static inline location_spec_up | |
| new_explicit_location_spec_function (const char *function_name) | |
| { | |
| explicit_location_spec *spec | |
| = new explicit_location_spec (); | |
| spec->function_name | |
| = (function_name != nullptr ? xstrdup (function_name) : nullptr); | |
| return location_spec_up (spec); | |
| } | |
| /* Assuming LOCSPEC is of type EXPLICIT_LOCATION_SPEC, return LOCSPEC | |
| cast to explicit_location_spec. */ | |
| const explicit_location_spec * | |
| as_explicit_location_spec (const location_spec *locspec); | |
| explicit_location_spec * | |
| as_explicit_location_spec (location_spec *locspec); | |
| /* Attempt to convert the input string in *ARGP into a location_spec. | |
| ARGP is advanced past any processed input. Always returns a non-nullptr | |
| location_spec unique pointer object. | |
| This function may call error() if *ARGP looks like properly formed, but | |
| invalid, input, e.g., if it is called with missing argument parameters | |
| or invalid options. | |
| This function is intended to be used by CLI commands and will parse | |
| explicit location specs in a CLI-centric way. Other interfaces should use | |
| string_to_location_spec_basic if they want to maintain support for | |
| legacy specifications of probe, address, and linespec location specs. | |
| MATCH_TYPE should be either WILD or FULL. If -q/--qualified is specified | |
| in the input string, it will take precedence over this parameter. */ | |
| extern location_spec_up string_to_location_spec | |
| (const char **argp, const struct language_defn *language, | |
| symbol_name_match_type match_type = symbol_name_match_type::WILD); | |
| /* Like string_to_location_spec, but does not attempt to parse | |
| explicit location specs. MATCH_TYPE indicates how function names | |
| should be matched. */ | |
| extern location_spec_up | |
| string_to_location_spec_basic (const char **argp, | |
| const struct language_defn *language, | |
| symbol_name_match_type match_type); | |
| /* Structure filled in by string_to_explicit_location_spec to aid the | |
| completer. */ | |
| struct explicit_completion_info | |
| { | |
| /* Pointer to the last option found. E.g., in "b -sou src.c -fun | |
| func", LAST_OPTION is left pointing at "-fun func". */ | |
| const char *last_option = NULL; | |
| /* These point to the start and end of a quoted argument, iff the | |
| last argument was quoted. If parsing finds an incomplete quoted | |
| string (e.g., "break -function 'fun"), then QUOTED_ARG_START is | |
| set to point to the opening \', and QUOTED_ARG_END is left NULL. | |
| If the last option is not quoted, then both are set to NULL. */ | |
| const char *quoted_arg_start = NULL; | |
| const char *quoted_arg_end = NULL; | |
| /* True if we saw an explicit location spec option, as opposed to | |
| only flags that affect both explicit location specs and | |
| linespecs, like "-qualified". */ | |
| bool saw_explicit_location_spec_option = false; | |
| }; | |
| /* Attempt to convert the input string in *ARGP into an explicit | |
| location spec. ARGP is advanced past any processed input. Returns | |
| a location_spec (malloc'd) if an explicit location spec was | |
| successfully found in *ARGP, NULL otherwise. | |
| If COMPLETION_INFO is NULL, this function may call error() if *ARGP | |
| looks like improperly formed input, e.g., if it is called with | |
| missing argument parameters or invalid options. If COMPLETION_INFO | |
| is not NULL, this function will not throw any exceptions. */ | |
| extern location_spec_up | |
| string_to_explicit_location_spec (const char **argp, | |
| const struct language_defn *language, | |
| explicit_completion_info *completion_info); | |
| #endif /* LOCATION_H */ |