mirror of
https://github.com/astral-sh/ruff.git
synced 2025-08-08 20:58:32 +00:00

## Summary The motivation here is that this enables us to implement `Ranged` in crates that don't depend on `ruff_python_ast`. Largely a mechanical refactor with a lot of regex, Clippy help, and manual fixups. ## Test Plan `cargo test`
283 lines
9.4 KiB
Rust
283 lines
9.4 KiB
Rust
//! Definitions within a Python program. In this context, a "definition" is any named entity that
|
|
//! can be documented, such as a module, class, or function.
|
|
|
|
use std::fmt::Debug;
|
|
use std::ops::Deref;
|
|
|
|
use ruff_index::{newtype_index, IndexSlice, IndexVec};
|
|
use ruff_python_ast::{self as ast, Stmt};
|
|
use ruff_text_size::{Ranged, TextRange};
|
|
|
|
use crate::analyze::visibility::{
|
|
class_visibility, function_visibility, method_visibility, ModuleSource, Visibility,
|
|
};
|
|
|
|
/// Id uniquely identifying a definition in a program.
|
|
#[newtype_index]
|
|
pub struct DefinitionId;
|
|
|
|
impl DefinitionId {
|
|
/// Returns the ID for the module definition.
|
|
#[inline]
|
|
pub const fn module() -> Self {
|
|
DefinitionId::from_u32(0)
|
|
}
|
|
}
|
|
|
|
#[derive(Debug, is_macro::Is)]
|
|
pub enum ModuleKind {
|
|
/// A Python file that represents a module within a package.
|
|
Module,
|
|
/// A Python file that represents the root of a package (i.e., an `__init__.py` file).
|
|
Package,
|
|
}
|
|
|
|
/// A Python module.
|
|
#[derive(Debug)]
|
|
pub struct Module<'a> {
|
|
pub kind: ModuleKind,
|
|
pub source: ModuleSource<'a>,
|
|
pub python_ast: &'a [Stmt],
|
|
}
|
|
|
|
impl<'a> Module<'a> {
|
|
pub fn path(&self) -> Option<&'a [String]> {
|
|
if let ModuleSource::Path(path) = self.source {
|
|
Some(path)
|
|
} else {
|
|
None
|
|
}
|
|
}
|
|
|
|
/// Return the name of the module.
|
|
pub fn name(&self) -> Option<&'a str> {
|
|
match self.source {
|
|
ModuleSource::Path(path) => path.last().map(Deref::deref),
|
|
ModuleSource::File(file) => file.file_stem().and_then(std::ffi::OsStr::to_str),
|
|
}
|
|
}
|
|
}
|
|
|
|
#[derive(Debug, Copy, Clone, is_macro::Is)]
|
|
pub enum MemberKind<'a> {
|
|
/// A class definition within a program.
|
|
Class(&'a ast::StmtClassDef),
|
|
/// A nested class definition within a program.
|
|
NestedClass(&'a ast::StmtClassDef),
|
|
/// A function definition within a program.
|
|
Function(&'a ast::StmtFunctionDef),
|
|
/// A nested function definition within a program.
|
|
NestedFunction(&'a ast::StmtFunctionDef),
|
|
/// A method definition within a program.
|
|
Method(&'a ast::StmtFunctionDef),
|
|
}
|
|
|
|
/// A member of a Python module.
|
|
#[derive(Debug)]
|
|
pub struct Member<'a> {
|
|
pub kind: MemberKind<'a>,
|
|
pub parent: DefinitionId,
|
|
}
|
|
|
|
impl<'a> Member<'a> {
|
|
/// Return the name of the member.
|
|
pub fn name(&self) -> &str {
|
|
match self.kind {
|
|
MemberKind::Class(class) => &class.name,
|
|
MemberKind::NestedClass(class) => &class.name,
|
|
MemberKind::Function(function) => &function.name,
|
|
MemberKind::NestedFunction(function) => &function.name,
|
|
MemberKind::Method(method) => &method.name,
|
|
}
|
|
}
|
|
|
|
/// Return the body of the member.
|
|
pub fn body(&self) -> &[Stmt] {
|
|
match self.kind {
|
|
MemberKind::Class(class) => &class.body,
|
|
MemberKind::NestedClass(class) => &class.body,
|
|
MemberKind::Function(function) => &function.body,
|
|
MemberKind::NestedFunction(function) => &function.body,
|
|
MemberKind::Method(method) => &method.body,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl Ranged for Member<'_> {
|
|
/// Return the range of the member.
|
|
fn range(&self) -> TextRange {
|
|
match self.kind {
|
|
MemberKind::Class(class) => class.range(),
|
|
MemberKind::NestedClass(class) => class.range(),
|
|
MemberKind::Function(function) => function.range(),
|
|
MemberKind::NestedFunction(function) => function.range(),
|
|
MemberKind::Method(method) => method.range(),
|
|
}
|
|
}
|
|
}
|
|
|
|
/// A definition within a Python program.
|
|
#[derive(Debug)]
|
|
pub enum Definition<'a> {
|
|
Module(Module<'a>),
|
|
Member(Member<'a>),
|
|
}
|
|
|
|
impl Definition<'_> {
|
|
/// Returns `true` if the [`Definition`] is a method definition.
|
|
pub const fn is_method(&self) -> bool {
|
|
matches!(
|
|
self,
|
|
Definition::Member(Member {
|
|
kind: MemberKind::Method(_),
|
|
..
|
|
})
|
|
)
|
|
}
|
|
|
|
/// Return the name of the definition.
|
|
pub fn name(&self) -> Option<&str> {
|
|
match self {
|
|
Definition::Module(module) => module.name(),
|
|
Definition::Member(member) => Some(member.name()),
|
|
}
|
|
}
|
|
|
|
/// Return the [`ast::StmtFunctionDef`] of the definition, if it's a function definition.
|
|
pub fn as_function_def(&self) -> Option<&ast::StmtFunctionDef> {
|
|
match self {
|
|
Definition::Member(Member {
|
|
kind:
|
|
MemberKind::Function(function)
|
|
| MemberKind::NestedFunction(function)
|
|
| MemberKind::Method(function),
|
|
..
|
|
}) => Some(function),
|
|
_ => None,
|
|
}
|
|
}
|
|
|
|
/// Return the [`ast::StmtClassDef`] of the definition, if it's a class definition.
|
|
pub fn as_class_def(&self) -> Option<&ast::StmtClassDef> {
|
|
match self {
|
|
Definition::Member(Member {
|
|
kind: MemberKind::Class(class) | MemberKind::NestedClass(class),
|
|
..
|
|
}) => Some(class),
|
|
_ => None,
|
|
}
|
|
}
|
|
}
|
|
|
|
/// The definitions within a Python program indexed by [`DefinitionId`].
|
|
#[derive(Debug, Default)]
|
|
pub struct Definitions<'a>(IndexVec<DefinitionId, Definition<'a>>);
|
|
|
|
impl<'a> Definitions<'a> {
|
|
pub fn for_module(definition: Module<'a>) -> Self {
|
|
Self(IndexVec::from_raw(vec![Definition::Module(definition)]))
|
|
}
|
|
|
|
/// Pushes a new member definition and returns its unique id.
|
|
///
|
|
/// Members are assumed to be pushed in traversal order, such that parents are pushed before
|
|
/// their children.
|
|
pub(crate) fn push_member(&mut self, member: Member<'a>) -> DefinitionId {
|
|
self.0.push(Definition::Member(member))
|
|
}
|
|
|
|
/// Resolve the visibility of each definition in the collection.
|
|
pub fn resolve(self, exports: Option<&[&str]>) -> ContextualizedDefinitions<'a> {
|
|
let mut definitions: IndexVec<DefinitionId, ContextualizedDefinition<'a>> =
|
|
IndexVec::with_capacity(self.len());
|
|
|
|
for definition in self {
|
|
// Determine the visibility of the next definition, taking into account its parent's
|
|
// visibility.
|
|
let visibility = {
|
|
match &definition {
|
|
Definition::Module(module) => module.source.to_visibility(),
|
|
Definition::Member(member) => match member.kind {
|
|
MemberKind::Class(class) => {
|
|
let parent = &definitions[member.parent];
|
|
if parent.visibility.is_private()
|
|
|| exports.is_some_and(|exports| !exports.contains(&member.name()))
|
|
{
|
|
Visibility::Private
|
|
} else {
|
|
class_visibility(class)
|
|
}
|
|
}
|
|
MemberKind::NestedClass(class) => {
|
|
let parent = &definitions[member.parent];
|
|
if parent.visibility.is_private()
|
|
|| parent.definition.as_function_def().is_some()
|
|
{
|
|
Visibility::Private
|
|
} else {
|
|
class_visibility(class)
|
|
}
|
|
}
|
|
MemberKind::Function(function) => {
|
|
let parent = &definitions[member.parent];
|
|
if parent.visibility.is_private()
|
|
|| exports.is_some_and(|exports| !exports.contains(&member.name()))
|
|
{
|
|
Visibility::Private
|
|
} else {
|
|
function_visibility(function)
|
|
}
|
|
}
|
|
MemberKind::NestedFunction(_) => Visibility::Private,
|
|
MemberKind::Method(function) => {
|
|
let parent = &definitions[member.parent];
|
|
if parent.visibility.is_private() {
|
|
Visibility::Private
|
|
} else {
|
|
method_visibility(function)
|
|
}
|
|
}
|
|
},
|
|
}
|
|
};
|
|
definitions.push(ContextualizedDefinition {
|
|
definition,
|
|
visibility,
|
|
});
|
|
}
|
|
|
|
ContextualizedDefinitions(definitions.raw)
|
|
}
|
|
}
|
|
|
|
impl<'a> Deref for Definitions<'a> {
|
|
type Target = IndexSlice<DefinitionId, Definition<'a>>;
|
|
|
|
fn deref(&self) -> &Self::Target {
|
|
&self.0
|
|
}
|
|
}
|
|
|
|
impl<'a> IntoIterator for Definitions<'a> {
|
|
type IntoIter = std::vec::IntoIter<Self::Item>;
|
|
type Item = Definition<'a>;
|
|
|
|
fn into_iter(self) -> Self::IntoIter {
|
|
self.0.into_iter()
|
|
}
|
|
}
|
|
|
|
/// A [`Definition`] in a Python program with its resolved [`Visibility`].
|
|
pub struct ContextualizedDefinition<'a> {
|
|
pub definition: Definition<'a>,
|
|
pub visibility: Visibility,
|
|
}
|
|
|
|
/// A collection of [`Definition`] structs in a Python program with resolved [`Visibility`].
|
|
pub struct ContextualizedDefinitions<'a>(Vec<ContextualizedDefinition<'a>>);
|
|
|
|
impl<'a> ContextualizedDefinitions<'a> {
|
|
pub fn iter(&self) -> impl Iterator<Item = &ContextualizedDefinition<'a>> {
|
|
self.0.iter()
|
|
}
|
|
}
|