Skip to main content Crate mir_analyzer Copy item path Source pub use batch::analyze_source ;pub use batch::analyze_source_with_options ;pub use batch::dead_code_issue_kinds ;pub use batch::discover_files ;pub use batch::discover_files_with_extensions ;pub use batch::unused_variable_issue_kinds ;pub use batch::AnalysisResult ;pub use batch::BatchOptions ;pub use file_analyzer::FileAnalysis ;pub use file_analyzer::FileAnalyzer ;pub use indexing::IndexBatchOutcome ;pub use indexing::IndexCancel ;pub use indexing::IndexParallelism ;pub use php_version::ParsePhpVersionError ;pub use php_version::PhpVersion ;pub use session::AnalysisSession ;pub use session::AnalysisSnapshot ;pub use session::ReferenceIncludes ;pub use session::SubtypeClassSite ;pub use source_provider::FsSourceProvider ;pub use source_provider::SourceProvider ;pub use symbol::DeclarationKind ;pub use symbol::DocumentSymbol ;pub use symbol::ReferenceKind ;pub use symbol::ResolvedSymbol ;pub use composer::ComposerError ;pub use composer::Psr4Map ;pub use include_graph::include_closure ;pub use include_graph::VendorTargets ;batch Batch-oriented project analysis on AnalysisSession composer file_analyzer Per-file analysis entry point for incremental analysis. include_graph Include closure: the files reachable from a set of seeds through statically
resolvable require/include targets. indexing Chunked, cancellable workspace-indexing primitives. php_version Target PHP language version. prelude Convenience re-exports for common mir-analyzer use cases. recursion Stack-overflow protection for the recursive analysis passes. session Session-based analysis API for incremental, per-file analysis. source_provider Abstraction over how the analyzer obtains file source text it doesn’t yet
have in its in-memory salsa inputs. suppression Inline issue suppression via source comments. symbol Per-expression resolved symbol data, retained from body analysis. ChainedClassResolver crate::ClassResolverStubClassResolverDeclaredParam DependencyGraph File dependency graph: tracks which files depend on which other files.
Used for incremental invalidation in LSP servers and build systems. DocblockParser FunctionDef Issue ParsedDocblock PhpFileExtensions File extensions treated as PHP source, sorted and deduplicated. Defaults to ["php"]. Position A position in source code: 1-based line, 0-based codepoint column. Range A range in source code: start and end positions. StubClassResolver crate::ClassResolverArrayObject, Exception, ReflectionClass, …) to the stub virtual
path that defines them. Used by crate::ChainedClassResolverfind_class_like aware of PHP built-ins in addition to the
user’s PSR-4 / classmap.StubVfs A read-only map from stub file path to its embedded PHP source content. TagDescriptions Prose following the type and name of @param, @return and @throws
tags. Tags without prose are omitted. TemplateParam Type IssueKind LoadOutcome Outcome of a AnalysisSession::load_class Name A semantic identifier for a code entity that the analyzer can resolve. ScopeId Identifies a single analysis scope within a project. Severity SymbolLookupError Reason a symbol lookup did not return a location. Visibility ClassResolver Pluggable strategy for mapping a fully-qualified class name to the file
that should define it. The analyzer never touches vendor/ or the
filesystem on its own — it asks a ClassResolver when a symbol is needed. is_builtin_constant Returns true if name is a known PHP built-in constant (PHP_EOL,
PHP_VERSION, …). is_builtin_function Returns true if name is a known PHP built-in function. location_from_span Convert a parser php_ast::Spanmir_types::Locationsource and the parser’s source_map. stub_files Every PHP stub file from stubs/{ext}/ embedded at compile time as (path, content). stub_path_for_class Look up the stub virtual path that defines a built-in PHP class / interface
/ trait / enum. Lookup is case-insensitive. Strips a single leading
backslash if present. Returns None if not a known built-in type. type_from_hint Convert a PHP AST type hint to a mir Type type.
context_fqcn is the class where this type hint appears (used for self/parent).