Expand description
Neutral semantic fact vocabulary for Perl analysis layers.
This crate defines strongly-typed IDs and serializable fact records that can be shared between parser-derived semantics, semantic analyzer synthesis, and workspace indexing.
It intentionally does not parse Perl, implement LSP providers, or own workspace storage backends.
Structs§
- Anchor
Fact - Anchor
Id - Definition
Candidate - A ranked entry in a definition candidate list.
- Diagnostic
Fact - Diagnostic
Id - Edge
Fact - EdgeId
- Entity
Fact - Entity
Id - Export
Set - Canonical export facts inferred for a Perl package.
- Export
Tag - Named
%EXPORT_TAGSentry and its members. - FileId
- Generated
Member - A framework-synthesized member (e.g. Moo/Moose accessor from
has). - Import
Spec - Canonical import specification inferred for a single import site.
- Occurrence
Fact - Occurrence
Id - Package
Edge - A directed edge in the package graph.
- Package
Node - A node in the package/class/role graph.
- Plan
Blocker - A condition that blocks a rename or safe-delete operation.
- Plan
Warning - A non-blocking warning attached to a rename or safe-delete plan.
- Planned
Edit - A planned text edit within a rename operation.
- Provider
Fact Trace - Source/provenance trace for a provider answer.
- Reference
Edge - Occurrence-based reference edge linking a reference site to zero, one, or many target entity candidates.
- Rename
Plan - A conservative rename plan enumerating affected occurrences and blockers.
- Safe
Delete Plan - A conservative safe-delete plan enumerating blockers that prevent deletion.
- ScopeId
- Visible
Symbol - One symbol visible at a query point with source attribution.
- Visible
Symbol Context - Origin metadata for a
VisibleSymbol, enabling hover explanations and rename safety analysis.
Enums§
- Confidence
- Definition
Rank - Coarse ranking tier for a definition candidate.
- Definition
Rank Reason - Structured reason explaining why a
DefinitionCandidatereceived its rank. - Edge
Kind - Entity
Kind - Generated
Member Kind - Classification of a framework-generated member.
- Import
Kind - Import
Symbols - Occurrence
Kind - Package
Edge Kind - Kind of relationship in the package graph.
- Package
Kind - Classification of a package graph node.
- Plan
Blocker Reason - Reason a rename or safe-delete operation is blocked.
- Planned
Edit Category - Classification of a planned edit within a rename operation.
- Provenance
- Provider
Fact Freshness - Freshness state for a provider fact source.
- Provider
Fact Source Kind - Coarse source class for a provider answer.
- Provider
Fallback State - How a provider used a traced fact source.
- Provider
Surface - LSP provider surface that consumed or considered a semantic fact.
- Value
Shape - Lightweight type approximation for a variable or expression.
- Visible
Symbol Source