Enum SemanticFact 

pub enum SemanticFact {
    AngularTemplateMemberAccess(AngularTemplateMemberAccessFact),
    AngularComponentFieldArrayType(AngularComponentFieldArrayTypeFact),
    AngularThisSpread(AngularThisSpreadFact),
    FactoryCallMemberAccess(FactoryCallMemberAccessFact),
    FactoryFnMemberAccess(FactoryFnMemberAccessFact),
    TypedPropertyMemberAccess(TypedPropertyMemberAccessFact),
    FluentChainMemberAccess(FluentChainMemberAccessFact),
    FluentChainNewMemberAccess(FluentChainNewMemberAccessFact),
    PlaywrightFixtureUse(PlaywrightFixtureUseFact),
    PlaywrightFixtureDefinition(PlaywrightFixtureDefinitionFact),
    PlaywrightFixtureAlias(PlaywrightFixtureAliasFact),
    PlaywrightFixtureType(PlaywrightFixtureTypeFact),
    InstanceExportBinding(InstanceExportBindingFact),
    DynamicCustomElementRender(DynamicCustomElementRenderFact),
    FactoryFnWholeObject(FactoryFnWholeObjectFact),
    FactoryReturnObjectPropertyAccess(FactoryReturnObjectPropertyAccessFact),
    ClassThisMemberAccess(ClassThisMemberAccessFact),
    ClassThisWholeObjectUse(ClassThisWholeObjectUseFact),
    VitestModuleMockOperation(VitestModuleMockOperationFact),
    DeclarationMerge(DeclarationMergeFact),
    TypeAliasSurfaceTarget(TypeAliasSurfaceTargetFact),
    StringEnumMemberValue(StringEnumMemberValueFact),
    ComputedEnumKeyUse(ComputedEnumKeyUseFact),
    RequiredTypeMember(RequiredTypeMemberFact),
    CjsSingleStaticObjectMap,
    DefaultImportWholeObjectUse(DefaultImportWholeObjectUseFact),
    ExportedObjectInstanceProperty(ExportedObjectInstancePropertyFact),
    QualifiedClassMemberAccess(QualifiedClassMemberAccessFact),
    FederationRuntimeRemote(FederationRuntimeRemoteFact),
    ImportLoadKindOverride(ImportLoadKindOverrideFact),
    FactoryReturnObjectPropertySource(Box<FactoryReturnObjectPropertySourceFact>),
    ProvenFactoryReturnObjectPropertyAccess(FactoryReturnObjectPropertyAccessFact),
    CallbackFactoryPropertyAccess(Box<CallbackFactoryPropertyAccessFact>),
    PlaywrightConditionalFixtureDefinition(Box<PlaywrightConditionalFixtureDefinitionFact>),
    PlaywrightTestBinding(PlaywrightTestBindingFact),
    TopLevelRuntimeStatement,
}

A typed extraction fact for cross-layer analysis.

Variants

AngularTemplateMemberAccess(AngularTemplateMemberAccessFact)

A class member referenced from an Angular template, host binding, or component metadata entry.

AngularComponentFieldArrayType(AngularComponentFieldArrayTypeFact)

An Angular component field whose value is an array of a class.

AngularThisSpread(AngularThisSpreadFact)

An Angular component spreads this into an object literal, so component input/output usage is opaque.

FactoryCallMemberAccess(FactoryCallMemberAccessFact)

A member access on a value returned by an imported static factory call.

FactoryFnMemberAccess(FactoryFnMemberAccessFact)

A member access on a value returned by an imported free-function factory (const x = importedFactory(); x.member). See issue #1441 (Part A).

TypedPropertyMemberAccess(TypedPropertyMemberAccessFact)

A member access reached through a property of a value whose declared type is an imported named type (this.opts.c.optM() where opts is typed by an imported interface). See issue #1785.

FluentChainMemberAccess(FluentChainMemberAccessFact)

A member access on a fluent chain rooted at an imported static factory.

FluentChainNewMemberAccess(FluentChainNewMemberAccessFact)

A member access on a fluent chain rooted at a new expression.

PlaywrightFixtureUse(PlaywrightFixtureUseFact)

A member access on a Playwright fixture object inside a test callback.

PlaywrightFixtureDefinition(PlaywrightFixtureDefinitionFact)

A Playwright fixture definition declared by a typed test.extend<T>().

PlaywrightFixtureAlias(PlaywrightFixtureAliasFact)

A Playwright fixture wrapper alias declared by mergeTests or .extend.

PlaywrightFixtureType(PlaywrightFixtureTypeFact)

A nested Playwright fixture binding declared by a fixture type alias.

InstanceExportBinding(InstanceExportBindingFact)

An exported value whose runtime instance targets a local class or interface.

DynamicCustomElementRender(DynamicCustomElementRenderFact)

A dynamic custom-element tag render that makes static Lit tag credit opaque.

FactoryFnWholeObject(FactoryFnWholeObjectFact)

A factory-returned value consumed in a way that can expose ANY property (const { a, ...rest } = importedFactory(), a computed destructure key). The returned class must be treated as wholly used: crediting only the visible keys would leave a live member reported as dead.

Appended, never inserted: bitcode encodes an enum by ordinal, so moving an existing variant would make an old cache decode one fact as another.

FactoryReturnObjectPropertyAccess(FactoryReturnObjectPropertyAccessFact)

A member access reached through a property of a value returned by an imported factory that returns an object literal (const ui = createUi(); ui.orders.member). Appended after FactoryFnWholeObject, never inserted (bitcode encodes by ordinal). See issue #1858.

ClassThisMemberAccess(ClassThisMemberAccessFact)

A this.<field>.<member> access tied to its exact enclosing class. Appended because bitcode encodes enum variants by ordinal.

ClassThisWholeObjectUse(ClassThisWholeObjectUseFact)

A whole-object use of this.<field>... tied to its exact enclosing class. Appended because bitcode encodes enum variants by ordinal.

VitestModuleMockOperation(VitestModuleMockOperationFact)

An ordered Vitest module-mock operation with direct imported-vi provenance.

Appended because bitcode encodes enum variants by ordinal. The ordinary dynamic-import fact for the same source remains authoritative for graph reachability and unresolved-import diagnostics.

DeclarationMerge(DeclarationMergeFact)

Direct declarations that form one legal TypeScript declaration merge. Appended because bitcode encodes enum variants by ordinal.

TypeAliasSurfaceTarget(TypeAliasSurfaceTargetFact)

A named type whose direct receiver surface is contributed by another named type (for example Pick<Base, ...> or a union constituent). Appended because bitcode encodes enum variants by ordinal.

StringEnumMemberValue(StringEnumMemberValueFact)

A string-valued TypeScript enum member available as a static property key. Appended because bitcode encodes enum variants by ordinal.

ComputedEnumKeyUse(ComputedEnumKeyUseFact)

A computed property access keyed by a static enum member. Appended because bitcode encodes enum variants by ordinal.

RequiredTypeMember(RequiredTypeMemberFact)

A directly declared non-optional member required by a named interface or object type. Appended because bitcode encodes enum variants by ordinal.

CjsSingleStaticObjectMap

The file’s complete CommonJS assignment surface is exactly one top-level module.exports = { ... } object literal whose keys are all static and which has no transpilation marker or competing assignment. Appended because bitcode encodes enum variants by ordinal.

DefaultImportWholeObjectUse(DefaultImportWholeObjectUseFact)

A default import binding was handed on as a whole object. Appended because bitcode encodes enum variants by ordinal.

ExportedObjectInstanceProperty(ExportedObjectInstancePropertyFact)

A property of an exported object contains a local class instance. Appended because bitcode encodes enum variants by ordinal.

QualifiedClassMemberAccess(QualifiedClassMemberAccessFact)

A proven class member read selected through a namespace import. Appended because bitcode encodes enum variants by ordinal.

FederationRuntimeRemote(FederationRuntimeRemoteFact)

A Module Federation runtime call (registerRemotes, loadRemote, init or createInstance) imported from a Federation runtime package. Appended because bitcode encodes enum variants by ordinal.

ImportLoadKindOverride(ImportLoadKindOverrideFact)

A dynamic import or an import pattern whose load kind differs from the default of its list: Dynamic for dynamic_imports and DynamicPattern for dynamic_import_patterns. Appended because bitcode encodes enum variants by ordinal.

FactoryReturnObjectPropertySource(Box<FactoryReturnObjectPropertySourceFact>)

A source-owned class-producing property of an exported object factory. Appended because bitcode encodes enum variants by ordinal.

ProvenFactoryReturnObjectPropertyAccess(FactoryReturnObjectPropertyAccessFact)

Property read whose bound factory receiver passed source-time lexical and value checks.

CallbackFactoryPropertyAccess(Box<CallbackFactoryPropertyAccessFact>)

Caller-owned callback origins for a source-proven returned property.

PlaywrightConditionalFixtureDefinition(Box<PlaywrightConditionalFixtureDefinitionFact>)

A Playwright fixture definition from <base>.extend<T>() where base is imported. Analysis applies it only when base resolves to a Playwright test. Appended because bitcode encodes enum variants by ordinal.

PlaywrightTestBinding(PlaywrightTestBindingFact)

A local name that the extractor proved holds a Playwright test. Appended because bitcode encodes enum variants by ordinal.

TopLevelRuntimeStatement

A top-level statement or declaration emits runtime code beyond module imports and exports, which have their own extraction records. Appended because bitcode encodes enum variants by ordinal.

Trait Implementations

impl Clone for SemanticFact

fn clone(&self) -> SemanticFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticFact

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

Formats the value using the given formatter.

impl<'__de> Decode<'__de> for SemanticFact

impl Encode for SemanticFact

impl Eq for SemanticFact

impl JsonSchema for SemanticFact

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for SemanticFact

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SemanticFact

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SemanticFact