Module implementation 

Functions

find_implementations

Return all Locations where a class declares extends Name or implements Name.

find_implementations_from_workspace

Phase J — Find implementations via the salsa-memoized workspace aggregate. Uses the pre-built subtypes_of[word] reverse map for O(matches) lookups, with an additional pass over the FQN’s subtypes_of entry when the caller supplied one (covers classes that wrote out the fully-qualified form in their extends/implements clause).

find_implementations_mir_backed

Mir-backed variant of find_implementations_from_workspace.

find_method_implementations_from_workspace

Find all concrete implementations of a METHOD across the subtypes of its declaring class/interface.

find_method_implementations_mir_backed

Mir-backed variant of find_method_implementations_from_workspace.