59 std::string_view
path,
61 std::optional<int> col = std::nullopt);
68 std::string* error_out =
nullptr);
@ Default
Definition emoji_segmenter.hpp:42
@ path
Definition scene_node.hpp:93
Definition agent_context.hpp:7
EffectiveEditorUrl effective_editor_url(const InspectorConfig &config)
std::optional< std::string > editor_url_env_override()
Look up the environment override (PULP_INSPECTOR_EDITOR_URL).
bool validate_editor_url_template(std::string_view tmpl, std::string *error_out=nullptr)
Validate a candidate editor URL template.
EditorUrlSource
Source that produced the effective editor URL template — used by Inspector.getEditorUrlTemplate so cl...
Definition editor_url.hpp:48
@ Environment
Overridden by PULP_INSPECTOR_EDITOR_URL.
Definition editor_url.hpp:51
@ Default
Built-in fallback (vscode://file/{path}:{line}).
Definition editor_url.hpp:49
@ Config
Set via InspectorConfig / setEditorUrlTemplate.
Definition editor_url.hpp:50
std::string_view editor_url_source_name(EditorUrlSource source)
Stringify the source enum for protocol responses.
std::string format_editor_url(std::string_view tmpl, std::string_view path, int line, std::optional< int > col=std::nullopt)
Substitute {path}, {line}, and {col} in tmpl with the supplied values.
Compute the effective template and its source given the supplied config.
Definition editor_url.hpp:79
std::string template_str
Definition editor_url.hpp:80
EditorUrlSource source
Definition editor_url.hpp:81
Inspector runtime configuration.
Definition editor_url.hpp:38
std::string editor_url_template
URL template used to open a source file in the user's editor.
Definition editor_url.hpp:42