Writes auto-dedented text to a file.

Return the built diagnostic.

Return the current [`Stmt`].

Returns `true` if the file exists.

Get the cached results for a single file at relative `path`. This uses `key` to determine if the results are still accurate. (i.e. if the file hasn't

When set, the module name for each symbol is included in the snapshot (if available).

Extends `self` with `path`. If `path` is absolute, it replaces the current path. On Windows: if `path` has a root but no prefix (e.g., `\windows`),

Look up a [`KnownClass`] in its canonical module and return a [`Type`] representing that class literal. If the class cannot be found, a debug-level l

Trims the indent of `rhs` by `self`. Returns `None` if `self` is not a prefix of `rhs` or either `self` or `rhs` use mixed indentation.

Stores a new file in the file system. The operation overrides the content for an existing file with the same normalized `path`. Enclosing directorie

Return a constraint set indicating the conditions under which `self.relation` holds between `source` and `target`.

PT013

Create a [`NamedTupleSpec`] with the given fields.

Lexes file-level exemption comment, e.g. `# ruff: noqa: F401`

Returns the static class definition if this is one.

Enable or disable pull diagnostics capability

A convenience function for returning a builder for a diagnostic with "error" severity and canned values for its identifier and message.

Iterates over the entries in the directory in name order.

Typed internally-visible signature for this function. This represents the annotations on the function itself, unmodified by decorators and overloads.

Returns the definition where this `TypedDict` is created, if it was assigned to a variable.

Send a `textDocument/diagnostic` request for the document at the given path.

The [`Indexer`] for the current file, which contains the offsets of all comments and more.

Returns an iterator over all non-variadic parameters included in this [`Parameters`] node. The variadic parameters (`.vararg` and `.kwarg`) can never

The module for which the types are inferred.

Set a custom message for the concise formatting of this diagnostic. This overrides the default behavior of generating a concise message from the head

Adds a typevar to this support.

Return true if this type is [equivalent to] type `other`. Two equivalent types represent the same sets of values. > Two gradual types `A` and `B` ar

Iterate over the [method resolution order] ("MRO") of the class. If the MRO could not be accurately resolved, this method falls back to iterating ove

Parses a single Python expression. This convenience function can be used to parse a single expression without having to specify the Mode or the locat

Resolves the [`ast::ExprName`] to the [`BindingId`] of the symbol it refers to, if any.

Run [`check_path`] on a snippet of Python code.

Return the class that defines this protocol, if it is class-backed.

Infer the type of a (possibly deferred) sub-expression of a [`Definition`]. Supports expressions that are evaluated within a type-params sub-scope.

Resolves the [`ast::ExprName`] to the [`BindingId`] of the symbol it refers to, if it's the only binding to that name in its scope.

If `expr` is a reference to a builtins symbol, return the name of that symbol. Else, return `None`. This method returns `true` both for "builtin bind

Build the test server

Redact result_id values since they are hash-based and non-deterministic

Given an [`Expr`] that can be a [`ExprSubscript`][ast::ExprSubscript] or not (like an annotation that may be generic or not), return the underlying ex

Returns the next line without advancing the cursor.

Use a mock typeshed directory for this test case