Struct ParsedFile 

pub struct ParsedFile { /* private fields */ }

A parsed .bynk file: its source, AST, and the two path forms it needs.

Slice 0: source_path and identity_path are different things, and conflating them is what made a two-root project’s file identity ambiguous. They coincide for a single-root project, which is why one field sufficed until include could hold two entries.

P4.0 (#1113, [DECISION B]): fields are crate-private now that ParsedFile lives in bynk-project — bynk-emit’s symbols/validate read them through the accessors below instead of the direct field pokes a same-crate pub(crate) allowed before the move.

Implementations

impl ParsedFile

pub fn synthetic( identity_path: PathBuf, source_path: PathBuf, source: String, unit: SourceUnit, kind: UnitKind, ) -> Self

Construct directly — used by bynk-emit’s first-party synthetic-unit injection (firstparty_parsed), which builds a ParsedFile for a toolchain-supplied source (bynk.bynk, bynk.cloudflare, …) that never went through parse_sources’s discovery-driven path.

pub fn new( source_path: PathBuf, identity_path: PathBuf, abs_path: Option<PathBuf>, source: String, unit: SourceUnit, kind: UnitKind, synthetic: bool, ) -> Self

General constructor — bynk-emit’s own tests use this to build a hand-rolled ParsedFile fixture (a specific source_path/ identity_path pair, a non-synthetic unit) that neither Self::synthetic (forces source_path == identity_path, synthetic: true) nor parse_sources (needs a real token stream) fits.

pub fn source_path(&self) -> PathBuf

The path relative to the include root that contains this file.

pub fn identity_path(&self) -> PathBuf

The path relative to the project root — this file’s identity, unique across include roots. See the field’s own doc for why this and Self::source_path must not be conflated.

pub fn abs_path(&self) -> Option<PathBuf>

The absolute path this file was read from, when it has one — None for toolchain-injected synthetic units.

pub fn kind(&self) -> UnitKind

pub fn package(&self) -> Option<&PackageId>

#2223: the dependency package this file belongs to; None for the project’s own files and first-party units.

pub fn assign_package(&mut self, id: PackageId)

#2223: mark this file as part of dependency id, and give it the path its units’ canonical names map to (deps/<org>/<package>/<rel>), so name alignment and the emitted layout both follow from crate::commons_dir_for. The identity path — the real file, relative to the consuming project — is unchanged.

pub fn set_kind(&mut self, kind: UnitKind)

Override the discovered kind — bynk-emit’s own tests use this to build a scenario’s intermediate unit as a commons regardless of what AST shape (context_using, …) constructed it, without needing a second builder per kind.

pub fn is_synthetic(&self) -> bool

True for toolchain-injected units (the bynk surface).

pub fn unit(&self) -> &SourceUnit

pub fn unit_mut(&mut self) -> &mut SourceUnit

Mutable access to the parsed unit — bynk-emit’s normalize_service_defaults (service by/given default injection) is the one caller that rewrites a unit’s items in place, ahead of grouping/checking.

pub fn source(&self) -> &str

The raw source text this file was parsed from.

pub fn map_source_name(&self) -> String

v0.72: the source-map sources entry for this file — the absolute path the compiler read it from (forward slashes), so an editor breakpoint set on the real .bynk resolves to the same path the debugger loads. A project-relative name would resolve against the emitted .ts’s directory, which is the wrong place. Synthetic units (no on-disk source) fall back to their relative path.

pub fn removed_agents(&self) -> &[RemovedAgentDecl]

State-migrations S3 (#2248): a context file’s removed agent declarations; empty for every other unit.

pub fn items(&self) -> &Vec<CommonsItem>

pub fn declares_messages(&self) -> bool

P6.x (#1137): does this file declare a messages { … } block? The one predicate a messages-bundle emitter needs — whether to inject the bynk.locale render fallback import — without the caller having to walk items and match CommonsItem::Messages itself.

pub fn uses(&self) -> &Vec<UsesDecl>

pub fn consumes(&self) -> &[ConsumesDecl]

pub fn exports(&self) -> &[ExportsDecl]

exports clauses, for the unit kinds that have them (contexts and adapters). Empty for commons/tests.

pub fn adapter(&self) -> Option<&AdapterDecl>

pub fn test(&self) -> Option<&SuiteDecl>

pub fn history_target_agent_names(&self) -> impl Iterator<Item = &str>

v0.119 (ADR 0155): the agent names this file’s own for all run: History[Agent] properties drive — emit_agent gates the exported __bynkDriveHistory_<Agent> driver on membership. Empty for a non-suite file, or a suite with no such property.

pub fn integration(&self) -> Option<&SuiteDecl>

v0.118: a suite whose effective tier is system is emitted through the wired cross-Worker machinery (the retired standalone integration path, now re-driven from tiers). Returns the underlying SuiteDecl when this file is such a suite.

pub fn as_synthetic_commons(&self, items: Vec<CommonsItem>) -> Commons

Build a synthetic Commons AST node carrying the given items, so the existing resolver/checker pipeline can be driven uniformly.

Trait Implementations

impl Clone for ParsedFile

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.