Completion

Computes code completions depending on the context in which completion is requested

The completion mode: defines what kinds of symbols should be included in the completion results.

The names of the product elements

The name of the type

Inspect path to determine what kinds of symbols should be considered.

If the path starts with:

• a RefTree, then accept symbols of the same kind as its name;
• a renaming import, and the cursor is on the renamee, accept both terms and types;
• an import, accept both terms and types;

Otherwise, provide no completion suggestion.

Inspect path to determine the offset where the completion result should be inserted.

Inspect path to determine the completion prefix. Only symbols whose name start with the returned prefix should be considered.

Get possible completions from tree at pos

Return the list of code completions with descriptions based on a mapping from names to the denotations they refer to. If several denotations share the same name, each denotation will be transformed into a separate completion item.