Struct SourceLocation 

pub struct SourceLocation {
    pub layer: SourceLayer,
    pub kind: SourceKind,
}

Where a registered command, binding or option came from: who put it there (SourceLayer) and where to look (SourceKind).

Examples

use lattice_grammar::{SourceLayer, SourceLocation};

let src = SourceLocation::builtin_file("crates/lattice-grammar/src/builtins.rs", 42);
assert_eq!(src.layer, SourceLayer::Builtin);
assert_eq!(
    src.as_link(),
    "[crates/lattice-grammar/src/builtins.rs:42](file:crates/lattice-grammar/src/builtins.rs:42)",
);

// A plugin source renders its manifest name when the caller can resolve it.
let p = SourceLocation::plugin(3);
assert_eq!(p.as_link(), "[<plugin:3>](synthetic:plugin:3)");
assert_eq!(
    p.as_link_with(&|id| (id == 3).then(|| "comment".to_string())),
    "[plugin:comment](synthetic:plugin:comment)",
);

Fields

layer: SourceLayer

Who contributed the item; rendered as SourceLayer::label.

kind: SourceKind

Where the link follower should go.

Implementations

impl SourceLocation

pub fn builtin_file(file: &str, line: u32) -> Self

Construct a Builtin source from a (file, line) pair. Almost always called via Location::caller() in a #[track_caller] registration method.

pub fn synthetic(tag: impl Into<String>) -> Self

Synthetic source for tests + the rare runtime case where no concrete origin exists.

pub fn plugin_named(plugin_id: u32, name: &str) -> Self

Self::plugin, with the plugin’s manifest name – which is what a reader wants. plugin:comment answers “where did gc come from”; plugin:1 makes them go and look the number up.

Separate from Self::plugin because the name is not always in hand: register_plugin_* runs in the drain with only an id, while a caller that holds the manifest can do better.

pub fn plugin(plugin_id: u32) -> Self

Provenance for a WASM-plugin contribution (Phase 7). The layer is SourceLayer::Plugin carrying the host-issued plugin_id (§6 — the guest never supplies it, so a plugin cannot forge a builtin/user provenance); the kind is a synthetic plugin:N tag (a plugin has no file/line the link follower could open — the plugin-manager view is the eventual target). This is the only forgery-safe way a cross-crate trusted subsystem stamps Plugin provenance: the public CommandRegistry::register_plugin_* methods take a u32, never a SourceLocation, and route through here.

Display sites that can resolve the id to a manifest name do so through Self::as_link_with; prefer Self::plugin_named when the name is already known.

pub fn as_link(&self) -> String

Render as a markdown link for inclusion in a help body. Format: [label](scheme:value). The link’s URL portion is what parse_help_links (in lattice-ui-tui::help) classifies into a typed lattice_ui_tui::help::HelpLinkTarget; the label is what the user sees.

pub fn as_link_with( &self, resolve_plugin: &dyn Fn(u32) -> Option<String>, ) -> String

Self::as_link, with a way to name a plugin.

The LAYER is authoritative about a source being a plugin’s — the kind is only a tag, and one stamped by whichever registration path happened to run. So the resolver is consulted on SourceLayer::Plugin and its answer wins, which means every display site gets the manifest name regardless of what was stamped, and plugin:1 survives only where the plugin genuinely cannot be named (unloaded, or a harness with no meta registry).

Trait Implementations

impl Clone for SourceLocation

fn clone(&self) -> SourceLocation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SourceLocation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SourceLocation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SourceLocation

impl PartialEq for SourceLocation

fn eq(&self, other: &SourceLocation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SourceLocation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SourceLocation