Returns the known class, if any.

Create a secondary annotation attached to the range of the given value in the file currently being type checked. The annotation returned has no messa

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

Returns the [`OverloadLiteral`] representing this matching overload.

Returns `true` if the inner place is undefined (i.e. there is no such member).

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

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

PT013

Iterates over the entries in the directory in name order.

Returns the static class definition if this is one.

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

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

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

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.

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

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

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

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

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

Use a mock typeshed directory for this test case

Build the test server

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

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

Compute the start position of the docstring's opening line

Given an [`Expr`] that can be callable or not (like a decorator, which could be used with or without explicit call syntax), return the underlying call

Returns the next line without advancing the cursor.