Struct SemanticFactView 

pub struct SemanticFactView<'a> { /* private fields */ }

Typed-first view over semantic extraction facts.

Extraction populates semantic_facts directly. The member_accesses slice remains available for consumers that need ordinary source member accesses, but it is no longer decoded as a string protocol for semantic facts.

Implementations

impl<'a> SemanticFactView<'a>

pub const fn new( semantic_facts: &'a [SemanticFact], member_accesses: &'a [MemberAccess], ) -> SemanticFactView<'a>

Create a typed semantic fact view from current semantic facts plus ordinary source member accesses.

pub fn facts(self) -> impl Iterator<Item = &'a SemanticFact> + 'a

Iterate typed semantic facts.

pub fn angular_template_member_names(self) -> impl Iterator<Item = &'a str> + 'a

Iterate Angular template member references.

pub fn angular_component_field_array_types( self, ) -> Vec<AngularComponentFieldArrayTypeFact>

Collect Angular component field array-type facts.

pub fn has_angular_template_members(self) -> bool

Return true when any Angular template member reference exists.

pub fn has_angular_this_spread(self) -> bool

Return true when a module spreads this in Angular template context.

pub fn ordinary_member_accesses( self, ) -> impl Iterator<Item = &'a MemberAccess> + 'a

Iterate ordinary source member accesses.

pub fn class_this_member_accesses(self) -> Vec<ClassThisMemberAccessFact>

Collect class-scoped this member-access facts.

pub fn class_this_whole_object_uses(self) -> Vec<ClassThisWholeObjectUseFact>

Collect class-scoped this whole-object-use facts.

pub fn instance_export_bindings(self) -> Vec<InstanceExportBindingFact>

Collect instance-export binding facts.

pub fn exported_object_instance_properties( self, ) -> impl Iterator<Item = &'a ExportedObjectInstancePropertyFact> + 'a

Iterate exported object properties that contain class instances.

pub fn qualified_class_member_accesses( self, ) -> impl Iterator<Item = &'a QualifiedClassMemberAccessFact> + 'a

Iterate proven namespace-qualified class instance member accesses.

pub fn factory_call_member_accesses(self) -> Vec<FactoryCallMemberAccessFact>

Collect static factory call member facts.

pub fn factory_fn_member_accesses(self) -> Vec<FactoryFnMemberAccessFact>

Collect free-function factory-return member facts.

pub fn factory_fn_whole_objects(self) -> Vec<FactoryFnWholeObjectFact>

Collect factory-return whole-object consumption facts.

pub fn factory_return_object_property_accesses( self, ) -> Vec<FactoryReturnObjectPropertyAccessFact>

Collect object-literal factory-return property member facts.

pub fn typed_property_member_accesses( self, ) -> Vec<TypedPropertyMemberAccessFact>

Collect typed-property-hop member facts.

pub fn required_type_members( self, ) -> impl Iterator<Item = &'a RequiredTypeMemberFact> + 'a

Collect members whose presence is required by a named structural type.

pub fn type_alias_surface_targets(self) -> Vec<TypeAliasSurfaceTargetFact>

Collect type-alias receiver-surface edges.

pub fn string_enum_member_values(self) -> Vec<StringEnumMemberValueFact>

Collect string-valued enum member definitions.

pub fn computed_enum_key_uses(self) -> Vec<ComputedEnumKeyUseFact>

Collect computed property accesses keyed by enum members.

pub fn fluent_chain_member_accesses(self) -> Vec<FluentChainMemberAccessFact>

Collect static factory fluent-chain member facts.

pub fn fluent_chain_new_member_accesses( self, ) -> Vec<FluentChainNewMemberAccessFact>

Collect constructor-rooted fluent-chain member facts.

pub fn playwright_fixture_uses(self) -> Vec<PlaywrightFixtureUseFact>

Collect Playwright fixture-use facts.

pub fn playwright_fixture_definitions( self, ) -> Vec<PlaywrightFixtureDefinitionFact>

Collect Playwright fixture-definition facts.

pub fn playwright_fixture_aliases(self) -> Vec<PlaywrightFixtureAliasFact>

Collect Playwright fixture-alias facts.

pub fn playwright_fixture_types(self) -> Vec<PlaywrightFixtureTypeFact>

Collect Playwright fixture-type facts.

Trait Implementations

impl<'a> Clone for SemanticFactView<'a>

fn clone(&self) -> SemanticFactView<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for SemanticFactView<'a>

impl<'a> Debug for SemanticFactView<'a>

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

Formats the value using the given formatter.