Outcome of a source-jump resolution. More...
#include <source_jump.hpp>
Public Attributes | |
| bool | ok = false |
| std::string | url |
| Formatted editor URL (empty on failure). | |
| std::string | path |
| Resolved source file path. | |
| int | line = 0 |
| Resolved 1-based line (0 = unknown). | |
| int | col = 0 |
| Resolved 1-based column (0 = unknown). | |
| bool | launched = false |
| True if the URL was handed to the OS. | |
| std::string | error |
| Human-readable failure reason (empty on ok). | |
Outcome of a source-jump resolution.
ok is true only when the view carried a usable source location AND the editor URL formatted cleanly. On failure, error explains why (no view, no provenance, bad template) and url is empty.
| int pulp::inspect::SourceJumpResult::col = 0 |
Resolved 1-based column (0 = unknown).
| std::string pulp::inspect::SourceJumpResult::error |
Human-readable failure reason (empty on ok).
| bool pulp::inspect::SourceJumpResult::launched = false |
True if the URL was handed to the OS.
| int pulp::inspect::SourceJumpResult::line = 0 |
Resolved 1-based line (0 = unknown).
| bool pulp::inspect::SourceJumpResult::ok = false |
| std::string pulp::inspect::SourceJumpResult::path |
Resolved source file path.
| std::string pulp::inspect::SourceJumpResult::url |
Formatted editor URL (empty on failure).