Struct ScannedFragment 

pub struct ScannedFragment {
    pub name: String,
    pub text: String,
    pub line: usize,
    pub placeholders: Vec<String>,
    pub declared_options: Vec<String>,
    pub supplied_variables: Vec<String>,
}

One entry of a fragment file, as the claiming engine’s own parser sees it.

Engine-agnostic by construction: proef-core never learns a hurl type, and a future engine fills the same shape from its own AST. Everything here is read from the entry — nothing is declared separately and nothing can therefore drift from the file.

Fields

name: String

The name its # @proef <name> annotation gave it.

A scanner reports only annotated entries. An unannotated one is not a fragment — nothing can ref: it — and a corpus proef did not write is expected to be mostly those, so building them only to be discarded is the bulk of a scan for no one’s benefit.

text: String

The entry’s own source text, annotation included (provenance survives into the artifact).

line: usize

1-based line the entry starts on, for diagnostics.

placeholders: Vec<String>

Every variable the entry reads, in first-seen order — its required inputs.

declared_options: Vec<String>

Option families the entry sets for itself, which a referencing step may then not also set (proef::pack::option_declared_twice). A list rather than one flag per option, so the core applies its general rule to whatever it knows about and a new family costs no engine change.

Every element must be one of OPTION_FAMILIES — these strings are matched against the pack’s own option keys, so a spelling only the engine knows silences the check rather than failing it.

supplied_variables: Vec<String>

Every variable the entry supplies to itself, in first-seen order — the engine equivalent of a bind:, written into the fragment file.

Kept apart from Self::declared_options because the two clash on different keys: an option family is a closed vocabulary compared family-to-family, while a supplied variable is an open set compared name to name — token clashes with a bind: of token and with nothing else. Folding them together would make OPTION_FAMILIES’ “every element is one of these” invariant unstatable.

Both halves of this field are load-bearing. A name here satisfies a placeholder of the same name (the fragment answers its own question, so the file still runs standalone under the engine’s own binary — ADR-0018’s premise), and it collides with a bind: of that name (proef::pack::option_declared_twice), because the engine may resolve the pair silently rather than refusing it.

Trait Implementations

impl Clone for ScannedFragment

fn clone(&self) -> ScannedFragment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScannedFragment

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

Formats the value using the given formatter.

impl Eq for ScannedFragment

impl PartialEq for ScannedFragment

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ScannedFragment