Struct SourceFile 

pub struct SourceFile(/* private fields */);

A single source file tracked by the incremental database.

Fields:

• source — raw UTF-8 source text.
• dialect — parsing dialect (spec §9).
• options_digest — hash of analysis options. Full shape deferred to bead cy-nk7; zero is a valid “no options” value.
• precomputed_parse — optional pre-computed ParseOutput (cy-li6). When Some, super::parse_cst returns this value directly instead of re-parsing source from scratch. Set by super::workspace::Database::edit_file after the smart-path sub-tree splice produces a fresh super::Parse; cleared on every non-incremental source mutation (set_source, update_file).

Implementations

impl SourceFile

pub fn ingredient(db: &(dyn Database + 'static)) -> &IngredientImpl<SourceFile>

pub fn ingredient_mut( zalsa_mut: &mut Zalsa, ) -> (&mut IngredientImpl<SourceFile>, &mut Runtime)

impl SourceFile

pub fn new<Db_>( db: &Db_, source: String, dialect: DialectMode, options_digest: u64, precomputed_parse: Option<ParseOutput>, ) -> SourceFile

where Db_: Database + ?Sized,

pub fn builder( source: String, dialect: DialectMode, options_digest: u64, precomputed_parse: Option<ParseOutput>, ) -> <SourceFile as HasBuilder>::Builder

pub fn source<Db_, 'db>(self, db: &'db Db_) -> &'db String

where Db_: Database + ?Sized,

Raw UTF-8 source text for this file.

pub fn dialect<Db_, 'db>(self, db: &'db Db_) -> DialectMode

where Db_: Database + ?Sized,

Dialect used when parsing this file.

pub fn options_digest<Db_, 'db>(self, db: &'db Db_) -> u64

where Db_: Database + ?Sized,

Hash of options that affect derived queries. Shape is stabilised in cy-nk7; zero is a valid “no options” value.

pub fn precomputed_parse<Db_, 'db>( self, db: &'db Db_, ) -> &'db Option<ParseOutput>

where Db_: Database + ?Sized,

Optional pre-computed parse, supplied by the incremental edit path (cy-li6). None means “no hint, re-parse source”.

pub fn set_source<Db_, 'db>( self, db: &'db mut Db_, ) -> impl Setter<FieldTy = String> + use<'db, Db_>

where Db_: Database + ?Sized,

pub fn set_dialect<Db_, 'db>( self, db: &'db mut Db_, ) -> impl Setter<FieldTy = DialectMode> + use<'db, Db_>

where Db_: Database + ?Sized,

pub fn set_options_digest<Db_, 'db>( self, db: &'db mut Db_, ) -> impl Setter<FieldTy = u64> + use<'db, Db_>

where Db_: Database + ?Sized,

pub fn set_precomputed_parse<Db_, 'db>( self, db: &'db mut Db_, ) -> impl Setter<FieldTy = Option<ParseOutput>> + use<'db, Db_>

where Db_: Database + ?Sized,

pub fn default_debug_fmt( this: SourceFile, f: &mut Formatter<'_>, ) -> Result<(), Error>

where String: for<'__trivial_bounds> Debug, DialectMode: for<'__trivial_bounds> Debug, u64: for<'__trivial_bounds> Debug, Option<ParseOutput>: for<'__trivial_bounds> Debug,

Default debug formatting for this struct (may be useful if you define your own Debug impl)

Trait Implementations

impl Clone for SourceFile

fn clone(&self) -> SourceFile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Hash for SourceFile

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SourceFile

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Update for SourceFile

unsafe fn maybe_update( old_pointer: *mut SourceFile, new_value: SourceFile, ) -> bool

Returns

impl Copy for SourceFile

impl Eq for SourceFile

impl StructuralPartialEq for SourceFile